1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
It is amazing that everyone is too stupid or dishonest to acknowledgethe obvious truth of this

By olcott on Fri Dec 3 18:18:14 2021

Latest reply by olcott on Fri Dec 3 18:18:14 2021
Concise refutation of halting problem proofs V36 [ Mike Terry isgoofy ]

By olcott on Fri Dec 3 13:54:11 2021

Latest reply by olcott on Fri Dec 3 13:54:11 2021
Concise refutation of halting problem proofs V35

By olcott on Fri Dec 3 09:20:54 2021

Latest reply by olcott on Fri Dec 3 09:20:54 2021
Re: Concise refutation of halting problem proofs V34 [ invocation invariants ]

By olcott on Thu Dec 2 19:57:10 2021

Latest reply by olcott on Thu Dec 2 19:57:10 2021
Concise refutation of halting problem proofs V34 [ invocationinvariants ]

By olcott on Wed Dec 1 22:07:05 2021

Latest reply by olcott on Thu Dec 2 14:29:32 2021
Re: Concise refutation of halting problem proofs V32 [ ridiculous ]

By olcott on Thu Nov 25 23:06:22 2021

Latest reply by olcott on Sun Nov 28 09:19:13 2021
Concise refutation of halting problem proofs V33

By olcott on Sat Nov 27 08:44:46 2021

Latest reply by olcott on Sat Nov 27 08:44:46 2021
=?UTF-8?Q?Re=3a_Concise_refutation_of_halting_problem_proofs_V32_?==?UTF-8?Q?=5b_Andr=c3=a9=27s_vague_abstractions_=5d?=

By olcott on Thu Nov 25 22:23:20 2021

Latest reply by olcott on Thu Nov 25 22:23:20 2021
=?UTF-8?Q?Re=3a_Concise_refutation_of_halting_problem_proofs_V32_?= =?UTF-8?Q?=5b_Andr=c3=a9=27s_vague_abstractions_=5d?=

By olcott on Thu Nov 25 20:28:33 2021

Latest reply by olcott on Thu Nov 25 20:28:33 2021
Concise refutation of halting problem proofs V32 [ finally mathematically precise ] rewrite

By olcott on Thu Nov 25 13:29:53 2021

Latest reply by olcott on Thu Nov 25 13:29:53 2021
Concise refutation of halting problem proofs V31 [ finallymathematically precise ]

By olcott on Thu Nov 25 12:15:55 2021

Latest reply by olcott on Thu Nov 25 12:15:55 2021
Re: Concise refutation of halting problem proofs V27 [ input is not in domain ]

By olcott on Wed Nov 24 22:54:41 2021

Latest reply by olcott on Wed Nov 24 22:54:41 2021
Concise refutation of halting problem proofs V30 [ finallymathematically precise ]

By olcott on Wed Nov 24 11:49:54 2021

Latest reply by olcott on Wed Nov 24 16:25:49 2021
Re: Concise refutation of halting problem proofs V27 [ input is notin domain ]

By olcott on Tue Nov 23 21:24:52 2021

Latest reply by olcott on Tue Nov 23 21:24:52 2021
Concise refutation of halting problem proofs V29 [ finally mathematically precise ]

By olcott on Tue Nov 23 10:21:19 2021

Latest reply by olcott on Tue Nov 23 10:21:19 2021
Concise refutation of halting problem proofs V27 [ finallymathematically precise ]

By olcott on Mon Nov 22 14:32:54 2021

Latest reply by olcott on Mon Nov 22 21:59:13 2021
Concise refutation of halting problem proofs V28 [ finallymathematically precise ]

By olcott on Mon Nov 22 15:16:05 2021

Latest reply by olcott on Mon Nov 22 15:16:05 2021
Re: Need Imagination/reason algorithm - Stack Overflow

By Iklanetindo on Mon Nov 22 14:27:30 2021

Latest reply by Iklanetindo on Mon Nov 22 14:27:30 2021
Concise refutation of halting problem proofs V26 [ defined sets ]

By olcott on Mon Nov 22 13:29:24 2021

Latest reply by olcott on Mon Nov 22 13:29:24 2021
Re: Concise refutation of halting problem proofs V21 [ Richard is nottechnically competent ]

By olcott on Mon Nov 22 10:37:48 2021

Latest reply by olcott on Mon Nov 22 10:37:48 2021
=?UTF-8?Q?Re=3a_Concise_refutation_of_halting_problem_proofs_V21_?==?UTF-8?Q?=5b_Andr=c3=a9_is_wrong_=5d?=

By olcott on Sun Nov 21 10:04:06 2021

Latest reply by olcott on Sun Nov 21 19:45:43 2021
Concise refutation of halting problem proofs V25 [ H is a computablefunction ]

By olcott on Sun Nov 21 18:03:52 2021

Latest reply by olcott on Sun Nov 21 18:03:52 2021
Concise refutation of halting problem proofs V24 [named sets ]

By olcott on Sun Nov 21 17:49:24 2021

Latest reply by olcott on Sun Nov 21 17:49:24 2021
Concise refutation of halting problem proofs V23

By olcott on Sun Nov 21 16:29:23 2021

Latest reply by olcott on Sun Nov 21 16:29:23 2021
=?UTF-8?Q?Re=3a_Concise_refutation_of_halting_problem_proofs_V21_?==?UTF-8?Q?=5b_Andr=c3=a9_is_incorrect_=5d?=

By olcott on Sat Nov 20 21:29:57 2021

Latest reply by olcott on Sat Nov 20 21:29:57 2021
Re: Concise refutation of halting problem proofs V21 [ preciselydefined sets ]

By olcott on Sat Nov 20 11:45:28 2021

Latest reply by olcott on Sat Nov 20 20:18:08 2021
Re: Concise refutation of halting problem proofs V20

By olcott on Sat Nov 20 18:52:00 2021

Latest reply by olcott on Sat Nov 20 18:52:00 2021
Re: Concise refutation of halting problem proofs V20 [ Richard FAILS]

By olcott on Sat Nov 20 18:44:58 2021

Latest reply by olcott on Sat Nov 20 18:44:58 2021
Re: Concise refutation of halting problem proofs V22 [ mathematically precise ]

By olcott on Sat Nov 20 18:38:33 2021

Latest reply by olcott on Sat Nov 20 18:38:33 2021
Re: Concise refutation of halting problem proofs V22 [ mathematicallyprecise ]

By olcott on Sat Nov 20 18:01:41 2021

Latest reply by olcott on Sat Nov 20 18:01:41 2021
Concise refutation of halting problem proofs V22 [ precisely definedsets ]

By olcott on Sat Nov 20 15:49:12 2021

Latest reply by olcott on Sat Nov 20 15:49:12 2021
Concise refutation of halting problem proofs V21 [ precisely definedsets ]

By olcott on Sat Nov 20 11:40:47 2021

Latest reply by olcott on Sat Nov 20 11:40:47 2021
Concise refutation of halting problem proofs V20 [ Ben Bacarisse ]

By olcott on Fri Nov 19 22:43:01 2021

Latest reply by olcott on Fri Nov 19 22:43:01 2021
Re: Concise refutation of halting problem proofs V19

By olcott on Fri Nov 19 21:14:17 2021

Latest reply by olcott on Fri Nov 19 22:20:06 2021
Re: Concise refutation of halting problem proofs V18 [ strawman error]

By olcott on Thu Nov 18 23:03:56 2021

Latest reply by olcott on Fri Nov 19 18:16:43 2021
Re: Concise refutation of halting problem proofs V18 [ strawman error ]

By olcott on Fri Nov 19 13:26:50 2021

Latest reply by olcott on Fri Nov 19 13:26:50 2021
Concise refutation of halting problem proofs V18

By olcott on Thu Nov 18 22:04:56 2021

Latest reply by olcott on Thu Nov 18 22:04:56 2021
Concise refutation of halting problem proofs V17

By olcott on Wed Nov 17 19:31:42 2021

Latest reply by olcott on Thu Nov 18 17:18:13 2021
Re: Concise refutation of halting problem proofs V17 [ pathologicalself-reference precisely defined ]

By olcott on Thu Nov 18 14:17:16 2021

Latest reply by olcott on Thu Nov 18 14:17:16 2021
Concise refutation of halting problem proofs V16

By olcott on Wed Nov 17 09:24:46 2021

Latest reply by olcott on Wed Nov 17 09:24:46 2021
Concise refutation of halting problem proofs V15

By olcott on Tue Nov 16 21:31:25 2021

Latest reply by olcott on Wed Nov 17 08:16:30 2021
Concise refutation of halting problem proofs V14 [no assemblyrequired]

By olcott on Mon Nov 15 20:28:44 2021

Latest reply by olcott on Tue Nov 16 20:51:11 2021
Re: Halting problem is a mistake

By olcott on Sun Nov 14 16:26:04 2021

Latest reply by olcott on Sun Nov 14 16:26:04 2021
Concise refutation of halting problem proofs V13

By olcott on Sun Nov 14 13:17:01 2021

Latest reply by olcott on Sun Nov 14 13:17:01 2021
Re: Why has the argument with Olcott gone on for so long?

By olcott on Sat Nov 13 11:45:46 2021

Latest reply by olcott on Sat Nov 13 12:47:13 2021
Re: Halting problem as defined is erroneous

By olcott on Sat Nov 13 08:41:59 2021

Latest reply by olcott on Sat Nov 13 09:07:29 2021
Re: Concise refutation of halting problem proofs V10 [ fake rebuttals]

By olcott on Fri Nov 12 17:43:29 2021

Latest reply by olcott on Fri Nov 12 17:43:29 2021
Concise refutation of halting problem proofs V11

By olcott on Fri Nov 12 17:35:59 2021

Latest reply by olcott on Fri Nov 12 17:35:59 2021
Concise refutation of halting problem proofs V10 [ all rebuttals arecategorically denied ]

By olcott on Fri Nov 12 14:11:22 2021

Latest reply by olcott on Fri Nov 12 14:11:22 2021
Re: Concise refutation of halting problem proofs V9 [ Simplest oneyet ]

By olcott on Fri Nov 12 12:48:59 2021

Latest reply by olcott on Fri Nov 12 12:48:59 2021
Concise refutation of halting problem proofs V8 [ Simplest one yet ]

By olcott on Fri Nov 12 12:45:38 2021

Latest reply by olcott on Fri Nov 12 12:45:38 2021
Re: Olcott's halt decider is a non-starter

By olcott on Fri Nov 12 11:10:05 2021

Latest reply by olcott on Fri Nov 12 11:10:05 2021
Re: Olcott wrong about infinite recursion [ simplest rebuttal ofhalting theorem ]

By olcott on Thu Nov 11 13:19:33 2021

Latest reply by olcott on Thu Nov 11 14:15:19 2021
Concise refutation of halting problem proofs V7 [ pure function ]

By olcott on Thu Nov 11 13:35:40 2021

Latest reply by olcott on Thu Nov 11 13:35:40 2021
Re: Does the call from P() to H() specify infinite recursion?

By olcott on Thu Nov 11 10:31:31 2021

Latest reply by olcott on Thu Nov 11 11:14:12 2021
Re: Concise refutation of halting problem proofs V5 [Linz version](Flibble)

By olcott on Wed Nov 10 20:33:19 2021

Latest reply by olcott on Wed Nov 10 20:33:19 2021
Concise refutation of halting problem proofs V6 [ pure function ]

By olcott on Wed Nov 10 19:25:18 2021

Latest reply by olcott on Wed Nov 10 19:25:18 2021
Re: Concise refutation of halting problem proofs V5 [Linz version]

By olcott on Wed Nov 10 09:09:19 2021

Latest reply by olcott on Wed Nov 10 15:19:41 2021
Re: Concise refutation of halting problem proofs V5 [ logicalnecessity ]

By olcott on Wed Nov 10 14:36:00 2021

Latest reply by olcott on Wed Nov 10 14:36:00 2021
Re: Concise refutation of halting problem proofs V4 [ computationalequivalence ]

By olcott on Mon Nov 8 20:37:13 2021

Latest reply by olcott on Tue Nov 9 20:09:24 2021
Concise refutation of halting problem proofs V4

By olcott on Sun Nov 7 07:25:06 2021

Latest reply by olcott on Tue Nov 9 12:39:06 2021
Concise refutation of halting problem proofs V5

By olcott on Tue Nov 9 08:52:48 2021

Latest reply by olcott on Tue Nov 9 08:52:48 2021
Re: Concise refutation of halting problem proofs V4 [ computational equivalence ]

By olcott on Mon Nov 8 20:54:21 2021

Latest reply by olcott on Mon Nov 8 20:54:21 2021
Re: What if a cat barks?

By Don Stockbauer on Tue Aug 3 06:33:17 2021

Latest reply by Don Stockbauer on Sun Nov 7 04:58:06 2021
Re: Concise refutation of halting problem proofs [ Richard seems tounderstand this ]

By olcott on Sat Nov 6 16:55:47 2021

Latest reply by olcott on Sat Nov 6 16:55:47 2021
Concise refutation of halting problem proofs V2 [ H(P,P)==0 iscorrect by logical necessity ]

By olcott on Sat Nov 6 12:30:20 2021

Latest reply by olcott on Sat Nov 6 12:30:20 2021
Concise refutation of halting problem proofs

By olcott on Thu Nov 4 10:47:53 2021

Latest reply by olcott on Sat Nov 6 09:00:03 2021
Re: Concise refutation of halting problem proofs [ focus on one point]

By olcott on Fri Nov 5 15:51:41 2021

Latest reply by olcott on Fri Nov 5 17:17:12 2021
Re: Concise refutation of halting problem proofs [ ta-da ? ]

By olcott on Thu Nov 4 17:32:29 2021

Latest reply by olcott on Thu Nov 4 17:32:29 2021
Re: Complete proof that H(P,P)==0 is correct for every simulatinghalt decider H [ conclusive proof ]

By olcott on Thu Nov 4 10:19:48 2021

Latest reply by olcott on Thu Nov 4 10:19:48 2021
Complete proof that H(P,P)==0 is correct for every simulating haltdecider H

By olcott on Wed Nov 3 18:14:59 2021

Latest reply by olcott on Wed Nov 3 18:14:59 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [complete proof that I am correct? ]

By olcott on Wed Nov 3 17:58:01 2021

Latest reply by olcott on Wed Nov 3 17:58:01 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [updated criterion ]

By olcott on Wed Nov 3 10:47:14 2021

Latest reply by olcott on Wed Nov 3 16:18:51 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [ updated criterion ]

By olcott on Wed Nov 3 11:14:12 2021

Latest reply by olcott on Wed Nov 3 13:23:36 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [ updated criterion ][ Linz mistake ]

By olcott on Wed Nov 3 11:33:20 2021

Latest reply by olcott on Wed Nov 3 11:33:20 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [ intuition versus logic ]

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Tue Nov 2 14:38:52 2021

Latest reply by olcott on Wed Nov 3 11:26:39 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [impossibly incorrect ]

By olcott on Tue Nov 2 17:51:51 2021

Latest reply by olcott on Wed Nov 3 11:20:36 2021
The Second Abstraction of AI

By Douglas Eagleson on Mon Sep 13 10:31:23 2021

Latest reply by Don Stockbauer on Wed Nov 3 01:23:39 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [ impossibly incorrect ]

By olcott on Tue Nov 2 22:14:24 2021

Latest reply by olcott on Tue Nov 2 22:14:24 2021
Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [intuition versus logic ]

By olcott on Tue Nov 2 10:57:06 2021

Latest reply by olcott on Tue Nov 2 15:43:40 2021
H(P,P)==0 is correct for every simulating halt decider H --- V2

By olcott on Sun Oct 31 22:45:40 2021

Latest reply by olcott on Tue Nov 2 09:20:45 2021
H(P,P)==0 is correct for every simulating halt decider H

By olcott on Sun Oct 31 22:28:43 2021

Latest reply by olcott on Sun Oct 31 22:28:43 2021
How do we know that the input to H(P,P) really never halts?

By olcott on Sat Oct 30 21:44:54 2021

Latest reply by olcott on Sun Oct 31 13:23:29 2021
Re: How do we know that the input to H(P,P) really never halts? [ H(P,P)==0 is necessarily correct ]

By olcott on Sun Oct 31 09:41:41 2021

Latest reply by olcott on Sun Oct 31 09:41:41 2021
Re: Scientific reasoning [ if H is correct then it is not incorrect ]

By olcott on Tue Oct 26 09:47:28 2021

Latest reply by olcott on Thu Oct 28 10:11:16 2021
Simulating Halt Decider Theorem (Olcott 2021)

