[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: the Halting Problem
- To: robert
- Subject: Re: the Halting Problem
- From: http://dummy.us.eu.org/robert (Robert)
- Date: Sun, 16 Aug 2026 07:49:07 -0700
An aside: I had to write up the prove that there is no algorithm which can
examine another program to determine whether it will halt or not in my
Theory of Computation class as an undergrad. IIRC, it was proof by
contradiction. Doing it proof-by-construction would be difficult, and
possibly impossible.