news.ycombinator.com• Mar 25, 2026• 1 min read
Debunking Classical Pseudo-Paradoxes of LogicYou know, many textbooks on mathematical logic look more like textbooks on scholasticism and metaphysics. On one hand, they promise to show you the strictest foundation of thought — and on the other, they tell you: "Well, but if things get even slightly more complex than arithmetic, contradictions arise, proofs become impossible, incompleteness shows up, here are your paradoxes." If a system is just a bit more complex than arithmetic, it's already somehow defective — and to explain all of this, you need an even more complex system, which is itself, naturally, also "defective," incomplete, contradictory… In the end, any ordinary student drowns in all this like in some set of riddles the human mind is simply not equipped to solve. So what comes next? Essentially nothing — you're calmly taught logic, told to use it, everything is fine, it shows things clearly and precisely, the most complex algorithms work, calculations come out right. So what was the point of that digression in the cours