By olcott on Mon Oct 25 15:10:47 2021

Latest reply by olcott on Tue Oct 26 15:23:25 2021
=?UTF-8?Q?Re=3a_The_foundation_of_analytic_knowledge_refuting_the_M?==?UTF-8?Q?=c3=bcnchhausen_trilemma?=

By olcott on Tue Oct 26 12:29:11 2021

Latest reply by olcott on Tue Oct 26 12:29:11 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_correc?==?UTF-8?Q?t_criteria_=5d=5b_Ben_is_lost!_=5d?=

By olcott on Mon Oct 25 20:02:42 2021

Latest reply by olcott on Mon Oct 25 20:02:42 2021
Re: Vacuously TRUE vs Vacuously FALSE? [ natural preexisting order ofthe body of knowledge ]

By olcott on Mon Oct 25 09:36:58 2021

Latest reply by Peter on Mon Oct 25 17:26:55 2021
Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements ofthe empty set ]

By olcott on Mon Oct 25 09:19:30 2021

Latest reply by Peter on Mon Oct 25 15:51:32 2021
Re: I finally completed my lexical analyzer generator ( semantictautology )

By olcott on Mon Oct 25 10:02:28 2021

Latest reply by olcott on Mon Oct 25 10:02:28 2021
=?UTF-8?Q?The_foundation_of_analytic_knowledge_refuting_the_M=c3=bc?==?UTF-8?Q?nchhausen_trilemma?=

By olcott on Mon Oct 25 09:12:36 2021

Latest reply by olcott on Mon Oct 25 09:12:36 2021
I finally completed my lexical analyzer generator (needed by my halt decider)

By olcott on Sat Oct 23 20:27:50 2021

Latest reply by olcott on Sat Oct 23 20:27:50 2021
=?UTF-8?Q?Re=3a_Scientific_reasoning_H=28P=2cP=29_and_=c4=a4q0_?==?UTF-8?B?4p+oxKTin6kg4p+oxKTin6kgWyBpbmZpbml0ZSBsb29wcyBd?=

By olcott on Sat Oct 23 12:53:09 2021

Latest reply by olcott on Sat Oct 23 12:53:09 2021
=?UTF-8?Q?Re=3a_Scientific_reasoning_H=28P=2cP=29_and_=c4=a4q0_?= =?UTF-8?B?4p+oxKTin6kg4p+oxKTin6k=?=

By olcott on Fri Oct 22 08:33:19 2021

Latest reply by olcott on Fri Oct 22 08:33:19 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_correc?= =?UTF-8?Q?t_criteria_=5d=5b_Ben_is_lost!_=5d?=

By olcott on Thu Oct 21 21:33:07 2021

Latest reply by Jeff Barnett on Thu Oct 21 21:59:14 2021
Re: Scientific reasoning

By olcott on Thu Oct 21 21:34:53 2021

Latest reply by olcott on Thu Oct 21 21:34:53 2021
Abolishing Russell's paradox using a knowledge ontology

By olcott on Mon Oct 18 10:56:47 2021

Latest reply by Peter on Thu Oct 21 20:47:56 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_correc?==?UTF-8?Q?t_criteria_=5d=5b_Ben_is_lost=3f_=5d?=

By olcott on Wed Oct 20 08:57:58 2021

Latest reply by olcott on Wed Oct 20 21:18:27 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_correc?==?UTF-8?Q?t_criteria_=5d=5b_Andr=c3=a9_is_lost=3f_=5d?=

By olcott on Wed Oct 20 10:51:05 2021

Latest reply by olcott on Wed Oct 20 16:59:57 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_correc?==?UTF-8?Q?t_criteria_=5d?=

By olcott on Tue Oct 19 12:17:49 2021

Latest reply by olcott on Tue Oct 19 12:17:49 2021
My augmentation to foundationalism

By olcott on Sun Oct 17 09:23:01 2021

Latest reply by olcott on Tue Oct 19 09:14:23 2021
Re: The Vacuous Truth about the Present King of France: ****CORRECTION *** {vacuous truth}

By olcott on Fri Oct 15 10:59:36 2021

Latest reply by olcott on Fri Oct 15 10:59:36 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_untain?==?UTF-8?Q?ted_decision_=5d?=

By olcott on Fri Oct 15 10:39:09 2021

Latest reply by olcott on Fri Oct 15 10:39:09 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_Are_we?= =?UTF-8?Q?_there_yet_=3f_=5d_=28V2=29?=

By olcott on Sat Oct 2 16:02:05 2021

Latest reply by Don Stockbauer on Tue Oct 5 05:48:11 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_Are_we?==?UTF-8?Q?_there_yet_=3f_=5d_=28V4=29?=

By olcott on Sat Oct 2 13:08:46 2021

Latest reply by olcott on Sat Oct 2 13:08:46 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=5b_Are_we?= =?UTF-8?Q?_there_yet_=3f_=5d_=28V3=29?=

By olcott on Sat Oct 2 11:23:05 2021

Latest reply by olcott on Sat Oct 2 11:23:05 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=28V2=29?=

By olcott on Wed Sep 29 18:19:10 2021

Latest reply by olcott on Fri Oct 1 15:23:45 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=28V2=29_?= =?UTF-8?Q?=5b_key_basis_of_refutation_=5d?=

By olcott on Fri Oct 1 12:30:13 2021

Latest reply by olcott on Fri Oct 1 12:30:13 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description?=

By olcott on Fri Oct 1 11:46:12 2021

Latest reply by olcott on Fri Oct 1 11:46:12 2021
Re: Craigslist Personals Alternative site List For Sex Hookup & Dating

