On Thu, 18 Nov 2021 06:29:26 -0500
Richard Damon <Richard@Damon-Family.org> wrote:
On 11/17/21 10:48 PM, olcott wrote:
For every possible H of H(P,P) invoked from main() where P(P) calls
this same H(P,P) and H simulates or executes its input and aborts
or does not abort its input P never reaches its last instruction.
computation that halts
a computation is said to halt whenever it enters a final state.
(Linz:1990:234)
No, you LIE.
Halting is DEFINED by the behavior of the actual computation.
H(P,P) is supposed to say what P(P) will do.
No,
H(P,I) is supposed to say what P(H(P(H(P(H(P(...
i.e. it is infinite recursion due to a category error; H(P,I) as
defined is INVALID. The halting problem as defined is INVALID.
/Flibble
On Thu, 18 Nov 2021 06:29:26 -0500
Richard Damon <Richard@Damon-Family.org> wrote:
On 11/17/21 10:48 PM, olcott wrote:
For every possible H of H(P,P) invoked from main() where P(P) calls
this same H(P,P) and H simulates or executes its input and aborts
or does not abort its input P never reaches its last instruction.
computation that halts
a computation is said to halt whenever it enters a final state.
(Linz:1990:234)
No, you LIE.
Halting is DEFINED by the behavior of the actual computation.
H(P,P) is supposed to say what P(P) will do.
No,
H(P,I) is supposed to say what P(H(P(H(P(H(P(...
i.e. it is infinite recursion due to a category error; H(P,I) as
defined is INVALID. The halting problem as defined is INVALID.
/Flibble
Mr Flibble <flibble@reddwarf.jmc> writes:
On Thu, 18 Nov 2021 06:29:26 -0500
Richard Damon <Richard@Damon-Family.org> wrote:
H(P,P) is supposed to say what P(P) will do.
No,
So what arguments does one pass to H to find out is P(P) halts?
If it's
not P and P, what is it? (Of course it is P and P, that's why PO says
that H(P,P) == 0 is correct /despite/ the fact that P(P) halts.)
On Thu, 18 Nov 2021 16:55:24 +0000
Ben Bacarisse <ben.usenet@bsb.me.uk> wrote:
Mr Flibble <flibble@reddwarf.jmc> writes:
On Thu, 18 Nov 2021 06:29:26 -0500
Richard Damon <Richard@Damon-Family.org> wrote:
H(P,P) is supposed to say what P(P) will do.
No,
So what arguments does one pass to H to find out is P(P) halts? If
it's not P and P, what is it? (Of course it is P and P, that's why
PO says that H(P,P) == 0 is correct /despite/ the fact that P(P)
halts.)
Any P that doesn't reference H.
/Flibble
Mr Flibble <flibble@reddwarf.jmc> writes:
On Thu, 18 Nov 2021 16:55:24 +0000
Ben Bacarisse <ben.usenet@bsb.me.uk> wrote:
Mr Flibble <flibble@reddwarf.jmc> writes:
On Thu, 18 Nov 2021 06:29:26 -0500
Richard Damon <Richard@Damon-Family.org> wrote:
H(P,P) is supposed to say what P(P) will do.
No,
So what arguments does one pass to H to find out is P(P) halts? If
it's not P and P, what is it? (Of course it is P and P, that's why
PO says that H(P,P) == 0 is correct /despite/ the fact that P(P)
halts.)
Any P that doesn't reference H.
Not an answer. What arguments does one pass to H to find out if P(P) -- that's the P that has been posted numerous times -- halts?
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 365 |
Nodes: | 16 (2 / 14) |
Uptime: | 78:24:43 |
Calls: | 7,775 |
Calls today: | 1 |
Files: | 12,911 |
Messages: | 5,750,039 |