Re: Analytical truth redefined so that Quine can understand that bachel

By HenHanna on Sun Mar 17 20:32:31 2024

Latest reply by HenHanna on Sun Mar 17 20:32:31 2024

California lawmakers bring hammer down on self-driving car companies

By Unsafe Period on Sat Mar 16 05:20:11 2024

Latest reply by Unsafe Period on Sat Mar 16 05:20:11 2024

Re: ZFC solution to incorrect questions: reject them

By Richard Damon on Wed Mar 13 22:30:15 2024

Latest reply by Richard Damon on Thu Mar 14 18:27:13 2024

DEI killed the CHIPS Act

By useapen on Wed Mar 13 07:49:50 2024

Latest reply by useapen on Wed Mar 13 07:49:50 2024

Silicon Valley Programmers Have Coded Anti-White Bias Into AI

By useapen on Sun Mar 3 08:17:32 2024

Latest reply by useapen on Sun Mar 3 08:17:32 2024

Re: Oxfordians say "go to dogie haven"

By HenHanna on Fri Mar 1 04:15:39 2024

Latest reply by HenHanna on Fri Mar 1 04:15:39 2024

Google lays off hundreds working on its voice-activated assistant

By axe cometh on Thu Jan 11 12:30:01 2024

Latest reply by Truthslave on Fri Jan 12 21:12:45 2024

test formatting

By olcott on Fri Jan 5 12:28:14 2024

Latest reply by olcott on Fri Jan 5 12:28:14 2024

Re: The Halting problem is an incorrect question

By Python on Sun Dec 24 17:04:51 2023

Latest reply by Richard Damon on Sun Dec 24 13:40:03 2023

=?UTF-8?Q?Re=3A_The_BOAK_formal_system_excludes_G=C3=B6del=27s_1931?= =

By Richard Damon on Sat Dec 23 12:20:09 2023

Latest reply by Richard Damon on Sun Dec 24 12:23:42 2023

=?UTF-8?Q?Re=3a_The_BOAK_formal_system_excludes_G=c3=b6del=27s_1931?= =

By immibis on Sat Dec 23 22:06:48 2023

Latest reply by immibis on Sun Dec 24 11:42:03 2023

Re: The syllogism proves that the Principle of Explosion is nonsense

By Richard Damon on Thu Dec 14 18:36:20 2023

Latest reply by immibis on Wed Dec 20 08:24:43 2023

=?UTF-8?Q?Re=3A_Defeating_Tarski_Undefinability_and_G=C3=B6del_1931?= =

By Richard Damon on Sat Dec 16 21:51:09 2023

Latest reply by Richard Damon on Sat Dec 16 21:51:09 2023

=?UTF-8?Q?Re=3A_The_body_of_analytical_knowledge_cannot_be_incomple?= =

By Richard Damon on Fri Dec 15 20:05:39 2023

Latest reply by Richard Damon on Fri Dec 15 20:05:39 2023

=?UTF-8?Q?Re=3A_G=C3=B6del=27s_1931_incompleteness_fails_HOL?=

By Richard Damon on Sat Dec 2 22:09:04 2023

Latest reply by Richard Damon on Sun Dec 10 08:09:48 2023

=?UTF-8?Q?=5BRegistration=5D_PhAI_2023_=40_Erlangen=2C_Germany_=28Dec=2

By Aliya Dewey on Sat Nov 25 02:27:48 2023

Latest reply by Aliya Dewey on Sat Nov 25 02:27:48 2023

=?UTF-8?Q?G=C3=B6del=27s_huge_mistake?=

By olcott on Mon Nov 20 15:39:42 2023

Latest reply by Richard Damon on Tue Nov 21 12:57:30 2023

Undecidable decision problems are abolished

By olcott on Sat Nov 18 10:32:10 2023

Latest reply by Richard Damon on Mon Nov 20 17:40:37 2023

AI fun

By funsuckers on Thu Nov 16 08:14:22 2023

Latest reply by funsuckers on Thu Nov 16 08:14:22 2023

Re: Meta's AI-Powered Tom Brady Bot Trashes Colin Kaepernick, Saying He

By Nicki makethings on Fri Nov 10 10:52:27 2023

Latest reply by Nicki makethings on Fri Nov 10 10:52:27 2023

Re: Self Referential Undecidability Construed as Incorrect Questions

By Anonymous on Tue Nov 7 06:12:58 2023

Latest reply by Anonymous on Tue Nov 7 06:12:58 2023

Message To Don Stockbauer

By Nicki Hatfield Elson makethings on Fri Aug 18 11:24:02 2023

Latest reply by Artist (nickis jobsearchespage) on Fri Nov 3 11:50:36 2023

The Bletchley Declaration by Countries Attending the AI Safety Summit,

By Nicki makethings on Fri Nov 3 10:56:16 2023

Latest reply by Nicki makethings on Fri Nov 3 10:56:16 2023

UK hosting a two day AI safety summit next week

By Nicki Hatfield Elson makethings on Thu Oct 26 11:37:45 2023

Latest reply by Nicki makethings on Thu Nov 2 03:50:46 2023

Does the halting problem actually limit what computers can do?

By olcott on Sun Oct 29 12:30:11 2023

Latest reply by Don Stockbauer on Tue Oct 31 05:57:49 2023

A Formal Utter from Douglas Miller Eagleson

By Douglas Eagleson on Sun Oct 22 08:53:10 2023

Latest reply by Nicki makethings on Sat Oct 28 10:31:53 2023

a computation is not allowed to report on the machine that it is embedd

By olcott on Thu Oct 26 13:17:29 2023

Latest reply by Richard Damon on Fri Oct 27 21:53:47 2023

Analyzing the Peter Linz Halting Problem Proof

By olcott on Wed Oct 25 17:25:50 2023

Latest reply by Richard Damon on Thu Oct 26 11:54:32 2023

Re: Mathematical undecidability is an unsound notion V2

By Richard Damon on Sun Oct 22 18:03:59 2023

Latest reply by Richard Damon on Tue Oct 24 13:43:17 2023

Data centers are sprouting up as a result of the AI boom, minting fortu

By useapen on Sun Oct 22 07:01:55 2023

Latest reply by useapen on Sun Oct 22 07:01:55 2023

Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)

By olcott on Sat Oct 21 13:24:48 2023

Latest reply by Richard Damon on Sat Oct 21 12:42:21 2023

Re: Simplest Possible Halting Problem Proof Rebuttal

By Richard Damon on Wed Oct 18 23:36:25 2023

Latest reply by Richard Damon on Fri Oct 20 20:52:35 2023

Simplified Halting Problem Proof Rebuttal

By olcott on Sun Oct 15 09:03:20 2023

Latest reply by Richard Damon on Wed Oct 18 11:25:26 2023

Re: Even AI is getting canceled by wokesters at Harvard

By bert on Tue Oct 17 01:11:20 2023

Latest reply by bert on Tue Oct 17 01:11:20 2023

Dyslexia or Neurodivergent?

By Nicki Hatfield Elson makethings on Sat Oct 14 11:10:08 2023

Latest reply by Nicki Hatfield Elson makethings on Sat Oct 14 11:10:08 2023

google's AI black-on-white multicultural commercials, the next Bud Ligh

By Alphabet Social Meddling on Mon Oct 9 00:14:30 2023

Latest reply by Nicki Hatfield Elson makethings on Sat Oct 14 10:39:03 2023

=?UTF-8?B?W0NGQSBkdWUgT2N0LiAxNV0gUGhBSSAyMDIzIEAgRXJsYW5nZW4sIEdlcm1hb

By Aliya Dewey on Thu Sep 21 13:25:14 2023

Latest reply by Aliya Dewey on Thu Sep 21 13:25:14 2023

Incompleteness is more aptly construed as the non-sequitur error

By olcott on Wed Aug 30 20:07:14 2023

Latest reply by Richard Damon on Wed Aug 30 21:22:13 2023

