**Subject** | **Replies** | **Last Message** |

Re: Question for Olcott [ Richard continues to be a liar ]By: olcott on *Mon, 23 May 2022* | 7 | 1 Hour 13 Minutes ago By: Richard Damon |

Are my reviewers incompetent or dishonest? [ stupid or liar ? ]By: olcott on *Sun, 22 May 2022* | 24 | 4 Hours 7 Minutes ago By: Richard Damon |

geet-hi and gee-tay don't lie | 9 | 10 Hours 52 Minutes ago By: Don Stockbauer |

Are my reviewers dishonest or technically incompetent ?By: olcott on *Sun, 22 May 2022* | 10 | 1 Day 4 Hours ago By: Richard Damon |

Halting problem undecidability and infinitely nested simulation (V5)By: olcott on *Sat, 21 May 2022* | 20 | 1 Day 23 Hours ago By: Richard Damon |

H(P,P)==0 is proven to be correct thus refuting the halting problemBy: olcott on *Sat, 21 May 2022* | 20 | 1 Day 23 Hours ago By: Richard Damon |

Re: Category error [ HEAD GAMES ]By: olcott on *Wed, 18 May 2022* | 24 | 3 Days 5 Hours ago By: Richard Damon |

Top_5_Casual_Dating_Sites_⇒_Join_the_Best_Hookup_S | 60 | 4 Days 1 Hour ago By: Don Stockbauer |

Correcting logic to make it a system of correct reasoningBy: olcott on *Fri, 13 May 2022* | 67 | 5 Days 3 Hours ago By: Richard Damon |

