1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
Introducing the foundation of correct reasoning

By olcott on Sat Mar 18 18:17:26 2023

Latest reply by olcott on Sun Mar 19 14:21:13 2023
Re: H(D,D)==0 is correct is proven [V2]

By olcott on Fri Mar 17 20:52:46 2023

Latest reply by Richard Damon on Sat Mar 18 15:06:51 2023
Re: H(D,D)==0 is correct is proven [ more details ]

By Richard Damon on Fri Mar 17 21:55:27 2023

Latest reply by Richard Damon on Sat Mar 18 07:30:13 2023
H(D,D)==0 is correct is proven in more detail

By olcott on Fri Mar 17 20:10:52 2023

Latest reply by Richard Damon on Fri Mar 17 21:54:48 2023
H(D,D)==0 is proved to be correct

By olcott on Fri Mar 17 11:54:36 2023

Latest reply by Richard Damon on Fri Mar 17 21:54:45 2023
I finally understand why model theory is needed

By olcott on Sun Mar 12 22:50:32 2023

Latest reply by olcott on Sun Mar 12 22:50:32 2023
Mentifex AGI Embodies the Emotion Mind-Module

By A.T. Murray on Thu Mar 9 10:46:17 2023

Latest reply by Joachim Pimiskern on Sun Mar 12 19:29:22 2023
A sort of Off Topic Comment, Cell Phone DANGERS

By Douglas Eagleson on Sun Mar 12 10:13:51 2023

Latest reply by Douglas Eagleson on Sun Mar 12 10:13:51 2023
Is Chat GPT and Other AI Tech Being Pushed So That Mandatory Digital IDs Becomes Reality?

By D. Ray on Thu Mar 9 23:03:20 2023

Latest reply by D. Ray on Thu Mar 9 23:03:20 2023
Simulating halt deciders

By olcott on Thu Mar 9 18:22:43 2023

Latest reply by Richard Damon on Thu Mar 9 20:31:32 2023
From AI to A-Psy

By Josh Whiton on Wed Mar 8 22:03:57 2023

Latest reply by Josh Whiton on Wed Mar 8 22:03:57 2023
Completely rewritten rebuttal of the halting theorem

By olcott on Wed Mar 8 12:16:53 2023

Latest reply by Richard Damon on Wed Mar 8 19:25:06 2023
H(D,D)==0 is proven to be correct [V7]

By olcott on Mon Mar 6 18:26:12 2023

Latest reply by olcott on Mon Mar 6 18:26:12 2023
A Good ChatGPT Mod.

By Douglas Eagleson on Sat Feb 4 17:20:07 2023

Latest reply by Don Stockbauer on Sun Mar 5 05:34:36 2023
H(D,D)==0 is proven to be correct

By olcott on Thu Feb 16 08:43:19 2023

Latest reply by Richard Damon on Thu Feb 23 21:04:13 2023
Re: Only liars disagree that H(D,D)==0 is correct [ Dishonest ? ]

By olcott on Thu Feb 23 19:49:11 2023

Latest reply by olcott on Thu Feb 23 19:49:11 2023
All of my reviewers deny the verified facts by using the straw-mandeception

By olcott on Wed Feb 22 11:35:51 2023

Latest reply by Richard Damon on Wed Feb 22 20:02:13 2023
All of my reviewers lie about this

By olcott on Wed Feb 22 09:16:19 2023

Latest reply by Richard Damon on Wed Feb 22 19:59:54 2023
Does a Simulating Halt Decider Defeat the Halting Theorem ?

By olcott on Tue Feb 21 11:17:14 2023

Latest reply by Richard Damon on Wed Feb 22 19:49:35 2023
Simulating Halt Deciders Defeat the Halting Theorem V2

By olcott on Mon Feb 20 12:39:02 2023

Latest reply by Richard Damon on Tue Feb 21 18:45:51 2023
Simulating halt deciders defeat the halting theorem [ irrefutablereasoning ]

By olcott on Thu Feb 16 14:24:44 2023

Latest reply by Richard Damon on Fri Feb 17 11:07:03 2023
Simulating halt deciders defeat the halting theorem

By olcott on Tue Feb 14 18:57:44 2023

Latest reply by Richard Damon on Thu Feb 16 18:43:22 2023
H correctly predicts that D correctly simulated by H would not halt

By olcott on Wed Feb 15 17:29:49 2023

Latest reply by Richard Damon on Wed Feb 15 20:16:55 2023
Simulating halt deciders applied to the halting theorem

By olcott on Tue Feb 14 09:55:39 2023

