Re: Unconventional partial halt decider and grounding to a truthmaker -- Reply to Ben's long standing objection

Liste des GroupesRevenir à theory 
Sujet : Re: Unconventional partial halt decider and grounding to a truthmaker -- Reply to Ben's long standing objection
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 17. May 2024, 19:42:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v288eb$2ahvh$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 5/17/2024 7:50 AM, Ben Bacarisse wrote:
joes <noreply@example.com> writes:
 
Am Thu, 16 May 2024 22:29:14 -0400 schrieb Richard Damon:
 
Yep, perhaps some day soon we will be rid of your lies.
That’s low.
Your continuous cries of „liar” aren’t any better than Peter’s spam.
 When I did engage with him it was to try to pin down what he was really
saying and, after years of back-and-forth, he made two unequivocal
statement that, to my mind, render all subsequent discussion pointless.
First, when asked
      "Here's the key question: do you still assert that H(P,P) == false is
     the 'correct' answer even though P(P) halts?"
 He replied:
     "Yes that is the correct answer even though P(P) halts."
 
Computable functions are the basic objects of study in computability
theory. Computable functions are the formalized analogue of the
intuitive notion of algorithms, in the sense that a function is
computable if there exists an algorithm that can do the job of the
function, i.e. *given an input of the function domain it can return the*
*corresponding output* https://en.wikipedia.org/wiki/Computable_function
typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr x)
01 int P(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   P(P,P);
12 }
My reviewers have never been aware of the fact computable functions
are not allowed to report on the behavior of the computation they
themselves are contained within because deciders cannot take actual
Turing Machines as inputs.
This makes the behavior of the executed P(P) moot and instead H must
report on the behavior that the input to H(P,P) specifies.
In the above case a simulator is an x86 emulator that correctly emulates
at least one of the x86 instructions of D in the order specified by the
x86 instructions of D.
This may or may not include one or more recursive simulations where H
correctly simulates itself simulating D in the order specified by the
x86 instructions of H.
This conclusively proves that D correctly simulated by H cannot possibly
reach its own line 06 and halt to everyone with sufficient knowledge
of the semantics of the C programming knowledge.
*Introduction to the Theory of Computation, by Michael Sipser*
https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/
On 10/13/2022 11:29:23 AM
*MIT Professor Michael Sipser agreed these verbatim words are correct*
(He has neither reviewed nor agreed to anything else in this paper)
    If simulating halt decider H correctly simulates its input D until H
    correctly determines that its simulated D would never stop running
    unless aborted then
    H can abort its simulation of D and correctly report that D specifies
    a non-halting sequence of configurations.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