By LARA BRAN on Wed Aug 18 10:39:55 2021

Latest reply by zeyorse trona on Thu Sep 30 21:34:33 2021
=?UTF-8?Q?Re=3a_Clarification_of_Linz_=c4=a4_Description_=28V2=29_?==?UTF-8?Q?=5b_dishonest_dodge_=5d?=

By olcott on Thu Sep 30 18:58:18 2021

Latest reply by olcott on Thu Sep 30 18:58:18 2021
The key basis of my refutation of the halting theorem

By olcott on Mon Sep 27 14:34:49 2021

Latest reply by olcott on Thu Sep 30 14:54:59 2021
=?UTF-8?Q?Clarification_of_Linz_=c4=a4_Description?=

By olcott on Tue Sep 28 22:20:26 2021

Latest reply by olcott on Tue Sep 28 22:47:43 2021
Re: People who believe Trump won without evidence are correctlycalled psychotic

By olcott on Tue Sep 28 14:33:31 2021

Latest reply by olcott on Tue Sep 28 14:33:31 2021
Re: It looks like I can exactly duplicate the Linz proof in C/x86 asa pure function

By olcott on Mon Sep 27 12:41:55 2021

Latest reply by olcott on Mon Sep 27 22:28:09 2021
It looks like I can exactly duplicate the Linz proof in x86 withoutstatic data

By olcott on Tue Sep 21 21:25:28 2021

Latest reply by olcott on Mon Sep 27 13:31:41 2021
Re: Infinitely Recursive input on HP Proofs

By olcott on Mon Sep 27 13:23:07 2021

Latest reply by olcott on Mon Sep 27 13:23:07 2021
Re: Is it possible to create a simple infinite emulation detector? [cite sources ]

By olcott on Sat Sep 25 22:00:34 2021

Latest reply by olcott on Sat Sep 25 22:00:34 2021
Is it possible to create a simple infinite emulation detector?

By olcott on Thu Sep 23 13:30:14 2021

Latest reply by olcott on Thu Sep 23 13:30:14 2021
Re: It looks like I can exactly duplicate the Linz proof in x86 without static data [ software engineering skill ]

By olcott on Thu Sep 23 07:36:30 2021

Latest reply by olcott on Thu Sep 23 07:36:30 2021
Re: It looks like I can exactly duplicate the Linz proof in x86without static data

By olcott on Wed Sep 22 16:02:42 2021

Latest reply by olcott on Wed Sep 22 16:02:42 2021
Re: Why do theory of computation problems require pure functions? [ computation ? ]

By olcott on Tue Sep 21 10:16:12 2021

Latest reply by olcott on Tue Sep 21 10:16:12 2021
Why do theory of computation problems require pure functions?

By olcott on Fri Sep 17 21:40:09 2021

Latest reply by olcott on Mon Sep 20 22:07:02 2021
Re: Must a partial halt decider be a pure function of its inputs?

By olcott on Sun Sep 19 06:09:57 2021

Latest reply by olcott on Mon Sep 20 13:59:03 2021
Re: Must a partial halt decider be a pure function of its inputs?(addendum)

By olcott on Sun Sep 19 11:20:15 2021

Latest reply by Mr Flibble on Sun Sep 19 21:32:25 2021
Re: Must a partial halt decider be a pure function of its inputs? (addendum)

By olcott on Sun Sep 19 13:40:36 2021

Latest reply by olcott on Sun Sep 19 13:40:36 2021
Re: Why do theory of computation problems require pure functions? [PSR error]

By olcott on Sun Sep 19 11:39:25 2021

Latest reply by olcott on Sun Sep 19 13:33:41 2021
Re: Must a partial halt decider be a pure function of its inputs? [ decidability decider ]

By olcott on Sun Sep 19 10:03:59 2021

Latest reply by olcott on Sun Sep 19 10:03:59 2021
Re: Why do theory of computation problems require pure functions?[decidability decider citation ]

By olcott on Sun Sep 19 06:56:09 2021

Latest reply by olcott on Sun Sep 19 06:56:09 2021
Re: The key mistake of the Peter Linz HP proof [ Liar Liar pants onfire ]

By olcott on Fri Sep 17 13:41:36 2021

Latest reply by olcott on Fri Sep 17 13:41:36 2021
ESCORTS PUNE GIRLS

By rock metro on Tue Sep 14 00:35:08 2021

Latest reply by Don Stockbauer on Thu Sep 16 05:17:43 2021
Re: H1(P,P) is a halt decider for P(P) [ meeting the infinite recursion criteria ]( SUMMATION )

By olcott on Sun Sep 12 13:44:11 2021

Latest reply by olcott on Sun Sep 12 13:44:11 2021
Re: H1(P,P) is a halt decider for P(P) [ meeting the infinite recursion criteria ]( calling your bluff! )

By olcott on Thu Sep 9 08:34:31 2021

Latest reply by olcott on Sat Sep 11 22:53:00 2021
Helgoland - a stepping stone forward for new ideas (in SF)?

By Simon Laub on Sun Sep 5 18:54:47 2021

Latest reply by Doc O'Leary on Fri Sep 10 17:19:18 2021
Re: H1(P,P) is a halt decider for P(P) [ meeting the infiniterecursion criteria ]( calling your bluff! )

By olcott on Wed Sep 8 17:34:25 2021