Proof that H(P,P)==0 is correct [ refuting the halting problem proofsBy: olcott on *Wed, 11 May 2022* | 3 | 10 Days 6 Hours ago By: Mr Flibble |

Implementing a two-way Turing Machine tape as an improvement toBy: olcott on *Thu, 12 May 2022* | 17 | 10 Days 7 Hours ago By: Chris M. Thomasson |

Re: _#MARINABERLUSCONI_MARINA_BERLUSCONI_É_LESBICA_K | 0 | 10 Days 12 Hours ago By: Don Stockbauer |

Re: reconsidering the 'computerized match maker' | 143 | 11 Days 4 Hours ago By: Don Stockbauer |

Seasons Greetings | 26 | 11 Days 16 Hours ago By: Don Stockbauer |

Proof that H(P,P)==0 is correct [ refuting the halting problem proofsBy: olcott on *Tue, 10 May 2022* | 3 | 12 Days 5 Hours ago By: olcott |

Re: On Strachey [ How nuts is that? ][ proof that I am correct ]By: olcott on *Tue, 10 May 2022* | 0 | 13 Days 14 Hours ago By: olcott |

H(P,P)==false is proven to be correct | 1 | 14 Days 4 Hours ago By: olcott |

Re: Next move [ truth itself is broken ] | 0 | 14 Days 23 Hours ago By: olcott |

Re: On Strachey [ How nuts is that? ] | 1 | 16 Days 2 Hours ago By: olcott |

All my reviewers expect a halt decider to have psychic powerBy: olcott on *Sat, 23 Apr 2022* | 3 | 16 Days 5 Hours ago By: olcott |

Validating that the implementation meets the spec for TM transition | 1 | 17 Days 5 Hours ago By: olcott |

Is this correct Prolog?By: olcott on *Sat, 30 Apr 2022* | 139 | 17 Days 6 Hours ago By: olcott |

Re: H(P,P) == false is correct | 19 | 17 Days 22 Hours ago By: olcott |

Re: On recursion and infinite recursion (reprise #3) | 1 | 18 Days 1 Hour ago By: olcott |

Re: On recursion and infinite recursion (reprise) | 0 | 20 Days 3 Hours ago By: olcott |

Re: On recursion and infinite recursion (reprise) | 2 | 20 Days 5 Hours ago By: olcott |

Re: On recursion and infinite recursion (reprise) | 0 | 20 Days 9 Hours ago By: olcott |

Re: On recursion and infinite recursion (reprise) | 0 | 20 Days 9 Hours ago By: olcott |

Free online dating sites without registration and payment - Fun Tonigh | 57 | 20 Days 17 Hours ago By: soc women |

One Night Stand: How To Find Local Girls & Women Near Me | 61 | 20 Days 17 Hours ago By: soc women |

Re: on "infinitely recursive" and "recursive" | 1 | 22 Days 9 Hours ago By: Richard Damon |

Re: On the halting problem (reprise #2)By: olcott on *Fri, 29 Apr 2022* | 2 | 24 Days 1 Hour ago By: olcott |

Re: On the halting problem (reprise #2) [ truth bearers ]By: olcott on *Fri, 29 Apr 2022* | 0 | 24 Days 8 Hours ago By: olcott |

Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key | 54 | 24 Days 22 Hours ago By: olcott |

Music creation as AI | 1 | 27 Days 14 Hours ago By: Don Stockbauer |

Halting problem undecidability and infinitely nested simulation (V5)By: olcott on *Fri, 15 Apr 2022* | 2 | 1 Month 3 Days ago By: olcott |

Halting problem undecidability and infinitely nested simulation [By: olcott on *Tue, 19 Apr 2022* | 0 | 1 Month 5 Days ago By: olcott |

My_Dishonest_reviewers:_André,_Ben,_Mike,_DeBy: olcott on *Mon, 18 Apr 2022* | 0 | 1 Month 5 Days ago By: olcott |

My_Dishonest_reviewers:_André,_Ben,_Mike,_DeBy: olcott on *Sun, 17 Apr 2022* | 2 | 1 Month 6 Days ago By: olcott |

My_dishonest_reviewers:_André,_Ben,_Mike,_DeBy: olcott on *Fri, 15 Apr 2022* | 5 | 1 Month 7 Days ago By: olcott |

My_dishonest_reviewers:_André,_Ben,_Mike,_DeBy: olcott on *Sat, 16 Apr 2022* | 0 | 1 Month 7 Days ago By: olcott |

Refuting the Peter Linz Halting Problem Proof --- Version(11) [ | 4 | 1 Month 17 Days ago By: olcott |

Refuting the Peter Linz Halting Problem Proof V6By: olcott on *Fri, 25 Mar 2022* | 102 | 1 Month 20 Days ago By: olcott |

Refuting the Peter Linz Halting Problem Proof V9 [ correct halt | 0 | 1 Month 22 Days ago By: olcott |

Re: reconsidering the 'computerized match maker' | 0 | 1 Month 27 Days ago By: Don Stockbauer |

Refuting the Peter Linz Halting Problem Proof V5 [ without anBy: olcott on *Tue, 22 Mar 2022* | 31 | 1 Month 28 Days ago By: olcott |

Refuting the Peter Linz Halting Problem Proof V8By: olcott on *Fri, 25 Mar 2022* | 0 | 1 Month 28 Days ago By: olcott |

Refuting the Peter Linz Halting Problem Proof V7By: olcott on *Fri, 25 Mar 2022* | 0 | 1 Month 28 Days ago By: olcott |

Concise refutation of halting problem proofs V63 [ Linz Proof ]By: olcott on *Thu, 17 Feb 2022* | 55 | 2 Months ago By: olcott |

Refuting the Peter Linz Halting Problem Proof V4 [ erroneousBy: olcott on *Sat, 19 Mar 2022* | 18 | 2 Months ago By: olcott |

Simulating halt deciders correct decider haltingBy: olcott on *Mon, 28 Feb 2022* | 88 | 2 Months 4 Days ago By: olcott |

Gödel_incompleteness_is_impossible_in_[correct_reaBy: olcott on *Thu, 10 Mar 2022* | 0 | 2 Months 13 Days ago By: olcott |

Unless the Goldbach conjecture is provable it is not true | 1 | 2 Months 17 Days ago By: Alan Mackenzie |

Reasoning from first principlesBy: olcott on *Tue, 22 Feb 2022* | 63 | 2 Months 20 Days ago By: olcott |

Call for Papers reminder (extended): The World Congress on | 0 | 2 Months 22 Days ago By: iaeng imecs_wce_wcec |

Simulating_halt_decider_embedded_H_must_abort_its_simulBy: olcott on *Mon, 28 Feb 2022* | 1 | 2 Months 25 Days ago By: olcott |

Is it behind glass? | 1 | 3 Months 2 Days ago By: Don Stockbauer |

Re: Knowledge's Discretion | 1 | 3 Months 3 Days ago By: Don Stockbauer |

Concise refutation of halting problem proofs V62 [ Linz Proof ] | 57 | 3 Months 4 Days ago By: olcott |

Halt status criteria that correctly handles pathologicalBy: olcott on *Thu, 17 Feb 2022* | 0 | 3 Months 6 Days ago By: olcott |

Definition of the set of non-halting sequences of configurationsBy: olcott on *Thu, 17 Feb 2022* | 0 | 3 Months 6 Days ago By: olcott |

Re: Design For A Self? | 5 | 3 Months 10 Days ago By: Jeffrey Rubard |

Re: Understanding Causality | 5 | 3 Months 11 Days ago By: Don Stockbauer |

Concise refutation of halting problem proofs V61 [ Linz Proof ] | 2 | 3 Months 16 Days ago By: olcott |

Concise refutation of halting problem proofs V52 [ Linz Proof ]By: olcott on *Sat, 22 Jan 2022* | 56 | 3 Months 17 Days ago By: olcott |

Concise refutation of halting problem proofs V60 [ Linz Proof ] | 0 | 3 Months 22 Days ago By: olcott |

Concise refutation of halting problem proofs V58 [ Linz Proof ] | 0 | 3 Months 23 Days ago By: olcott |

Concise refutation of halting problem proofs V57 [ Linz Proof ]By: olcott on *Mon, 31 Jan 2022* | 0 | 3 Months 22 Days ago By: olcott |

Concise refutation of halting problem proofs V56 [ Linz Proof ]By: olcott on *Mon, 31 Jan 2022* | 0 | 3 Months 22 Days ago By: olcott |

Concise refutation of halting problem proofs V55 [ halt deciders ]By: olcott on *Sat, 29 Jan 2022* | 1 | 3 Months 22 Days ago By: olcott |

Concise refutation of halting problem proofs V56 [ key essence ]By: olcott on *Sat, 29 Jan 2022* | 1 | 3 Months 24 Days ago By: olcott |

Concise refutation of halting problem proofs V54 [ Linz Proof ]By: olcott on *Tue, 25 Jan 2022* | 2 | 3 Months 28 Days ago By: olcott |

Concise refutation of halting problem proofs V53 [ Line Proof ]By: olcott on *Tue, 25 Jan 2022* | 0 | 3 Months 28 Days ago By: olcott |

Concise refutation of halting problem proofs V51 [ Linz Proof ]By: olcott on *Sat, 22 Jan 2022* | 0 | 4 Months 1 Day ago By: olcott |

Concise refutation of halting problem proofs V50 [ Linz Proof ]By: olcott on *Sat, 22 Jan 2022* | 0 | 4 Months 1 Day ago By: olcott |

Concise refutation of halting problem proofs V49 [ Linz Proof ]By: olcott on *Fri, 21 Jan 2022* | 0 | 4 Months 2 Days ago By: olcott |

Concise refutation of halting problem proofs V48, [ prerequisites ]By: olcott on *Sat, 15 Jan 2022* | 8 | 4 Months 4 Days ago By: olcott |

Re: Design For A Self? | 6 | 4 Months 7 Days ago By: Jeffrey Rubard |

dbush and user253751 continued conversationBy: olcott on *Thu, 13 Jan 2022* | 4 | 4 Months 9 Days ago By: olcott |

The Second Abstraction of AI | 5 | 4 Months 9 Days ago By: Don Stockbauer |

Concise refutation of halting problem proofs V47 | 3 | 4 Months 14 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V40 [ persistentBy: olcott on *Sun, 19 Dec 2021* | 7 | 4 Months 17 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V45 [honest | 2 | 4 Months 20 Days ago By: olcott |

Concise refutation of halting problem proofs V44 [honest dialogue] | 0 | 4 Months 20 Days ago By: olcott |

Concise refutation of halting problem proofs V42 [where people getBy: olcott on *Wed, 29 Dec 2021* | 7 | 4 Months 21 Days ago By: olcott |

Concise refutation of halting problem proofs V43 [computer scientist] | 0 | 4 Months 22 Days ago By: olcott |

Concise refutation of halting problem proofs V43 [where people getBy: olcott on *Fri, 31 Dec 2021* | 1 | 4 Months 22 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V40 [ persistentBy: olcott on *Tue, 14 Dec 2021* | 19 | 4 Months 25 Days ago By: olcott |

Concise refutation of halting problem proofs V42By: olcott on *Tue, 28 Dec 2021* | 1 | 4 Months 25 Days ago By: olcott |

What_final_state_does_simplified_Linz_Ĥ_applied_to_By: olcott on *Sun, 26 Dec 2021* | 3 | 4 Months 26 Days ago By: olcott |

What_final_state_does_adapted_Linz_Ĥ_applied_to_By: olcott on *Fri, 24 Dec 2021* | 0 | 4 Months 29 Days ago By: olcott |

What happens when the Linz H is applied to its own Turing machineBy: olcott on *Fri, 24 Dec 2021* | 0 | 4 Months 29 Days ago By: olcott |

What happens when the Linz H is applied to its own Turing machineBy: olcott on *Fri, 24 Dec 2021* | 0 | 4 Months 29 Days ago By: olcott |

What happens when the Linz H is applied to its own Turing machineBy: olcott on *Fri, 24 Dec 2021* | 0 | 4 Months 29 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V40 [ persistentBy: olcott on *Sat, 18 Dec 2021* | 0 | 5 Months 5 Days ago By: olcott |

Concise refutation of halting problem proofs V41 [ persistentBy: olcott on *Thu, 16 Dec 2021* | 0 | 5 Months 7 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V38 [ Olcott 2021 | 1 | 5 Months 15 Days ago By: olcott |

Concise refutation of halting problem proofs V37 [ Olcott 2021 generic | 0 | 5 Months 19 Days ago By: olcott |

It is amazing that everyone is too stupid or dishonest to acknowledge | 0 | 5 Months 20 Days ago By: olcott |

Concise refutation of halting problem proofs V36 [ Mike Terry is goofy | 0 | 5 Months 20 Days ago By: olcott |

Concise refutation of halting problem proofs V35 | 0 | 5 Months 20 Days ago By: olcott |

Concise refutation of halting problem proofs V34 [ invocation invarian | 3 | 5 Months 21 Days ago By: olcott |

Concise refutation of halting problem proofs V32 [ finallyBy: olcott on *Thu, 25 Nov 2021* | 7 | 5 Months 25 Days ago By: olcott |

Concise refutation of halting problem proofs V33By: olcott on *Sat, 27 Nov 2021* | 0 | 5 Months 26 Days ago By: olcott |

Concise refutation of halting problem proofs V31 [ finallyBy: olcott on *Thu, 25 Nov 2021* | 0 | 5 Months 28 Days ago By: olcott |

Concise refutation of halting problem proofs V27 [ finallyBy: olcott on *Mon, 22 Nov 2021* | 3 | 5 Months 28 Days ago By: olcott |

Concise refutation of halting problem proofs V30 [ finallyBy: olcott on *Wed, 24 Nov 2021* | 1 | 5 Months 29 Days ago By: olcott |

Concise refutation of halting problem proofs V29 [ finallyBy: olcott on *Tue, 23 Nov 2021* | 0 | 6 Months ago By: olcott |

Re: Need Imagination/reason algorithm - Stack Overflow | 0 | 6 Months 1 Day ago By: Iklanetindo |

Concise refutation of halting problem proofs V28 [ finallyBy: olcott on *Mon, 22 Nov 2021* | 0 | 6 Months 1 Day ago By: olcott |

Concise refutation of halting problem proofs V26 [ defined sets ]By: olcott on *Mon, 22 Nov 2021* | 0 | 6 Months 1 Day ago By: olcott |

Concise refutation of halting problem proofs V18By: olcott on *Fri, 19 Nov 2021* | 16 | 6 Months 1 Day ago By: olcott |

Concise refutation of halting problem proofs V25 [ H is a computable fBy: olcott on *Mon, 22 Nov 2021* | 0 | 6 Months 2 Days ago By: olcott |

Concise refutation of halting problem proofs V24 [named sets ]By: olcott on *Sun, 21 Nov 2021* | 0 | 6 Months 2 Days ago By: olcott |

Concise refutation of halting problem proofs V23By: olcott on *Sun, 21 Nov 2021* | 0 | 6 Months 2 Days ago By: olcott |

Concise refutation of halting problem proofs V20 [ Ben Bacarisse ]By: olcott on *Sat, 20 Nov 2021* | 2 | 6 Months 3 Days ago By: olcott |

Concise refutation of halting problem proofs V22 [ precisely definedBy: olcott on *Sat, 20 Nov 2021* | 2 | 6 Months 3 Days ago By: olcott |

Concise refutation of halting problem proofs V21 [ precisely definedBy: olcott on *Sat, 20 Nov 2021* | 0 | 6 Months 3 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V19By: olcott on *Sat, 20 Nov 2021* | 1 | 6 Months 3 Days ago By: olcott |

Concise refutation of halting problem proofs V17By: olcott on *Thu, 18 Nov 2021* | 6 | 6 Months 5 Days ago By: olcott |

Concise refutation of halting problem proofs V16By: olcott on *Wed, 17 Nov 2021* | 0 | 6 Months 6 Days ago By: olcott |

Concise refutation of halting problem proofs V15By: olcott on *Wed, 17 Nov 2021* | 1 | 6 Months 6 Days ago By: olcott |

Concise refutation of halting problem proofs V14 [no assemblyBy: olcott on *Tue, 16 Nov 2021* | 2 | 6 Months 7 Days ago By: olcott |

Re: Halting problem is a mistakeBy: olcott on *Sun, 14 Nov 2021* | 0 | 6 Months 9 Days ago By: olcott |

Concise refutation of halting problem proofs V13By: olcott on *Sun, 14 Nov 2021* | 0 | 6 Months 9 Days ago By: olcott |

Re: Why has the argument with Olcott gone on for so long?By: olcott on *Sat, 13 Nov 2021* | 1 | 6 Months 10 Days ago By: olcott |

Re: Why has the argument with Olcott gone on for so long?By: olcott on *Sat, 13 Nov 2021* | 0 | 6 Months 10 Days ago By: olcott |

Re: Halting problem as defined is erroneousBy: olcott on *Sat, 13 Nov 2021* | 0 | 6 Months 10 Days ago By: olcott |

Re: Halting problem as defined is erroneousBy: olcott on *Sat, 13 Nov 2021* | 0 | 6 Months 10 Days ago By: olcott |

Concise refutation of halting problem proofs V10 [ all rebuttals are cBy: olcott on *Fri, 12 Nov 2021* | 1 | 6 Months 11 Days ago By: olcott |

Concise refutation of halting problem proofs V11By: olcott on *Fri, 12 Nov 2021* | 0 | 6 Months 11 Days ago By: olcott |

Re: Concise refutation of halting problem proofs V9 [ Simplest one yet ]By: olcott on *Fri, 12 Nov 2021* | 0 | 6 Months 11 Days ago By: olcott |

Concise refutation of halting problem proofs V8 [ Simplest one yet ]By: olcott on *Fri, 12 Nov 2021* | 0 | 6 Months 11 Days ago By: olcott |

Re: Olcott's halt decider is a non-starterBy: olcott on *Fri, 12 Nov 2021* | 0 | 6 Months 11 Days ago By: olcott |

Re: Olcott wrong about infinite recursion [ simplest rebuttal ofBy: olcott on *Thu, 11 Nov 2021* | 1 | 6 Months 12 Days ago By: olcott |

Concise refutation of halting problem proofs V7 [ pure function ]By: olcott on *Thu, 11 Nov 2021* | 0 | 6 Months 12 Days ago By: olcott |

Re: Does the call from P() to H() specify infinite recursion?By: olcott on *Thu, 11 Nov 2021* | 1 | 6 Months 12 Days ago By: olcott |

Concise refutation of halting problem proofs V5 | 5 | 6 Months 13 Days ago By: olcott |

Concise refutation of halting problem proofs V6 [ pure function ]By: olcott on *Thu, 11 Nov 2021* | 0 | 6 Months 13 Days ago By: olcott |

Concise refutation of halting problem proofs V4 | 9 | 6 Months 14 Days ago By: olcott |

What if a cat barks?By: olcott on *Mon, 21 Jun 2021* | 127 | 6 Months 16 Days ago By: Don Stockbauer |

Concise refutation of halting problem proofs | 6 | 6 Months 17 Days ago By: olcott |

Concise refutation of halting problem proofs V2 [ H(P,P)==0 is | 0 | 6 Months 17 Days ago By: olcott |

Complete proof that H(P,P)==0 is correct for every simulating halt | 1 | 6 Months 19 Days ago By: olcott |

H(P,P)==0 is correct for every simulating halt decider H --- V2 | 24 | 6 Months 20 Days ago By: olcott |

H(P,P)==0 is correct for every simulating halt decider H | 0 | 6 Months 22 Days ago By: olcott |

How do we know that the input to H(P,P) really never halts?By: olcott on *Sun, 31 Oct 2021* | 6 | 6 Months 22 Days ago By: olcott |

Re: Scientific reasoningBy: olcott on *Fri, 22 Oct 2021* | 4 | 6 Months 25 Days ago By: olcott |

Simulating Halt Decider Theorem (Olcott 2021)By: olcott on *Mon, 25 Oct 2021* | 10 | 6 Months 27 Days ago By: olcott |

The_foundation_of_analytic_knowledge_refuting_the_Münchhausen_trilemmaBy: olcott on *Mon, 25 Oct 2021* | 1 | 6 Months 27 Days ago By: olcott |

Clarification_of_Linz_Ĥ_DescriptionBy: olcott on *Wed, 29 Sep 2021* | 25 | 6 Months 28 Days ago By: olcott |

Re: Vacuously TRUE vs Vacuously FALSE? [ natural preexisting order ofBy: olcott on *Mon, 25 Oct 2021* | 3 | 6 Months 28 Days ago By: Peter |

I finally completed my lexical analyzer generator (needed by my halt dBy: olcott on *Sun, 24 Oct 2021* | 1 | 6 Months 28 Days ago By: olcott |

Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements ofBy: olcott on *Mon, 25 Oct 2021* | 1 | 6 Months 28 Days ago By: Peter |

Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements ofBy: olcott on *Mon, 25 Oct 2021* | 0 | 6 Months 28 Days ago By: olcott |

Re: _Scientific_reasoning_H(P,P)_and_Ĥq0_⟨Ĥ⟩ ⟨Ĥ⟩By: olcott on *Fri, 22 Oct 2021* | 1 | 7 Months ago By: olcott |

Abolishing Russell's paradox using a knowledge ontologyBy: olcott on *Mon, 18 Oct 2021* | 6 | 7 Months 2 Days ago By: Peter |

My augmentation to foundationalismBy: olcott on *Sun, 17 Oct 2021* | 13 | 7 Months 4 Days ago By: olcott |

Re: The Vacuous Truth about the Present King of France: ****By: olcott on *Fri, 15 Oct 2021* | 0 | 7 Months 8 Days ago By: olcott |

The key basis of my refutation of the halting theoremBy: olcott on *Mon, 27 Sep 2021* | 3 | 7 Months 23 Days ago By: olcott |

Re: People who believe Trump won without evidence are correctlyBy: olcott on *Tue, 28 Sep 2021* | 0 | 7 Months 25 Days ago By: olcott |

It looks like I can exactly duplicate the Linz proof in x86 withoutBy: olcott on *Wed, 22 Sep 2021* | 13 | 7 Months 25 Days ago By: olcott |

Re: Infinitely Recursive input on HP ProofsBy: olcott on *Mon, 27 Sep 2021* | 0 | 7 Months 26 Days ago By: olcott |

Is it possible to create a simple infinite emulation detector?By: olcott on *Thu, 23 Sep 2021* | 1 | 7 Months 28 Days ago By: olcott |

Why do theory of computation problems require pure functions?By: olcott on *Sat, 18 Sep 2021* | 13 | 8 Months 2 Days ago By: olcott |

Re: Must a partial halt decider be a pure function of its inputs?By: olcott on *Mon, 20 Sep 2021* | 2 | 8 Months 3 Days ago By: olcott |

Re: Must a partial halt decider be a pure function of its inputs? (addenduBy: olcott on *Sun, 19 Sep 2021* | 12 | 8 Months 4 Days ago By: Mr Flibble |

Re: Must a partial halt decider be a pure function of its inputs?By: olcott on *Sun, 19 Sep 2021* | 1 | 8 Months 4 Days ago By: olcott |

The key mistake of the Peter Linz HP proof | 4 | 8 Months 6 Days ago By: olcott |

ESCORTS PUNE GIRLS | 2 | 8 Months 7 Days ago By: Don Stockbauer |

That P(P) of main() halts does not contradict H(P,P)==0 [ exceptionBy: olcott on *Sat, 28 Aug 2021* | 42 | 8 Months 11 Days ago By: olcott |

Helgoland - a stepping stone forward for new ideas (in SF)? | 2 | 8 Months 13 Days ago By: Doc O'Leary |

Airtight proof that H(P,P)==0 is correctBy: olcott on *Mon, 30 Aug 2021* | 3 | 8 Months 23 Days ago By: olcott |

How do we know H(P,P)==0 is the correct halt status for the input toBy: olcott on *Sat, 14 Aug 2021* | 29 | 8 Months 25 Days ago By: olcott |

H(P,P) is computationally distinct from P(P)By: olcott on *Tue, 24 Aug 2021* | 0 | 9 Months ago By: olcott |

Updated paper refutes the halting problem proofsBy: olcott on *Fri, 20 Aug 2021* | 0 | 9 Months 3 Days ago By: olcott |

How do we know H(P,P)==0 is the correct halt status for the input toBy: olcott on *Fri, 20 Aug 2021* | 0 | 9 Months 4 Days ago By: olcott |

Craigslist Personals Alternative site List For Sex Hookup & Dating | 154 | 9 Months 5 Days ago By: LARA BRAN |

Re: How do we know H(P,P)==0 is the correct halt status for the inputBy: olcott on *Sat, 14 Aug 2021* | 0 | 9 Months 9 Days ago By: olcott |

Any high school student knowing the x86 language can confirm this:By: olcott on *Sat, 14 Aug 2021* | 1 | 9 Months 9 Days ago By: Jeff Barnett |

Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct_and_forms_no_contradiction.By: olcott on *Fri, 13 Aug 2021* | 0 | 9 Months 10 Days ago By: olcott |

Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 isBy: olcott on *Mon, 26 Jul 2021* | 40 | 9 Months 11 Days ago By: olcott |

Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct_and_forms_no_contradiction.By: olcott on *Thu, 12 Aug 2021* | 0 | 9 Months 12 Days ago By: olcott |

Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 | 15 | 9 Months 12 Days ago By: olcott |

Quantum logic in AI? | 2 | 9 Months 15 Days ago By: Douglas Eagleson |

Anyone wanting an actual honest dialogue on the proof that H(P,P)==0 i | 0 | 9 Months 18 Days ago By: olcott |

Pathological self-reference(Olcott 2004) decider [ Defeating Rice's ThBy: olcott on *Fri, 30 Jul 2021* | 9 | 9 Months 20 Days ago By: olcott |

Re: Definition of primitive recursive function (wiki) [ H(P,P)==0 is alway | 0 | 9 Months 21 Days ago By: olcott |

Re: The HP does not exist as stated .. [ Simulating halt deciders ]By: olcott on *Sat, 31 Jul 2021* | 0 | 9 Months 22 Days ago By: olcott |

Re: _André_doesn't_know_Rice's_Theorem_[_Malcolm_]_[_Try_and_provide_a_couBy: olcott on *Sat, 31 Jul 2021* | 0 | 9 Months 22 Days ago By: olcott |

Re: Black box halt decider is NOT a partial decider [ paradox ratherBy: olcott on *Mon, 26 Jul 2021* | 29 | 9 Months 22 Days ago By: olcott |

Pathological self-reference(Olcott 2004) deciderBy: olcott on *Fri, 30 Jul 2021* | 0 | 9 Months 23 Days ago By: olcott |

Re: HP proofs appear to be peer reviewed garbageBy: olcott on *Thu, 29 Jul 2021* | 2 | 9 Months 24 Days ago By: olcott |

Re: The contradiction that the HP is predicated on is detectable ..By: olcott on *Tue, 27 Jul 2021* | 2 | 9 Months 25 Days ago By: olcott |

Re: The contradiction that the HP is predicated on is detectable ..By: olcott on *Tue, 27 Jul 2021* | 0 | 9 Months 26 Days ago By: olcott |

How is H(P,P)==0 correct even though P(P) stops running?By: olcott on *Thu, 22 Jul 2021* | 21 | 9 Months 27 Days ago By: olcott |

Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correctBy: olcott on *Mon, 26 Jul 2021* | 0 | 9 Months 27 Days ago By: olcott |

Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correctBy: olcott on *Mon, 26 Jul 2021* | 0 | 9 Months 27 Days ago By: olcott |

Re: The Rwandan genocide: still questions | 0 | 9 Months 28 Days ago By: Don Stockbauer |

Re: Halting Problem Solved (Black Box Decider Theory)By: olcott on *Fri, 16 Jul 2021* | 15 | 10 Months ago By: olcott |