Sujet : Re: Another proof: The Halting Problem Is Undecidable.
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 11. Oct 2024, 10:38:50
Autres entêtes
Organisation : -
Message-ID : <vearna$3k4s6$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-10-10 14:43:52 +0000, wij said:
Axiom: Part is smaller than the whole.
Not always. A half-line is infintely long and has only one endpoint.
Any other point of the half-line divides it to two parts: a finite
line segment and an infinite half-line. The former part is obviously
smaller than the original half-line but the latter is not.
-- Mikko
Another proof: The Halting Problem Is Undecidable.
Re: Another proof: The Halting Problem Is Undecidable.