The Undecidability of BB(748) & Understanding Godel's Incompleteness Theorems [pdf] | Not Hacker News!