Comment on Did Turing prove the undecidability of the halting problem?parentComments−FartyMcFarter2yWhat do you mean by dressing it up as a theorem? It is a theorem because there's a proof for it.−Tainnor2yFor example, here's a formally verified proof in Lean: https://github.com/leanprover-community/mathlib4/blob/124731...
Comments
What do you mean by dressing it up as a theorem? It is a theorem because there's a proof for it.
For example, here's a formally verified proof in Lean: https://github.com/leanprover-community/mathlib4/blob/124731...