As fireden.net is no longer providing archives for /a/ /v/ or /vg/ the automatic redirect will be disabled after 12/31/2019 (http://b2x5yoqpispzml5c.onion)
No.11809203 ViewReplyOriginalReport
Can someone explain Gödel's incompleteness theorem and Turing's halting problem undecidability proof in different terms or with some simple analogies? Every time I feel like I might understand them, I later realize I don't really think I do.