Skip to main content
1 of 1
Post Made Community Wiki
Stefan Hoffelner
  • 2.2k
  • 1
  • 14
  • 21

http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002281287

Gentzen published this paper in 1943 which initiated ordinal proof theory. I find it quite remarkable that he (Gentzen) could continue his logical studies after 1933, although Bieberbach obsessively tried to establish his 'German mathematics', a strange product of racism and misinterpreted intuitionism.

Stefan Hoffelner
  • 2.2k
  • 1
  • 14
  • 21