XPost: sci.math, comp.theory
From: polcott333@gmail.com
On 11/27/2025 12:51 AM, Kaz Kylheku wrote:
> On 2025-11-27, olcott wrote:
>> On 11/26/2025 10:15 PM, Kaz Kylheku wrote:
>>> On 2025-11-27, olcott wrote:
>>>> On 11/26/2025 8:00 PM, Python wrote:
>>>>>> Kaz is saying that he can "resume" a simulation
>>>>>> that has just proved that it will never stop
>>>>>> running to a different machine state to "prove"
>>>>>> that this simulation does stop running.
>>>>>
>>>>> He is right.
>>>>>
>>>>
>>>> He is resuming a simulation that he already admitted
>>>> that he conclusively proved is non-halting to contradict
>>>
>>> What? I did not. You must be brandishing your second
>>> grade level reading comprehension again.
>>>
>>>> himself and prove that it is halting by "resuming" this
>>>> simulation at a different machine state.
>>>
>>> The simulation is resumed at exactly the simulation's
>>> current state as it was left behind when the decider
>>> stopped stepping it.
>>
>> Unless it is the total machine state it is cheating.
>
> You idiot, what you are proposing is to turn back time over
> the entire apparatus. That will would create an instant loop, like in
> time-travel science fiction.
>
What I am proposing is that proceeding beyond this point is nuts
On 11/4/2025 8:43 PM, Kaz Kylheku wrote:
> On 2025-11-05, olcott wrote:
>>
>> ...D simulated by H cannot possibly reach its own
>> simulated "return" statement...
>
> Yes; this doesn't happen while H is running.
>
--
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.
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
