Liste des Groupes | Revenir à theory |
On 5/16/2025 2:07 AM, Mikko wrote:No it doesn't, After all the actual programs execution is only doing one context.On 2025-05-15 21:35:24 +0000, olcott said:The simulation of one function in the same program
>On 5/15/2025 4:18 PM, Mr Flibble wrote:>On Thu, 15 May 2025 16:11:35 -0500, olcott wrote:>
>On 5/15/2025 3:59 PM, Mr Flibble wrote:>On Thu, 15 May 2025 15:47:16 -0500, olcott wrote:>
>I overcome the proof of undecidability of the Halting Problem in that>
the code that "does the opposite of whatever value that HHH returns"
becomes unreachable to DD correctly simulated by HHH.
>
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
>
HHH simulates DD that calls HHH(DD) to simulate itself again over and
over until HHH sees this repeating pattern and aborts or both HHH and
DD crash due to OOM error.
It is not possible for HHH to simulate DD because we are already inside
DD when we call HHH:
Since HHH does correctly simulate itself simulating DD we have complete
proof that you are wrong.
>
I had to write the whole x86utm operating system to make this work.
It is not possible to make this work even by "writing an operating system"
so whatever you think you are doing it isn't addressing my core point: you
are NOT *fully* simulating DD by HHH because you are already inside DD
when you are calling HHH.
>
/Flibble
Anyone that is intimately familiar with how multi-tasking
operating systems work will understand how HHH could
emulate itself emulating its input.
Simulation is not a multi-tasking problem so knowledge of multi-tasking
operating systems is not relevant.
by another function in the same program does
require cooperative multi-tasking switching from
the simulator to the simulated and back.
(Sometimes parallel processing is
needed in order to perform a simulation in short enough time. An exampe
is weather prediction, where the prediction must be completed before the
predicted weather happens.)
>
Les messages affichés proviennent d'usenet.