I ingo-blechschmidt.eu The Undecidability of BB(748): Understanding Godel’s Incompleteness Theorems [pdf] 67 points pizza 3 years ago 39 comments