14 May 24 * Re: Is Richard a Liar?175Mikko
14 May 24 +* Re: Is Richard a Liar?18olcott
15 May 24 i+- Re: Olcott is a Liar!1Richard Damon
15 May 24 i`* Re: Is Richard a Liar?16Mikko
15 May 24 i `* Re: Is Richard a Liar?15olcott
16 May 24 i  +- Re: Olcott is a Liar!1Richard Damon
16 May 24 i  `* Re: Is Richard a Liar?13Mikko
16 May 24 i   `* Re: Is Richard a Liar?12olcott
17 May 24 i    +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24 i    `* Re: Is Richard a Liar?10Mikko
17 May 24 i     `* Re: Is Richard a Liar?9olcott
18 May 24 i      +* Re: Olcott is a Liar!5Richard Damon
18 May 24 i      i`* Re: Olcott is a Liar!4Mikko
18 May 24 i      i +- Re: Olcott is a Liar!1Richard Damon
18 May 24 i      i `* Richard is proven to be incorrect on a key point2olcott
18 May 24 i      i  `- Re: Richard is proven to be incorrect on a key point1Richard Damon
18 May 24 i      `* Re: Is Richard a Liar?3Mikko
18 May 24 i       `* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM2olcott
18 May 24 i        `- Re: embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM1Richard Damon
14 May 24 `* Re: Is Richard a Liar?156olcott
14 May 24  +* Re: Is Richard a Liar?132Alan Mackenzie
14 May 24  i+* Re: Is Richard a Liar?130olcott
14 May 24  ii+* Re: Is Richard a Liar?128Fred. Zwarts
14 May 24  iii`* Re: Is Richard a Liar?127olcott
14 May 24  iii `* Re: Is Richard a Liar?126Fred. Zwarts
14 May 24  iii  `* Re: Is Richard a Liar?125olcott
14 May 24  iii   +* Re: Is Richard a Liar?123Fred. Zwarts
14 May 24  iii   i`* Re: Is Richard a Liar?122olcott
14 May 24  iii   i +* Re: Is Richard a Liar?120Fred. Zwarts
14 May 24  iii   i i`* Re: Is Richard a Liar?119olcott
14 May 24  iii   i i +* Re: Is Richard a Liar?17joes
14 May 24  iii   i i i`* Re: Is Richard a Liar?16olcott
15 May 24  iii   i i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i `* Re: Is Richard a Liar?14Mikko
15 May 24  iii   i i i  `* Re: Is Richard a Liar?13olcott
15 May 24  iii   i i i   +* Re: Is Richard a Liar?3joes
15 May 24  iii   i i i   i`* Re: Is Richard a Liar?2olcott
16 May 24  iii   i i i   i `- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i   +- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i   `* Re: Is Richard a Liar?8olcott
16 May 24  iii   i i i    +- Re: Is Richard a Liar?1Fred. Zwarts
17 May 24  iii   i i i    +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i    +* Re: Is Richard a Liar?3Mikko
17 May 24  iii   i i i    i`* Every D correctly simulated by H never reaches its final state and halts V22olcott
18 May 24  iii   i i i    i `- Re: Every D correctly simulated by H never reaches its final state and halts V21Richard Damon
17 May 24  iii   i i i    `* Re: Is Richard a Liar?2olcott
18 May 24  iii   i i i     `- Re: Olcott is a Liar!1Richard Damon
14 May 24  iii   i i +* Re: Is Richard a Liar?80Fred. Zwarts
14 May 24  iii   i i i`* Re: Is Richard a Liar?79olcott
14 May 24  iii   i i i +* Re: Is Richard a Liar?69Fred. Zwarts
14 May 24  iii   i i i i`* Re: Is Richard a Liar?68olcott
15 May 24  iii   i i i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i i +* Re: Is Richard a Liar?60Fred. Zwarts
15 May 24  iii   i i i i i`* Re: Is Richard a Liar?59olcott
15 May 24  iii   i i i i i +* Re: Is Richard a Liar?57Fred. Zwarts
15 May 24  iii   i i i i i i+* Re: Is Richard a Liar?53olcott
15 May 24  iii   i i i i i ii+* Re: Is Richard a Liar?51Fred. Zwarts
15 May 24  iii   i i i i i iii`* Re: Is Richard a Liar?50olcott
15 May 24  iii   i i i i i iii +* Re: Is Richard a Liar?48Fred. Zwarts
15 May 24  iii   i i i i i iii i`* Re: Is Richard a Liar?47olcott
16 May 24  iii   i i i i i iii i +- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i i i iii i +- Re: Is Richard a Liar?1Fred. Zwarts
16 May 24  iii   i i i i i iii i +* Re: Is Richard a Liar?36Fred. Zwarts
16 May 24  iii   i i i i i iii i i`* Re: Is Richard a Liar?35olcott
16 May 24  iii   i i i i i iii i i +* Re: Is Richard a Liar?33Fred. Zwarts
16 May 24  iii   i i i i i iii i i i`* Re: Is Richard a Liar?32olcott
16 May 24  iii   i i i i i iii i i i +* Re: Is Richard a Liar?28Fred. Zwarts
16 May 24  iii   i i i i i iii i i i i`* Re: Is Richard a Liar?27olcott
17 May 24  iii   i i i i i iii i i i i +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i i i iii i i i i +* Re: Is Richard a Liar?18Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i`* Re: Is Richard a Liar?17olcott
17 May 24  iii   i i i i i iii i i i i i +* Re: Is Richard a Liar?11Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i i`* Re: Is Richard a Liar?10olcott
17 May 24  iii   i i i i i iii i i i i i i +* Re: Is Richard a Liar?8Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i i i`* Re: Is Richard a Liar?7olcott
18 May 24  iii   i i i i i iii i i i i i i i +- Re: Olcott is a Liar!1Richard Damon
18 May 24  iii   i i i i i iii i i i i i i i +- Re: Is Richard a Liar?1Fred. Zwarts
18 May 24  iii   i i i i i iii i i i i i i i +* Re: Is Richard a Liar?3joes
18 May 24  iii   i i i i i iii i i i i i i i i`* Re: Is Richard a Liar?2olcott
18 May 24  iii   i i i i i iii i i i i i i i i `- Re: Is Richard a Liar?1Richard Damon
18 May 24  iii   i i i i i iii i i i i i i i `- Re: Is Richard a Liar?1Fred. Zwarts
18 May 24  iii   i i i i i iii i i i i i i `- Re: Olcott is a Liar!1Richard Damon
18 May 24  iii   i i i i i iii i i i i i `* Re: Olcott is a Liar?5Richard Damon
18 May 24  iii   i i i i i iii i i i i i  `* No Message-ID therefore construed as Liar4olcott
18 May 24  iii   i i i i i iii i i i i i   `* Re: No Message-ID therefore construed as Liar3Richard Damon
18 May 24  iii   i i i i i iii i i i i i    `* Re: No Message-ID therefore construed as Liar2olcott
18 May 24  iii   i i i i i iii i i i i i     `- Re: No Message-ID therefore construed as Liar. Message ID Provided, so OLCOTT is the LIAR.1Richard Damon
17 May 24  iii   i i i i i iii i i i i +* Re: Is Richard a Liar?3Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i`* Re: Is Richard a Liar?2olcott
18 May 24  iii   i i i i i iii i i i i i `- Re: Olcott is a Liar!1Richard Damon
17 May 24  iii   i i i i i iii i i i i `* Re: Is Richard a Liar?4Mikko
17 May 24  iii   i i i i i iii i i i i  `* Re: Is Richard a Liar?3olcott
18 May 24  iii   i i i i i iii i i i i   `* Re: Olcott is a Liar!2Richard Damon
18 May 24  iii   i i i i i iii i i i i    `- Re: Olcott is a Liar!1Mikko
17 May 24  iii   i i i i i iii i i i +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i i i iii i i i `* Re: Is Richard a Liar?2Mikko
17 May 24  iii   i i i i i iii i i i  `- Re: Is Richard a Liar?1olcott
17 May 24  iii   i i i i i iii i i `- Re: Olcott is a patholgociat liar!1Richard Damon
16 May 24  iii   i i i i i iii i `* Re: Is Richard a Liar?8olcott
17 May 24  iii   i i i i i iii i  +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i i i iii i  +* Re: Is Richard a Liar?3olcott
18 May 24  iii   i i i i i iii i  `* Re: Is Richard a Liar?3immibis
16 May 24  iii   i i i i i iii `- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i i i ii`- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i i i i`* Re: Is Richard a Liar?3olcott
16 May 24  iii   i i i i i `- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i i +* Re: Is Richard a Liar?3joes
15 May 24  iii   i i i i `* Re: Is Richard a Liar?3Mikko
15 May 24  iii   i i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i `* Re: Is Richard a Liar?8Mikko
15 May 24  iii   i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i `* Re: Is Richard a Liar? No!20Alan Mackenzie
15 May 24  iii   i `- Re: Olcott is a Pathological Liar!1Richard Damon
15 May 24  iii   `- Re: Olcott is a Liar!1Richard Damon
15 May 24  ii`- Re: Olcott is a Liar!1Richard Damon
15 May 24  i`- Re: Is Richard a Liar?1immibis
15 May 24  +- Re: Olcott is a Liar!1Richard Damon
15 May 24  `* Re: Is Richard a Liar?22Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal