On 2021-11-22 18:16, olcott wrote:
On 11/22/2021 7:07 PM, André G. Isaak wrote:
On 2021-11-22 17:13, olcott wrote:
On 11/22/2021 5:16 PM, André G. Isaak wrote:
And this bit is particularly mystifying:
PSR_set: for n = 0 to ∞
{
; (Input_Never_Halts( Hn(Pn,Pn) ))
; (Sometimes_Halts( Hn(Pn,Pn) ))
; (Sometimes_Halts( Pn(Pn) ))
}
André
Numbered elements of the infinite set of finite string C encodings
of H and P. The source-code that I provided is the (H0, P0) element.
That wasn't the mystifying part despite it being a strange abuse of
syntax. I assumed this was just a deranged way of writing ∀n rather
than being a syntactically ill-formed C program, though why you
continuously insist on inventing your own undefined notation is
beyond me.
How can the input of Hn(Pn, Pn) never halt when Pn(Pn) sometimes halt?
The input to Hn(Pn,Pn) never reaches its final state.
For some of these exact same Pn(Pn) P does reach its final state.
Which goes back to Richard's question which you refused to answer: What
does Input_Never_Halts mean?
The input to a halt decider is a *string*. The input can't halt. It also can't not halt. Only the computation which it describes has a halting
status, and in the case of Hn(Pn, Pn) the input describes the
computation Pn(Pn).
You keep talking about what the 'input' does, but unless by 'input' you
mean 'the computation described by the input' this is a completely
undefined and, as far as I can tell, meaningless notion. Halting is a property of *computations*, not of strings.
So what does Input_Never_Halts mean?
What does it mean for an input to halt or not halt?
And if Hn is a halt decider, how can it only sometimes halt?
I am using categorically exhaustive reasoning examining the behavior
of every possible Hn(Pn,Pn) by examining the categories of possible
behavior.
Only a subset of Hn(Pn,Pn) is H a decider and in only a subset of
these is H a correct halt decider.
And what does it even mean for something to sometimes halt? For any
given value of n it either halts or it doesn't.
Not going to answer this, I take it?
André
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 294 |
Nodes: | 16 (2 / 14) |
Uptime: | 244:20:48 |
Calls: | 6,626 |
Calls today: | 2 |
Files: | 12,175 |
Messages: | 5,320,389 |