Latest reply by olcott on Thu Sep 9 17:15:32 2021
H1(P,P) is a halt decider for P(P) [ Refuting Rice's Theorem ]

By olcott on Tue Sep 7 21:53:45 2021

Latest reply by olcott on Thu Sep 9 10:25:55 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [Refuting Rice's Theorem ]

By olcott on Tue Sep 7 10:51:14 2021

Latest reply by olcott on Wed Sep 8 22:39:36 2021
Re: H1(P,P) is a halt decider for P(P) [ meeting the infiniterecursion criteria ]

By olcott on Wed Sep 8 17:00:31 2021

Latest reply by olcott on Wed Sep 8 17:00:31 2021
=?UTF-8?Q?Re=3A_Top_5_Casual_Dating_Sites_=E2=87=92_Join_the_Best_Hook?==?UTF-8?Q?up_Sites=21?=

By anderw sara on Tue Sep 7 23:19:26 2021

Latest reply by anderw sara on Tue Sep 7 23:19:26 2021
Re: The Easiest App to Fuck Local Girls : Free Meet n Fuck App

By anderw sara on Tue Sep 7 23:17:50 2021

Latest reply by anderw sara on Tue Sep 7 23:17:50 2021
Re: Free online dating sites without registration and payment - Fun Tonight

By anderw sara on Tue Sep 7 23:17:44 2021

Latest reply by anderw sara on Tue Sep 7 23:17:44 2021
Re: Find Local Swingers Online | Meet Girls Near Me | Single WomenFor Date

By anderw sara on Tue Sep 7 23:17:38 2021

Latest reply by anderw sara on Tue Sep 7 23:17:38 2021
Re: One Night Stand: How To Find Local Girls & Women Near Me

By anderw sara on Tue Sep 7 23:17:32 2021

Latest reply by anderw sara on Tue Sep 7 23:17:32 2021
=?UTF-8?Q?Re=3a_That_P=28P=29_of_main=28=29_halts_does_not_contradi?==?UTF-8?B?Y3QgSChQLFApPT0wIFsgTGlueiBIIGFwcGxpZWQgdG8g4p+oxKTin6kg4p+oxKQ=?==?UTF-8?B?4p+pIF0=?=

By olcott on Sat Sep 4 17:36:13 2021

Latest reply by olcott on Tue Sep 7 20:45:11 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ purefunctions ][ Rice's Theorem ]

By olcott on Tue Sep 7 11:02:25 2021

Latest reply by olcott on Tue Sep 7 11:02:25 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ refuted Rice's theorem ]

By olcott on Mon Sep 6 09:57:15 2021

Latest reply by olcott on Tue Sep 7 10:45:45 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ refutedRice's theorem ]

By olcott on Tue Sep 7 09:00:18 2021

Latest reply by olcott on Tue Sep 7 09:00:18 2021
=?UTF-8?Q?Re=3a_The_key_mistake_of_the_Peter_Linz_HP_proof=3a_=5b_?==?UTF-8?B?xKQgYXBwbGllZCB0byDin6jEpOKfqSBd?=

By olcott on Sun Sep 5 09:46:11 2021

Latest reply by olcott on Sun Sep 5 09:46:11 2021
The key mistake of the Peter Linz HP proof

By olcott on Fri Sep 3 19:18:05 2021

Latest reply by olcott on Sat Sep 4 10:16:27 2021
=?UTF-8?Q?Re=3a_That_P=28P=29_of_main=28=29_halts_does_not_contradi?= =?UTF-8?B?Y3QgSChQLFApPT0wIFsgTGlueiBIIGFwcGxpZWQgdG8g4p+oxKTin6kg4p+oxKQ=?= =?UTF-8?B?4p+pIF0=?=

By olcott on Fri Sep 3 19:25:38 2021

Latest reply by olcott on Fri Sep 3 19:25:38 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ignorance ]

By olcott on Thu Sep 2 20:42:21 2021

Latest reply by olcott on Fri Sep 3 09:20:23 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ ignorance ]

By olcott on Thu Sep 2 10:23:14 2021

Latest reply by olcott on Fri Sep 3 09:05:20 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [pathological inputs ]

By olcott on Thu Sep 2 11:32:51 2021

Latest reply by olcott on Thu Sep 2 11:32:51 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ pathological inputs ]

By olcott on Thu Sep 2 10:34:03 2021

Latest reply by olcott on Thu Sep 2 10:34:03 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [exception to the rule ]

By olcott on Wed Sep 1 10:05:54 2021

Latest reply by olcott on Thu Sep 2 09:15:38 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ Pathological Input ]

By olcott on Wed Sep 1 21:53:48 2021

Latest reply by olcott on Wed Sep 1 21:53:48 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [relative invocation order ]

By olcott on Tue Aug 31 11:08:07 2021

Latest reply by olcott on Tue Aug 31 16:48:22 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ airtight proof ]

By olcott on Sun Aug 29 08:28:50 2021

Latest reply by olcott on Tue Aug 31 09:24:57 2021
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ air tight proof ]

By olcott on Mon Aug 30 23:00:48 2021

Latest reply by olcott on Mon Aug 30 23:00:48 2021
Airtight proof that H(P,P)==0 is correct

By olcott on Mon Aug 30 09:35:13 2021

Latest reply by olcott on Mon Aug 30 21:45:53 2021
=?UTF-8?Q?Re=3a_Airtight_proof_that_H=28P=2cP=29=3d=3d0_is_correct_?==?UTF-8?Q?=5b_deficiency_of_Andr=c3=a9=27s_reasoning_=5d?=

By olcott on Mon Aug 30 20:14:21 2021

Latest reply by olcott on Mon Aug 30 20:14:21 2021
That P(P) of main() halts does not contradict H(P,P)==0 [ exceptionto the rule ]

By olcott on Sat Aug 28 11:47:32 2021

Latest reply by olcott on Sat Aug 28 11:47:32 2021
Re: How do we know H(P,P)==0 is the correct halt status for the inputto H? [ distinct computations ]

