Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique

Liste des GroupesRevenir à s logic 
Sujet : Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 24. Jun 2025, 19:06:22
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <103epev$25ucn$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 6/24/2025 12:57 PM, joes wrote:
Am Tue, 24 Jun 2025 12:46:01 -0500 schrieb olcott:
 
It is an easily verified fact that no *input* to any partial halt
decider (PHD) can possibly do the opposite of what its corresponding PHD
decides. In all of the years of all of these proofs no such *input* was
ever presented.
 You should clarify that you don't even think programs can be passed as
input.
 
It is common knowledge the no Turing Machine can take
another directly executed Turing Machine as an input.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
23 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal