Detecting infinite recursion

By olcott on Fri Feb 26 13:53:42 2021

Latest reply by Mr Flibble on Sat Feb 27 03:32:34 2021

Is this proof correct?

By Newberry on Thu Feb 25 13:48:42 2021

Latest reply by Newberry on Thu Feb 25 13:48:42 2021

A Better Use for Cranks

By Charlie-Boo on Sun Feb 7 06:45:54 2021

Latest reply by R Kym Horsell on Thu Feb 25 00:59:18 2021

Sets enumerated by primitive recursive functions

By Charlie-Boo on Tue Jan 26 17:11:23 2021

Latest reply by Peter on Thu Feb 25 00:21:25 2021

Re: Who is interested in helping to expose Gregory Chaitin for thefraud that he is? (the nature of truth)

By Richard Damon on Wed Dec 30 23:07:21 2020

Latest reply by Jeff Barnett on Thu Feb 25 00:10:08 2021

Question about Recursion Theorem

By Newberry on Wed Feb 24 09:08:10 2021

Latest reply by Newberry on Wed Feb 24 09:08:10 2021

Thought through space and time, moved by plus one, using small setswith counts, is bobs algorithm.

By Daniel Pehoushek on Thu Feb 18 01:26:51 2021

Latest reply by Daniel Pehoushek on Mon Feb 22 20:58:47 2021

Re: cia

By Daniel Pehoushek on Tue Feb 16 18:10:59 2021

Latest reply by Daniel Pehoushek on Tue Feb 16 18:10:59 2021

in +theory+ the binary alphabet has three letters

By Daniel Pehoushek on Wed Feb 10 03:18:40 2021

Latest reply by Daniel Pehoushek on Sun Feb 14 02:24:45 2021

If Cranks Want Something to Prove Wrong

By Charlie-Boo on Thu Feb 11 08:40:09 2021

Latest reply by Charlie-Boo on Thu Feb 11 08:40:09 2021

The Positive Side of Incompleteness

By Charlie-Boo on Sun Feb 7 06:34:58 2021

Latest reply by Charlie-Boo on Wed Feb 10 11:51:53 2021

********** SKY NET BluePrints *********

By Graham Cooper on Wed Feb 10 02:50:58 2021

Latest reply by Graham Cooper on Wed Feb 10 02:50:58 2021

*************** if LOGIC is INCOMPLETE ... then send all $FUNDS toMATHS ****************

By Graham Cooper on Sun Feb 7 17:53:44 2021

Latest reply by Graham Cooper on Sun Feb 7 17:53:44 2021

LOG1K.com ::::: path( A B )

By Graham Cooper on Sat Feb 6 01:23:44 2021

Latest reply by Graham Cooper on Sat Feb 6 01:23:44 2021

LOG1K.com Progress on RELATIONAL LOGIC SOLVER

By Graham Cooper on Fri Feb 5 20:16:38 2021

Latest reply by Graham Cooper on Fri Feb 5 20:16:38 2021

LOG1K.com ::::: a more complex example

By Graham Cooper on Fri Jan 29 23:59:34 2021

Latest reply by Graham Cooper on Fri Jan 29 23:59:34 2021

LOG1K.com ::: Relational LOGIC Solver !

By Graham Cooper on Fri Jan 29 19:51:50 2021

Latest reply by Graham Cooper on Fri Jan 29 19:51:50 2021

RLS2 - Relational Logic Solver

By Graham Cooper on Fri Jan 29 16:18:51 2021

Latest reply by Graham Cooper on Fri Jan 29 16:18:51 2021

SAT Solver

By Thorsten Kiefer on Fri Jan 29 16:00:38 2021

Latest reply by Thorsten Kiefer on Fri Jan 29 16:00:38 2021

A.I. 1st subGOAL!

By Graham Cooper on Thu Jan 28 00:08:22 2021

Latest reply by Graham Cooper on Thu Jan 28 00:08:22 2021

FINISH THE CoDE! ****$500 Prize****

By Graham Cooper on Wed Jan 27 19:59:53 2021

Latest reply by Graham Cooper on Wed Jan 27 19:59:53 2021

CL3 - Command Language 3 Words - LOGIC SOLVER

By Graham Cooper on Wed Jan 27 17:24:09 2021

Latest reply by Graham Cooper on Wed Jan 27 17:24:09 2021

Simple RELATIONAL LOGIC Trees!

By Graham Cooper on Wed Jan 27 03:40:21 2021

Latest reply by Graham Cooper on Wed Jan 27 03:40:21 2021

Re: fbi, joseph biden

By Chris M. Thomasson on Sun Jan 24 16:55:29 2021

Latest reply by Chris M. Thomasson on Sun Jan 24 16:55:29 2021

Introducing the (universal) Book of Reason

By Daniel Pehoushek on Fri Jan 1 04:02:58 2021

Latest reply by Daniel Pehoushek on Sun Jan 17 19:30:30 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](Linz/Sipser)

By olcott on Wed Jan 13 22:15:18 2021

Latest reply by Kaz Kylheku on Sun Jan 17 05:00:58 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](gullible fools)

By olcott on Sat Jan 16 14:50:56 2021

Latest reply by Kaz Kylheku on Sun Jan 17 04:46:13 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](logical necessity)

By olcott on Wed Jan 13 22:34:28 2021

Latest reply by Ben Bacarisse on Sun Jan 17 03:31:43 2021

Re: national security agency

