Sujet : Re: Is Richard a Liar?
De : news (at) *nospam* immibis.com (immibis)
Groupes : sci.logic comp.theoryDate : 18. May 2024, 09:55:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v29qdc$2n2pf$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 16/05/24 17:17, olcott wrote:
On 5/16/2024 4:27 AM, Mikko wrote:
On 2024-05-15 20:10:10 +0000, olcott said:
>
No, but it would strongly support the idea that the errors in your
claims are not C programming errors. And even less that 10,000 would
be enough for that. Pernaps three.
>
Two people with a masters degrees in computer science and two
other people in C forums agreed that D simulated by H cannot
possibly reach its own line 06 and halt.
what about D not-simulated by H? H is a not-simulator so that is the question you should be asking.