
Recent Posts
 Logic without negation and falsehood December 11, 2016
 Logic without truth September 3, 2016
 Learning category theory: a necessary evil? April 3, 2016
Blogs I Follow
Tag Archives: gentzen
Logic without truth
Pi is wrong! But so what? It is neither new, nor complicated enough to count as real math! And suggestions that or might be even better show that it not clearcut either. I recently invested sufficient energy into some logical questions to … Continue reading
Posted in category theory, logic, partial functions
Tagged category theory, gentzen, logic
5 Comments
Gentzen’s consistency proof is more impressive than you expect
I recently said something about the impossibility to prove the consistency of PA, and that Gentzen proved just this in 1936. Because I got critizised quite a bit, and realized that even famous mathematicians get critizized if they dare to … Continue reading