The Undecidability of BB(748): Understanding Godel’s Incompleteness Theorems [pdf]
The Undecidability of BB(748): Understanding Godel’s Incompleteness Theorems [pdf]
www.ingo-blechschmidt.eu /assets/bachelor-thesis-undecidability-bb748.pdf
There is a discussion on Hacker News, but feel free to comment here as well.
0 comments