By Chris M. Thomasson on Sun Jan 3 12:35:42 2021

Latest reply by DV on Sat Jan 16 08:45:42 2021

"Given a Turing Machine that always Halts . . . " >> WRONG CONCLUSION>> CHAITAN >> DIATRIBE >> MATHEMATICS

By Graham Cooper on Fri Jan 15 22:16:05 2021

Latest reply by Graham Cooper on Fri Jan 15 22:16:05 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](PUT)

By olcott on Thu Jan 14 09:23:43 2021

Latest reply by olcott on Thu Jan 14 11:26:05 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement](Boolean?)

By olcott on Tue Jan 5 23:00:42 2021

Latest reply by Andy Walker on Thu Jan 14 15:14:21 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement](Stupid?)

By Kaz Kylheku on Wed Jan 13 00:31:20 2021

Latest reply by Ben Bacarisse on Thu Jan 14 04:03:05 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](Boolean?)

By Kaz Kylheku on Wed Jan 6 07:55:14 2021

Latest reply by Richard Damon on Wed Jan 13 21:46:05 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement](the gist of things)

By olcott on Wed Jan 13 15:27:19 2021

Latest reply by olcott on Wed Jan 13 16:22:49 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](Stupid?)

By olcott on Tue Jan 12 16:47:49 2021

Latest reply by olcott on Wed Jan 13 19:05:13 2021

14 Jan 2021: ZOOM Public Lecture Georg Gottlob (Ocford, Wien),Knowledge Processing, Logic, and the Future of AI

By mihaela...@gmail.com on Tue Jan 12 13:40:17 2021

Latest reply by Kaz Kylheku on Tue Jan 12 22:10:46 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement] [ Complete Proof ]

By olcott on Sat Jan 9 15:25:05 2021

Latest reply by Richard Damon on Tue Jan 12 21:01:28 2021

test

By olcott on Tue Jan 12 20:57:26 2021

Latest reply by olcott on Tue Jan 12 20:57:57 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement] [ Complete Proof ](of a single point)

By Kaz Kylheku on Tue Jan 12 20:17:14 2021

Latest reply by Kaz Kylheku on Tue Jan 12 20:17:14 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement] [ Complete Proof ](of a single point)

By olcott on Tue Jan 12 12:50:24 2021

Latest reply by olcott on Tue Jan 12 14:06:19 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement] [ Complete Proof ](Axiomatic basis)

By olcott on Mon Jan 11 20:41:36 2021

Latest reply by olcott on Mon Jan 11 20:46:23 2021

Re: Halting Problem Final Conclusion (more than 16 years later)

By olcott on Mon Jan 11 13:04:41 2021

Latest reply by Richard Damon on Mon Jan 11 18:16:03 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement] [ Complete Proof ](Pathological Self-Reference)

By olcott on Mon Jan 11 19:26:11 2021

Latest reply by olcott on Mon Jan 11 19:26:11 2021

HALT( p 0 ) is COMPUTABLE in BusyBeaver( |p| ) cycles !

By Graham Cooper on Mon Jan 11 17:39:17 2021

Latest reply by Graham Cooper on Mon Jan 11 17:39:17 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement] (brain dead morons)

By olcott on Tue Jan 5 16:03:12 2021

Latest reply by Chris M. Thomasson on Sun Jan 10 19:02:49 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement](Ben's Dishonesty?)

By olcott on Thu Jan 7 13:05:48 2021

Latest reply by Richard Damon on Fri Jan 8 16:13:10 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004statement](Deceiver?)

By olcott on Thu Jan 7 10:00:14 2021

Latest reply by Kaz Kylheku on Fri Jan 8 00:49:15 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement](Deceiver?)

By olcott on Thu Jan 7 16:31:24 2021

Latest reply by olcott on Thu Jan 7 16:31:24 2021

Re: NO SUCH THING AS UN-COMPUTABLE!

By Charlie-Boo on Wed Jan 6 08:26:03 2021

Latest reply by Graham Cooper on Wed Jan 6 08:56:48 2021

Re: Halting Problem Final Conclusion [2021 update to my 2004 statement]

By olcott on Sat Jan 2 12:12:20 2021

Latest reply by Kaz Kylheku on Wed Jan 6 04:15:27 2021

Re: Refuting the {Linz, Sipser, Kozen} HP Proofs (halt decideraxiom has been validated)

By Kaz Kylheku on Thu Dec 31 09:58:17 2020

Latest reply by Ben Bacarisse on Sat Jan 2 23:39:57 2021

Re: Refuting the {Linz, Sipser, Kozen} HP Proofs [ misinformation ]

By olcott on Fri Jan 1 17:57:55 2021

Latest reply by Richard Damon on Sat Jan 2 15:11:52 2021

Re: Refuting the {Linz, Sipser, Kozen} HP Proofs (halt decider axiomhas been validated)

By Richard Damon on Wed Dec 30 22:51:07 2020

Latest reply by olcott on Thu Dec 31 20:35:02 2020

Re: WHY THE HALTING PROOF IS *WRONG* !

By Charlie-Boo on Thu Dec 31 12:55:25 2020

Latest reply by Charlie-Boo on Thu Dec 31 12:55:25 2020

Re: If You Are Interested In Exposing Gregory Chaitin's Nonsense[Please - no highjackers]

By Charlie-Boo on Thu Dec 31 12:48:00 2020

Latest reply by Charlie-Boo on Thu Dec 31 12:48:00 2020