Re: Concise refutation of halting problem proofs V48, [ honest dialogue

By olcott on Wed Jan 19 09:18:21 2022

Latest reply by olcott on Wed Jan 19 20:08:41 2022

Re: Concise refutation of halting problem proofs V48, [ flunks prerequi

By olcott on Mon Jan 17 18:57:24 2022

Latest reply by olcott on Mon Jan 17 18:57:24 2022

Concise refutation of halting problem proofs V48, [ prerequisites ]

By olcott on Sat Jan 15 15:47:00 2022

Latest reply by olcott on Mon Jan 17 14:11:28 2022

Re: Design For A Self?

By Jeffrey Rubard on Sat Dec 25 22:56:08 2021

Latest reply by Jeffrey Rubard on Sat Jan 15 19:24:41 2022

dbush and user253751 continued conversation

By olcott on Thu Jan 13 14:33:59 2022

Latest reply by olcott on Fri Jan 14 18:12:49 2022

The Second Abstraction of AI

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

Latest reply by Don Stockbauer on Fri Jan 14 05:12:46 2022

Re: Concise refutation of halting problem proofs V47, [ H is an objecti

By olcott on Sun Jan 9 10:40:09 2022

Latest reply by olcott on Sun Jan 9 13:11:40 2022

Re: Concise refutation of halting problem proofs V47, REFUTED, FAIR WAR

By olcott on Sat Jan 8 21:20:38 2022

Latest reply by olcott on Sat Jan 8 21:20:38 2022

Concise refutation of halting problem proofs V47

By olcott on Sat Jan 8 19:41:26 2022

Latest reply by olcott on Sat Jan 8 19:41:26 2022

Seasons Greetings

By esa 4me on Thu Dec 9 04:04:33 2021

Latest reply by Don Stockbauer on Fri Jan 7 09:03:42 2022

Re: Concise refutation of halting problem proofs V40 [ Malcolm Errs ][B

By olcott on Wed Jan 5 10:06:49 2022

Latest reply by olcott on Thu Jan 6 08:47:26 2022

Re: Concise refutation of halting problem proofs V40 [ Malcolm Errs ]

By olcott on Wed Jan 5 09:17:12 2022

Latest reply by olcott on Wed Jan 5 09:17:12 2022

Re: Concise refutation of halting problem proofs V40 [ H correctly reje

By olcott on Tue Jan 4 18:29:41 2022

Latest reply by olcott on Tue Jan 4 18:29:41 2022

Re: Concise refutation of halting problem proofs V45 [honest dialogue]

By olcott on Mon Jan 3 08:25:27 2022

Latest reply by olcott on Mon Jan 3 10:53:01 2022

Concise refutation of halting problem proofs V44 [honest dialogue]

By olcott on Sun Jan 2 22:06:20 2022

Latest reply by olcott on Sun Jan 2 22:06:20 2022

Re: Concise refutation of halting problem proofs V42 [honest dialogue]

By olcott on Sun Jan 2 10:07:58 2022

Latest reply by olcott on Sun Jan 2 10:07:58 2022

Concise refutation of halting problem proofs V43 [computer scientist]

By olcott on Sat Jan 1 15:09:07 2022

Latest reply by olcott on Sat Jan 1 15:09:07 2022

Re: Concise refutation of halting problem proofs V42 [computer scientis

By olcott on Fri Dec 31 23:08:47 2021

Latest reply by olcott on Fri Dec 31 23:08:47 2021

Re: Concise refutation of halting problem proofs V43 [where people get

By olcott on Fri Dec 31 16:24:40 2021

Latest reply by olcott on Fri Dec 31 16:24:40 2021

Concise refutation of halting problem proofs V43 [where people get stuc

By olcott on Fri Dec 31 10:27:26 2021

Latest reply by olcott on Fri Dec 31 10:27:26 2021

Re: Concise refutation of halting problem proofs V42 [ultimate criterio

By olcott on Thu Dec 30 10:54:32 2021

Latest reply by olcott on Thu Dec 30 13:33:16 2021

Re: Concise refutation of halting problem proofs V42 [compute the mappi

By olcott on Wed Dec 29 22:02:44 2021

Latest reply by olcott on Thu Dec 30 10:11:06 2021

Concise refutation of halting problem proofs V42 [where people get stuc

By olcott on Wed Dec 29 10:49:53 2021

Latest reply by olcott on Wed Dec 29 10:49:53 2021

Re: Concise refutation of halting problem proofs V40 [ Irrefutable ]

By olcott on Tue Dec 28 20:57:06 2021

Latest reply by olcott on Tue Dec 28 20:57:06 2021

Concise refutation of halting problem proofs V42

By olcott on Tue Dec 28 17:38:19 2021

Latest reply by olcott on Tue Dec 28 20:24:06 2021

Re: Concise refutation of halting problem proofs V40 [ persistent misco

By olcott on Tue Dec 14 10:19:51 2021

Latest reply by olcott on Mon Dec 27 10:16:28 2021

Re: Concise refutation of halting problem proofs V40 [ gullible fools t

By olcott on Sun Dec 26 16:17:19 2021

Latest reply by olcott on Mon Dec 27 10:10:19 2021

=?UTF-8?Q?Re=3a_What_final_state_does_simplified_Linz_=c4=a4_applie?= =

By olcott on Sun Dec 26 11:24:57 2021

Latest reply by olcott on Mon Dec 27 09:45:51 2021

=?UTF-8?Q?What_final_state_does_simplified_Linz_=c4=a4_applied_to_?= =?

By olcott on Sat Dec 25 21:50:22 2021

Latest reply by olcott on Sat Dec 25 21:50:22 2021

=?UTF-8?Q?What_final_state_does_adapted_Linz_=c4=a4_applied_to_?= =?UTF

By olcott on Fri Dec 24 14:37:42 2021

Latest reply by olcott on Fri Dec 24 14:37:42 2021

What happens when the Linz H is applied to its own Turing machine descr

By olcott on Fri Dec 24 09:47:58 2021

Latest reply by olcott on Fri Dec 24 11:15:51 2021

Re: Concise refutation of halting problem proofs V40 [ Ben's lie or err

By olcott on Mon Dec 20 23:13:19 2021

Latest reply by olcott on Mon Dec 20 23:13:19 2021

Free online dating sites without registration and payment - Fun Ton

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

Latest reply by Alisha Qore on Fri Dec 17 02:13:58 2021

=?UTF-8?Q?Re=3A_Top_5_Casual_Dating_Sites_=E2=87=92_Join_the_Best_Hook?

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

Latest reply by Alisha Qore on Fri Dec 17 02:13:52 2021

Concise refutation of halting problem proofs V41 [ persistent misconcep

By olcott on Thu Dec 16 09:44:35 2021

Latest reply by olcott on Thu Dec 16 09:44:35 2021

Re: Concise refutation of halting problem proofs V38 [ Olcott 2021 gene

By olcott on Wed Dec 8 15:22:58 2021

Latest reply by olcott on Wed Dec 8 16:40:24 2021

Concise refutation of halting problem proofs V37 [ Olcott 2021 generic

By olcott on Sat Dec 4 15:24:24 2021

Latest reply by olcott on Sat Dec 4 15:24:24 2021

It is amazing that everyone is too stupid or dishonest to acknowledge t

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 is goofy

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

Concise refutation of halting problem proofs V34 [ invocation invariant

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

Latest reply by olcott on Thu Dec 2 19:57:10 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_?= =?U

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

Latest reply by olcott on Thu Nov 25 22:23:20 2021

Concise refutation of halting problem proofs V32 [ finally mathematical

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 [ finally mathematical

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

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

Latest reply by olcott on Wed Nov 24 22:54:41 2021

Re: Concise refutation of halting problem proofs V30 [ finally mathemat

By olcott on Wed Nov 24 16:25:49 2021

Latest reply by olcott on Wed Nov 24 16:25:49 2021

Concise refutation of halting problem proofs V30 [ finally mathematical

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

Latest reply by olcott on Wed Nov 24 11:49:54 2021

Concise refutation of halting problem proofs V29 [ finally mathematical

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

Latest reply by olcott on Tue Nov 23 10:21:19 2021

Re: Concise refutation of halting problem proofs V27 [ finally mathemat

By olcott on Mon Nov 22 21:59:13 2021

Latest reply by olcott on Mon Nov 22 21:59:13 2021

Concise refutation of halting problem proofs V28 [ finally mathematical

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

Latest reply by olcott on Mon Nov 22 15:16:05 2021

Concise refutation of halting problem proofs V27 [ finally mathematical

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

Latest reply by olcott on Mon Nov 22 14:32:54 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 not t

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_?= =?U

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

Latest reply by olcott on Sun Nov 21 19:45:43 2021

Concise refutation of halting problem proofs V25 [ H is a computable fu

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

Re: Concise refutation of halting problem proofs V21 [ precisely define

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 p

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

Latest reply by olcott on Sat Nov 20 18:38:33 2021

Concise refutation of halting problem proofs V22 [ precisely defined se

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 defined se

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

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 [ pathological sel

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

Re: Concise refutation of halting problem proofs V14 [no assembly requi

By olcott on Tue Nov 16 18:47:28 2021

Latest reply by olcott on Tue Nov 16 20:51:11 2021

Concise refutation of halting problem proofs V14 [no assembly required]

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

Latest reply by olcott on Mon Nov 15 20:28:44 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 are ca

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 one yet

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 of haltin

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] (Fli

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 [ logical necessity

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 [ computational equ

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

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 to und

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 is correct

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 simulating halt

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 halt deci

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 [ c

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 [ u

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 [ i

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

Latest reply by olcott on Wed Nov 3 11:20:36 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

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?= =

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?= =

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

Latest reply by olcott on Mon Oct 25 20:02:42 2021

Re: Vacuously TRUE vs Vacuously FALSE? [ natural preexisting order of t

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 of the

By olcott on Mon Oct 25 09:24:16 2021

Latest reply by Peter on Mon Oct 25 15:51:32 2021

Re: I finally completed my lexical analyzer generator ( semantic tautol

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?= =

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 de

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

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

Latest reply by olcott on Sat Oct 23 12:53:09 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

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

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?= =

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_th?

By Don Stockbauer on Tue Oct 5 05:48:11 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?= =

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

Latest reply by olcott on Sat Oct 2 16:02: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_?= =?

By olcott on Thu Sep 30 18:58:18 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 zeyorse trona on Thu Sep 30 21:34:33 2021

Latest reply by zeyorse trona on Thu Sep 30 21:34:33 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 correctly called

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

Latest reply by olcott on Tue Sep 28 14:33:31 2021

It looks like I can exactly duplicate the Linz proof in x86 without sta

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

Latest reply by olcott on Mon Sep 27 22:28:09 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? [ ci

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

Why do theory of computation problems require pure functions? [ com

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

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

Must a partial halt decider be a pure function of its inputs? (adde

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

Latest reply by Mr Flibble on Sun Sep 19 21:32:25 2021

Why do theory of computation problems require pure functions? [ PSR

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

Latest reply by olcott on Sun Sep 19 13:33:41 2021

Must a partial halt decider be a pure function of its inputs? [ dec

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

Latest reply by olcott on Sun Sep 19 10:03:59 2021

Why do theory of computation problems require pure functions?[ deci

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

Latest reply by olcott on Sun Sep 19 06:56:09 2021

The key mistake of the Peter Linz HP proof [ Liar Liar pants on fir

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

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

H1(P,P) is a halt decider for P(P) [ meeting the infinite recursion

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

Latest reply by olcott on Sun Sep 12 13:44:11 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

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

That P(P) of main() halts does not contradict H(P,P)==0 [ Refuting

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

Latest reply by olcott on Wed Sep 8 22:39:36 2021

=?UTF-8?Q?Re=3a_That_P=28P=29_of_main=28=29_halts_does_not_contradi?= =

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

Latest reply by olcott on Tue Sep 7 20:45:11 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ pure func

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

Latest reply by olcott on Tue Sep 7 11:02:25 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ refuted R

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

Latest reply by olcott on Tue Sep 7 10:45:45 2021

=?UTF-8?Q?Re=3a_The_key_mistake_of_the_Peter_Linz_HP_proof=3a_=5b_?= =?

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

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:20:23 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ pathologi

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

Latest reply by olcott on Thu Sep 2 11:32:51 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ exception

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

Latest reply by olcott on Thu Sep 2 09:15:38 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ Pathologi

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

Latest reply by olcott on Wed Sep 1 21:53:48 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ relative

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

Latest reply by olcott on Tue Aug 31 16:48:22 2021

That P(P) of main() halts does not contradict H(P,P)==0 [ air tight

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

Latest reply by olcott on Tue Aug 31 09:24:57 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_?= =

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 [ exception to

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

Latest reply by olcott on Sat Aug 28 11:47:32 2021

How do we know H(P,P)==0 is the correct halt status for the input t

By olcott on Sat Aug 14 10:50:52 2021

Latest reply by olcott on Sat Aug 28 09:36:44 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

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

How do we know H(P,P)==0 is the correct halt status for the input to H?

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

Latest reply by olcott on Thu Aug 19 21:53:43 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

=?UTF-8?B?UmU6IMSkLnF4IOKfqMSk4p+pIOKfqMSk4p+pIOKKoiogxKQucW4gaXMg?= =?

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

Latest reply by olcott on Fri Aug 13 08:30:33 2021

Honest dialogue on the proof that H(P,P)==0 is correct [proof defin

By olcott on Mon Aug 9 11:57:10 2021

Latest reply by olcott on Wed Aug 11 08:42:30 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

Honest dialogue on the proof that H(P,P)==0 is correct [ easy as 1,

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

Latest reply by olcott on Sat Aug 7 16:12:58 2021

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

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 Fri Aug 6 10:59:58 2021

Anyone wanting an actual honest dialogue on the proof that H(P,P)==0 is

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

Latest reply by olcott on Thu Aug 5 12:51:14 2021

Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0

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?= =

By olcott on Wed Jul 28 17:08:35 2021

Latest reply by olcott on Thu Aug 5 07:07:04 2021

Pathological self-reference(Olcott 2004) decider [ Defeating Rice's

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

Latest reply by olcott on Mon Aug 2 22:39:22 2021

Definition of primitive recursive function (wiki) [ H(P,P)==0 is al

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?= =?

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

Latest reply by olcott on Sun Aug 1 11:02:38 2021

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?= =

By olcott on Wed Jul 28 14:07:28 2021

Latest reply by olcott on Sat Jul 31 14:52:53 2021

Pathological self-reference(Olcott 2004) decider [ Defeating Rice's The

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

HP proofs appear to be peer reviewed garbage

By olcott on Thu Jul 29 16:06:17 2021

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