Peter Olcott wrote:
On 5/8/2022 6:03 PM, Mr Flibble wrote:
On Sat, 7 May 2022 23:38:07 +0100
Mr Flibble <flibble@reddwarf.jmc> wrote:
What's the next move? We have established [Turing, 1936] as elaborated >>>> by [Strachey, 1965] is a nonsense so we now need a general algorithmSeriously embarrassing. Mr Flibble is very cross. :D
to establish if a program and its inputs halt.
First up: functional requirements.
/Flibble
/Flibble
When the correct simulation of the input to H(P,P) specifies infinite
recursion then P never reaches the contradictory part and H can
correctly recognize this infinite behavior pattern and reject this input.
The first three pages of this paper examine this concretely as
actually executed in the x86utm operating system:
Peter, you should consider seriously what's just happened with Mr
Flibble.
This is a very unusual, hence deserving to be pointed out, situation : someone (Mr Flibble) wrong on Usenet (or Internet for that matters...) admitted after only a few weeks of posting nonsense that he was actually wrong.
After all these years of crankery, could you exhibit the the same
integrity?
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 366 |
Nodes: | 16 (2 / 14) |
Uptime: | 25:50:04 |
Calls: | 7,832 |
Calls today: | 1 |
Files: | 12,933 |
Messages: | 5,770,994 |