Re: Termination Analyzer H is Not Fooled by Pathological Input D (bette

By olcott on Wed Aug 23 11:46:21 2023

Latest reply by Richard Damon on Mon Aug 28 19:00:47 2023

Gestalt theory getting a refresher

By Nicki Hatfield Elson makethings on Mon Aug 28 13:36:17 2023

Latest reply by Nicki Hatfield Elson makethings on Mon Aug 28 13:36:17 2023

Termination Analyzer H is Not Fooled by Pathological Input D

By olcott on Thu Jun 22 20:27:11 2023

Latest reply by Richard Damon on Thu Aug 24 18:44:17 2023

=?UTF-8?Q?Getting_rid_of_G=c3=b6del_Incompleteness?=

By olcott on Tue Aug 22 11:07:48 2023

Latest reply by Richard Damon on Tue Aug 22 21:27:12 2023

Establishing a better foundation for logic

By olcott on Sun Aug 20 09:41:58 2023

Latest reply by Richard Damon on Sun Aug 20 17:23:57 2023

Why people here can't understand me

By olcott on Wed Aug 9 22:10:42 2023

Latest reply by Don Stockbauer on Mon Aug 14 03:21:30 2023

Transforming predicate logic into correct reasoning.

By olcott on Fri Aug 4 19:46:45 2023

Latest reply by Don Stockbauer on Sun Aug 13 13:24:38 2023

=?UTF-8?B?RyA6PSB+KEYg4oqiIEcp?=

By olcott on Wed Aug 9 16:07:56 2023

Latest reply by Don Stockbauer on Sat Aug 12 17:21:47 2023

The need for total surveillance, a short story

By aa5@gmx.net on Thu Jun 1 10:20:51 2023

Latest reply by Don Stockbauer on Fri Aug 11 07:04:49 2023

OlfRecog Module of Robot AI

By A.T. Murray on Sat Jul 15 18:19:23 2023

Latest reply by Don Stockbauer on Thu Aug 10 19:22:19 2023

Re: Asian MIT grad asks AI to make her photo more 'professional,' gets

By Nicki Hatfield Elson makethings on Sun Aug 6 09:10:12 2023

Latest reply by Don Stockbauer on Thu Aug 10 08:19:18 2023

stream/clue

By David Dalton on Wed Aug 9 00:32:12 2023

Latest reply by David Dalton on Wed Aug 9 00:32:12 2023

Speaking with people that already hold my same philosophical positions

By olcott on Tue Aug 8 00:54:06 2023

Latest reply by olcott on Tue Aug 8 09:42:48 2023

=?UTF-8?Q?ChatGPT_defining_a_formal_system_that_eliminates_Tarski_U?= =

By olcott on Wed Jul 19 11:44:28 2023

Latest reply by Don Stockbauer on Mon Jul 31 10:50:03 2023

Re: Air Force pushes back on claim that military AI drone sim killed op

By Kamala AI laughers on Fri Jun 2 22:41:17 2023

Latest reply by new makethings on Wed Jul 12 09:52:36 2023

Re: Decidability Decider H

By Python on Mon Jul 3 03:11:38 2023

Latest reply by Richard Damon on Tue Jul 4 19:00:34 2023

Re: Decidability Decider H [key Rice issue]

By olcott on Mon Jul 3 16:40:08 2023

Latest reply by Richard Damon on Tue Jul 4 19:00:29 2023

Harry Potter and the secret Mentifex AI Lab

By A.T. Murray on Sun Jul 2 04:39:10 2023

Latest reply by A.T. Murray on Sun Jul 2 04:39:10 2023

Refutation of the Ben Bacarisse Rebuttal and [Liar Paradox]

By olcott on Thu Jun 22 10:10:03 2023

Latest reply by Richard Damon on Thu Jun 22 21:06:27 2023

Re: Refutation of [nothing]

By Ben Bacarisse on Tue Jun 20 12:48:12 2023

Latest reply by Richard Damon on Thu Jun 22 21:06:22 2023

ChatGPT agrees that the halting problem input can be construed as an in

By olcott on Sat Jun 17 00:54:32 2023

Latest reply by Richard Damon on Thu Jun 22 21:06:16 2023

Refutation of the Ben Bacarisse Rebuttal

By olcott on Mon Jun 19 15:43:30 2023

Latest reply by Richard Damon on Wed Jun 21 19:01:59 2023

Refutation of the Ben Bacarisse Rebuttal [Ben targets my posts to disco

By olcott on Tue Jun 20 14:57:53 2023

Latest reply by Richard Damon on Tue Jun 20 18:52:03 2023

Re: dishonest subject lines

By Ben Bacarisse on Tue Jun 20 17:02:46 2023

Latest reply by Ben Bacarisse on Tue Jun 20 17:02:46 2023

Refutation of the Ben Bacarisse Rebuttal [Ben targets my posts]

By olcott on Tue Jun 20 14:59:40 2023

Latest reply by olcott on Tue Jun 20 15:00:52 2023

Ben Bacarisse specifically targets my posts to discourage honest dialog

By olcott on Mon Jun 19 17:50:47 2023

Latest reply by olcott on Tue Jun 20 12:25:28 2023

Does input D have semantic property S or is input D [BAD INPUT]?

By olcott on Sun Jun 18 22:31:18 2023

Latest reply by Richard Damon on Tue Jun 20 11:48:23 2023

Termination Analyzer H prevents Denial of Service attacks

By olcott on Thu Jun 15 11:50:17 2023

Latest reply by Richard Damon on Fri Jun 16 19:45:24 2023

Termination Analyzer H correctly prevents Denial of Service attacks

By olcott on Tue Jun 13 10:13:23 2023

Latest reply by Richard Damon on Thu Jun 15 12:37:40 2023

Can D simulated by H terminate normally?

By olcott on Fri May 19 09:50:17 2023

Latest reply by Richard Damon on Tue Jun 13 07:32:25 2023

Angelina Jolie

By mailkior@gmail.com on Tue May 30 17:57:35 2023

Latest reply by Don Stockbauer on Thu Jun 1 05:37:46 2023

Re: Does Congress trust Biden, Harris to oversee AI [Affirmative Influe

By Don Stockbauer on Thu Jun 1 05:36:18 2023

Latest reply by Don Stockbauer on Thu Jun 1 05:36:18 2023

wordplay

By David Dalton on Fri May 26 04:24:15 2023

Latest reply by David Dalton on Mon May 29 20:58:05 2023

Re: Can D simulated by H terminate normally? [Halting auto problem repa

By Richard Damon on Fri May 26 19:43:08 2023

Latest reply by Richard Damon on Sun May 28 12:25:19 2023

Re: Can D simulated by H terminate normally? [correct answer]

By Richard Damon on Thu May 25 22:42:56 2023

Latest reply by Richard Damon on Fri May 26 12:51:36 2023

Re: 'Fate of humanity rests with an idiot': Kamala Harris to lead war o

By Lars N.E. on Fri May 26 12:33:56 2023

Latest reply by Lars N.E. on Fri May 26 12:33:56 2023

Re: Can D simulated by H terminate normally? [Ben has agreed]

By olcott on Thu May 25 10:30:36 2023

Latest reply by Richard Damon on Thu May 25 21:56:00 2023

Re: Can D simulated by H terminate normally? [sketch of an inductive pr

By olcott on Thu May 25 11:00:58 2023

Latest reply by Richard Damon on Thu May 25 21:54:39 2023

Re: Can D simulated by H terminate normally? [key agreement] (1/2)

By Richard Damon on Wed May 24 15:12:55 2023

Latest reply by Richard Damon on Thu May 25 07:41:13 2023

Re: Can D simulated by H terminate normally? [key agreement] (2/2)

By Richard Damon on Wed May 24 15:12:55 2023

Latest reply by Richard Damon on Thu May 25 07:41:13 2023

Re: Can D simulated by H terminate normally? [key agreement]

By olcott on Sat May 20 09:54:24 2023

Latest reply by olcott on Wed May 24 13:45:37 2023

Re: Simulating (partial) Halt Deciders [updated paper]

By Richard Damon on Wed May 10 19:34:32 2023

Latest reply by Richard Damon on Sat May 13 17:33:51 2023

=?UTF-8?Q?Re=3a_G=c3=b6del=27s_proof_relies_on_self-contradictory_e?= =

By Richard Damon on Wed May 10 19:29:05 2023

Latest reply by Richard Damon on Sat May 13 16:42:29 2023

Re: Sea of Rust - Robots, as any Sf-reader know they are, deep down.

By bingo jones on Fri May 12 13:07:29 2023

Latest reply by bingo jones on Fri May 12 13:07:29 2023

=?UTF-8?Q?Re=3A_G=C3=B6del=27s_proof_relies_on_self=2Dcontradictory_exp

By Don Stockbauer on Fri May 12 05:45:42 2023

Latest reply by Don Stockbauer on Fri May 12 05:45:42 2023

Re: A proof of G in F

By olcott on Sat Apr 22 16:08:36 2023

Latest reply by Richard Damon on Sat May 6 16:45:54 2023

Re: Not The Bee - Pedo Joe Biden names Kamala Harris his AI CZAR

By See outside on Fri May 5 02:16:57 2023

Latest reply by Don Stockbauer on Sat May 6 08:51:55 2023

The media operation that the French no longer expected

By mailkior@gmail.com on Mon May 1 16:17:26 2023

Latest reply by Don Stockbauer on Wed May 3 06:14:29 2023

Re: Simulating (partial) Halt Deciders Defeat the Halting Problem Proof

By Richard Damon on Tue Apr 18 07:32:11 2023

Latest reply by Richard Damon on Mon May 1 19:09:46 2023

There exists a G in F that proves its own unprovability in F

By olcott on Tue Apr 25 11:47:58 2023

Latest reply by Richard Damon on Wed Apr 26 08:07:17 2023

Halting Problem solved!

By Mr Flibble on Sun Apr 23 00:43:51 2023

Latest reply by Mr Flibble on Sun Apr 23 23:26:08 2023

Re: Halting Problem solved! [no mistake]

By olcott on Sun Apr 23 18:30:22 2023

Latest reply by olcott on Sun Apr 23 18:30:22 2023

Re: There exists a G such that G is logically equivalent to its own unp

By Richard Damon on Fri Apr 21 20:49:47 2023

Latest reply by Richard Damon on Sat Apr 22 17:51:53 2023

a Proof of G in F is contradictory

By olcott on Thu Apr 20 11:04:50 2023

Latest reply by Richard Damon on Fri Apr 21 22:49:16 2023

There exists a G such that G is logically equivalent to its own unprova

By olcott on Fri Apr 21 19:33:43 2023

Latest reply by olcott on Fri Apr 21 19:33:43 2023

Was Duclert Macron's man ?

By mailkior@gmail.com on Wed Apr 19 17:08:55 2023

Latest reply by mailkior@gmail.com on Wed Apr 19 17:08:55 2023

=?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 admin soft on Tue Apr 18 00:25:48 2023

Free online dating sites without registration and payment - Fun Ton

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

Latest reply by admin soft on Tue Apr 18 00:25:27 2023

Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs

By olcott on Wed Apr 12 13:27:43 2023

Latest reply by olcott on Tue Apr 18 00:00:32 2023

AudInput mind-module for the Standard Model of AGI by default

By A.T. Murray on Sun Apr 16 20:33:12 2023

Latest reply by A.T. Murray on Sun Apr 16 20:33:12 2023

**************************************** NEW-MATH.COM *****************

By Graham Cooper on Sun Apr 16 04:42:26 2023

Latest reply by Graham Cooper on Sun Apr 16 04:42:26 2023

=?UTF-8?Q?Why_is_G=c3=b6del=27s_G_unprovable_in_F_=3f=3f=3f?=

By olcott on Sat Apr 15 15:33:26 2023

Latest reply by olcott on Sat Apr 15 15:33:26 2023

Re: Selling Questions to be Input to Chatgpt

By Douglas Eagleson on Wed Mar 22 19:43:16 2023

Latest reply by Douglas Eagleson on Thu Apr 13 19:53:39 2023

AGI Roadmap updated by Mentifex

By A.T. Murray on Fri Apr 7 21:10:46 2023

Latest reply by A.T. Murray on Tue Apr 11 05:10:38 2023

Angelina Jolie has been identified..

By mailkior@gmail.com on Sun Apr 9 17:23:46 2023

Latest reply by Don Stockbauer on Mon Apr 10 06:59:00 2023

Re: Introducing the foundation of correct reasoning

By Richard Damon on Sat Mar 18 19:57:23 2023

Latest reply by Richard Damon on Sat Apr 1 18:52:50 2023

Re: A proof of G in F is impossible [foundation of correct reasoning]

By olcott on Sat Apr 1 15:59:09 2023

Latest reply by Richard Damon on Sat Apr 1 17:33:11 2023

A proof of G in F is impossible

By olcott on Sat Apr 1 00:16:39 2023

Latest reply by olcott on Sat Apr 1 14:40:26 2023

The art of lying on the Internet : here is the newspaper Le Monde and A

By mailkior@gmail.com on Fri Mar 31 05:13:24 2023

Latest reply by mailkior@gmail.com on Fri Mar 31 05:13:24 2023

Mentifex AGI Embodies the Emotion Mind-Module

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

Latest reply by A.T. Murray on Mon Mar 27 15:42:07 2023

The Quest for Chatgpt to be a Aid to a Physicist's Theory Statement

By Douglas Eagleson on Wed Mar 22 20:09:19 2023

Latest reply by Douglas Eagleson on Sun Mar 26 22:26:30 2023

H(D,D)==0 is correct is proven [ more details ]

By olcott on Fri Mar 17 20:13:51 2023

Latest reply by Richard Damon on Sat Mar 18 15:06:51 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

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 ID

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-man dece

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 [ irrefutable reaso

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

Re: Every E correctly simulated by any HH cannot possibly halt V2 [ foo

By Richard Damon on Sun Feb 12 16:44:59 2023

Latest reply by olcott on Sun Feb 12 15:34:05 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

Re: Every E correctly simulated by any HH cannot possibly halt

By Richard Damon on Fri Feb 10 18:54:51 2023

Latest reply by Richard Damon on Sat Feb 11 18:37:30 2023

Re: Paul N agrees that P correctly simulated by H never halts

By Richard Damon on Thu Feb 9 11:43:16 2023

Latest reply by Richard Damon on Fri Feb 10 19:02:11 2023

Re: Halting Problem definition is ill-formed and thus invalid [ Paul N

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/decision problem

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

By olcott on Mon Jan 9 22:50:27 2023

Latest reply by Jeffrey Rubard on Fri Feb 3 12:16:12 2023

There have been zero correct rebuttals of my refutation of the halting

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

Latest reply by Richard Damon on Tue Jan 31 22:17:30 2023

ChatGPT has correctly validated both elements of by halting problem pro

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 [Why lie?

By Richard Damon on Sun Jan 29 20:04:01 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 [countabi

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 cr

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

Latest reply by olcott on Mon Jan 30 15:20:34 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 Sat Jan 28 22:44:27 2023

ChatGPT and MIT professor Michael Sipser both agree that the essence of

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

Latest reply by Richard Damon on Fri Jan 27 22:19:32 2023

Re: ChatGPT is my best reviewer yet (keeps getting better)

By olcott on Fri Jan 27 09:22:17 2023

Latest reply by Richard Damon on Fri Jan 27 22:19:30 2023

Re: ChatGBT is my best reviewer yet

By Richard Damon on Thu Jan 26 22:29:48 2023

Latest reply by Richard Damon on Fri Jan 27 22:19:28 2023

Re: ChatGBT is my best reviewer yet (keeps getting better)

By olcott on Thu Jan 26 22:09:10 2023

Latest reply by Richard Damon on Fri Jan 27 18:47:31 2023

Re: HH(PP,PP) correctly determines that its input never halts [-countab

By olcott on Wed Jan 25 18:48:51 2023

Latest reply by Richard Damon on Thu Jan 26 19:21:45 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 Ben Bacarisse on Thu Jan 26 03:54:44 2023

Tarski Undefinability Theorem is refuted

By olcott on Thu Dec 29 11:27:40 2022

Latest reply by Don Stockbauer on Tue Jan 24 05:54:58 2023

=?UTF-8?Q?The_false_assumption_of_G=c3=b6del_Incompleteness?=

By olcott on Wed Jan 11 21:37:55 2023

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

[ G is not provable in F ]

By olcott on Fri Jan 6 15:57:45 2023

Latest reply by Richard Damon on Sat Jan 7 17:24:07 2023

The problem of not enough TM for every decision problem has been resolv

By olcott on Sat Jan 7 11:07:54 2023

Latest reply by Richard Damon on Sat Jan 7 16:39:16 2023

Re: Richter or Merkel ?

By mailkior@gmail.com on Thu Jan 5 10:14:27 2023

Latest reply by Don Stockbauer on Fri Jan 6 07:00:52 2023

Re: Is AI for sexual robots up and cumming?

By mailkior@gmail.com on Thu Jan 5 10:09:42 2023

Latest reply by mailkior@gmail.com on Thu Jan 5 10:09:42 2023

=?UTF-8?Q?Re=3a_Tarski_Undefinability_Theorem_is_refuted_=5balso_G?= =?

By olcott on Mon Jan 2 10:17:22 2023

Latest reply by Richard Damon on Thu Jan 5 07:34:56 2023

quantum human brains

By Artist (nickis jobsearchespage) on Wed Nov 30 11:40:28 2022

Latest reply by house spirit on Wed Dec 28 11:22:06 2022

=?UTF-8?Q?Re=3A_G=C3=B6del_sentence_in_the_1931_incompleteness_proof?=

By Don Stockbauer on Mon Nov 28 14:44:18 2022

Latest reply by Don Stockbauer on Sun Dec 18 13:14:33 2022

=?UTF-8?Q?Re=3A_=C3=88_AVVOCATESSA_ASSASSINA=3A_=23CRISTINAROSSELLO_CRI

By Don Stockbauer on Mon Nov 21 05:15:05 2022

Latest reply by Don Stockbauer on Thu Dec 1 00:52:11 2022

=?UTF-8?Q?Re=3a_G=c3=b6del_sentence_in_the_1931_incompleteness_proo?= =

By olcott on Mon Nov 28 11:31:24 2022

Latest reply by olcott on Tue Nov 29 09:45:06 2022

=?UTF-8?Q?G=c3=b6del_sentence_in_the_1931_incompleteness_proof_is_n?= =

By olcott on Sun Nov 27 18:20:33 2022

Latest reply by olcott on Sun Nov 27 18:20:33 2022

Wikis Internet troll meaning

By Artist (nickis jobsearchespage) on Mon Oct 31 06:44:23 2022

Latest reply by Don Stockbauer on Sun Nov 27 06:24:49 2022

Qualia Explained

By A.T. Murray on Mon Oct 3 21:33:19 2022

Latest reply by Don Stockbauer on Wed Nov 16 07:42:19 2022

Re: The truth about Angelina Jolie

By Don Stockbauer on Sun Nov 13 17:27:01 2022

Latest reply by Don Stockbauer on Sun Nov 13 17:27:01 2022

Autism Designs How to build inclusive products for people with autism

By Artist on Thu Aug 25 11:28:10 2022

Latest reply by Don Stockbauer on Fri Nov 4 05:23:41 2022

consumable holography

By Artist (nickis jobsearchespage) on Tue Nov 1 16:55:58 2022

Latest reply by Don Stockbauer on Thu Nov 3 13:05:42 2022

simulated aging

By RichD on Mon Oct 31 12:40:06 2022

Latest reply by RichD on Mon Oct 31 12:40:06 2022

Re: A thought [ Populating the Cyc Project ]

By olcott on Mon Oct 17 23:19:52 2022

Latest reply by Truthslave on Sat Oct 29 14:37:37 2022

Time and Minds, from Baxter to Rovelli.

By Simon Laub on Sun Aug 21 21:39:10 2022

Latest reply by Truthslave on Sat Oct 29 14:30:53 2022

Re: to those seeking employment

By Artist (nickis jobsearchespage) on Sat Oct 22 11:34:32 2022

Latest reply by Don Stockbauer on Thu Oct 27 11:52:11 2022

Termination Analysis without the Tears (by Shaowei Zhu and Zachary Kinc

By olcott on Wed Oct 26 13:54:43 2022

Latest reply by olcott on Wed Oct 26 13:54:43 2022

Re: Ben agrees the H(D,D)==0 according to its criterion [No rebuttal fr

By olcott on Mon Oct 24 13:17:30 2022

Latest reply by olcott on Mon Oct 24 13:17:30 2022

Simulating halt deciders (SHDs) simply do not work; alas neither does O

By Mr Flibble on Sun Oct 23 15:59:16 2022

Latest reply by Mr Flibble on Sun Oct 23 16:18:56 2022

Simulating Halt Decider Applied to the Halting Theorem

By olcott on Sun Oct 23 08:28:34 2022

Latest reply by olcott on Sun Oct 23 09:43:21 2022

Ben agrees that Sipser_H is correct according to its halt status criter

By olcott on Fri Oct 21 15:03:25 2022

Latest reply by olcott on Fri Oct 21 15:03:25 2022

Re: Halt deciders

By olcott on Mon Oct 17 09:29:28 2022

Latest reply by Mr Flibble on Fri Oct 21 14:59:41 2022

Re: Ben agrees that Sipser_H is correct according to its halt status cr

By olcott on Thu Oct 20 22:41:19 2022

Latest reply by olcott on Thu Oct 20 22:41:19 2022

Re: Michael Sipser of MIT validates the notion of a simulating halt dec

By olcott on Mon Oct 17 09:20:03 2022

Latest reply by olcott on Wed Oct 19 16:59:11 2022

Some of my reviewers disagree with verified facts

By olcott on Tue Oct 18 10:20:32 2022

Latest reply by olcott on Tue Oct 18 10:20:32 2022

Re: Halt deciders [ Does Ben agree ? ]

By olcott on Mon Oct 17 12:08:40 2022

Latest reply by Richard Damon on Mon Oct 17 20:49:05 2022

Re: Richard is as dumb as dumb gets

By olcott on Mon Oct 17 09:50:21 2022

Latest reply by Richard Damon on Mon Oct 17 18:39:49 2022

Re: Halt deciders [ Ben uses rhetoric when he has no reasoning ]

By olcott on Mon Oct 17 16:40:47 2022

Latest reply by olcott on Mon Oct 17 16:40:47 2022

Re: Halt deciders [ Ben has no rebuttal for this ]

By olcott on Mon Oct 17 16:17:44 2022

Latest reply by olcott on Mon Oct 17 16:17:44 2022

Re: Halt deciders [ Does Ben agree? ]

By olcott on Mon Oct 17 12:04:56 2022

Latest reply by olcott on Mon Oct 17 12:04:56 2022

Gamma Radiation Shielding in the Meta Verse

By Douglas Eagleson on Sun Oct 9 18:40:21 2022

Latest reply by Douglas Eagleson on Sun Oct 16 21:14:54 2022

Re: MIT Professor Michael Sipser validates the notion of a simulating h

By Mr Flibble on Sun Oct 16 16:37:36 2022

Latest reply by olcott on Sun Oct 16 12:15:43 2022

MIT Professor Michael Sipser validates the notion of a simulating halt

By olcott on Sun Oct 16 10:16:48 2022

Latest reply by olcott on Sun Oct 16 10:16:48 2022

Nvidia AI Conference

By Douglas Eagleson on Sat Sep 10 13:49:56 2022

Latest reply by Don Stockbauer on Sun Sep 25 09:20:31 2022

A Review of Priority -Cleaning my Web Site-

By Douglas Eagleson on Fri Sep 9 13:55:25 2022

Latest reply by Douglas Eagleson on Fri Sep 9 13:55:25 2022

Macron-Scholz, a Franco-German couple : the student and the teacher. Th

By mailkior@gmail.com on Sat Sep 3 02:55:26 2022

Latest reply by mailkior@gmail.com on Sat Sep 3 02:55:26 2022

The Universe is a Quantum gravity computer, maybe!?

By Simon Laub on Thu Sep 1 10:56:22 2022

Latest reply by Don Stockbauer on Thu Sep 1 14:22:56 2022

=?UTF-8?Q?Re=3A_=23MARINABERLUSCONI_MARINA_BERLUSCONI_=C3=89_LESBICA_K?

By Don Stockbauer on Fri May 13 07:50:05 2022

Latest reply by Don Stockbauer on Mon Jul 25 20:59:55 2022

Synchronous Systems

By Douglas Eagleson on Mon Jun 6 13:10:08 2022

Latest reply by Douglas Eagleson on Sun Jul 24 19:53:04 2022

Re: adverting, media, licensing concerns.

By assumed. identiy.3396 on Thu Jul 7 11:50:14 2022

Latest reply by Don Stockbauer on Mon Jul 11 14:42:05 2022

=?UTF-8?Q?Re=3A_=23PIERSILVIOBERLUSCONI_PIERSILVIO_BERLUSCONI_=C3=89_F?

By Don Stockbauer on Fri Jul 8 09:39:00 2022

Latest reply by Don Stockbauer on Sat Jul 9 19:42:20 2022

=?UTF-8?Q?Re=3A_=23PIERSILVIOBERLUSCONI_PIERSILVIO_BERLUSCONI_=C3=89_U?

By Don Stockbauer on Thu Jun 30 18:24:36 2022

Latest reply by Don Stockbauer on Fri Jul 8 09:53:07 2022

who is jobsearchesforme?

By assumed. identiy.3396 on Thu Jul 7 14:15:29 2022

Latest reply by assumed. identiy.3396 on Thu Jul 7 14:15:29 2022

Technically competent Software engineers can verify this halting proble

By olcott on Tue Jun 21 21:38:56 2022

Latest reply by olcott on Sun Jun 26 16:18:27 2022

Proving that H(P,P) is a correct P never reaches "ret" determiner (AKA

By olcott on Thu Jun 23 20:48:18 2022

Latest reply by Richard Damon on Sat Jun 25 13:30:48 2022

Software engineers [ not Flibble ] can verify this halting problem proo

By olcott on Thu Jun 23 14:56:26 2022

Latest reply by Mr Flibble on Thu Jun 23 20:59:44 2022

Re: Software engineers can verify this halting problem proof refutation

By Richard Damon on Thu Jun 23 19:00:51 2022

Latest reply by Richard Damon on Thu Jun 23 19:00:51 2022

Software engineers can verify this halting problem proof refutation [ H

By olcott on Thu Jun 23 12:44:19 2022

Latest reply by olcott on Thu Jun 23 13:14:12 2022

Essence of the culmination five years of full time work on the Halting

By olcott on Fri Jun 17 14:39:49 2022

Latest reply by Richard Damon on Tue Jun 21 23:20:29 2022

Software engineers of extreme technical competence [ halting problem pr

By olcott on Tue Jun 21 08:01:31 2022

Latest reply by Richard Damon on Tue Jun 21 22:50:12 2022

Re: Software engineers of extremely high technical competence [ halting

By olcott on Mon Jun 20 20:00:09 2022

Latest reply by Mr Flibble on Tue Jun 21 17:26:37 2022

Software engineers of extremely high technical competence [ halting pro

By olcott on Mon Jun 20 19:12:44 2022

Latest reply by olcott on Mon Jun 20 19:12:44 2022

Re: Halting Problem proof refutation is a tautology thus irrefutable [

By olcott on Sun Jun 19 13:30:22 2022

Latest reply by Richard Damon on Mon Jun 20 18:57:10 2022

Halting Problem proof refutation is a tautology thus irrefutable

By olcott on Sun Jun 19 10:13:00 2022

Latest reply by Richard Damon on Sun Jun 19 14:20:17 2022

H(P,P)==0 as a pure function of its inputs is fully operational

By olcott on Fri Jun 17 21:07:31 2022

Latest reply by Richard Damon on Sun Jun 19 14:36:40 2022

Re: Source-code of halt decider that decides the halting problem's "imp

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Sun Jun 19 08:50:01 2022

Latest reply by Richard Damon on Sun Jun 19 12:40:50 2022

Source-code of halt decider that decides the halting problem's "impossi

By olcott on Sat Jun 18 19:00:30 2022

Latest reply by olcott on Sat Jun 18 19:00:30 2022

=?UTF-8?Q?Re=3a_Reviewers_quit_reviewing_my_work_because_it_is_now_?= =

By olcott on Sat Jun 18 08:19:50 2022

Latest reply by Richard Damon on Sat Jun 18 09:52:39 2022

Reviewers quit reviewing my work because it is now finally irrefutable

By olcott on Fri Jun 17 06:29:29 2022

Latest reply by Richard Damon on Sat Jun 18 08:52:20 2022

Re: Olcott's H

By olcott on Fri Jun 17 14:06:55 2022

Latest reply by Richard Damon on Fri Jun 17 20:42:51 2022

Re: olcott, it's really simple [ succinct summation ]

By olcott on Thu Jun 16 20:06:09 2022

Latest reply by Richard Damon on Thu Jun 16 22:10:22 2022

Re: olcott, it's really simple

By olcott on Thu Jun 16 12:40:19 2022

Latest reply by Richard Damon on Thu Jun 16 22:08:23 2022

As easy as 1,2,3 H(P,P)==0 is proved to be correct

By olcott on Thu Jun 16 08:47:29 2022

Latest reply by Richard Damon on Thu Jun 16 18:47:23 2022

Criterion Measure of a simulating halt decider proving that H(P,P)==0

By olcott on Sun Jun 12 11:07:05 2022

Latest reply by Richard Damon on Thu Jun 16 18:45:33 2022

Re: olcott, it's really simple (tiny typo)

By olcott on Thu Jun 16 17:35:48 2022

Latest reply by olcott on Thu Jun 16 17:35:48 2022

Proving that H(P,P)==0 on the basis of easily verified facts

By olcott on Wed Jun 15 14:21:51 2022

Latest reply by Richard Damon on Wed Jun 15 18:51:01 2022

Proving that H(P,P)==0 on the basis of easily verified facts (tiny typo

By olcott on Wed Jun 15 17:44:47 2022

Latest reply by olcott on Wed Jun 15 17:44:47 2022

Are my reviewers dishonest or technically incompetent ?

By olcott on Sun May 22 13:00:31 2022

Latest reply by Richard Damon on Wed Jun 15 06:40:21 2022

Textbook Criterion measure for halt deciders is based on a false assump

By olcott on Mon Jun 13 18:12:49 2022

Latest reply by Richard Damon on Mon Jun 13 20:33:53 2022

Re: H(P,P) as a pure function of its inputs is easy [ source-code will

By Mr Flibble on Sun Jun 12 22:06:58 2022

Latest reply by Richard Damon on Sun Jun 12 21:49:56 2022

Re: H(P,P) as a pure function of its inputs is easy [ psychotic break f

By olcott on Sat Jun 11 16:22:35 2022

Latest reply by Richard Damon on Sat Jun 11 20:18:31 2022

Re: Proving that P(P) != the correct x86 emulation of the input to H(P,

By olcott on Thu Jun 9 11:54:13 2022

Latest reply by Richard Damon on Fri Jun 10 15:19:19 2022

Re: Olcott's H(P,P)==0 is correct [ x86utm ]

By olcott on Thu Jun 9 10:53:39 2022

Latest reply by Richard Damon on Thu Jun 9 12:37:18 2022

No one has sufficiently addressed this H(P,P)==0

By olcott on Wed Jun 8 21:32:43 2022

Latest reply by Richard Damon on Thu Jun 9 12:29:23 2022

=?UTF-8?Q?Re=3A_=23PIERSILVIOBERLUSCONI_=C3=89_FIGLIO_DI_TROIA=21_SI=2C

By Don Stockbauer on Mon Feb 21 06:05:53 2022

Latest reply by Don Stockbauer on Thu Jun 9 08:51:28 2022

Re: Olcott's H(P,P)==0 is correct !!!

By olcott on Wed Jun 8 18:56:28 2022

Latest reply by Richard Damon on Wed Jun 8 20:46:10 2022

Re: H(P,P)==0 is correct

By Mr Flibble on Wed Jun 8 22:09:17 2022

Latest reply by Richard Damon on Wed Jun 8 19:51:25 2022

Re: Olcott's H(P,P)==0 is correct ???

By olcott on Wed Jun 8 19:51:32 2022

Latest reply by Richard Damon on Wed Jun 8 22:38:28 2022

Re: Olcott's H(P,P)==0 is correct

By olcott on Wed Jun 8 09:28:33 2022

Latest reply by Richard Damon on Wed Jun 8 19:37:28 2022

Re: Olcott's non-decider [ Peter is ridiculously stupid ]

By Richard Damon on Wed Jun 8 19:30:45 2022

Latest reply by Richard Damon on Wed Jun 8 19:30:45 2022

Re: Olcott's non-decider [ Richard is ridiculously stupid ]

By olcott on Tue Jun 7 21:25:32 2022

Latest reply by Richard Damon on Wed Jun 8 19:28:55 2022

Re: Refuting the HP proofs (adapted for software engineers)[ members of

By olcott on Tue Jun 7 20:04:26 2022

Latest reply by Richard Damon on Tue Jun 7 22:45:08 2022

Re: Olcott's non-decider

By olcott on Tue Jun 7 22:07:39 2022

Latest reply by olcott on Tue Jun 7 22:07:39 2022

Re: Competent software engineers will agree that H(P,P)==0 is correct [

By olcott on Mon Jun 6 13:44:30 2022

Latest reply by Richard Damon on Tue Jun 7 20:52:45 2022

Re: Refuting the HP proofs (adapted for software engineers[ Ordinary so

By olcott on Sun Jun 5 22:41:23 2022

Latest reply by Richard Damon on Mon Jun 6 21:04:34 2022

Re: Refuting the HP proofs (adapted for software engineers)[ Mike Terry

By Richard Damon on Sun Jun 5 20:56:55 2022

Latest reply by olcott on Mon Jun 6 11:59:02 2022

Re: Competent software engineers will agree that H(P,P)==0 is correct

By olcott on Mon Jun 6 10:55:00 2022

Latest reply by olcott on Mon Jun 6 13:11:28 2022

Re: Refuting the HP proofs (adapted for software engineers[ brand new c

By olcott on Sun Jun 5 21:37:53 2022

Latest reply by Richard Damon on Sun Jun 5 23:26:56 2022

Refuting the HP proofs (adapted for software engineers)

By olcott on Fri Jun 3 17:17:12 2022

Latest reply by Richard Damon on Sun Jun 5 22:44:29 2022

Re: Refuting the HP proofs (adapted for software engineers)[ BRAIN DEAD

By olcott on Sat Jun 4 10:51:21 2022

Latest reply by Richard Damon on Sat Jun 4 15:57:49 2022

Halting Problem proofs are refuted in C (adapted for software engineers

By olcott on Sat Jun 4 13:03:54 2022

Latest reply by Mr Flibble on Sat May 28 21:48:29 2022

Re: Experts would agree that my reviewers are incorrect [ Why are you s

By olcott on Fri Jun 3 16:08:34 2022

Latest reply by Richard Damon on Fri Jun 3 18:55:30 2022

Re: Experts would agree that my reviewers are incorrect [ deliberately

By olcott on Tue May 31 17:23:11 2022

Latest reply by Richard Damon on Fri Jun 3 22:44:34 2022

Re: Experts would agree that my reviewers are incorrect [ woefully insu

By olcott on Fri Jun 3 16:55:47 2022

Latest reply by Richard Damon on Fri Jun 3 18:41:01 2022

H(P,P)==0 is completely obvious

By olcott on Thu Jun 2 00:26:03 2022

Latest reply by olcott on Thu Jun 2 20:34:14 2022

Re: Experts would agree that my reviewers are incorrect [ insufficient

By olcott on Mon May 30 17:57:23 2022

Latest reply by Richard Damon on Mon May 30 19:14:36 2022

geet-hi and gee-tay don't lie

By pataphor on Wed Apr 13 06:36:13 2022

Latest reply by Don Stockbauer on Mon May 30 10:36:44 2022

Re: Experts would agree that my reviewers are incorrect [ my only hones

By olcott on Fri May 27 11:04:12 2022

Latest reply by Richard Damon on Sun May 29 21:10:15 2022

Re: Experts would agree that my reviewers are incorrect [ Malcolm is my

By olcott on Sun May 29 12:19:10 2022

Latest reply by olcott on Sun May 29 14:16:17 2022

Re: Experts would agree that my reviewers are incorrect [ H(P,P)==0 ]

By olcott on Sat May 28 10:48:33 2022

Latest reply by Richard Damon on Sat May 28 16:53:00 2022

Re: Experts would agree that my reviewers are incorrect [ NON-INPUTS DO

By olcott on Sat May 28 11:31:34 2022

Latest reply by Richard Damon on Sat May 28 12:48:04 2022

Re: Experts would agree that my reviewers are incorrect [ slight breakt

By olcott on Tue May 24 20:33:10 2022

Latest reply by Richard Damon on Fri May 27 20:23:08 2022

Re: Experts would agree that my reviewers are incorrect [ fake rebuttal

By olcott on Wed May 25 09:13:21 2022

Latest reply by Richard Damon on Wed May 25 20:44:37 2022

Re: Experts would agree that my reviewers are incorrect [ brain-dead mo

By olcott on Wed May 25 14:44:20 2022

Latest reply by olcott on Wed May 25 14:46:04 2022

Re: Experts would agree that my reviewers are incorrect [ simplest proo

By olcott on Wed May 25 09:03:07 2022

Latest reply by olcott on Wed May 25 09:03:07 2022

Re: Experts would agree that my reviewers are incorrect

By Mr Flibble on Tue May 24 21:54:17 2022

Latest reply by Richard Damon on Tue May 24 21:46:47 2022

Re: Question for Olcott [ summing up where we are ]

By olcott on Tue May 24 09:57:03 2022

Latest reply by olcott on Tue May 24 10:59:38 2022

Re: Question for Olcott [ technical competence ]

By olcott on Tue May 24 09:46:17 2022

Latest reply by olcott on Tue May 24 09:46:17 2022

Music creation as AI

By Douglas Eagleson on Sun Apr 3 11:30:39 2022

Latest reply by Don Stockbauer on Tue May 24 08:38:10 2022

Re: Question for Olcott [ Olcott continues to be a liar ]

By Richard Damon on Mon May 23 22:00:37 2022

Latest reply by Richard Damon on Mon May 23 22:00:37 2022

Re: Question for Olcott [ Richard continues to be a liar ]

By olcott on Mon May 23 18:50:28 2022

Latest reply by olcott on Mon May 23 20:52:07 2022

Are my reviewers incompetent or dishonest? [ stupid or liar ? ]

By olcott on Sun May 22 16:06:56 2022

Latest reply by Richard Damon on Mon May 23 19:06:43 2022

Re: Halting problem undecidability and infinitely nested simulation (V5

By olcott on Sat Apr 16 18:08:28 2022

Latest reply by Richard Damon on Sun May 22 00:02:56 2022

H(P,P)==0 is proven to be correct thus refuting the halting problem pro

By olcott on Sat May 21 09:44:08 2022

Latest reply by Richard Damon on Sat May 21 23:37:44 2022

Halting problem undecidability and infinitely nested simulation (V5) (u

By olcott on Sat May 21 16:48:26 2022

Latest reply by olcott on Sat May 21 16:48:26 2022

Re: Category error [ HEAD GAMES ] (smart honest people would agree)[ Be

By olcott on Fri May 20 15:33:57 2022

Latest reply by Richard Damon on Fri May 20 17:14:09 2022

Re: Category error [ HEAD GAMES ] (smart honest people would agree)

By Ben on Fri May 20 16:12:05 2022

Latest reply by Richard Damon on Fri May 20 11:09:24 2022

Re: Category error [ HEAD GAMES ]

By olcott on Wed May 18 11:49:42 2022

Latest reply by Richard Damon on Thu May 19 20:55:21 2022

Re: Category error [ HEAD GAMES ] (clearer words)

By olcott on Thu May 19 15:53:02 2022

Latest reply by Richard Damon on Thu May 19 18:21:27 2022

Re: Correcting logic to make it a system of correct reasoning [ previou

By olcott on Sat May 14 09:00:20 2022

Latest reply by Richard Damon on Wed May 18 20:02:46 2022

Re: Correcting logic to make it a system of correct reasoning [ philoso

By olcott on Fri May 13 18:35:38 2022

Latest reply by Richard Damon on Wed May 18 19:57:00 2022

Re: Proof that H(P,P)==0 is correct [ foundation of truth itself ]

By olcott on Fri May 13 12:01:29 2022

Latest reply by Mr Flibble on Fri May 13 21:44:07 2022

Re: Correcting logic to make it a system of correct reasoning

By Richard Damon on Fri May 13 13:47:51 2022

Latest reply by Richard Damon on Fri May 13 20:15:24 2022

Implementing a two-way Turing Machine tape as an improvement to std::de

By olcott on Thu May 12 17:51:25 2022

Latest reply by Chris M. Thomasson on Fri May 13 12:44:05 2022

Re: reconsidering the 'computerized match maker'

By Don Stockbauer on Sat Mar 26 07:02:13 2022

Latest reply by Don Stockbauer on Thu May 12 15:30:40 2022

Seasons Greetings

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

Latest reply by Don Stockbauer on Thu May 12 03:49:05 2022

Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proo

By olcott on Tue May 10 23:47:05 2022

Latest reply by olcott on Wed May 11 16:35:14 2022

Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]

By olcott on Tue May 10 07:26:25 2022

Latest reply by olcott on Wed May 11 13:07:16 2022

Re: On Strachey [ How nuts is that? ][ proof that I am correct ]

By olcott on Tue May 10 07:16:08 2022

Latest reply by olcott on Tue May 10 07:16:08 2022

H(P,P)==false is proven to be correct

By olcott on Mon May 9 17:02:47 2022

Latest reply by olcott on Mon May 9 18:00:14 2022

Re: Next move [ truth itself is broken ]

By olcott on Sun May 8 22:20:47 2022

Latest reply by olcott on Sun May 8 22:20:47 2022

Re: On Strachey [ How nuts is that? ]

By olcott on Sat May 7 19:19:32 2022

Latest reply by olcott on Sat May 7 19:19:32 2022

All my reviewers expect a halt decider to have psychic power

By olcott on Sat Apr 23 09:49:51 2022

Latest reply by olcott on Sat May 7 16:50:35 2022

Re: Validating that the implementation meets the spec for TM transition

By olcott on Fri May 6 17:08:40 2022

Latest reply by olcott on Fri May 6 17:08:40 2022

Validating that the implementation meets the spec for TM transition fun

By olcott on Fri May 6 15:53:58 2022

Latest reply by olcott on Fri May 6 15:53:58 2022

Re: Is this correct Prolog? [ Tarski ]

By Richard Damon on Wed May 4 22:46:28 2022

Latest reply by olcott on Fri May 6 15:29:55 2022

Re: H(P,P) == false is correct [ Simple TM Interpreter ]

By olcott on Thu May 5 23:48:45 2022

Latest reply by olcott on Thu May 5 23:48:45 2022

Re: H(P,P) == false is correct [ verified facts ]

By olcott on Wed May 4 21:55:01 2022

Latest reply by olcott on Thu May 5 21:57:37 2022

Re: On recursion and infinite recursion (reprise #3)

By olcott on Thu May 5 13:58:00 2022

Latest reply by olcott on Thu May 5 20:59:51 2022

Is this correct Prolog?

By olcott on Sat Apr 30 02:02:23 2022

Latest reply by Richard Damon on Wed May 4 19:48:00 2022

Re: H(P,P) == false is correct

By olcott on Tue May 3 21:07:52 2022

Latest reply by olcott on Wed May 4 14:27:37 2022

Re: On recursion and infinite recursion (reprise)

By olcott on Tue May 3 10:19:29 2022

Latest reply by olcott on Tue May 3 18:48:02 2022

=?UTF-8?Q?Re=3a_Is_this_correct_Prolog=3f_=5b_Andr=c3=a9_didn=27t_l?= =

By olcott on Tue May 3 12:08:47 2022

Latest reply by olcott on Tue May 3 12:08:47 2022

=?UTF-8?Q?Re=3a_Is_this_correct_Prolog=3f_=5b_Andr=c3=a9_is_proven_?= =

By olcott on Sun May 1 18:15:17 2022

Latest reply by olcott on Sun May 1 19:56:28 2022

Re: on "infinitely recursive" and "recursive"

By polcott on Sun May 1 11:05:23 2022

Latest reply by Richard Damon on Sun May 1 13:14:03 2022

Re: On the halting problem (reprise #2) [ Prolog Liar Paradox ]

By olcott on Fri Apr 29 20:46:22 2022

Latest reply by olcott on Fri Apr 29 20:46:22 2022

=?UTF-8?Q?Re=3a_On_the_halting_problem_=28reprise_=232=29_=5b_G?= =?UTF

By olcott on Fri Apr 29 17:30:37 2022

Latest reply by olcott on Fri Apr 29 17:30:37 2022

Re: On the halting problem (reprise #2)

By olcott on Fri Apr 29 15:25:59 2022

Latest reply by olcott on Fri Apr 29 15:25:59 2022

Re: On the halting problem (reprise #2) [ truth bearers ]

By olcott on Fri Apr 29 13:39:59 2022

Latest reply by olcott on Fri Apr 29 13:39:59 2022

=?UTF-8?Q?Re=3a_My_honest_reviewers=3a_Andr=c3=a9=2c_Ben=2c_Mike=2c?= =

By olcott on Sat Apr 16 09:42:14 2022

Latest reply by olcott on Thu Apr 28 23:40:51 2022

=?UTF-8?Q?Re=3a_My_Dishonest_reviewers=3a_Andr=c3=a9=2c_Ben=2c_Mike?= =

By olcott on Sat Apr 16 11:13:00 2022

Latest reply by olcott on Thu Apr 21 19:53:45 2022

Halting problem undecidability and infinitely nested simulation [ Simpl

By olcott on Mon Apr 18 19:54:37 2022

Latest reply by olcott on Mon Apr 18 19:54:37 2022

=?UTF-8?Q?My_Dishonest_reviewers=3a_Andr=c3=a9=2c_Ben=2c_Mike=2c_De?= =

By olcott on Sat Apr 16 22:40:10 2022

Latest reply by olcott on Mon Apr 18 10:44:39 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ lia

By olcott on Thu Apr 14 19:14:52 2022

Latest reply by olcott on Sun Apr 17 19:00:43 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why

By olcott on Sat Apr 16 21:17:51 2022

Latest reply by olcott on Sat Apr 16 21:17:51 2022

=?UTF-8?Q?My_dishonest_reviewers=3a_Andr=c3=a9=2c_Ben=2c_Mike=2c_De?= =

By olcott on Fri Apr 15 16:16:59 2022

Latest reply by olcott on Sat Apr 16 10:26:27 2022

Halting problem undecidability and infinitely nested simulation (V5)

By olcott on Fri Apr 15 13:33:11 2022

Latest reply by olcott on Fri Apr 15 13:33:11 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ key

By olcott on Wed Apr 6 20:01:50 2022

Latest reply by olcott on Thu Apr 14 15:41:57 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ cor

By olcott on Sun Apr 10 18:58:44 2022

Latest reply by olcott on Mon Apr 11 15:04:59 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ sel

By olcott on Sun Apr 10 21:53:27 2022

Latest reply by olcott on Sun Apr 10 21:53:27 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(10) [ onl

By olcott on Thu Apr 7 12:43:51 2022

Latest reply by olcott on Thu Apr 7 12:43:51 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key

By olcott on Sun Apr 3 15:26:30 2022

Latest reply by olcott on Wed Apr 6 22:55:26 2022

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Eve

By olcott on Tue Apr 5 21:25:41 2022

Latest reply by olcott on Wed Apr 6 19:07:38 2022

Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Everyon

By olcott on Tue Apr 5 16:57:37 2022

Latest reply by olcott on Tue Apr 5 16:57:37 2022

Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key mis

By olcott on Sun Apr 3 12:01:52 2022

Latest reply by olcott on Sun Apr 3 12:01:52 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ honest dialogue

By olcott on Fri Apr 1 09:02:08 2022

Latest reply by olcott on Sun Apr 3 11:55:22 2022

=?UTF-8?Q?Re=3a_Refuting_the_Peter_Linz_Halting_Problem_Proof_V6_?= =?U

By olcott on Sat Apr 2 11:20:04 2022

Latest reply by olcott on Sun Apr 3 10:49:11 2022

Refuting the Peter Linz Halting Problem Proof V9 [ correct halt decidin

By olcott on Fri Apr 1 12:33:50 2022

Latest reply by olcott on Fri Apr 1 12:33:50 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ simplified ]

By olcott on Fri Apr 1 07:08:56 2022

Latest reply by olcott on Fri Apr 1 11:05:32 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ Halting criteria

By olcott on Thu Mar 31 22:06:58 2022

Latest reply by olcott on Fri Apr 1 08:20:25 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ agreement ? ]

By olcott on Thu Mar 31 20:18:14 2022

Latest reply by olcott on Fri Apr 1 08:12:50 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ different sequen

By olcott on Thu Mar 31 10:55:10 2022

Latest reply by olcott on Thu Mar 31 20:09:37 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ strawman error ]

By olcott on Sun Mar 27 20:12:42 2022

Latest reply by olcott on Thu Mar 31 13:25:27 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ out-of-scope ]

By olcott on Sun Mar 27 19:28:48 2022

Latest reply by olcott on Sun Mar 27 20:03:40 2022

Refuting the Peter Linz Halting Problem Proof V6

By olcott on Fri Mar 25 10:25:06 2022

Latest reply by olcott on Sun Mar 27 19:36:02 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ behavior of simu

By olcott on Sat Mar 26 08:44:43 2022

Latest reply by olcott on Sat Mar 26 21:17:37 2022

Re: Refuting the Peter Linz Halting Problem Proof V6 [ infinite behavio

By olcott on Fri Mar 25 21:07:17 2022

Latest reply by olcott on Fri Mar 25 21:38:06 2022

Refuting the Peter Linz Halting Problem Proof V8

By olcott on Fri Mar 25 11:58:03 2022

Latest reply by olcott on Fri Mar 25 15:27:00 2022

Refuting the Peter Linz Halting Problem Proof V7

By olcott on Fri Mar 25 11:16:21 2022

Latest reply by olcott on Fri Mar 25 11:16:21 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ mutual agreement

By olcott on Wed Mar 23 10:19:00 2022

Latest reply by olcott on Thu Mar 24 22:23:03 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ correct criteria

By olcott on Wed Mar 23 20:29:07 2022

Latest reply by olcott on Thu Mar 24 10:53:14 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ bald faced liar

By olcott on Wed Mar 23 18:50:34 2022

Latest reply by olcott on Wed Mar 23 18:50:34 2022

Re: Refuting the Peter Linz Halting Problem Proof V4 [ erroneous religi

By olcott on Sat Mar 19 20:12:39 2022

Latest reply by olcott on Wed Mar 23 10:08:09 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ without an algor

By olcott on Mon Mar 21 22:14:42 2022

Latest reply by olcott on Wed Mar 23 08:16:03 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ accurate assessm

By olcott on Tue Mar 22 20:33:08 2022

Latest reply by olcott on Tue Mar 22 20:33:08 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ criteria ]

By olcott on Tue Mar 22 18:29:33 2022

Latest reply by olcott on Tue Mar 22 18:29:33 2022

Re: Refuting the Peter Linz Halting Problem Proof V5 [ disingenuous ]

By olcott on Tue Mar 22 09:13:41 2022

Latest reply by olcott on Tue Mar 22 18:07:12 2022

Refuting the Peter Linz Halting Problem Proof V5 [ without an algorithm

By olcott on Mon Mar 21 21:05:00 2022

Latest reply by olcott on Mon Mar 21 21:05:00 2022

Refuting the Peter Linz Halting Problem Proof V4 [ erroneous religious

By olcott on Sat Mar 19 18:47:14 2022

Latest reply by olcott on Sat Mar 19 18:47:14 2022

Re: Simulating halt deciders correct decider halting [ Ben's perpetual

By olcott on Wed Mar 2 17:35:31 2022

Latest reply by olcott on Sat Mar 19 13:27:57 2022

Re: Simulating halt deciders correct decider halting [ Key error ][ no

By olcott on Fri Mar 18 12:58:18 2022

Latest reply by olcott on Sat Mar 19 08:18:28 2022

Re: Simulating halt deciders correct decider halting [ Key error ][ bra

By olcott on Thu Mar 17 19:20:43 2022

Latest reply by olcott on Fri Mar 18 13:28:39 2022

Re: Simulating halt deciders correct decider halting [ Key error ]

By olcott on Thu Mar 17 09:06:36 2022

Latest reply by olcott on Thu Mar 17 10:02:02 2022

Re: Simulating halt deciders correct decider halting [ The only point t

By olcott on Wed Mar 16 20:51:57 2022

Latest reply by olcott on Wed Mar 16 21:22:26 2022

=?UTF-8?Q?G=c3=b6del_incompleteness_is_impossible_in_=5bcorrect_rea?= =

By olcott on Thu Mar 10 10:29:06 2022

Latest reply by olcott on Thu Mar 10 10:29:06 2022

Unless the Goldbach conjecture is provable it is not true

By olcott on Sun Mar 6 09:04:05 2022

Latest reply by Alan Mackenzie on Sun Mar 6 20:01:08 2022

Correcting the notion of provability using purely generic terms

By olcott on Thu Mar 3 21:33:57 2022

Latest reply by olcott on Thu Mar 3 23:18:19 2022

Correcting the errors of logic

By olcott on Thu Mar 3 19:08:11 2022

Latest reply by olcott on Thu Mar 3 20:14:14 2022

Re: Reasoning from first principles [key error]( infinite behavior is p

By olcott on Tue Mar 1 09:50:57 2022

Latest reply by olcott on Thu Mar 3 10:15:34 2022

Re: Reasoning from first principles [ halt deciding algorithm ]

By olcott on Wed Mar 2 10:05:19 2022

Latest reply by olcott on Wed Mar 2 21:28:29 2022

Simulating halt deciders correct decider halting

By olcott on Mon Feb 28 16:47:44 2022

Latest reply by olcott on Wed Mar 2 17:05:42 2022

Re: Concise refutation of halting problem proofs V63 [ Linz Proof ](Ben

By olcott on Wed Mar 2 11:04:23 2022

Latest reply by olcott on Wed Mar 2 16:34:19 2022

Re: Concise refutation of halting problem proofs V63 [ Linz Proof ] (Be

By olcott on Tue Mar 1 19:21:27 2022

Latest reply by olcott on Tue Mar 1 19:21:27 2022

Call for Papers reminder (extended): The World Congress on Engineering

By iaeng imecs_wce_wcecs_a on Mon Feb 28 23:08:04 2022

Latest reply by iaeng imecs_wce_wcecs_a on Mon Feb 28 23:08:04 2022

Re: Concise refutation of halting problem proofs V63 [ Linz Proof ][ Be

By olcott on Mon Feb 28 11:59:59 2022

Latest reply by olcott on Mon Feb 28 22:21:44 2022

Re: infinitesimal number system

By olcott on Sun Feb 27 22:08:37 2022

Latest reply by olcott on Mon Feb 28 19:35:08 2022

Re: Simulating halt deciders correctly decide halting

By olcott on Mon Feb 28 18:17:54 2022

Latest reply by olcott on Mon Feb 28 18:55:47 2022

=?UTF-8?Q?Re=3a_Simulating_halt_decider_embedded=5fH_must_abort_its?= =

By olcott on Mon Feb 28 14:08:43 2022

Latest reply by olcott on Mon Feb 28 14:08:43 2022

Re: Concise refutation of halting problem proofs V63 [ Linz Proof ](dec

By olcott on Fri Feb 18 22:16:03 2022

Latest reply by olcott on Mon Feb 28 10:10:37 2022

=?UTF-8?Q?Simulating_halt_decider_embedded=5fH_must_abort_its_simul?= =

By olcott on Mon Feb 28 09:58:41 2022

Latest reply by olcott on Mon Feb 28 09:58:41 2022

Re: Concise refutation of halting problem proofs V63 [ know its own add

By olcott on Sat Feb 26 22:26:04 2022

Latest reply by olcott on Sun Feb 27 15:22:29 2022

Re: Reasoning from first principles [key error]

By olcott on Thu Feb 24 22:42:42 2022

Latest reply by olcott on Sat Feb 26 18:42:22 2022

Re: Reasoning from first principles [nitwit]

By olcott on Thu Feb 24 09:24:01 2022

Latest reply by olcott on Thu Feb 24 21:56:03 2022

=?UTF-8?Q?Re=3a_Reasoning_from_first_principles_=5b_Andr=c3=a9_=28n?= =

By olcott on Thu Feb 24 20:29:24 2022

Latest reply by olcott on Thu Feb 24 20:29:24 2022

Reasoning from first principles

By olcott on Mon Feb 21 23:03:30 2022

Latest reply by olcott on Thu Feb 24 10:30:16 2022

Re: Reasoning from first principles [ PSR ]

By olcott on Wed Feb 23 21:52:21 2022

Latest reply by olcott on Thu Feb 24 09:29:53 2022

Re: Reasoning from first principles [ liar ]

By olcott on Wed Feb 23 18:23:02 2022

Latest reply by olcott on Wed Feb 23 20:54:22 2022

Is it behind glass?

By assumed. identiy.3396 on Fri Feb 18 11:18:53 2022

Latest reply by Don Stockbauer on Mon Feb 21 06:08:55 2022

Re: Knowledge's Discretion

By Jeffrey Rubard on Thu Jan 27 14:32:29 2022

Latest reply by Don Stockbauer on Sun Feb 20 04:57:53 2022

Re: Concise refutation of halting problem proofs V62 [ my legacy ]

By olcott on Thu Feb 17 12:44:05 2022

Latest reply by olcott on Sat Feb 19 08:10:41 2022

Re: Concise refutation of halting problem proofs V62 [ my legacy ]( the

By olcott on Fri Feb 18 08:55:32 2022

Latest reply by olcott on Fri Feb 18 20:48:01 2022

Concise refutation of halting problem proofs V63 [ Linz Proof ]

By olcott on Thu Feb 17 13:33:01 2022

Latest reply by olcott on Thu Feb 17 21:26:42 2022

Re: Concise refutation of halting problem proofs V62 [ Flibble has alre

By olcott on Thu Feb 17 13:09:57 2022

Latest reply by olcott on Thu Feb 17 13:09:57 2022

Halt status criteria that correctly handles pathological self-reference

By olcott on Thu Feb 17 11:33:59 2022

Latest reply by olcott on Thu Feb 17 11:33:59 2022

Definition of the set of non-halting sequences of configurations

By olcott on Thu Feb 17 00:29:09 2022

Latest reply by olcott on Thu Feb 17 00:29:09 2022

Re: Concise refutation of halting problem proofs V62 [ self-evident ](t

By olcott on Wed Feb 16 06:37:13 2022

Latest reply by olcott on Wed Feb 16 23:33:25 2022

Re: Concise refutation of halting problem proofs V62 [ self-evident ]

By olcott on Thu Feb 10 21:58:06 2022

Latest reply by olcott on Tue Feb 15 10:49:23 2022

Re: Design For A Self?

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

Latest reply by Jeffrey Rubard on Sun Feb 13 18:42:02 2022

Re: Understanding Causality

By Jeffrey Rubard on Wed Feb 2 20:27:23 2022

Latest reply by Don Stockbauer on Sat Feb 12 06:14:43 2022

Re: Concise refutation of halting problem proofs V62 [ self-evident ] (

By olcott on Thu Feb 10 08:18:45 2022

Latest reply by olcott on Thu Feb 10 08:18:45 2022

Re: Concise refutation of halting problem proofs V62 [ misconceptions ]

By olcott on Wed Feb 9 11:08:41 2022

Latest reply by olcott on Wed Feb 9 19:45:59 2022

Concise refutation of halting problem proofs V62 [ Linz Proof ]

By olcott on Sun Feb 6 10:31:34 2022

Latest reply by olcott on Wed Feb 9 07:13:12 2022

Re: Concise refutation of halting problem proofs V62 [ Linz Proof ]( ap

By olcott on Tue Feb 8 12:11:59 2022

Latest reply by olcott on Tue Feb 8 12:11:59 2022

Concise refutation of halting problem proofs V61 [ Linz Proof ]

By olcott on Sat Feb 5 10:32:41 2022

Latest reply by olcott on Mon Feb 7 08:55:21 2022

Re: Concise refutation of halting problem proofs V52 [ dodgy double tal

By olcott on Tue Feb 1 20:57:14 2022

Latest reply by olcott on Sat Feb 5 23:13:30 2022

Re: Concise refutation of halting problem proofs V52 [ ignorance or dec

By olcott on Thu Feb 3 23:12:41 2022

Latest reply by olcott on Fri Feb 4 10:20:47 2022

Re: Concise refutation of halting problem proofs V52 [ pants on fire ^

By olcott on Thu Feb 3 21:10:38 2022

Latest reply by olcott on Thu Feb 3 22:45:35 2022

Re: Concise refutation of halting problem proofs V52 [ pants on fire ]

By olcott on Thu Feb 3 17:54:26 2022

Latest reply by olcott on Thu Feb 3 18:14:01 2022

Re: Concise refutation of halting problem proofs V52 [ IP address: 46.1

By olcott on Wed Feb 2 12:24:00 2022

Latest reply by olcott on Wed Feb 2 12:24:00 2022

Re: Concise refutation of halting problem proofs V59 [ self-evident tru

By olcott on Tue Feb 1 19:47:05 2022

Latest reply by olcott on Tue Feb 1 21:23:01 2022

Re: Concise refutation of halting problem proofs V52 [ ignorance about

By olcott on Tue Feb 1 19:33:34 2022

Latest reply by olcott on Tue Feb 1 19:33:34 2022

Re: Concise refutation of halting problem proofs V59 [ ignorance about

By olcott on Tue Feb 1 16:18:54 2022

Latest reply by olcott on Tue Feb 1 19:03:54 2022

Re: Concise refutation of halting problem proofs V59 [ key essence ]

By olcott on Tue Feb 1 09:22:24 2022

Latest reply by olcott on Tue Feb 1 18:23:44 2022

Concise refutation of halting problem proofs V60 [ Linz Proof ]

By olcott on Tue Feb 1 13:20:02 2022

Latest reply by olcott on Tue Feb 1 14:44:25 2022

Re: Concise refutation of halting problem proofs V52 [ ignorance? ]

By olcott on Mon Jan 31 22:24:27 2022

Latest reply by olcott on Mon Jan 31 22:42:56 2022

Re: Concise refutation of halting problem proofs V52 [ dishonesty ! ]

By olcott on Mon Jan 31 21:40:47 2022

Latest reply by olcott on Mon Jan 31 21:40:47 2022

Concise refutation of halting problem proofs V58 [ Linz Proof ]

By olcott on Mon Jan 31 19:36:13 2022

Latest reply by olcott on Mon Jan 31 19:36:13 2022

Concise refutation of halting problem proofs V57 [ Linz Proof ]

By olcott on Mon Jan 31 17:42:43 2022

Latest reply by olcott on Mon Jan 31 17:42:43 2022

Concise refutation of halting problem proofs V56 [ Linz Proof ]

By olcott on Mon Jan 31 15:37:34 2022

Latest reply by olcott on Mon Jan 31 15:37:34 2022

Re: Concise refutation of halting problem proofs V52 [ error or dishone

By olcott on Wed Jan 26 21:59:59 2022

Latest reply by olcott on Mon Jan 31 10:53:45 2022

Re: Concise refutation of halting problem proofs V56 [ key essence ]

By olcott on Sat Jan 29 19:08:07 2022

Latest reply by olcott on Sat Jan 29 17:51:38 2022

Re: Concise refutation of halting problem proofs V52 [ THE KEY QUESTION

By olcott on Sat Jan 29 14:29:39 2022

Latest reply by olcott on Sat Jan 29 14:29:39 2022

Concise refutation of halting problem proofs V55 [ halt deciders ]

By olcott on Fri Jan 28 19:14:26 2022

Latest reply by olcott on Fri Jan 28 19:14:26 2022

Re: Concise refutation of halting problem proofs V52 [ Honest Dialogue

By olcott on Mon Jan 24 21:45:23 2022

Latest reply by olcott on Tue Jan 25 19:11:37 2022

Concise refutation of halting problem proofs V54 [ Linz Proof ]

By olcott on Tue Jan 25 10:39:14 2022

Latest reply by olcott on Tue Jan 25 14:25:34 2022

Concise refutation of halting problem proofs V53 [ Line Proof ]

By olcott on Tue Jan 25 09:53:55 2022

Latest reply by olcott on Tue Jan 25 09:53:55 2022

Re: Concise refutation of halting problem proofs V52 [ Ignorant or Dish

By olcott on Sat Jan 22 10:29:33 2022

Latest reply by olcott on Sun Jan 23 13:19:00 2022

Concise refutation of halting problem proofs V52 [ Linz Proof ]

By olcott on Sat Jan 22 09:48:11 2022

Latest reply by olcott on Sat Jan 22 09:48:11 2022

Concise refutation of halting problem proofs V51 [ Linz Proof ]

By olcott on Sat Jan 22 09:22:50 2022

Latest reply by olcott on Sat Jan 22 09:22:50 2022

Concise refutation of halting problem proofs V50 [ Linz Proof ]

By olcott on Sat Jan 22 09:01:06 2022

Latest reply by olcott on Sat Jan 22 09:01:06 2022

Concise refutation of halting problem proofs V49 [ Linz Proof ]

By olcott on Fri Jan 21 13:55:19 2022

Latest reply by olcott on Fri Jan 21 13:55:19 2022

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

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

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

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