Liste des Groupes | Revenir à theory |
On 9/5/2024 2:41 PM, joes wrote:But you HAVEN'T proven your claim, only the fact that you are nothing but a pathological liar.Am Thu, 05 Sep 2024 13:10:13 -0500 schrieb olcott:Do you really understand this?On 9/5/2024 12:22 PM, joes wrote:>Am Thu, 05 Sep 2024 12:17:01 -0500 schrieb olcott:On 9/5/2024 11:56 AM, joes wrote:Am Thu, 05 Sep 2024 11:52:04 -0500 schrieb olcott:On 9/5/2024 11:34 AM, joes wrote:Am Thu, 05 Sep 2024 11:10:40 -0500 schrieb olcott:On 9/5/2024 10:57 AM, joes wrote:I smell evasion but fine, I understand that HHH cannot wait.First agree that you understand the first part so that we don'tBut why does HHH halt and return that itself doesn’t halt?The first HHH cannot wait for its HHH to abort which is waiting forThe directly executed HHH correctly determines that its emulated DDDWhy doesn’t the simulated HHH abort?
must be aborted because DDD keeps *THE EMULATED HHH* stuck in
recursive emulation.
its HHH to abort on and on with no HHH ever aborting.
endlessly digress away from the point.
It took far too long to get to this point we cannot simply
drop it without complete closure before moving on.
<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
Thus this criteria has been met.
Do you understand this?
We cannot move to any next point until after we finish this point.
Les messages affichés proviennent d'usenet.