By olcott on Sun Aug 22 12:18:44 2021

Latest reply by olcott on Sat Aug 28 09:36:44 2021
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? [ distinct computations ]

By olcott on Mon Aug 23 22:52:04 2021

Latest reply by olcott on Mon Aug 23 22:52:04 2021
H(P,P) is computationally distinct from P(P)

By olcott on Mon Aug 23 21:11:14 2021

Latest reply by olcott on Mon Aug 23 21:11:14 2021
How do we know H(P,P)==0 is the correct halt status for the input toH?

By olcott on Sat Aug 14 10:17:55 2021

Latest reply by olcott on Mon Aug 23 13:32:28 2021
Re: How do we know H(P,P)==0 is the correct halt status for the inputto H? [ double-talk "rebuttal" ]

By olcott on Sun Aug 22 11:49:22 2021

Latest reply by olcott on Sun Aug 22 11:49:22 2021
Re: How do we know H(P,P)==0 is the correct halt status for the inputto H? [ computational dependence ]

By olcott on Fri Aug 20 16:09:31 2021

Latest reply by olcott on Sat Aug 21 23:01:42 2021
Updated paper refutes the halting problem proofs

By olcott on Fri Aug 20 14:21:25 2021

Latest reply by olcott on Fri Aug 20 14:21:25 2021
Re: How do we know H(P,P)==0 is the correct halt status for the inputto H? (possible duplicate)

By olcott on Fri Aug 20 11:44:51 2021

Latest reply by olcott on Fri Aug 20 11:44:51 2021
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate)

By olcott on Thu Aug 19 18:50:31 2021

Latest reply by olcott on Fri Aug 20 11:42:07 2021
How do we know H(P,P)==0 is the correct halt status for the input toH? (H1 copy of H)

By olcott on Thu Aug 19 21:53:43 2021

Latest reply by olcott on Thu Aug 19 21:53:43 2021
Re: How do we know H(P,P)==0 is the correct halt status for the input to H?

By olcott on Sat Aug 14 16:06:36 2021

Latest reply by olcott on Thu Aug 19 10:23:54 2021
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (HTML for fixed width font)

By olcott on Sat Aug 14 15:05:18 2021

Latest reply by olcott on Sat Aug 14 15:05:18 2021
Any high school student knowing the x86 language can confirm this:

By olcott on Sat Aug 14 09:24:26 2021

Latest reply by Jeff Barnett on Sat Aug 14 12:40:56 2021
How do we know H(P,P)==0 is the correct halt status for the input toH? (HTML for fixed width font)

By olcott on Sat Aug 14 11:06:15 2021

Latest reply by olcott on Sat Aug 14 11:06:15 2021
=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?= =?UTF-8?Q?correct_and_forms_no_contradiction=2e?=

By olcott on Fri Aug 13 08:30:33 2021

Latest reply by olcott on Fri Aug 13 08:30:33 2021
=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?==?UTF-8?Q?correct_and_forms_no_contradiction=2e_=5b_Ben_accepts_one_point?==?UTF-8?B?PyBdICh0eXBvIGZpeGVkICk=?=

By olcott on Thu Aug 12 15:36:00 2021

Latest reply by olcott on Thu Aug 12 15:36:00 2021
=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?==?UTF-8?Q?correct_and_forms_no_contradiction=2e_=5b_Halting_Problem_is_solv?==?UTF-8?B?ZWQgZm9yIMSkIG9uIOKfqMSk4p+pIF0=?=

By olcott on Wed Aug 11 21:14:00 2021

Latest reply by olcott on Wed Aug 11 21:14:00 2021
=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?==?UTF-8?Q?correct_and_forms_no_contradiction=2e?=

By olcott on Wed Aug 11 21:03:11 2021

Latest reply by olcott on Wed Aug 11 21:03:11 2021
=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?= =?UTF-8?Q?correct_and_forms_no_contradiction=2e_=5b_Is_Ben_a_Liar_or_simply?= =?UTF-8?Q?_woefully_ignorant=3f_=5d?=

By olcott on Wed Aug 11 19:26:14 2021

Latest reply by olcott on Wed Aug 11 19:26:14 2021
=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?==?UTF-8?Q?correct_and_forms_no_contradiction=2e_=5b_Is_Ben_a_Liar_or_simply?==?UTF-8?Q?_woefully_ignorant=3f_=5d?=

By olcott on Wed Aug 11 09:28:31 2021

Latest reply by olcott on Wed Aug 11 14:53:11 2021
Honest dialogue on the proof that H(P,P)==0 is correct [proof defined]

By olcott on Fri Aug 6 10:59:58 2021

Latest reply by olcott on Wed Aug 11 08:42:30 2021
Re: Honest dialogue on the proof that H(P,P)==0 is correct [proofdefined]

By olcott on Mon Aug 9 14:52:28 2021

Latest reply by olcott on Tue Aug 10 11:59:26 2021
Quantum logic in AI?

By Douglas Eagleson on Fri Aug 6 13:07:35 2021

Latest reply by Douglas Eagleson on Sun Aug 8 11:12:45 2021
Re: Honest dialogue on the proof that H(P,P)==0 is correct [ easy as1,2,3 ]

By olcott on Sat Aug 7 11:45:01 2021

Latest reply by olcott on Sat Aug 7 16:12:58 2021
Re: Honest dialogue on the proof that H(P,P)==0 is correct [ easy as 1,2,3 ]

By olcott on Sat Aug 7 10:29:30 2021

Latest reply by olcott on Sat Aug 7 15:19:03 2021
Re: Honest dialogue on the proof that H(P,P)==0 is correct

