Yesterday, while googling around for information on hyperoperations, I came across Scott Aaronson’s essay, “Who can name the bigger number?” You should go read it. I’ll wait. On the halting problem: The proof is a beautiful example of self-reference. It formalizes an old argument about why you can never have perfect introspection: because if you … Continue reading Relationship Between Incompleteness and The Halting Problem