Liste des Groupes | Revenir à theory |
Am Wed, 29 May 2024 21:32:49 -0500 schrieb olcott:It has already been acknowledged when D is correctly simulated byOn 5/29/2024 9:27 PM, Richard Damon wrote:On 5/29/24 9:48 PM, olcott wrote:On 5/29/2024 8:24 PM, Richard Damon wrote:On 5/29/24 9:15 PM, olcott wrote:On 5/29/2024 8:07 PM, Richard Damon wrote:On 5/29/24 8:59 PM, olcott wrote:On 5/29/2024 7:48 PM, Richard Damon wrote:On 5/29/24 8:17 PM, olcott wrote:On 5/29/2024 7:09 PM, Richard Damon wrote:On 5/29/24 7:57 PM, olcott wrote:On 5/29/2024 6:47 PM, Richard Damon wrote:On 5/29/24 2:31 PM, olcott wrote:On 5/29/2024 1:14 PM, Ben Bacarisse wrote:Alan Mackenzie <acm@muc.de> writes:How about a bit of respect? Mike specifically asked you
not to cite his
name as a back up for your points. Why do you keep doing it?It turns out that two dozen people are easily proven wrong whenHow is that?
they claimed that the correct simulation of the input to H(D,D)
is the behavior of int main() { D(D); }
>Or aborts prematurely.Which isn't a "Correct Simulation" by the definition thatRight the execution trace of D simulated by pure function H using
allow the relating of a "Simulation" to the behavior of an
input.
an x86 emulator must show that D cannot possibly reach its own
simulated final state and halt or the simulation of the machine
language of D is incorrect or in the wrong order.
Les messages affichés proviennent d'usenet.