Latest reply by Richard Damon on Tue Feb 14 17:28:17 2023
Understanding how simulating halt deciders defeat the halting theorem

By olcott on Mon Feb 13 15:32:45 2023

Latest reply by Richard Damon on Mon Feb 13 18:57:45 2023
Every E correctly simulated by any HH cannot possibly halt V2

By olcott on Sat Feb 11 21:21:04 2023

Latest reply by Richard Damon on Mon Feb 13 18:56:08 2023
minus one cannot exist

By Artist (nickis jobsearchespage) on Thu Feb 2 10:20:59 2023

Latest reply by Don Stockbauer on Sun Feb 12 09:38:26 2023
Every E correctly simulated by any HH cannot possibly halt

By olcott on Fri Feb 10 17:46:11 2023

Latest reply by Richard Damon on Sat Feb 11 18:37:30 2023
Paul N agrees that P correctly simulated by H never halts

By olcott on Thu Feb 9 10:18:34 2023

Latest reply by Richard Damon on Fri Feb 10 19:02:11 2023
Re: Halting Problem definition is ill-formed and thus invalid [ PaulN agrees ]

By olcott on Wed Feb 8 09:44:00 2023

Latest reply by Richard Damon on Wed Feb 8 19:06:23 2023
Within the scope of self-contradiction every (question/decisionproblem) is incorrect

By olcott on Sat Feb 4 15:51:54 2023

Latest reply by Richard Damon on Sat Feb 4 17:40:01 2023
=?UTF-8?Q?Re=3a_The_nature_of_truth_itself_refutes_Tarski_undefinab?==?UTF-8?Q?ility_and_G=c3=b6del_Incompleteness?=

By Richard Damon on Thu Jan 12 21:37:02 2023

Latest reply by Jeffrey Rubard on Fri Feb 3 12:16:12 2023
This ChatGPT can be replicated it contains the full dialogue

By olcott on Mon Jan 30 11:54:42 2023

Latest reply by Richard Damon on Thu Feb 2 18:45:27 2023
There have been zero correct rebuttals of my refutation of thehalting problem proofs

By olcott on Tue Jan 31 10:07:52 2023

Latest reply by Richard Damon on Tue Jan 31 22:38:07 2023
ChatGPT has correctly validated both elements of by halting problemproof refutation

By olcott on Mon Jan 30 10:52:19 2023

Latest reply by Don Stockbauer on Tue Jan 31 04:53:50 2023
Re: HH(PP,PP) correctly determines that its input never halts [Ben]

By olcott on Wed Jan 25 21:58:45 2023

Latest reply by Richard Damon on Mon Jan 30 23:16:56 2023
Re: HH(PP,PP) correctly determines that its input never halts [countability]

By olcott on Thu Jan 26 09:43:06 2023

Latest reply by Richard Damon on Mon Jan 30 18:43:07 2023
ChatGPT agrees that D correctly simulated by H meets the halt status criteria

By olcott on Mon Jan 30 15:20:34 2023

Latest reply by olcott on Mon Jan 30 15:20:34 2023
ChatGPT agrees with me again and this result can be replicated ---> H(D,D) never halts

By olcott on Mon Jan 30 12:55:51 2023

Latest reply by olcott on Mon Jan 30 12:55:51 2023
ChatGPT and MIT professor Michael Sipser both agree that the essenceof my HP refution is correct.

By olcott on Fri Jan 27 18:07:56 2023

Latest reply by Richard Damon on Fri Jan 27 22:19:32 2023
ChatGBT is my best reviewer yet

By olcott on Thu Jan 26 21:20:40 2023

Latest reply by Richard Damon on Fri Jan 27 22:19:30 2023
Re: HH(PP,PP) correctly determines that its input never halts

By olcott on Tue Jan 24 18:26:22 2023

Latest reply by Richard Damon on Thu Jan 26 19:21:45 2023
Re: Tarski Undefinability Theorem is refuted

By olcott on Mon Jan 23 16:35:46 2023

Latest reply by Don Stockbauer on Tue Jan 24 05:54:58 2023
=?UTF-8?Q?Re=3a_The_nature_of_truth_itself_refutes_Tarski_undefinab?==?UTF-8?Q?ility_and_G=c3=b6del_Incompleteness_PLO?=

By olcott on Tue Jan 17 11:25:08 2023

Latest reply by olcott on Thu Jan 19 20:28:26 2023
=?UTF-8?Q?Re=3a_The_false_assumption_of_G=c3=b6del_Incompleteness?=

By Richard Damon on Thu Jan 12 21:39:11 2023

Latest reply by Richard Damon on Thu Jan 12 22:35:12 2023