Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #132788
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | The Halting Problem is Incoherent |
| Date | 2025-10-16 17:28 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10crri2$nbgi$1@dont-email.me> (permalink) |
| References | (11 earlier) <10cp6ke$6eo$1@dont-email.me> <20251016120057.231@kylheku.com> <10crip9$kri3$1@dont-email.me> <10crm66$lqq4$1@dont-email.me> <20251016143746.609@kylheku.com> |
On 10/16/2025 4:45 PM, Kaz Kylheku wrote:
> On 2025-10-16, olcott <polcott333@gmail.com> wrote:
>> Basically everyone that disagrees with me is
>> disagreeing with verified facts and they
>> simply refuse to look at the verification.
>
> Can you name /one/ concrete fact you have verified?
>
The actual behavior that the actual input specifies to
HHH(DD) is proven by the meaning of the finite string
input to HHH within the semantics of its specification
language.
<Input to LLM systems>
Please think this all the way through without making any guesses
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.
(c) If HHH must abort its simulation to prevent its own non-termination
then HHH is correct to abort this simulation and return 0.
typedef int (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
What value should HHH(DD) correctly return?
</Input to LLM systems>
> How have you verified it?
>
> Please document your process.
>
> Show that you initially assume that the claim is false, give all the
> possible reasons it might be false and then argue against each one of
> those reasons using rational evidence.
>
> In the natural sciences, tational evidence refers to some observations
> or other results which have the property of being vanishingly improbable
> if the proposed hypothesis (thing being claimed to be a fact) is false.
>
> In mathematics, the standard is higher: you have to show that certain
> results are absolutely impossible unless your hypothesis is true.
>
> Show the above: document your actual verification process for one such
> alleged verified fact.
>
> Note carefully: simply repeating your hypothesis and claiming everyone
> is not paying enhough attention or too dumb to see it as a fact is not a
> documented verification process. If that's what you plan to do in
> response, don't bother.
>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-14 21:17 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 02:46 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-14 22:04 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 03:34 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-14 22:46 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 05:36 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 06:44 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 16:38 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 12:12 -0500
Re: The halting problem is self-contradictory Alan Mackenzie <acm@muc.de> - 2025-10-15 17:19 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 12:24 -0500
Re: The halting problem is self-contradictory Alan Mackenzie <acm@muc.de> - 2025-10-15 18:25 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 14:07 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-16 06:55 +0000
Re: The halting problem is self-contradictory Richard Heathfield <rjh@cpax.org.uk> - 2025-10-16 08:33 +0100
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-16 08:23 -0500
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-15 14:14 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 19:01 +0000
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-15 14:11 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 18:54 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 14:19 -0500
Re: The halting problem is self-contradictory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-15 13:14 -0700
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 20:47 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 16:00 -0500
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 17:18 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-16 19:12 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-16 14:58 -0500
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-16 15:56 -0500
Re: The halting problem is self-contradictory Alan Mackenzie <acm@muc.de> - 2025-10-16 21:07 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-16 16:19 -0500
Re: The halting problem is self-contradictory Richard Heathfield <rjh@cpax.org.uk> - 2025-10-16 22:25 +0100
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-16 16:39 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-16 21:46 +0000
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-16 21:45 +0000
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-16 17:28 -0500
Re: The halting problem is self-contradictory cross@spitfire.i.gajendra.net (Dan Cross) - 2025-10-15 12:21 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 07:32 -0500
Re: The halting problem is self-contradictory tTh <tth@none.invalid> - 2025-10-15 16:50 +0200
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 16:25 +0000
Re: The halting problem is self-contradictory -- application to c/c++ Mikko <mikko.levanto@iki.fi> - 2025-10-16 12:34 +0300
Re: The halting problem is self-contradictory -- application to c/c++ olcott <polcott333@gmail.com> - 2025-10-16 08:27 -0500
Re: The halting problem is self-contradictory -- application to c/c++ "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-16 14:03 -0700
Re: The halting problem is self-contradictory -- application to c/c++ Mikko <mikko.levanto@iki.fi> - 2025-10-17 11:45 +0300
Re: The halting problem is self-contradictory -- application to c/c++ olcott <polcott333@gmail.com> - 2025-10-17 10:11 -0500
Re: The halting problem is self-contradictory -- application to c/c++ Mikko <mikko.levanto@iki.fi> - 2025-10-18 11:58 +0300
Re: The halting problem is self-contradictory -- application to c/c++ olcott <polcott333@gmail.com> - 2025-10-18 05:47 -0500
Re: The halting problem is self-contradictory -- application to c/c++ Mikko <mikko.levanto@iki.fi> - 2025-10-19 11:39 +0300
Re: The halting problem is self-contradictory -- application to c/c++ Richard Heathfield <rjh@cpax.org.uk> - 2025-10-19 10:31 +0100
Re: The halting problem is self-contradictory -- application to c/c++ Mikko <mikko.levanto@iki.fi> - 2025-10-19 14:16 +0300
Re: The halting problem is self-contradictory -- application to c/c++ Richard Heathfield <rjh@cpax.org.uk> - 2025-10-19 13:38 +0100
Re: The halting problem is self-contradictory -- application to c/c++ olcott <polcott333@gmail.com> - 2025-10-19 11:04 -0500
Re: The halting problem is self-contradictory -- application to c/c++ "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-19 13:22 -0700
Re: The halting problem is self-contradictory -- application to c/c++ "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-19 13:34 -0700
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-14 23:00 -0500
Re: The halting problem is self-contradictory Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-16 05:37 +0100
Re: The halting problem is self-contradictory Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-15 05:39 +0100
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-15 05:38 +0000
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-15 18:33 -0500
Re: The Halting Problem is Incoherent Python <jpierre.messager@gmail.com> - 2025-10-15 23:59 +0000
Re: The Halting Problem is Incoherent Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-16 06:46 +0100
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-16 08:14 -0500
Re: The halting problem is self-contradictory Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-16 05:53 +0100
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-16 07:56 -0500
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-15 12:15 +0300
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-15 07:30 -0500
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-16 12:21 +0300
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-16 08:34 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-16 21:31 +0000
The halting problem incoherent olcott <polcott333@gmail.com> - 2025-10-16 17:04 -0500
Re: The halting problem incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-17 11:59 +0300
Re: The halting problem incoherent olcott <polcott333@gmail.com> - 2025-10-17 06:47 -0500
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-17 11:54 +0300
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-17 10:15 -0500
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-19 11:42 +0300
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-19 11:08 -0500
Re: The halting problem is self-contradictory joes <noreply@example.org> - 2025-10-19 18:43 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 10:24 -0500
Re: The halting problem is self-contradictory joes <noreply@example.org> - 2025-10-20 17:18 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 12:34 -0500
Re: The halting problem is self-contradictory joes <noreply@example.org> - 2025-10-20 17:41 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 12:47 -0500
Re: The halting problem is self-contradictory joes <noreply@example.org> - 2025-10-20 18:09 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 13:42 -0500
Re: The halting problem is self-contradictory joes <noreply@example.org> - 2025-10-20 19:21 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 14:30 -0500
Re: The halting problem is self-contradictory joes <noreply@example.org> - 2025-10-20 22:15 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 17:33 -0500
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 17:43 -0500
Re: The halting problem is self-contradictory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-20 15:59 -0700
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 23:58 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 19:07 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 01:32 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 20:38 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 02:00 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 21:21 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 03:22 +0000
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-20 22:37 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-20 23:45 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-20 22:51 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-20 23:55 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-20 23:09 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-21 08:09 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 08:30 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-21 09:34 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 09:45 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-21 10:51 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 10:17 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-21 11:19 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-23 10:26 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-23 11:31 -0400
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-23 11:17 -0500
Re: The Halting Problem is Incoherent dbush <dbush.mobile@gmail.com> - 2025-10-23 12:57 -0400
Re: The Halting Problem is Incoherent Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 05:42 +0000
Re: The Halting Problem is Incoherent Richard Heathfield <rjh@cpax.org.uk> - 2025-10-21 06:55 +0100
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 01:37 -0500
Re: The Halting Problem is Incoherent Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 16:22 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 20:55 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 02:15 +0000
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 22:02 -0500
Re: The halting problem is self-contradictory Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:59 +0000
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-20 12:22 +0300
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-20 12:06 -0500
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-22 11:51 +0300
Re: The halting problem is self-contradictory olcott <polcott333@gmail.com> - 2025-10-22 07:22 -0500
Re: The halting problem is self-contradictory Mikko <mikko.levanto@iki.fi> - 2025-10-23 13:04 +0300
Re: The halting problem is self-contradictory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-15 13:08 -0700
Re: The halting problem is self-contradictory Richard Damon <Richard@Damon-Family.org> - 2025-10-16 07:55 -0400
csiph-web