News for hackers. Stuff that matters.

A comment on Did Turing prove the undecidability of the halting problem?. Parent comment

Re:Did Turing prove the undecidability of the halting problem? by FartyMcFarter on Tuesday July 02, 2024 @07:23AM (#40855540)
What do you mean by dressing it up as a theorem? It is a theorem because there's a proof for it.
[ Parent | on HN ]
Re:Did Turing prove the undecidability of the halting problem? by Tainnor on Tuesday July 02, 2024 @07:56AM (#40855753)
For example, here's a formally verified proof in Lean: https://github.com/leanprover-community/mathlib4/blob/124731...
[ Parent | on HN ]