Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.theory sci.mathDate : 27. Jun 2025, 17:34:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <103mh6v$8hdt$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 6/27/2025 10:59 AM, Richard Damon wrote:
Something you might want to look at:
https://www.youtube.com/watch?v=Q2LCeKpe8R8
When one divides mere rhetoric from objective truth
the above point becomes moot.
Socratic questioning is an educational method named
after Socrates that focuses on discovering answers
by asking questions of students.
https://en.wikipedia.org/wiki/Socratic_questioningI know that DDD correctly simulated by HHH cannot
possibly reach its own simulated "return" statement
final halt state because the execution trace
conclusively proves this.
That no one else can possibly provide a correct
execution trace that refutes this means there has
been no actual rebuttal.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…