On 10/1/2022 9:48 AM, Mr Flibble wrote:
> On Sat, 1 Oct 2022 17:23:18 +0300
> Mikko <mikko....@iki.fi
>> On 2022-10-01 12:43:34 +0000, Mr Flibble said:
>>> On Sat, 1 Oct 2022 14:54:03 +0300
>>> Mikko <mikko....@iki.fi
>>>> On 2022-09-29 17:48:14 +0000, Mr Flibble said:
>>>>> On Thu, 29 Sep 2022 10:37:46 -0700
>>>>> Keith Thompson <Keith.S.T...@gmail.com
>>>>>> Yes, if a simulating halt decider existed, it would refute the
>>>>>> halting problem proofs.
>>>>> It does exist: it is called the Flibble Signaling Decider (tm). I
>>>>> have refuted the halting problem proofs.
>>>> The Flibble Signaling Decider is not a halt decider and therefore
>>>> does not refute the halting problem proofs.
>>> The Flibble Signaling Decider is a halt decider and therefore does
>>> refute the halting problem proofs.
>> No, it isn't. A halt decider says either "yes" or "no" for every
>> input. For some inputs your "decider" says neither, so it is not a
>> halt decider.
> The Flibble Signaling Decider does say "yes" or "no" for
> non-pathological inputs and signals an exception for pathological
> inputs, so it is a halt decider and therefore does refute the halting
> problem proofs.
Unlike the Liar Paradox, the Tarksi Undefinability Theorem sentence and
Gödel's 1931 Incompleteness Theorem sentence where the correct answer
to, is it true or false is neither, the Halting Problem counter-example
is provably non-halting.
typedef void (*ptr)();
int H(ptr p, ptr i); // simulating halt decider
// P does the opposite of whatever H decides
void P(ptr x)
int Halt_Status = H(x, x);
if (Halt_Status) // if H(P,P) reports that its input halts
HERE: goto HERE; // P loops and never halts
return; // else P halts
P specifies non-halting behavior to every simulating halt decider H
because P continues to call H to simulate it again until H aborts its
simulation of P.
*This is easily verified with my fully operational halt decider*
Complete halt deciding system (Visual Studio Project)
(a) x86utm operating system
(b) Complete x86 emulator adapted from libx86emu to compile under Windows
(c) Several halt deciders and their sample inputs contained within Halt7.c
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer