Liste des Groupes | Revenir à theory |
On 8/28/2024 9:38 AM, Fred. Zwarts wrote:No, you are dishonest by putting words in my mouth that I did not say.Op 28.aug.2024 om 14:46 schreef olcott:void Infinite_Loop()On 8/28/2024 7:34 AM, Fred. Zwarts wrote:>Op 28.aug.2024 om 14:07 schreef olcott:>On 8/28/2024 4:00 AM, Fred. Zwarts wrote:>Op 27.aug.2024 om 15:32 schreef olcott:>>And since DDD is calling an HHH that is programmed to detect the 'special condition', so that it aborts and halts, DDD halts as well and
<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
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
HHH is only required to correctly predict whether or not DDD
*would never stop running unless aborted*
*THIS IS YOUR REASONING*
If you are hungry and never eat you will remain hungry.
You are hungry and eat becoming no longer hungry.
*This proves that you never needed to eat*
No, apparently, your understanding of logic English is very poor.
HHH simulates DDD until it has inductive evidence that
in the purely hypothetical case where a different HHH
would never abort its emulation of DDD that DDD would
never terminate normally.
Apparently you still do not understand that HHH should process its input, not your dreams of a pure hypothetical non-input.
>
{
HERE: goto HERE;
return;
}
In other words you are saying that HHH must report that
infinite loops halt even though halting is reaching a
final halt state and infinite loops cannot possibly reach
a final halt state.
Your replies have stepped over the line of an honest dialogue.
Les messages affichés proviennent d'usenet.