By olcott on Sat Aug 7 08:54:07 2021

Latest reply by olcott on Sat Aug 7 08:54:07 2021
Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 is correct

By olcott on Thu Aug 5 12:42:51 2021

Latest reply by olcott on Thu Aug 5 12:42:51 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?==?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdIFsgc3VjY2luY3Qg?==?UTF-8?Q?=5d?=

By olcott on Sat Jul 31 21:20:55 2021

Latest reply by olcott on Thu Aug 5 07:07:04 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?==?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdIFsgc3VjY2luY3Qg?==?UTF-8?B?XVsgR0lHTyBd?=

By olcott on Sun Aug 1 10:02:38 2021

Latest reply by olcott on Wed Aug 4 17:31:01 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?==?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdIFsgT25seSBJbnB1?==?UTF-8?Q?ts_Count_=5d?=

By olcott on Wed Aug 4 10:14:25 2021

Latest reply by olcott on Wed Aug 4 10:14:25 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?= =?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdIFsgT25seSBJbnB1?= =?UTF-8?Q?ts_Count_=5d=28_Honest_Dialogue_=29?=

By olcott on Wed Aug 4 10:11:33 2021

Latest reply by olcott on Wed Aug 4 10:11:33 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?= =?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdIFsgT25seSBJbnB1?= =?UTF-8?Q?ts_Count_=5d?=

By olcott on Tue Aug 3 22:23:54 2021

Latest reply by olcott on Tue Aug 3 22:23:54 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?==?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdICggQXJlIHlvdSBn?==?UTF-8?Q?ame_=3f_=29?=

By olcott on Thu Jul 29 21:05:04 2021

Latest reply by olcott on Tue Aug 3 19:42:48 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?= =?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdICggQXJlIHlvdSBn?= =?UTF-8?Q?ame_=3f_=29?=

By olcott on Sat Jul 31 21:47:52 2021

Latest reply by olcott on Tue Aug 3 14:26:40 2021
Re: Pathological self-reference(Olcott 2004) decider [ DefeatingRice's Theorem ]

By olcott on Fri Jul 30 10:40:54 2021

Latest reply by olcott on Mon Aug 2 22:39:22 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?= =?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBdIFsgc3VjY2luY3Qg?= =?UTF-8?Q?=5d?=

By olcott on Fri Jul 30 20:16:08 2021

Latest reply by olcott on Mon Aug 2 21:11:41 2021
Re: Definition of primitive recursive function (wiki) [ H(P,P)==0 isalways correct ]

By olcott on Mon Aug 2 11:54:11 2021

Latest reply by olcott on Mon Aug 2 11:54:11 2021
=?UTF-8?B?xKQucXgo4p+oxKTin6ks4p+oxKTin6kpID09IMSkLnFuIFsgc3VjY2lu?==?UTF-8?Q?ct_=5d?=

By olcott on Sun Aug 1 11:02:38 2021

Latest reply by olcott on Sun Aug 1 11:02:38 2021
Re: Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]

By olcott on Fri Jul 30 21:33:14 2021

Latest reply by olcott on Sat Jul 31 21:34:35 2021
Re: The HP does not exist as stated .. [ Simulating halt deciders ]

By olcott on Sat Jul 31 16:15:42 2021

Latest reply by olcott on Sat Jul 31 16:15:42 2021
=?UTF-8?Q?Re=3a_Andr=c3=a9_doesn=27t_know_Rice=27s_Theorem_=5b_Malc?==?UTF-8?Q?olm_=5d_=5b_Try_and_provide_a_counter-example_=5d=5b_How_can_H_ig?==?UTF-8?Q?nore_own_behavior=3f_=5d?=

By olcott on Sat Jul 31 14:52:53 2021

Latest reply by olcott on Sat Jul 31 14:52:53 2021
=?UTF-8?Q?Re=3a_Andr=c3=a9_doesn=27t_know_Rice=27s_Theorem_=5b_Malc?==?UTF-8?Q?olm_=5d_=5b_Try_and_provide_a_counter-example_=5d?=

By olcott on Thu Jul 29 13:15:15 2021

Latest reply by olcott on Sat Jul 31 10:20:03 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?==?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBd?=

By olcott on Fri Jul 30 09:54:14 2021

Latest reply by olcott on Fri Jul 30 09:54:14 2021
Pathological self-reference(Olcott 2004) decider [ Defeating Rice'sTheorem ]

By olcott on Fri Jul 30 08:46:50 2021

Latest reply by olcott on Fri Jul 30 08:46:50 2021
Pathological self-reference(Olcott 2004) decider

By olcott on Fri Jul 30 00:09:35 2021

Latest reply by olcott on Fri Jul 30 00:09:35 2021
=?UTF-8?Q?Re=3a_Black_box_halt_decider_is_NOT_a_partial_decider_=5b?= =?UTF-8?B?IMSkLnF4KOKfqMSk4p+pLOKfqMSk4p+pKSA9PSDEpC5xbiBd?=

By olcott on Thu Jul 29 21:28:48 2021

Latest reply by olcott on Thu Jul 29 21:28:48 2021
=?UTF-8?Q?Re=3a_Andr=c3=a9_doesn=27t_know_Rice=27s_Theorem_=5b_Malc?= =?UTF-8?Q?olm_=5d_=5b_Try_and_provide_a_counter-example_=5d?=

By olcott on Thu Jul 29 19:54:51 2021

Latest reply by olcott on Thu Jul 29 19:54:51 2021
Re: HP proofs appear to be peer reviewed garbage

By olcott on Thu Jul 29 16:04:44 2021

Latest reply by olcott on Thu Jul 29 16:28:17 2021