Skip to main content
MathOverflow

Return to Answer

added 29 characters in body
Source Link
Todd Trimble
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

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

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.)

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

Source Link
Harrison Brown
Harrison Brown
  • 12.6k
  • 14
  • 70
  • 105

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.)