Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | sci.math, sci.logic, comp.theory |
| Subject | Re: The halting problem is incorrect two different ways |
| Date | 2025-11-26 20:26 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10g8ctc$10odk$1@dont-email.me> (permalink) |
| References | (6 earlier) <20251126155440.395@kylheku.com> <10g85fk$u57s$1@dont-email.me> <BPfyvRvQ-B_vRGgpZ4qdE1iUFW4@jntp> <10g8aj5$vuuk$1@dont-email.me> <6ItZXR06JTRavw0RD1vkwwla-XA@jntp> |
Cross-posted to 3 groups.
On 11/26/2025 7:59 PM, Python wrote:
> Le 27/11/2025 à 02:47, olcott a écrit :
>> On 11/26/2025 7:39 PM, Python wrote:
>>> Le 27/11/2025 à 01:20, olcott a écrit :
>>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>>
>>>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>>>> results shown
>>>>>>>>>>>> with code.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>>
>>>>>>>>>> That the continuation of the simulation reaches a final
>>>>>>>>>> halting state
>>>>>>>>>> conclusively proves otherwise.
>>>>>>>>>
>>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>>> able to engage with tasks involving code.
>>>>>>>>>
>>>>>>>>
>>>>>>>> void Infinite_Loop()
>>>>>>>> {
>>>>>>>> HERE: goto HERE;
>>>>>>>> return;
>>>>>>>> }
>>>>>>>>
>>>>>>>> And the continuation of the simulation
>>>>>>>> at the "return" statement "proves"
>>>>>>>> by deception that infinite loops halt.
>>>>>>>
>>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>>
>>>>>>
>>>>>> We could simulate Infinite_Loop() until it
>>>>>> proves that it cannot possibly stop running
>>>>>> unless aborted, then abort it. Now to use
>>>>>> your method we can "resume" the simulation
>>>>>> at a different machine state.
>>>>>
>>>>> No, you fucking idiot.
>>>>>
>>>>>> This simulation is "resumed" at the "return"
>>>>>> instruction.
>>>>>
>>>>> No, you fucking idiot.
>>>>>
>>>>> "In other words you are trying to get away with
>>>>> disagreeing with the semantics of the x86 language
>>>>> or the semantics of the C programing language."
>>>>>
>>>>> See above.
>>>>>
>>>>
>>>> I discussed you (not by name) with Claude AI.
>>>> It is convinced that you must be a liar.
>>>
>>> https://hammadulhaq.medium.com/the-dunning-kruger-effect-and-llms-
>>> confidence-vs-competence-in-ai-e882866366de
>>>
>>>> I will fix this by actually adapting a C interpreter
>>>> to prove that you are a liar to anyone that knows C.
>>>
>>> You didn't react to my post about C :-)
>>>
>>
>> I don't every recall you ever mentioning anything
>> about c.
>
> on sci.math
>
> Subject: C Question for P. Olcott
> Date: 26/11/2025 ; 04:02 (CET)
>
(1) That has nothing to do with the topic at hand.
(2) I only look at comp.theory.
>
>>>> I tried to do this with x86 yet this proved far
>>>> too difficult for even the chief editor of one
>>>> of the most prestigious computer science journals.
>>>
>>> Not too difficult. Your sophistries, incompetence and lies are obvious.
>>>
>>
>> The chief editor of one of the most prestigious
>> computer science journals exchanged about 15
>> emails with me. The bottom line was that he
>> could not understand the x86 language well enough.
>
> This is a very common evasive action to avoid abusive cranks.
After 15 emails? The problem is that the x86 language is
a dead language. I will reformulate using a C interpreter.
>
>>>> When you resume any simulation that cannot possibly
>>>> stop running to the exact same total machine state
>>>> Ben Bacarisse would confirm that this one also
>>>> would never stop running.
>>>
>>> Don't pretend to talk about what other people would say. SINNER!
>>>
>>>
>>
>> I have spoken with Ben continuously for 15 years.
>> He knows this aspect of computer science quite well.
>> Perhaps better than anyone else here.
>>
>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>> If simulating halt decider H correctly simulates its input D
>> until H correctly determines that its simulated D would never
>> stop running unless aborted then
>>
>> H can abort its simulation of D and correctly report that D
>> specifies a non-halting sequence of configurations.
>> </MIT Professor Sipser agreed to ONLY these verbatim words10/13/2022>
>
> And you misrepresent what they mean.
>
It was my own words that I spent two years carefully
crafting that he agreed with.
The first paragraph (that Ben and no one else agreed with)
has only a single correct interpretation.
>> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>> > I don't think that is the shell game. PO really /has/ an H
>> > (it's trivial to do for this one case) that correctly determines
>> > that P(P) *would* never stop running *unless* aborted.
>
> Same.
So you are the second person out of dozens and dozens
that agree with Ben? That is a good sign.
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-14 09:00 -0600
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-17 07:31 -0600
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-17 07:31 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-26 12:01 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 09:17 -0600
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-26 10:29 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 18:35 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 13:55 -0600
Re: The halting problem is incorrect two different ways dbush <dbush.mobile@gmail.com> - 2025-11-26 14:58 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 21:47 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 15:53 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 22:19 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 16:48 -0600
Re: The halting problem is incorrect two different ways dbush <dbush.mobile@gmail.com> - 2025-11-26 18:00 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 23:55 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 18:20 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 00:39 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 18:51 -0600
Re: The halting problem is incorrect two different ways dbush <dbush.mobile@gmail.com> - 2025-11-26 20:02 -0500
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 01:24 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 19:42 -0600
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 02:00 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 20:37 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 04:15 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 22:31 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 06:51 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-27 08:59 -0600
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 10:16 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:17 +0000
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 07:41 -0500
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 07:40 -0500
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:00 -0800
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 01:39 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 19:47 -0600
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 01:59 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 20:26 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 04:19 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 22:39 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-27 09:49 +0200
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:58 -0800
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:14 +0200
The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-11-28 08:46 -0600
Re: The halting problem is incorrect two different ways --- updated Richard Damon <Richard@Damon-Family.org> - 2025-11-28 10:59 -0500
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:27 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-11-29 10:38 -0600
Re: The halting problem is incorrect two different ways --- updated Richard Damon <Richard@Damon-Family.org> - 2025-11-29 14:58 -0500
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-01 12:45 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 06:47 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 14:29 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 08:38 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 14:45 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 08:57 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 15:06 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:19 -0600
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:26 -0600
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:29 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 15:31 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:39 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 15:48 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:55 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 16:00 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 10:27 -0600
Re: The halting problem is incorrect two different ways --- updated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-01 16:41 -0800
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-03 18:24 -0600
Olcott is provably correct --- no one can correctly refute this olcott <polcott333@gmail.com> - 2025-12-03 19:54 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-02 11:07 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-02 08:14 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-03 13:34 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-03 10:27 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-04 11:17 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-04 08:15 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:23 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-06 06:47 -0600
Re: The halting problem is incorrect two different ways --- updated Richard Damon <Richard@Damon-Family.org> - 2025-12-06 17:26 -0500
Re: The halting problem is incorrect two different ways --- faking ignorance olcott <polcott333@gmail.com> - 2025-11-27 09:21 -0600
Re: The halting problem is incorrect two different ways --- faking ignorance Richard Damon <Richard@Damon-Family.org> - 2025-11-27 10:40 -0500
Re: The halting problem is incorrect two different ways --- faking ignorance Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:37 +0000
Re: The halting problem is incorrect two different ways --- faking ignorance Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:24 +0000
Re: The halting problem is incorrect two different ways --- faking ignorance Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:18 +0200
Re: The halting problem is incorrect two different ways --- faking ignorance olcott <polcott333@gmail.com> - 2025-11-28 08:52 -0600
Re: The halting problem is incorrect two different ways --- faking ignorance Richard Damon <Richard@Damon-Family.org> - 2025-11-28 11:01 -0500
csiph-web