Prev: Algebra Number Wheel #502 Correcting Math
Next: Gentzen's proof of the consistency of first-order PA
From: Rupert on 10 Mar 2010 18:49
Would be interested in discussing Chapter 4 of Peter Koellner's thesis

http://dspace.mit.edu/bitstream/handle/1721.1/7989/53014647.pdf?sequence=1

and whether people find his proposed principles EP and GEP to be
"plausible".
 | 
Pages: 1
Prev: Algebra Number Wheel #502 Correcting Math
Next: Gentzen's proof of the consistency of first-order PA