This isn't particularly down-to-earth, but of course before February or March you had the situation where DHJ the density Hales-Jewett theorem (which can be phrased in completely finitary language) was only provable via ergodic-theory methods (which are infinitary.)
|
2 | added 29 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
This isn't particularly down-to-earth, but of course before February or March you had the situation where DHJ (which can be phrased in completely finitary language) was only provable via ergodic-theory methods (which are infinitary.) |
||||
