A couple of days ago, Daniel Litt linked to Patrick Brosnan's computer-verified "proof" of the inconsistency of Peano arithmetic. The proof is correct; I just put it in quotes because it relies on a quirk of the proof verification system used (Metamath), which requires you to explicitly prohibit certain variable substitutions. The axiom of PA … Continue reading Famous logicians and their inconsistent theories
![Photos of Church, Quine, Curry, and Russell](https://i0.wp.com/richardzach.org/wp-content/uploads/2021/06/inconsistent.png?fit=772%2C290&ssl=1)