Sujet : Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theoryDate : 10. Jun 2024, 16:35:52
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v476go$3ipmi$4@i2pn2.org>
References : 1 2 3 4 5
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 10 Jun 2024 08:52:32 -0500 schrieb olcott:
On 6/10/2024 2:09 AM, Fred. Zwarts wrote:
Op 10.jun.2024 om 07:17 schreef olcott:
On 6/9/2024 1:33 AM, Fred. Zwarts wrote:
Op 08.jun.2024 om 20:47 schreef olcott:
On 05.jun.2024 at 15:59 (CET) olcott proved that in the example
> int main()
> {
> Output("Input_Halts = ", HH(main,(ptr)0));
> }
main halts and HH reported a non-halting behaviour. This means that
when HH is used as a test for halting, it produces a false negative.
I just proved that D simulated by H has different behavior
than the directly executed D(D) and you ignored it.
A simulation must have the same behaviour.
-- joes
…