Liste des Groupes | Revenir à theory |
On 8/30/2024 10:00 AM, joes wrote:Which is the program DDD, the one that HHH emulates (and thus is the one calling that HHH), which includes the code of the HHH that it calls.Am Wed, 28 Aug 2024 14:47:45 -0500 schrieb olcott:DDD emulated by HHHOn 8/28/2024 2:21 PM, joes wrote:^Am Wed, 28 Aug 2024 11:44:53 -0500 schrieb olcott:On 8/28/2024 11:31 AM, Fred. Zwarts wrote:>Op 28.aug.2024 om 18:21 schreef olcott:On 8/28/2024 11:11 AM, Fred. Zwarts wrote:Op 28.aug.2024 om 17:13 schreef olcott:On 8/28/2024 9:57 AM, Fred. Zwarts wrote:Op 28.aug.2024 om 14:59 schreef olcott:On 8/28/2024 7:46 AM, Fred. Zwarts wrote:Op 28.aug.2024 om 14:12 schreef olcott:On 8/28/2024 4:09 AM, Fred. Zwarts wrote:Op 27.aug.2024 om 14:44 schreef olcott:On 8/27/2024 3:38 AM, Fred. Zwarts wrote:Op 27.aug.2024 om 04:33 schreef olcott:Like Fred has been saying for a month, what is HHH(HHH)?When 100% of the whole point is for HHH to correctly determineWhen we assume that:>
(a) HHH is an x86 emulator that is in the same memory
space as DDD.
(b) HHH emulates DDD according to the semantics of the x86
language.
then we can see that DDD emulated by HHH cannot possibly
get past its own machine address 0000217a.
Yes, we see. In fact DDD is not needed at all.
whether or not DDD would stop running if not aborted *IT IS
RIDICULOUSLY STUPID TO SAY THAT DDD IS NOT NEEDED*
>To the subject of what?A dishonest dodge way form the subject of DDD emulated by HHH.It is very telling to see where these exchanges peter out (haha).You may repeat it many more times, but HHH violated the semanticsWhen without DDD it is clear as crystal that HHH cannot
possibly simulate itself correctly:
of the x86 language by skipping the last few instructions of a
halting program. This finite string, when given for direct
execution, shows a halting behaviour. This is the proof what the
semantics of the x86 language means for this finite string: a
halting program.
>
DDD emulated by HHH
DDD emulated by HHH
DDD emulated by HHH
DDD emulated by HHH
Les messages affichés proviennent d'usenet.