Sujet : Re: Another proof: The Halting Problem Is Undecidable.
De : anw (at) *nospam* cuboid.co.uk (Andy Walker)
Groupes : comp.theoryDate : 11. Oct 2024, 11:42:21
Autres entêtes
Organisation : Not very much
Message-ID : <veaved$3jher$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 10/10/2024 16:26, wij wrote:
This "0.999...!=1" proof [...].
Any such proof would breach the Archimedean [Eudoxus] axiom, so
is not a proof about the real numbers. You have been told that before.
If you propose to repeat this or to take it further, you /really, really/
do need to tell us what axioms you are using instead of those of the real
numbers. Without that, your claims, whatever they may be, are worthless,
and no-one qualified to do so can comment more usefully. WIYF.
-- Andy Walker, Nottingham. Andy's music pages: www.cuboid.me.uk/andy/Music Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Valentine
Another proof: The Halting Problem Is Undecidable.
Re: Another proof: The Halting Problem Is Undecidable.