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