Tag Archives: gentzen

The previous two posts used the sequent calculus with a subset interpretation: We work with sequents , and interpret the propositions (and ) as subsets of some universe set . We interpret the sequent itself as . While writing the … Continue reading →

In the last post, consideration related to partial functions lead us to present a logic without truth and implication, using the binary minus operation as a dual of implication and substitute for unary negation. But logic without implication and equivalence … Continue reading →

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 clear-cut either. I recently invested sufficient energy into some logical questions to … Continue reading →

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 →

"A good stock of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one." - Paul Halmos