Liste des Groupes | Revenir à c theory |
On 2024-07-04 00:40:37 +0000, olcott said:Knowledge of the C programming language proves that it happens
On 7/3/2024 6:18 PM, Richard Damon wrote:Does that ever happen?On 7/3/24 10:19 AM, olcott wrote:>On 7/3/2024 9:11 AM, joes wrote:>Am Tue, 02 Jul 2024 22:55:12 -0500 schrieb olcott:>On 7/2/2024 10:50 PM, joes wrote:>Am Tue, 02 Jul 2024 14:46:38 -0500 schrieb olcott:On 7/2/2024 2:17 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 21:00 schreef olcott:On 7/2/2024 1:42 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 14:22 schreef olcott:On 7/2/2024 3:22 AM, Fred. Zwarts wrote:Op 02.jul.2024 om 03:25 schreef olcott:WTF? It only calls HHH, which you just said halts.HHH halts on input DDD.Whatever HHH does, it does not run forever but aborts.HHH repeats the process twice and aborts too soon.>
DDD is correctly emulated by any HHH that can exist which calls this
emulated HHH(DDD) to repeat the process until aborted (which may be
never).
>
DDD correctly simulated by HHH cannot possibly halt.
>
An aborted simulation does not count as halting.
And doesn't show non-halting either.
>Reaching it own machine address 00002183 counts as halting.>
DDD correctly simulated by HHH cannot possibly do that.
But HHH doesn't DO a "Correct Simulation" that can show that, it only does a PARTIAL simulation.
>
<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 words 10/13/2022>
>
until H correctly determines
Les messages affichés proviennent d'usenet.