Sujet : Re: Computable Functions --- OUTPUTS MUST CORRESPOND TO INPUTS
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 23. Apr 2025, 12:25:34
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <6d9ae3ac08bbbe4407fc3612441fc2032f949a3d@i2pn2.org>
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
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 22 Apr 2025 13:51:48 -0500 schrieb olcott:
On 4/22/2025 1:07 PM, Fred. Zwarts wrote:
Op 22.apr.2025 om 18:28 schreef olcott:
On 4/22/2025 7:57 AM, joes wrote:
Am Tue, 15 Apr 2025 15:44:06 -0500 schrieb olcott:
You continue to stupidly insist that int sum(int x, int y) {return x
+ y; }
returns 7 for sum(3,2) because you incorrectly understand how these
things fundamentally work.
>
It is stupidly wrong to expect HHH(DD) report on the direct
execution of DD when you are not telling it one damn thing about
this direct execution.
What else is it missing that the processor uses to execute it?
>
libx86emu <is> a correct x86 processor and does emulate its inputs
correctly.
The key thing here is that Olcott consistently does not understand that
HHH is given a finite string input that according to the semantics of
the x86 language specifies a halting program,
That is stupidly incorrect.
No, DD halts (when executed directly). HHH is not a halt decider, not even
for DD only.
People here stupidly assume that the outputs are not required to
correspond to the inputs.
But the direct execution of DD is computable from its description.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.