Hacker News new | ask | show | jobs
by get2zpointer 3683 days ago
It's not the infinity of the subset of Ramsey pairings that's the central point of interest in this proof. What is mainly interesting is that their proof can show this, using only finitistic methods. Their proof shows this without explicitly using any concepts of infinity, for example, without assuming an infinite superset.