"For non-mathematicians" logic book turns into full formal proofs 100 pages later
miniapeur · x · 2026-11-10
A meme post: a book promising "intended for non-mathematicians, concepts explained as needed" in its preface devolves, 100 pages later, into dense formal proofs about p-consistent sets and Henkin completeness lemmas.
More from Fun
- The mock obituary of 'Carbon': topping leaderboards for weeks before Fable 5.2 replaces it — bindureddy · 2026-11-10
- Developer builds webcam face-controlled browser game in 15 minutes — HashemGhaili · 2026-11-10
- Di Quietly Launches Hospital Companion Service in Beijing, From 126 Yuan per Hour — lipeng0820 · 2026-11-10
- Engineer calls his bank and realizes the voice agent is a model he trained — nathanbenaich · 2026-11-10
- 'You're part of the last generation that will ever have to work on a Monday' — rand_longevity · 2026-11-10
- Independent agent audit finds no evidence Fable stole the 3D aircraft model — victormustar · 2026-11-10