3 ms·The Undecidability of BB(748) & Understanding Godel's Incompleteness Theorems [pdf]3 points by pillars 1y ago