Cool, I only just realized that applying the diagonal argument to computable num...

		cousin_it on July 6, 2013 \| parent \| context \| favorite \| on: Indescribable numbers: The theorem that made me fa... Cool, I only just realized that applying the diagonal argument to computable numbers leads to the halting problem, and applying the diagonal argument to definable numbers leads to Tarski's undefinability of truth.