1. Forum
  2. Usenet
  3. COMP.THEORY
Re: Every HHH(DDD) is correct to reject its input

By Mr Flibble on Sat May 31 20:30:03 2025

Latest reply by Richard Damon on Fri Jun 6 22:13:55 2025
Re: DDD emulated by HHH diverges from DDD emulated by HHH1

By Richard Damon on Mon Jun 2 21:55:48 2025

Latest reply by Richard Damon on Fri Jun 6 22:00:27 2025
Re: My reviewers think that halt deciders must report on the behavior o

By Richard Damon on Tue Jun 3 22:10:49 2025

Latest reply by Richard Damon on Fri Jun 6 21:54:23 2025
"all you work is just a bit fat LIE"

By Mr Flibble on Fri Jun 6 12:59:50 2025

Latest reply by Richard Damon on Fri Jun 6 21:44:14 2025
Comparative Analysis: =?iso-8859-7?Q?Damon=A2s_Accusation_vs=2E_Flibble

By Mr Flibble on Fri Jun 6 13:06:08 2025

Latest reply by Richard Damon on Fri Jun 6 21:39:26 2025
Simulation vs. Execution in the Halting Problem

By Mr Flibble on Thu May 29 17:34:22 2025

Latest reply by Mikko on Fri Jun 6 11:57:14 2025
Beat the clock

By Mr Flibble on Tue Jun 3 22:41:05 2025

Latest reply by Mr Flibble on Tue Jun 3 22:41:05 2025
Re: Every HHH(DDD) is correct to reject its input --- thorough

By Fred. Zwarts on Mon Jun 2 17:37:38 2025

Latest reply by Fred. Zwarts on Tue Jun 3 10:40:34 2025
Bad faith and dishonesty

By Mr Flibble on Sat May 24 01:20:18 2025

Latest reply by Mikko on Tue Jun 3 10:30:30 2025
Re: Every HHH(DDD) is correct to reject its input --- Proof by MI

By Richard Damon on Tue Jun 3 07:09:05 2025

Latest reply by Richard Damon on Tue Jun 3 07:09:05 2025
Olcott's Category Error

By Mr Flibble on Sat May 31 19:11:03 2025

Latest reply by Richard Damon on Sun Jun 1 21:14:15 2025
Analysis of Constraints on a program that calls an SHD on itself

By Mr Flibble on Sun Jun 1 08:32:07 2025

Latest reply by Richard Damon on Sun Jun 1 21:12:00 2025
Enforcing Flibble's Constraint

By Mr Flibble on Sun Jun 1 08:42:31 2025

Latest reply by Richard Damon on Sun Jun 1 21:07:33 2025
Re: Disagreeing with tautologies is always incorrect -- mathematical in

By Richard Damon on Sat May 31 14:39:50 2025

Latest reply by Fred. Zwarts on Sun Jun 1 15:48:33 2025
Constraints on a program that calls an SHD on itself

By Mr Flibble on Sun Jun 1 08:28:29 2025

Latest reply by Mikko on Sun Jun 1 14:37:25 2025
My apologies to all

By Mr Flibble on Sat May 31 19:52:26 2025

Latest reply by Mikko on Sun Jun 1 14:08:55 2025
Analysis of Olcott's Category Error

By Mr Flibble on Sat May 31 19:15:10 2025

Latest reply by Mikko on Sun Jun 1 14:07:41 2025
Negative zero doesn't exist

By Mr Flibble on Thu May 29 22:02:42 2025

Latest reply by Mikko on Sun Jun 1 12:05:28 2025
AI Humour

By Richard Heathfield on Sun Jun 1 10:09:01 2025

Latest reply by Richard Heathfield on Sun Jun 1 10:09:01 2025
Grok's Analysis of Flibble's Assertion

By Mr Flibble on Sun Jun 1 09:31:38 2025

Latest reply by Mr Flibble on Sun Jun 1 09:31:38 2025
Final word from both Flibble and ChatGPT

By Mr Flibble on Sun Jun 1 09:14:51 2025

Latest reply by Mr Flibble on Sun Jun 1 09:14:51 2025
Analysis of Flibble's Apology

By Mr Flibble on Sat May 31 20:01:47 2025

Latest reply by Richard Damon on Sun Jun 1 07:25:42 2025
Apology Retraction, Claim of Olcott Category Error Retraction

By Mr Flibble on Sun Jun 1 07:23:09 2025

Latest reply by Mr Flibble on Sun Jun 1 07:23:09 2025
Further Analysis of Olcott's Category Error

By Mr Flibble on Sat May 31 19:44:56 2025

Latest reply by Mr Flibble on Sat May 31 19:44:56 2025
Re: Simulation vs. Execution in the Halting Problem --- Linz

By Mr Flibble on Sat May 31 17:05:14 2025

Latest reply by Richard Damon on Sat May 31 14:30:51 2025
Re: How do computations actually work?

By Mikko on Fri May 23 10:09:39 2025

Latest reply by Fred. Zwarts on Sat May 31 13:40:05 2025
The clueless are commenting on SHDs

By Mr Flibble on Wed May 28 18:50:10 2025

Latest reply by Mikko on Sat May 31 11:54:49 2025
Re: Disagreeing with tautologies is always incorrect

By Fred. Zwarts on Thu May 29 17:46:49 2025

Latest reply by Richard Damon on Fri May 30 21:18:31 2025
The old college try (was: Re: Bad faith and dishonesty)

By vallor on Fri May 30 09:56:06 2025

Latest reply by Richard Heathfield on Fri May 30 12:05:54 2025
The fundamental problem with Richard Damon is he is not even wrong.

By Mr Flibble on Thu May 29 16:52:43 2025

Latest reply by Mikko on Fri May 30 11:54:39 2025
Why are people spending their time on this?

By Mr Flibble on Thu May 29 21:39:53 2025

Latest reply by Mikko on Fri May 30 11:10:20 2025
Re: The clueless are commenting on SHDs --- tautologies

By Richard Damon on Thu May 29 20:02:18 2025

Latest reply by Richard Damon on Fri May 30 10:30:24 2025
Analysis of =?iso-8859-7?Q?Flibble=A2s?= Latest: Detecting vs. Simulati

By Mr Flibble on Tue May 20 19:10:36 2025

Latest reply by Richard Damon on Thu May 29 07:28:07 2025
Re: Analysis of =?utf-8?Q?Flibble=E2=80=99s?= Latest: Detecting vs. Sim

By Ben Bacarisse on Fri May 23 13:43:54 2025

Latest reply by Ben Bacarisse on Thu May 29 02:18:12 2025
Anaylsis of "The clueless are commenting on SHDs"

By Mr Flibble on Wed May 28 18:54:05 2025

Latest reply by Richard Damon on Wed May 28 21:26:59 2025
Atheism and morality

By Mr Flibble on Sun May 25 20:20:21 2025

Latest reply by Mikko on Tue May 27 12:52:50 2025
=?utf-8?Q?Re:_Can_Flibble=E2=80=99s_neos-based_solution_still_be_Turing

By Mikko on Sun May 25 09:18:48 2025

Latest reply by Mikko on Tue May 27 11:09:16 2025
Can =?iso-8859-7?Q?Flibble=A2s?= neos-based solution still be Turing Co

By Mr Flibble on Sat May 24 02:20:50 2025

Latest reply by Richard Damon on Mon May 26 16:27:12 2025
Re: Analysis of =?UTF-8?Q?Flibble=E2=80=99s?= Latest: Detecting vs. Sim

By Alan Mackenzie on Sat May 24 17:07:11 2025

Latest reply by Alan Mackenzie on Sun May 25 12:02:05 2025
Re: Position Paper: Why Simulating Halt Deciders (SHDs) Require a Refra

By Mr Flibble on Sat May 24 18:12:16 2025

Latest reply by Mikko on Sun May 25 11:21:32 2025
Re: Analysis of Richard Damon's Response to Flibble's Position on the H

By Richard Damon on Sat May 24 18:13:11 2025

Latest reply by Mikko on Sun May 25 11:04:23 2025
Re: Mike Terry Proves --- How the requirements that Professor Sipser ag

By Richard Damon on Fri May 16 11:40:41 2025

Latest reply by Mikko on Sun May 25 10:54:19 2025
Can Moving the Paradox Code into the SHD Layer Reintroduce the Halting

By Mr Flibble on Sun May 25 09:33:43 2025

Latest reply by Richard Damon on Sun May 25 07:45:07 2025
=?UTF-8?Q?Re:_Analysis_of_Flibble=e2=80=99s_Latest:_Detecting_vs._S?= =

By Mike Terry on Fri May 23 02:24:59 2025

Latest reply by Mike Terry on Sun May 25 00:13:08 2025
Analysis of Richard Damon's Response to Flibble's Position on the Halti

By Mr Flibble on Sat May 24 17:42:25 2025

Latest reply by Mr Flibble on Sat May 24 17:42:25 2025
Analysis of Richard Damon's Response to Flibble =?CP1251?B?lg==?= 2025-

By Mr Flibble on Thu May 22 18:19:34 2025

Latest reply by Richard Damon on Sat May 24 17:34:30 2025
Position Paper: Why Simulating Halt Deciders (SHDs) Require a Reframing

By Mr Flibble on Sat May 24 17:25:27 2025

Latest reply by Mr Flibble on Sat May 24 17:25:27 2025
Re: 197 page execution trace of DDD correctly simulated by HHH

By Fred. Zwarts on Fri Jun 28 16:43:08 2024

Latest reply by Richard Damon on Sat May 24 17:16:01 2025
Re: Analysis of =?iso-8859-7?Q?Flibble=A2s?= Latest: Detecting vs. Simu

By Mr Flibble on Tue May 20 20:55:15 2025

Latest reply by Mr Flibble on Sat May 24 17:13:12 2025
Why Self-Reference in the Halting Problem Does Not Require an Infinite

By Mr Flibble on Sat May 24 16:52:15 2025

Latest reply by Mr Flibble on Sat May 24 16:52:15 2025
Why Self-Reference Is Valid in the Original Halting Problem

By Mr Flibble on Sat May 24 16:47:34 2025

Latest reply by Mr Flibble on Sat May 24 16:47:34 2025
Focused Critique of Richard =?iso-8859-7?Q?Damon=A2s?= Responses

By Mr Flibble on Sat May 24 13:49:32 2025

Latest reply by Mr Flibble on Sat May 24 13:49:32 2025
=?utf-8?Q?Re:_Analysis_of_Richard_Damon's_Response_to_Flibble_=E2=80=93

By Mikko on Fri May 23 09:48:43 2025

Latest reply by Mikko on Sat May 24 10:17:47 2025
Analysis of Richard Damon's Response to Flibble's Typed SHD / Neos Prop

By Mr Flibble on Fri May 23 13:18:45 2025

Latest reply by Mikko on Sat May 24 10:12:20 2025
Richard Damon's latest reply

By Mr Flibble on Sat May 24 01:51:37 2025

Latest reply by Richard Damon on Sat May 24 09:09:59 2025
Position Paper: Why the Halting Problem Is Uninteresting Due to Infinit

By Mr Flibble on Sat May 24 06:47:19 2025

Latest reply by Richard Damon on Sat May 24 08:38:38 2025
Halting Problem: Enforcing Type Stratification via Multi-Language Compo

By Mr Flibble on Sat May 24 00:18:47 2025

Latest reply by Mr Flibble on Sat May 24 00:18:47 2025
Analysis of Richard =?CP1251?Q?Damon=92s_Response_=96?= 2025-05-23

By Mr Flibble on Fri May 23 21:38:51 2025

Latest reply by Richard Damon on Fri May 23 21:43:28 2025
Re: How to write a self-referencial TM?

By Richard Heathfield on Wed May 14 07:02:55 2025

Latest reply by Fred. Zwarts on Fri May 23 13:03:22 2025
Analysis of Richard =?CP1251?Q?Damon=92s_Response_=96?= 2025-05-22

By Mr Flibble on Fri May 23 13:01:04 2025

Latest reply by Mr Flibble on Fri May 23 13:01:04 2025
Universal Compiler and Typed SHDs

By Mr Flibble on Thu May 22 19:15:14 2025

Latest reply by Mikko on Fri May 23 09:44:10 2025
Analysis of =?iso-8859-7?Q?Flibble=A2s?= Proposal: Typed SHD via neos F

By Mr Flibble on Thu May 22 19:20:56 2025

Latest reply by Richard Damon on Thu May 22 19:41:19 2025
It's a small world

By Richard Heathfield on Thu May 22 17:27:35 2025

Latest reply by Richard Heathfield on Thu May 22 17:27:35 2025
Analysis of Richard Damon's Responses to Flibble's Detection Argument

By Mr Flibble on Wed May 21 18:04:40 2025

Latest reply by Mikko on Thu May 22 11:06:08 2025
Re: Analysis of =?iso-8859-13?Q?Flibble=FFs?= Latest: Detecting vs. Sim

By joes on Thu May 22 06:52:37 2025

Latest reply by joes on Thu May 22 06:52:37 2025
Flibble's e-mail address

By Mr Flibble on Wed May 21 18:17:54 2025

Latest reply by Mr Flibble on Wed May 21 18:17:54 2025
Analysis of =?iso-8859-7?Q?Flibble=A2s?= New Take on Simulating Halt De

By Mr Flibble on Sun May 18 00:27:29 2025

Latest reply by Mikko on Wed May 21 10:55:53 2025
On infinite recursion, SHDs and the halting problem

By Mr Flibble on Tue May 20 18:47:06 2025

Latest reply by Mikko on Wed May 21 10:52:36 2025
We'd like to welcome you back

By Mr Flibble on Tue May 20 19:01:41 2025

Latest reply by Mr Flibble on Tue May 20 19:01:41 2025
=?utf-8?Q?Re:_Analysis_of_Richard_Damon=E2=80=99s_Responses_to_Flibble?

By Mikko on Mon May 19 11:57:43 2025

Latest reply by Mikko on Tue May 20 09:54:39 2025
Analysis of Richard =?iso-8859-7?Q?Damon=A2s?= Responses to Flibble

By Mr Flibble on Sun May 18 17:08:41 2025

Latest reply by Richard Damon on Mon May 19 20:59:07 2025
Re: Overcoming the proof of undecidability of the Halting Problem by a

By Mr Flibble on Thu May 15 20:59:17 2025

Latest reply by Richard Heathfield on Mon May 19 13:57:23 2025
Re: Analysis of Richard =?UTF-8?Q?Damon=E2=80=99s?= Responses to Flibbl

By Alan Mackenzie on Sun May 18 18:58:24 2025

Latest reply by Alan Mackenzie on Sun May 18 18:58:24 2025
Re: Why Peter Olcott is proven correct by honest reviewers

By Fred. Zwarts on Sun May 18 11:55:29 2025

Latest reply by Mikko on Sun May 18 13:21:53 2025
Why Peter Olcott is correct

By Mr Flibble on Sun May 18 00:11:22 2025

Latest reply by Richard Damon on Sun May 18 07:05:24 2025
Re: How the requirements that Professor Sipser agreed to are exactly me

By Richard Damon on Mon May 12 21:27:45 2025

Latest reply by Richard Damon on Sun May 18 07:14:59 2025
Halting Problem Corrected

By Mr Flibble on Sat May 17 10:54:05 2025

Latest reply by Mikko on Sun May 18 11:13:09 2025
Why Peter Olcott is both right and wrong

By Mr Flibble on Thu May 15 06:27:13 2025

Latest reply by Mikko on Sat May 17 11:24:22 2025
Re: Michael Sipser of MIT validates the notion of a simulating halt dec

By Richard Damon on Mon May 12 21:33:28 2025

Latest reply by Mikko on Sat May 17 11:14:42 2025
Re: Incorrect requirements --- Computing the mapping from the input to

By Fred. Zwarts on Thu May 8 21:04:04 2025

Latest reply by Mikko on Sat May 17 11:09:06 2025
Re: How could HHH report on the behavior of its caller?

By Richard Damon on Wed May 14 23:14:10 2025

Latest reply by Mikko on Sat May 17 11:00:11 2025
Re: Mike's big mistake about DD simulated by HHH

By Fred. Zwarts on Fri May 16 22:03:27 2025

Latest reply by Fred. Zwarts on Fri May 16 22:03:27 2025
Re: What it would take... People to address my points with reasoning in

By Richard Heathfield on Tue May 13 18:06:45 2025

Latest reply by Richard Damon on Fri May 16 11:57:11 2025
Re: HHH(DDD) correctly determines the halt status of its input accordin

By Mr Flibble on Wed May 14 22:34:55 2025

Latest reply by Mikko on Fri May 16 12:00:18 2025
What. A. Slog.

By vallor on Wed May 14 07:11:24 2025

Latest reply by Mikko on Thu May 15 11:22:39 2025
Re: The exact words of this spec are met

By Richard Damon on Wed May 14 21:42:38 2025

Latest reply by Richard Damon on Wed May 14 21:42:38 2025
What it would take...

By Richard Heathfield on Sat May 10 02:11:35 2025

Latest reply by Andy Walker on Tue May 13 23:59:02 2025
=?UTF-8?Q?Re:_Flibble=e2=80=99s_Leap:_Why_Behavioral_Divergence_Imp?= =

By Mike Terry on Tue May 13 22:22:19 2025

Latest reply by Mike Terry on Tue May 13 22:45:27 2025
Re: Turing Machine computable functions apply finite string transformat

By joes on Sat Apr 26 17:16:33 2025

Latest reply by Richard Damon on Tue May 13 21:41:03 2025
Halting Problem: How my refutation differs to Peter Olcott's

By Mr Flibble on Sat May 10 20:38:57 2025

Latest reply by Richard Heathfield on Tue May 13 11:33:55 2025
Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION

By Richard Damon on Mon May 12 22:27:32 2025

Latest reply by Mikko on Tue May 13 12:39:01 2025
Re: Try and prove that DDD correctly emulated by HHH reaches its final

By Richard Heathfield on Sat May 10 03:01:11 2025

Latest reply by Mikko on Tue May 13 12:16:51 2025
Re: Why I need to cross-post to comp.lang.c --- CORRECTLY REFUTED

By Fred. Zwarts on Sat May 10 17:47:17 2025

Latest reply by Mikko on Tue May 13 12:13:36 2025
=?utf-8?Q?Re:_Flibble=E2=80=99s_Leap:_Why_Behavioral_Divergence_Implies

By Mikko on Tue May 13 10:58:58 2025

Latest reply by Mikko on Tue May 13 11:18:24 2025
Re: =?utf-8?Q?Flibble=E2=80=99s?= Leap: Why Behavioral Divergence Impli

By Ben Bacarisse on Tue May 13 01:08:30 2025

Latest reply by Ben Bacarisse on Tue May 13 01:08:30 2025
Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRE

By Richard Heathfield on Fri May 9 17:30:39 2025

Latest reply by Richard Damon on Mon May 12 22:28:56 2025
=?iso-8859-7?Q?Flibble=A2s?= Leap: Why Behavioral Divergence Implies a

By Mr Flibble on Sun May 11 13:21:31 2025

Latest reply by Richard Damon on Mon May 12 22:04:19 2025
Re: =?iso-8859-7?Q?Flibble=A2s?= Leap: Why Behavioral Divergence Implie

By Mr Flibble on Sun May 11 14:48:35 2025

Latest reply by Mr Flibble on Sun May 11 21:42:35 2025
neos, A Universal Compiler That Can Compile Any Programming Language

By Mr Flibble on Sun May 11 20:32:41 2025

Latest reply by Mr Flibble on Sun May 11 20:32:41 2025
Re: =?iso-8859-13?Q?Flibble=FFs?= Leap: Why Behavioral Divergence Impli

By joes on Sun May 11 16:04:59 2025

Latest reply by joes on Sun May 11 16:04:59 2025
Re: Recursive simulation must be reported and not ignored.

By Richard Damon on Sat May 10 22:04:44 2025

Latest reply by Fred. Zwarts on Sun May 11 13:00:30 2025
Re: Repetitive posting [ Was: Incorrect requirements --- Computing the

By Fred. Zwarts on Sat May 10 16:57:58 2025

Latest reply by Richard Damon on Sat May 10 15:21:21 2025
Re: Why I need to cross-post to comp.lang.c

By Mikko on Sat May 10 10:15:04 2025

Latest reply by Richard Damon on Sat May 10 08:30:54 2025
Re: Halting Problem: What Constitutes Pathological Input

By Mr Flibble on Mon May 5 16:13:13 2025

Latest reply by Mikko on Sat May 10 10:25:35 2025
Repetitive posting [ Was: Incorrect requirements --- Computing the mapp

By Alan Mackenzie on Sat May 10 10:21:45 2025

Latest reply by Alan Mackenzie on Sat May 10 10:21:45 2025
Branching Simulating Halt Decider

By Mr Flibble on Sat May 10 04:10:00 2025

Latest reply by Richard Damon on Sat May 10 08:49:35 2025
First, prove that DDD is correctly emulated by HHH

By Richard Heathfield on Sat May 10 02:31:14 2025

Latest reply by Richard Heathfield on Sat May 10 02:31:14 2025
Re: Formal systems that cannot possibly be incomplete except for unknow

By Mikko on Mon May 5 10:01:49 2025

Latest reply by Richard Heathfield on Fri May 9 05:43:23 2025
Re: faithful simulations [was: Formal systems that cannot possibly be i

By joes on Thu May 8 11:07:11 2025

Latest reply by joes on Thu May 8 11:07:11 2025
Re: What exact sequence of the following machine addresses?

By Richard Damon on Wed May 7 18:34:22 2025

Latest reply by Mikko on Thu May 8 11:04:02 2025
Re: Halting Problem: What Constitutes Pathological Input --- TOTALLY CL

By Fred. Zwarts on Wed May 7 17:39:57 2025

Latest reply by Richard Heathfield on Thu May 8 05:18:38 2025
All partial simulations of DD are the same, right up to the point the s

By Mike Terry on Thu May 8 04:03:56 2025

Latest reply by Mike Terry on Thu May 8 04:03:56 2025
Re: Functions computed by Turing Machines MUST apply finite string tran

By Richard Heathfield on Fri May 2 05:03:26 2025

Latest reply by Richard Heathfield on Wed May 7 22:55:13 2025
Re: Two computer science professors agree with Flibble

By Mikko on Mon May 5 11:04:11 2025

Latest reply by Richard Damon on Tue May 6 22:21:00 2025
Integration "by parts" [was Re: Functions computed by Turing Machines .

By Andy Walker on Mon May 5 13:47:43 2025

Latest reply by Richard Heathfield on Tue May 6 17:23:46 2025
Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT --- Ignoram

By Richard Damon on Wed Apr 16 18:36:42 2025

Latest reply by Richard Damon on Mon May 5 07:31:49 2025
Re: Proficient C Programmers seem to get this right away

By Richard Damon on Mon May 5 07:05:39 2025

Latest reply by Richard Damon on Mon May 5 07:05:39 2025
Proof of Halting Problem Decidability in Typed Hypercomputational Progr

By Mr Flibble on Fri Apr 25 19:01:56 2025

Latest reply by Richard Heathfield on Fri May 2 17:31:30 2025
Re: Turing computable function for sum of two integers

By Richard Heathfield on Wed Apr 30 19:20:01 2025

Latest reply by Mikko on Fri May 2 11:15:34 2025
Re: All computation & human reasoning encoded as finite string transfor

By Alan Mackenzie on Sat Apr 26 17:31:51 2025

Latest reply by Mikko on Fri May 2 11:10:02 2025
Re: Turing Machine computable functions MUST apply finite string transf

By Richard Heathfield on Wed Apr 30 19:14:30 2025

Latest reply by Richard Damon on Fri May 2 09:32:50 2025
Re: Professor Eric Hehner's brilliant work

By Richard Damon on Mon Apr 21 18:43:14 2025

Latest reply by Richard Heathfield on Fri May 2 06:40:39 2025
=?UTF-8?Q?Re=3A_Computable_Functions_---_finite_string_transformati?= =

By Richard Damon on Thu Apr 24 20:07:49 2025

Latest reply by Richard Damon on Thu May 1 07:47:11 2025
Refutation of the Halting Problem Assuming the Self-Referential Paradox

By Mr Flibble on Sat Apr 26 20:56:07 2025

Latest reply by Richard Heathfield on Tue Apr 29 18:42:42 2025
=?utf-8?Q?Re:_Computable_Functions_---_finite_string_transformation_rul

By Mikko on Sun Apr 27 12:51:53 2025

Latest reply by Mikko on Tue Apr 29 12:54:37 2025
Re: All of computation and human reasoning can be encoded as finite str

By Richard Damon on Sun Apr 20 12:29:17 2025

Latest reply by Mikko on Tue Apr 29 12:34:43 2025
Re: Computable Functions --- finite string transformation rules --- 0 =

By joes on Fri Apr 25 20:01:16 2025

Latest reply by joes on Tue Apr 29 10:06:27 2025
Re: Turing Machine computable functions DON'T apply finite string trans

By Alan Mackenzie on Mon Apr 28 19:03:49 2025

Latest reply by Alan Mackenzie on Mon Apr 28 19:03:49 2025
Re: Turing Computations finite string transformations of inputs

By Richard Damon on Sat Apr 26 07:07:43 2025

Latest reply by Richard Damon on Mon Apr 28 07:03:22 2025
Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT

By Alan Mackenzie on Tue Apr 15 21:00:43 2025

Latest reply by Richard Heathfield on Mon Apr 28 06:38:54 2025
Proof that Gods Can Only Exist if MUH is True

By Mr Flibble on Sun Apr 27 20:57:24 2025

Latest reply by Mr Flibble on Sun Apr 27 20:57:24 2025
Modularity is not compositionality

By Julio Di Egidio on Sat Apr 26 16:10:48 2025

Latest reply by Mikko on Sun Apr 27 12:03:21 2025
Re: Computable Functions --- finite string transformation rules

By Fred. Zwarts on Thu Apr 24 10:07:53 2025

Latest reply by Fred. Zwarts on Sun Apr 27 08:17:48 2025
Refutation of =?iso-8859-7?Q?Turing=A2s?= 1936 Halting Problem Proof Ba

By Mr Flibble on Mon Apr 21 16:37:07 2025

Latest reply by Mikko on Sat Apr 26 11:19:27 2025
Re: Refutation of =?iso-8859-13?Q?Turing=FFs?= 1936 Halting Problem Pro

By joes on Fri Apr 25 22:09:57 2025

Latest reply by joes on Fri Apr 25 22:09:57 2025
Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT --- Using F

By Richard Damon on Wed Apr 16 18:39:04 2025

Latest reply by Richard Damon on Fri Apr 25 21:38:36 2025
Re: Refutation of =?iso-8859-7?Q?Turing=A2s?= 1936 Halting Problem Proo

By Mr Flibble on Mon Apr 21 23:41:02 2025

Latest reply by Richard Damon on Fri Apr 25 21:35:48 2025
Refutation of =?iso-8859-7?Q?Strachey=A2s?= 1965 Proof Based on Self-Re

By Mr Flibble on Mon Apr 21 10:21:51 2025

Latest reply by Mikko on Thu Apr 24 11:19:46 2025
Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- min

By Richard Damon on Sun Apr 13 19:11:01 2025

Latest reply by Richard Damon on Thu Apr 24 07:02:14 2025
Re: Computable Functions --- OUTPUTS MUST CORRESPOND TO INPUTS

By Fred. Zwarts on Tue Apr 22 21:33:18 2025

Latest reply by Richard Damon on Wed Apr 23 22:41:58 2025
Flibble's Law

By Mr Flibble on Fri Apr 18 19:00:55 2025

Latest reply by Richard Damon on Wed Apr 23 18:38:09 2025
Re: Professor Eric Hehner's brilliant work --- isomorphisms

By Richard Damon on Mon Apr 21 20:46:07 2025

Latest reply by Richard Damon on Wed Apr 23 18:36:05 2025
Re: How computable functions actually work. (was Flibble)

By Richard Damon on Tue Apr 22 22:33:11 2025

Latest reply by Richard Damon on Wed Apr 23 18:34:00 2025
Re: Mr Flibble

By Mr Flibble on Tue Apr 22 14:57:10 2025

Latest reply by Julio Di Egidio on Wed Apr 23 14:21:34 2025
Re: DDD specifies recursive emulation to HHH and halting to HHH1

By Richard Damon on Wed Mar 26 23:28:55 2025

Latest reply by Richard Damon on Wed Apr 23 07:36:09 2025
Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT +++ Using F

By Richard Damon on Wed Apr 23 07:32:17 2025

Latest reply by Richard Damon on Wed Apr 23 07:32:17 2025
Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT --- Trolls

By joes on Tue Apr 22 17:57:55 2025

Latest reply by Fred. Zwarts on Tue Apr 22 20:07:10 2025
Re: The conventional HP is a Category Error

By Richard Damon on Tue Apr 22 18:34:44 2025

Latest reply by Richard Damon on Tue Apr 22 18:34:44 2025
Re: Unpartial Halt Deciders --- category error

By Mr Flibble on Sat Apr 19 20:57:43 2025

Latest reply by joes on Tue Apr 22 13:02:32 2025
Refutation of Linz's Halting Problem Proof

By Mr Flibble on Sun Apr 20 22:15:36 2025

Latest reply by Mikko on Mon Apr 21 12:37:29 2025
Annotated Breakdown: Linz's Halting Problem Proof and the Category Erro

By Mr Flibble on Sun Apr 20 20:57:30 2025

Latest reply by Mikko on Mon Apr 21 12:05:38 2025
Re: Unpartial Halt Deciders --- category error 2

By Richard Damon on Sat Apr 19 19:15:09 2025

Latest reply by Fred. Zwarts on Sun Apr 20 11:18:42 2025
Unpartial Halt Decider 4.0

By Mr Flibble on Fri Apr 18 18:45:31 2025

Latest reply by Richard Damon on Sat Apr 19 19:02:05 2025
Unpartial Halt Deciders

By Mr Flibble on Fri Apr 18 13:50:02 2025

Latest reply by Richard Damon on Sat Apr 19 19:08:43 2025
Re: Cantor Diagonal Proof

By Richard Damon on Thu Apr 3 18:50:08 2025

Latest reply by Mikko on Sat Apr 19 10:29:56 2025
Unpartial Halt Decider 3.0

By Mr Flibble on Fri Apr 18 18:40:03 2025

Latest reply by Mr Flibble on Fri Apr 18 18:40:03 2025
Unpartial Halt Deciders 2.1 (bugfix)

By Mr Flibble on Fri Apr 18 18:32:43 2025

Latest reply by Mr Flibble on Fri Apr 18 18:32:43 2025
Unpartial Halt Deciders 2.0

By Mr Flibble on Fri Apr 18 18:29:00 2025

Latest reply by Mr Flibble on Fri Apr 18 18:29:00 2025
Re: Only C programmers tell the truth about the behavior of DD simulate

By Richard Damon on Thu Apr 17 18:49:08 2025

Latest reply by Richard Damon on Thu Apr 17 18:49:08 2025
Re: DD simulated by HHH cannot possibly halt (Halting Problem)

By Richard Damon on Wed Apr 9 22:00:20 2025

Latest reply by Richard Damon on Mon Apr 14 18:27:58 2025
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)

By Richard Damon on Thu Apr 3 21:59:43 2025

Latest reply by Fred. Zwarts on Mon Apr 14 10:43:57 2025
Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)

By Lawrence D'Oliveiro on Fri Apr 11 07:23:11 2025

Latest reply by Lawrence D'Oliveiro on Fri Apr 11 07:23:11 2025
Re: DDD specifies recursive emulation to HHH and halting to HHH1 --- ST

By Richard Damon on Mon Mar 31 18:32:06 2025

Latest reply by Mikko on Sun Apr 6 12:56:13 2025
Re: Proving the: Simulating termination analyzer Principle

By Richard Damon on Sat Apr 5 18:11:55 2025

Latest reply by Richard Damon on Sat Apr 5 22:37:15 2025
Re: Cantor Diagonal Proof --- PLO

By Lawrence D'Oliveiro on Sat Apr 5 07:36:27 2025

Latest reply by Lawrence D'Oliveiro on Sat Apr 5 07:36:27 2025
neos Universal Compiler

By Mr Flibble on Sat Mar 15 04:00:52 2025

Latest reply by Mr Flibble on Fri Mar 28 19:27:00 2025
Re: Turing computable functions

By joes on Tue Mar 25 21:12:26 2025

Latest reply by Mikko on Fri Mar 28 13:33:23 2025
Re: III correctly emulated by EEE ---

By Richard Damon on Sat Mar 22 13:38:23 2025

Latest reply by Richard Damon on Thu Mar 27 07:04:30 2025
Re: Turing computable functions --- EEE(III)

By Richard Damon on Tue Mar 25 18:48:53 2025

Latest reply by Richard Damon on Wed Mar 26 19:02:02 2025
Re: Correcting the definition of the halting problem --- Computable fun

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Mon Mar 24 15:49:23 2025

Latest reply by joes on Wed Mar 26 09:53:08 2025
Re: Halt Deciders must be computable functions --- dbush was always wro

By joes on Mon Mar 24 00:01:53 2025

Latest reply by Mikko on Wed Mar 26 09:38:55 2025
Re: Defining problems to make solutions impossible --- Correcting the d

By Fred. Zwarts on Tue Mar 18 16:36:44 2025

Latest reply by Mikko on Wed Mar 26 09:31:09 2025
Re: DD correctly emulated by HHH --- Correct Emulation Defined

By Fred. Zwarts on Tue Mar 25 21:06:09 2025

Latest reply by Richard Damon on Tue Mar 25 18:55:56 2025
Re: DDD correctly emulated by EEE --- Correct Emulation Defined

By Richard Damon on Sat Mar 22 13:34:32 2025

Latest reply by Richard Damon on Tue Mar 25 07:19:58 2025
Re: DDD correctly emulated by EEE --- Correct Emulation Defined --- CUT

By Richard Damon on Mon Mar 24 07:23:47 2025

Latest reply by Richard Damon on Mon Mar 24 21:28:21 2025
Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology p

By Richard Damon on Tue Mar 18 23:04:42 2025

Latest reply by Mikko on Mon Mar 24 09:44:45 2025
#include

By Mr Flibble on Sat Mar 22 18:15:53 2025

Latest reply by Mikko on Mon Mar 24 09:21:37 2025
Re: Defining problems to make solutions impossible --- counter-factual

By Fred. Zwarts on Tue Mar 18 10:10:44 2025

Latest reply by Mikko on Sun Mar 23 11:49:33 2025
Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2

By Richard Damon on Fri Mar 21 20:50:28 2025

Latest reply by Mikko on Sat Mar 22 17:04:07 2025
Re: Defining problems to make solutions impossible --- Incorrect Polar

By Fred. Zwarts on Mon Mar 17 17:49:00 2025

Latest reply by Mikko on Sat Mar 22 17:00:12 2025
Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 adden

By joes on Sat Mar 22 16:37:23 2025

Latest reply by Richard Damon on Sat Mar 22 13:34:35 2025
Arithmetic games

By Mikko on Sat Mar 22 16:15:57 2025

Latest reply by Mikko on Sat Mar 22 16:15:57 2025
Re: DDD correctly emulated by HHH --- Correct Emulation Defined

By Mr Flibble on Thu Mar 20 02:51:42 2025

Latest reply by Mikko on Sat Mar 22 13:00:25 2025
negative numbers (universal compiler grammar)

By Mr Flibble on Wed Mar 19 17:31:44 2025

Latest reply by Mr Flibble on Wed Mar 19 17:31:44 2025
Re: Defining problems to make solutions impossible --- Why HHH(DD) is c

By Fred. Zwarts on Mon Mar 17 17:37:02 2025

Latest reply by Mikko on Wed Mar 19 13:13:45 2025
Re: Defining problems to make solutions impossible --- Nazi Lies

By Richard Damon on Sat Mar 15 16:44:06 2025

Latest reply by Mikko on Wed Mar 19 13:06:57 2025
Re: Defining problems to make solutions impossible --- Correct simulati

By joes on Wed Mar 19 09:17:03 2025

Latest reply by Richard Damon on Wed Mar 19 06:56:21 2025
Re: Defining problems to make solutions impossible --- Sequence of Trut

By Mikko on Tue Mar 18 15:39:29 2025

Latest reply by Richard Damon on Tue Mar 18 23:04:59 2025
Re: Why Tarski is wrong

By Richard Damon on Sun Mar 16 22:52:01 2025

Latest reply by Mikko on Tue Mar 18 15:14:53 2025
Re: Defining problems to make solutions impossible --- How HHH detects

By Richard Damon on Sun Mar 16 22:52:10 2025

Latest reply by Richard Damon on Mon Mar 17 21:19:35 2025
Re: Every sufficiently competent C programmer knows --- original post a

By joes on Sun Mar 16 20:21:55 2025

Latest reply by Mikko on Mon Mar 17 11:24:44 2025
Re: Defining problems to make solutions impossible --- HHH is Correct D

By Mikko on Sun Mar 16 13:10:47 2025

Latest reply by Fred. Zwarts on Mon Mar 17 10:13:07 2025
Re: Every sufficiently competent C programmer knows --- Correct Emulati

By joes on Mon Mar 17 00:47:11 2025

Latest reply by Richard Damon on Sun Mar 16 22:52:07 2025
Re: Defining problems to make solutions impossible --- DOS detector tha

By joes on Sun Mar 16 20:25:49 2025

Latest reply by Richard Damon on Sun Mar 16 22:52:14 2025
Re: Every sufficiently competent C programmer knows --- Paraphrase of S

By Mikko on Sun Mar 16 12:45:04 2025

Latest reply by Richard Damon on Sun Mar 16 22:52:05 2025
Re: Every sufficiently competent C programmer knows

By Richard Damon on Mon Mar 10 22:21:07 2025

Latest reply by Richard Heathfield on Sun Mar 16 21:01:22 2025
Re: Defining problems to make solutions impossible --- Semantics of x86

By Richard Damon on Sun Mar 16 18:50:41 2025

Latest reply by Richard Damon on Sun Mar 16 18:50:41 2025
Re: Every sufficiently competent C programmer knows --- Semantic Proper

By Richard Heathfield on Wed Mar 12 22:19:44 2025

Latest reply by Andy Walker on Sun Mar 16 14:28:55 2025
Re: Defining problems to make solutions impossible

By Richard Damon on Fri Mar 14 21:57:43 2025

Latest reply by Mikko on Sun Mar 16 12:56:09 2025
Re: Every sufficiently competent C programmer knows --- posthumous revi

By Richard Damon on Wed Mar 12 18:47:00 2025

Latest reply by Richard Damon on Sun Mar 16 07:33:32 2025
Re: Every sufficiently competent C programmer knows --- Truthmaker Maxi

By joes on Fri Mar 14 19:56:21 2025

Latest reply by Richard Damon on Sun Mar 16 07:33:31 2025
Re: Defining problems to make solutions impossible --- Obsolete Views a

By Mr Flibble on Sun Mar 16 02:38:34 2025

Latest reply by Mr Flibble on Sun Mar 16 02:38:34 2025
Re: Every sufficiently competent C programmer knows --- Very Stupid Mis

By Richard Heathfield on Wed Mar 12 01:41:10 2025

Latest reply by Richard Damon on Fri Mar 14 21:57:35 2025
Re: Every sufficiently competent C programmer knows --- Liar Paradox

By Richard Damon on Wed Mar 12 23:56:09 2025

Latest reply by Richard Damon on Thu Mar 13 07:13:16 2025
Re: Every sufficiently competent C programmer knows --- Freaking Nitwit

By Richard Damon on Wed Mar 12 23:56:11 2025

Latest reply by Richard Damon on Wed Mar 12 23:56:11 2025
Re: Every sufficiently competent C programmer knows --- Mike's very stu

By Richard Damon on Wed Mar 12 18:47:02 2025

Latest reply by Richard Damon on Wed Mar 12 18:47:02 2025
Re: Everyone makes sure to avoid addressing this exact point

By Mikko on Wed Mar 12 10:54:07 2025

Latest reply by Richard Heathfield on Wed Mar 12 09:08:31 2025
Re: Every sufficiently competent C programmer knows --- Counter-Factual

By Richard Damon on Tue Mar 11 23:04:08 2025

Latest reply by Richard Damon on Wed Mar 12 07:25:39 2025
Re: Every sufficiently competent C programmer knows --- Stupid Mistake?

By Mike Terry on Tue Mar 11 21:07:08 2025

Latest reply by Mike Terry on Tue Mar 11 21:07:08 2025
Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals

By Fred. Zwarts on Tue Mar 4 10:14:29 2025

Latest reply by Mikko on Tue Mar 11 12:19:10 2025
Re: Failure to meet this challenge proves that all of my reviewers are

By joes on Sun Mar 2 14:55:29 2025

Latest reply by Mikko on Tue Mar 4 13:19:36 2025
Re: Copyright for "simulating halt decider" by Olcott for many years

By Richard Heathfield on Sun Mar 2 17:17:28 2025

Latest reply by Mikko on Tue Mar 4 12:29:58 2025
Re: DD correctly emulated by HHH --- Kicking the straw-man deception ou

By Richard Damon on Sun Mar 2 16:29:48 2025

Latest reply by Mikko on Tue Mar 4 12:25:06 2025
Re: Far less than no rebuttal at all

By Fred. Zwarts on Mon Mar 3 20:50:53 2025

Latest reply by Fred. Zwarts on Tue Mar 4 10:08:26 2025
Re: Copyright for "simulating halt decider" by Olcott for many years --

By Richard Damon on Sun Mar 2 16:17:12 2025

Latest reply by Richard Damon on Mon Mar 3 19:51:11 2025
Re: DD emulated by HHH cannot possibly terminate normally --- x86 code

By Mikko on Sat Mar 1 10:22:09 2025

Latest reply by Richard Damon on Sun Mar 2 19:42:17 2025
Re: Simulating Halt Decider Copyright 2022 Mr Flibble

By Mikko on Sun Mar 2 11:23:12 2025

Latest reply by Richard Damon on Sun Mar 2 16:11:12 2025
Re: The actual code of HHH

By Richard Damon on Thu Feb 27 20:00:05 2025

Latest reply by Richard Damon on Sun Mar 2 16:11:09 2025
Copyright

By joes on Sun Mar 2 07:45:26 2025

Latest reply by Mikko on Sun Mar 2 11:44:46 2025
Re: Anyone with sufficient knowledge of C knows that DD specifies non-t

By Richard Damon on Fri Feb 7 18:55:12 2025

Latest reply by Richard Damon on Sat Mar 1 07:49:23 2025
Re: DD specifies non-terminating behavior to HHH --- very stupid requir

By Richard Damon on Thu Feb 27 20:00:22 2025

Latest reply by Fred. Zwarts on Fri Feb 28 10:09:41 2025
Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF

By Richard Damon on Sat Feb 15 20:38:20 2025

Latest reply by Mikko on Wed Feb 26 10:58:52 2025
Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --

By joes on Sat Feb 22 18:10:53 2025

Latest reply by Mikko on Wed Feb 26 10:44:54 2025
Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN

By Richard Damon on Sun Feb 16 07:09:36 2025

Latest reply by Mikko on Wed Feb 26 10:39:43 2025
Re: DD specifies non-terminating behavior to HHH ---USPTO Incorporation

By Richard Damon on Thu Feb 20 20:12:29 2025

Latest reply by Richard Damon on Tue Feb 25 07:18:29 2025
Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A TIM

By joes on Tue Feb 18 16:50:31 2025

Latest reply by Richard Damon on Sat Feb 22 19:02:38 2025
Simulating Halt Decider is Copyright 2022 Mr Flibble

By Mr Flibble on Fri Feb 21 16:33:22 2025

Latest reply by Mr Flibble on Fri Feb 21 16:33:22 2025
Re: Sufficient knowledge of C proves that DD specifies non-terminating

By Richard Damon on Fri Feb 7 20:27:06 2025

Latest reply by Richard Damon on Wed Feb 19 07:12:57 2025
Halting Problem Refuted!

By Mr Flibble on Sun Feb 16 13:13:21 2025

Latest reply by Andy Walker on Sun Feb 16 17:49:01 2025
Re: Concise refutation of halting problem proofs V11

By Mr Flibble on Sun Feb 16 16:23:13 2025

Latest reply by Mr Flibble on Sun Feb 16 16:23:13 2025
Re: DIFFERENT LEVELS OF RECURSION --- DD specifies non-terminating beha

By Fred. Zwarts on Sun Feb 16 10:32:04 2025

Latest reply by Richard Damon on Sun Feb 16 13:39:38 2025
Re: A New Turing Machine Model

By Ben Bacarisse on Wed Feb 12 23:28:10 2025

Latest reply by Richard Damon on Thu Feb 13 07:17:15 2025
Universal Compiler

By Mr Flibble on Sat Feb 8 15:34:56 2025

Latest reply by Mikko on Sun Feb 9 11:43:50 2025
Re: A third line of cancer treatment reversed the growth of the right p

By Richard Damon on Thu Feb 6 14:51:55 2025

Latest reply by Richard Damon on Fri Feb 7 18:56:12 2025
Re: Discussion regarding Mr. Diabys algorithm

By Radoslaw Hofman on Wed Jan 8 16:20:36 2025

Latest reply by olcott on Tue Feb 4 11:20:02 2025
Re: Merry Christmas

By Richard Damon on Thu Dec 26 07:56:24 2024

Latest reply by Richard Damon on Thu Dec 26 07:56:24 2024
Re: The essence of my halting problem work

By joes on Wed Dec 11 13:44:02 2024

Latest reply by joes on Wed Dec 11 13:44:02 2024
Re: This first time anyone In the entire history of the halting problem

By Richard Damon on Thu Dec 5 07:23:20 2024

Latest reply by Mikko on Wed Dec 11 11:53:31 2024
Re: HHH(DDD) computes the mapping from its input to HHH emulating itsel

By Mikko on Mon Nov 18 11:53:04 2024

Latest reply by Mikko on Fri Dec 6 11:07:01 2024
Re: It seems very doubtful that I will live three more months

By joes on Thu Nov 28 14:53:41 2024

Latest reply by joes on Thu Nov 28 14:53:41 2024
Re: The philosophy of computation reformulates existing ideas on a new

By Richard Damon on Sun Oct 27 13:48:55 2024

Latest reply by Richard Damon on Sun Nov 17 07:11:58 2024
Re: The philosophy of logic reformulates existing ideas on a new basis

By joes on Sat Nov 9 11:01:50 2024

Latest reply by Mikko on Sun Nov 17 10:36:09 2024
Re: Philosophy of Computation: Three seem to agree how emulating termin

By Richard Damon on Sun Nov 10 16:02:06 2024

Latest reply by Mikko on Tue Nov 12 12:36:31 2024
Re: This philosophy of logic reformulates existing ideas on a new basis

By Richard Damon on Fri Nov 8 17:03:26 2024

Latest reply by Richard Damon on Fri Nov 8 17:03:26 2024
Re: Why it is lie (about olcott did)?

By Richard Damon on Wed Nov 6 19:45:25 2024

Latest reply by Richard Damon on Thu Nov 7 06:56:30 2024
Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit Stri

By Richard Damon on Wed Oct 23 19:16:47 2024

Latest reply by Mikko on Mon Nov 4 19:55:20 2024
=?UTF-8?Q?Re=3A_G=C3=B6del=27s_actual_proof_and_deriving_all_of_the?= =

By Richard Damon on Fri Oct 25 18:17:33 2024

Latest reply by Richard Damon on Fri Nov 1 20:27:26 2024
=?utf-8?Q?Re:_G=C3=B6del's_actual_proof_and_deriving_all_of_the_digits_

By Mikko on Sun Oct 27 11:02:58 2024

Latest reply by Mikko on Fri Nov 1 10:34:45 2024
Re: =?iso-8859-1?Q?G=F6del's?= actual proof and deriving all of the dig

By joes on Sat Oct 26 09:20:38 2024

Latest reply by joes on Thu Oct 31 14:00:42 2024
Re: Verified facts regarding the software engineering of DDD, HHH, and

By Richard Damon on Tue Oct 22 23:02:18 2024

Latest reply by Richard Damon on Sun Oct 27 13:48:52 2024
Re: No TM exists that can simulate all TM.

By joes on Fri Oct 25 17:15:51 2024

Latest reply by Richard Damon on Sun Oct 27 07:38:44 2024
Re: Foundation of formal logic systems --- finite string transformation

By Richard Damon on Sat Oct 26 11:35:41 2024

Latest reply by Richard Damon on Sat Oct 26 11:35:41 2024
Re: Every computable function can be construed as --- finite string tra

By Richard Damon on Sat Oct 26 11:35:39 2024

Latest reply by Richard Damon on Sat Oct 26 11:35:39 2024
Re: What I told ChatGPT is essentially identical to the first page of m

By Richard Damon on Sun Oct 20 15:13:33 2024

Latest reply by Richard Damon on Wed Oct 23 19:18:17 2024
Re: ChatGPT 4.0 keeps refuting every rebuttal of my work ---

By Mikko on Mon Oct 21 11:32:40 2024

Latest reply by Richard Damon on Wed Oct 23 19:16:41 2024
Re: I have always been correct about emulating termination analyzers --

By Richard Damon on Sun Oct 20 07:46:38 2024

Latest reply by Mikko on Wed Oct 23 10:28:30 2024
Re: Premises cannot be shown to be false without proving that they cont

By joes on Tue Oct 22 09:50:57 2024

Latest reply by Richard Damon on Tue Oct 22 23:02:21 2024
Re: Deriving X from the finite set of FooBar preserving operations ---

By Richard Damon on Sun Oct 20 23:19:40 2024

Latest reply by Richard Damon on Mon Oct 21 07:24:42 2024
Re: I have always been incorrect about emulating termination analyzers

By Richard Damon on Sun Oct 20 17:41:46 2024

Latest reply by Richard Damon on Sun Oct 20 17:41:46 2024
Re: THREE DIFFERENT QUESTIONS

By Richard Damon on Fri Oct 18 22:49:07 2024

Latest reply by Richard Damon on Sat Oct 19 22:27:49 2024
Re: A state transition diagram proves ... GOOD PROGRESS

By joes on Fri Oct 18 14:41:55 2024

Latest reply by Richard Damon on Sat Oct 19 17:46:03 2024
Re: The actual truth is that ... industry standard stipulative definiti

By Richard Damon on Mon Oct 14 19:50:17 2024

Latest reply by Richard Damon on Sat Oct 19 17:45:59 2024
Re: When responding to my posts please remove cross post to the other g

By Richard Damon on Fri Oct 18 22:49:03 2024

Latest reply by Mikko on Sat Oct 19 12:22:21 2024
Re: ChatGPT refutes the key rebuttal of my work --- correct emulation

By Richard Damon on Wed Oct 16 20:37:19 2024

Latest reply by joes on Fri Oct 18 08:25:42 2024
Re: ChatGPT refutes the key rebuttal of my work --- CORRECTION

By Richard Damon on Thu Oct 17 21:13:19 2024

Latest reply by joes on Fri Oct 18 08:13:43 2024
Re: ChatGPT refutes the key rebuttal of my work --- correct emulation -

By Richard Damon on Thu Oct 17 21:13:22 2024

Latest reply by joes on Fri Oct 18 07:55:30 2024
Re: A state transition diagram proves ...

By Richard Damon on Thu Oct 17 21:13:24 2024

Latest reply by Richard Damon on Fri Oct 18 07:17:21 2024
Re: ChatGPT refutes the key rebuttal of my work

By Richard Damon on Sun Oct 13 09:19:48 2024

Latest reply by joes on Thu Oct 17 10:07:27 2024
Re: The actual truth is that ... Turing computability issues have been

By joes on Wed Oct 16 13:10:15 2024

Latest reply by Richard Damon on Wed Oct 16 20:05:53 2024
Re: ChatGPT refutes the key concepts of my work --- [ Olcott has less t

By Richard Damon on Tue Oct 15 22:12:11 2024

Latest reply by Richard Damon on Tue Oct 15 22:12:11 2024
Re: The actual truth is that ...

By Richard Damon on Fri Oct 11 10:54:10 2024

Latest reply by Mikko on Tue Oct 15 12:03:44 2024
Re: Another proof: The Halting Problem Is Undecidable.

By Mikko on Fri Oct 11 12:38:50 2024

Latest reply by Ben Bacarisse on Mon Oct 14 13:41:04 2024
Re: Richard given an official cease-and-desist order regarding counter-

By Richard Damon on Fri Oct 11 16:21:16 2024

Latest reply by Mikko on Mon Oct 14 11:36:31 2024
Re: I am claiming that these exact words are necessarily true

By Richard Damon on Sun Oct 13 09:12:23 2024

Latest reply by joes on Mon Oct 14 08:23:09 2024
Re: Three days from now is the two year anniversary of Ben's agreement

By Richard Damon on Fri Oct 11 23:13:59 2024

Latest reply by Ben Bacarisse on Sun Oct 13 01:24:45 2024
Re: ChatGPT explains why HHH(DDD) correctly rejects its input even thou

By Richard Damon on Fri Oct 11 23:12:39 2024

Latest reply by Richard Damon on Sat Oct 12 10:43:15 2024
Re: Yet another contribution to the P-NP question

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Thu Sep 26 11:57:35 2024

Latest reply by Ben Bacarisse on Sat Oct 12 01:15:21 2024
And the Richer Petard Horror Show resumes ...

By Andy Walker on Tue Oct 8 13:49:47 2024

Latest reply by Ben Bacarisse on Sat Oct 12 00:40:31 2024
Re: And the Richer Petard Horror Show resumes HHH(DDD)==0

By Richard Damon on Tue Oct 8 10:02:02 2024

Latest reply by Andy Walker on Fri Oct 11 21:08:05 2024
Re: x86utm source-code proves that Richard continue to make this counte

By Richard Damon on Fri Oct 11 13:10:59 2024

Latest reply by Richard Damon on Fri Oct 11 13:10:59 2024
Re: And the Richer Petard Horror Show resumes ... CORRECT

By Richard Damon on Thu Oct 10 21:38:42 2024

Latest reply by Mikko on Fri Oct 11 12:55:07 2024
Re: Simulating Termination Analyzer HHH correctly rejects input DDD

By Richard Damon on Wed Oct 9 07:46:39 2024

Latest reply by Richard Damon on Fri Oct 11 09:14:44 2024
Re: They actual truth is that ...

By Richard Damon on Thu Oct 10 21:39:10 2024

Latest reply by Richard Damon on Fri Oct 11 09:05:19 2024
Re: Richard's Strawman Error

By Richard Damon on Fri Oct 11 09:05:06 2024

Latest reply by Richard Damon on Fri Oct 11 09:05:06 2024
Re: Libelous statement by Alan

By Richard Damon on Thu Oct 10 21:39:01 2024

Latest reply by Richard Damon on Thu Oct 10 21:39:01 2024
Re: And the Richer Petard Horror Show resumes ... Libelous statement by

By Richard Damon on Thu Oct 10 21:38:47 2024

Latest reply by Richard Damon on Thu Oct 10 21:38:47 2024
Re: HHH(DDD)==0

By Mikko on Wed Oct 9 13:08:11 2024

Latest reply by Mikko on Thu Oct 10 11:36:25 2024
Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD

By Richard Damon on Mon Oct 7 18:39:59 2024

Latest reply by Mikko on Wed Oct 9 13:13:41 2024
Re: Even Google AI Overview understands me now --- HHH(DDD)==0

By Richard Damon on Mon Oct 7 18:39:55 2024

Latest reply by Richard Damon on Tue Oct 8 23:31:26 2024
Re: Even Google AI Overview understands me now --- different execution

By Richard Damon on Thu Oct 3 07:16:56 2024

Latest reply by Richard Damon on Mon Oct 7 18:56:10 2024
Re: Even Google AI Overview understands me now --- My Stupid Mistake

By Richard Damon on Sun Oct 6 18:36:16 2024

Latest reply by Richard Damon on Mon Oct 7 07:02:58 2024
A Lego turing machine.

By Alan Mackenzie on Sun Oct 6 10:51:45 2024

Latest reply by Alan Mackenzie on Sun Oct 6 10:51:45 2024
Re: Even Google AI Overview understands me now

By joes on Tue Oct 1 13:09:26 2024

Latest reply by Mikko on Thu Oct 3 15:33:05 2024
Re: ChatGPT correctly analyzed the first page of my paper: (typo correc

By Mikko on Thu Oct 3 15:23:47 2024

Latest reply by Mikko on Thu Oct 3 15:23:47 2024
Re: ChatGPT correctly analyzed the first page of my paper:

By Alan Mackenzie on Tue Oct 1 19:15:24 2024

Latest reply by Mikko on Thu Oct 3 15:18:57 2024
Re: We got rid of Richard?

By Richard Damon on Mon Sep 30 19:18:06 2024

Latest reply by Richard Damon on Mon Sep 30 19:18:06 2024
Re: Enough of losers stuck in rebuttal mode

By Richard Damon on Sun Sep 22 07:03:39 2024

Latest reply by Mild Shock on Mon Sep 23 13:48:17 2024
Re: The Foundation of Linguistic truth is stipulated relations between

By Mikko on Fri Sep 13 14:52:00 2024

Latest reply by Mikko on Thu Sep 19 11:22:28 2024
Re: Rebutting the Sipser Halting Problem Proof

By Richard Damon on Sun Sep 15 12:55:36 2024

Latest reply by Mikko on Tue Sep 17 09:51:37 2024
Re: The Foundation of Linguistic truth is NOT stipulated relations betw

By Richard Damon on Mon Sep 16 22:36:40 2024

Latest reply by Mikko on Tue Sep 17 09:48:40 2024
Re: Rebutting the Sipser Halting Problem Proof --- H emulating H emulat

By Richard Damon on Mon Sep 16 18:52:07 2024

Latest reply by Richard Damon on Tue Sep 17 06:59:52 2024
Re: Rebutting the Sipser Halting Problem Proof --- damned liar

By Fred. Zwarts on Mon Sep 16 15:36:51 2024

Latest reply by Richard Damon on Mon Sep 16 18:52:13 2024
The Foundation of Linguistic truth is NOT stipulated relations between

By Jeff Barnett on Mon Sep 16 18:26:12 2024

Latest reply by Jeff Barnett on Mon Sep 16 18:26:12 2024
Re: Defining a correct simulating halt decider

By Richard Damon on Mon Sep 2 12:50:39 2024

Latest reply by Richard Damon on Fri Sep 13 13:01:09 2024
Re: Defining a correct simulating halt decider --- Trump and Hitler

By Richard Damon on Thu Sep 12 08:51:13 2024

Latest reply by Richard Damon on Fri Sep 13 12:56:31 2024
Defining a correct halt decider

By olcott on Sun Aug 4 09:46:02 2024

Latest reply by immibis on Thu Sep 12 13:44:33 2024
Re: I just fixed the loophole of the Gettier cases with mt new notion o

By Richard Damon on Thu Sep 5 22:35:19 2024

Latest reply by Richard Damon on Thu Sep 12 08:21:35 2024
Re: Defining a correct simulating halt decider --- Doug Lenat

By Richard Damon on Wed Sep 11 21:20:10 2024

Latest reply by Richard Damon on Wed Sep 11 21:20:10 2024
Re: Indirect Reference Changes the Behavior of DDD() relative to DDD em

By Richard Damon on Thu Aug 29 18:52:27 2024

Latest reply by Richard Damon on Wed Sep 11 20:07:39 2024
Re: Defining a correct simulating halt decider --- Ridiculously stupid

By Richard Damon on Wed Sep 11 19:57:20 2024

Latest reply by Richard Damon on Wed Sep 11 19:57:20 2024
Re: DDD emulated by HHH --- (does not refer to prior posts)

By Mikko on Tue Aug 27 10:15:05 2024

Latest reply by Fred. Zwarts on Tue Sep 10 13:55:32 2024
Re: I just fixed the loophole of the Gettier cases

By Python on Sun Sep 1 05:32:34 2024

Latest reply by Mikko on Thu Sep 5 10:20:32 2024
Re: Pathological self-reference changes the semantics of the same finit

By Fred. Zwarts on Thu Aug 29 20:11:51 2024

Latest reply by Mikko on Tue Sep 3 13:21:17 2024
Re: No not believe Liars that changed their name to mine speak for me -

By Richard Damon on Mon Sep 2 12:47:46 2024

Latest reply by Mikko on Tue Sep 3 11:48:41 2024
Re: Pathological self-reference changes the meaning of the same finite

By Fred. Zwarts on Fri Aug 30 10:21:21 2024

Latest reply by Richard Damon on Mon Sep 2 11:12:39 2024
Re: Ben Bacarisse fails understand that deciders COMPUTE THE MAPPING FR

By Fred. Zwarts on Tue Aug 27 10:58:53 2024

Latest reply by Fred. Zwarts on Sat Aug 31 17:46:44 2024
Re: Xxx Xxxxxxxxx fails understand that deciders COMPUTE THE MAPPING FR

By Mikko on Fri Aug 30 10:59:19 2024

Latest reply by Mikko on Fri Aug 30 10:59:19 2024
PO's nonsense

By Ben Bacarisse on Thu Aug 29 11:16:19 2024

Latest reply by Mikko on Fri Aug 30 10:56:20 2024
Re: Anyone that disagrees with this is not telling the truth --- V5 ---

By Richard Damon on Tue Aug 20 20:50:50 2024

Latest reply by Mikko on Fri Aug 30 10:52:29 2024
Re: Ben seems to be contradicting himself

By Python on Thu Aug 29 17:41:21 2024

Latest reply by Python on Thu Aug 29 17:41:21 2024
Re: Ben Bacarisse fails understand that deciders compute the mapping fr

By joes on Tue Aug 27 05:45:23 2024

Latest reply by Mikko on Thu Aug 29 11:00:37 2024
Re: Olcott emasculated by everyone --- (does not refer to prior posts)

By John Smith on Wed Aug 28 21:58:43 2024

Latest reply by John Smith on Wed Aug 28 21:58:43 2024
Re: Correcting misconceptions of Ben Bacarisse

By Richard Damon on Mon Aug 26 19:12:17 2024

Latest reply by immibis on Wed Aug 28 00:58:05 2024
Re: V5 --- Professor Sipser --- Does Ben Bacarisse believe that Profess

By Richard Damon on Sun Aug 25 12:37:40 2024

Latest reply by Mikko on Tue Aug 27 15:17:42 2024
Re: V5 --- Professor Sipser

By joes on Wed Aug 21 18:30:11 2024

Latest reply by Mikko on Tue Aug 27 11:31:34 2024
Re: Anyone that disagrees with this is not telling the truth --- V5

By Richard Damon on Mon Aug 19 23:32:21 2024

Latest reply by Mikko on Tue Aug 27 10:34:28 2024
Re: V5 --- Professor Sipser --- Ben understands the DDD emulated by HHH

By Richard Damon on Mon Aug 26 19:12:15 2024

Latest reply by Richard Damon on Mon Aug 26 19:12:15 2024
Re: V5 --- PO's trickery

By Ben Bacarisse on Mon Aug 26 13:42:56 2024

Latest reply by Python on Mon Aug 26 15:07:48 2024
Re: V5 --- Professor Sipser --- Execution trace of simulating terminati

By Richard Damon on Sat Aug 24 11:38:32 2024

Latest reply by Richard Damon on Sun Aug 25 16:58:21 2024
Re: V5 --- Professor Sipser --- trace of HHH on DDD input

By joes on Sat Aug 24 14:27:09 2024

Latest reply by Fred. Zwarts on Sun Aug 25 19:16:45 2024
Re: V5 --- Professor Sipser --- Ben Bacarisse is the only one that unde

By Richard Damon on Sat Aug 24 11:38:35 2024

Latest reply by Richard Damon on Sat Aug 24 11:38:35 2024
Re: Anyone that disagrees with this is not telling the truth ---- V4

By Richard Damon on Mon Aug 19 19:08:58 2024

Latest reply by Fred. Zwarts on Tue Aug 20 12:21:20 2024
Re: Anyone that disagrees with this is not telling the truth --- V3

By Richard Damon on Sun Aug 18 13:30:23 2024

Latest reply by Mikko on Tue Aug 20 12:15:12 2024
Re: Anyone that disagrees with this is not telling the truth ---V2

By Richard Damon on Sun Aug 18 13:30:20 2024

Latest reply by Mikko on Tue Aug 20 12:10:43 2024
Re: Anyone that disagrees with this is not telling the truth V4

By Richard Damon on Mon Aug 19 19:09:15 2024

Latest reply by Mikko on Tue Aug 20 12:07:30 2024
Re: Anyone that disagrees with this is not telling the truth

By Mikko on Sun Aug 18 11:49:13 2024

Latest reply by Mikko on Tue Aug 20 12:06:02 2024
Re: Anyone that claims this is not telling the truth --- V4

By Richard Damon on Mon Aug 19 19:09:03 2024

Latest reply by Mikko on Tue Aug 20 11:58:40 2024
Re: Anyone that claims this is not telling the truth

By Richard Damon on Sat Aug 17 10:10:17 2024

Latest reply by Mikko on Tue Aug 20 11:54:21 2024
Re: Proof that DDD specifies non-halting behavior --- Mike is not payin

By Richard Damon on Sat Aug 17 12:33:05 2024

Latest reply by Mikko on Mon Aug 19 12:34:45 2024
Re: Proof that DDD specifies non-halting behavior --- reviewers disagre

By Richard Damon on Fri Aug 16 16:54:45 2024

Latest reply by Richard Damon on Sun Aug 18 13:30:16 2024
Re: Proof that DDD specifies non-halting behavior --- Mike correcting J

By Fred. Zwarts on Thu Aug 15 17:40:30 2024

Latest reply by Mikko on Sun Aug 18 12:58:02 2024
Re: key error in all the proofs --- Correction of Fred

By Fred. Zwarts on Thu Aug 15 17:38:05 2024

Latest reply by Mikko on Sun Aug 18 11:08:21 2024
Re: Mike's correction of Joes correct Fred too

By Mike Terry on Fri Aug 16 19:37:39 2024

Latest reply by Richard Damon on Sat Aug 17 10:10:20 2024
Re: Proof that DDD specifies non-halting behavior --- point by point

By Richard Damon on Tue Aug 13 22:29:51 2024

Latest reply by Mikko on Sat Aug 17 10:54:25 2024
Re: key error in all the proofs --- Mike's correction of Joes

By joes on Thu Aug 15 07:01:13 2024

Latest reply by Mikko on Fri Aug 16 16:13:20 2024
Re: HHH maps its input to the behavior specified by it --- key error in

By Richard Damon on Sat Aug 10 20:20:35 2024

Latest reply by Mikko on Fri Aug 16 13:53:40 2024
Re: HHH maps its input to the behavior specified by it --- never reache

By Richard Damon on Wed Aug 7 21:22:25 2024

Latest reply by Mikko on Fri Aug 16 13:48:14 2024
Re: point by point --- in our head

By joes on Fri Aug 16 07:19:40 2024

Latest reply by Richard Damon on Fri Aug 16 10:18:44 2024
Re: Proof that DDD specifies non-halting behavior --- point by point --

By Richard Damon on Wed Aug 14 19:40:49 2024

Latest reply by Mikko on Fri Aug 16 12:05:23 2024
Re: Overview of proof that the input to HHH(DDD) specifies non-halting

By Richard Damon on Mon Aug 12 22:05:49 2024

Latest reply by Mikko on Fri Aug 16 11:07:01 2024
Re: key error in all the proofs --- Mike's correction

By Mike Terry on Wed Aug 14 21:56:36 2024

Latest reply by Mike Terry on Wed Aug 14 21:56:36 2024
Re: Overview of proof that DDD specifies non-halting behavior

By joes on Tue Aug 13 21:34:00 2024

Latest reply by joes on Wed Aug 14 16:36:01 2024
Re: key error in all the proofs --- Mike --- basis

By joes on Tue Aug 13 20:38:45 2024

Latest reply by joes on Wed Aug 14 16:31:26 2024
Re: Overview of proof that DDD specifies non-halting behavior --- point

By joes on Tue Aug 13 22:01:06 2024

Latest reply by joes on Tue Aug 13 22:01:06 2024
Re: never reaches its halt state ---natural number mapping

By joes on Tue Aug 13 16:22:57 2024

Latest reply by joes on Tue Aug 13 16:22:57 2024
Re: key error in all the proofs --- fakers or liars?

By joes on Mon Aug 12 23:08:17 2024

Latest reply by Richard Damon on Mon Aug 12 19:43:57 2024
Re: HHH maps its input to the behavior specified by it ---

By Fred. Zwarts on Sat Aug 10 20:40:22 2024

Latest reply by Richard Damon on Sat Aug 10 18:47:05 2024
Re: HHH maps its input to the behavior specified by it --- Which if HHH

By Richard Damon on Sat Aug 10 13:51:50 2024

Latest reply by Richard Damon on Sat Aug 10 13:51:50 2024
Re: HHH maps its input to the behavior specified by it --- partial simu

By Richard Damon on Fri Aug 9 19:46:18 2024

Latest reply by Richard Damon on Sat Aug 10 13:24:09 2024
Re: HHH maps its input to the behavior specified by it --- partial emul

By Richard Damon on Sat Aug 10 13:24:00 2024

Latest reply by Richard Damon on Sat Aug 10 13:24:00 2024
Re: HHH maps its input to the behavior specified by it --- reaches its

By Richard Damon on Fri Aug 9 07:15:21 2024

Latest reply by Richard Damon on Sat Aug 10 07:20:35 2024
Re: Who here is too stupid to know that DDD correctly simulated by HHH

By Richard Damon on Fri Aug 2 17:41:23 2024

Latest reply by Fred. Zwarts on Thu Aug 8 10:24:34 2024
Re: Who here is too stupid to know that DDD simulated by HHH cannot rea

By joes on Wed Aug 7 18:25:31 2024

Latest reply by Mikko on Thu Aug 8 10:52:20 2024
HHH computes the mapping from its input finite sting to the actual beha

By olcott on Wed Aug 7 08:54:41 2024

Latest reply by Mikko on Thu Aug 8 10:34:04 2024
Re: Who knows that DDD correctly simulated by HHH cannot possibly reach

By Richard Damon on Sat Aug 3 12:32:54 2024

Latest reply by Mikko on Thu Aug 8 10:28:31 2024
Latest revision of my paper incorporating feedback --- last remaining s

By olcott on Tue Aug 6 09:43:30 2024

Latest reply by Fred. Zwarts on Thu Aug 8 10:20:14 2024
Re: behavior and description --- Richard still only has pure bluster

By olcott on Tue Aug 6 22:47:08 2024

Latest reply by Mikko on Thu Aug 8 10:21:24 2024
Is everyone here faking that they know anything about the x86 language?

By olcott on Mon Aug 5 10:16:27 2024

Latest reply by Mikko on Thu Aug 8 10:00:15 2024
Re: Everyone here seems to consistently lie about this

By Fred. Zwarts on Fri Aug 2 10:24:26 2024

Latest reply by Mikko on Thu Aug 8 09:53:08 2024
Re: HHH maps its input to the behavior specified by it --- HHH never re

By Richard Damon on Wed Aug 7 22:04:17 2024

Latest reply by Richard Damon on Wed Aug 7 22:04:17 2024
Re: behavior and description --- Peter Olcott's rebuttals have been pur

By Richard Damon on Tue Aug 6 23:00:42 2024

Latest reply by Richard Damon on Tue Aug 6 23:21:59 2024
Re: Petyer Olcott seems to consistently lie about this

By Richard Damon on Tue Aug 6 21:38:49 2024

Latest reply by Richard Damon on Tue Aug 6 21:38:49 2024
Re: Peter Olcott seems to consistently lie about this

By Richard Damon on Fri Aug 2 10:42:08 2024

Latest reply by Richard Damon on Tue Aug 6 07:50:28 2024
Re: Hypothetical possibilities --- Complete Proof --- halt state

By olcott on Mon Aug 5 19:26:53 2024

Latest reply by Richard Damon on Mon Aug 5 21:32:01 2024
Re: Hypothetical possibilities --- Complete Proof

By Fred. Zwarts on Thu Aug 1 15:12:06 2024

Latest reply by olcott on Mon Aug 5 19:41:34 2024
Re: Olcott still seems too dishonest to admit that his HHH doesn't corr

By Richard Damon on Mon Aug 5 18:59:12 2024

Latest reply by Richard Damon on Mon Aug 5 18:59:12 2024
Re: You still seem too dishonest to admit that DDD correctly emulated b

By olcott on Sun Aug 4 21:49:03 2024

Latest reply by olcott on Mon Aug 5 07:41:13 2024
You still seem too dishonest to admit that DDD correctly emulated by an

By olcott on Sun Aug 4 20:07:58 2024

Latest reply by olcott on Sun Aug 4 20:07:58 2024
Re: Hypothetical possibilities --- strawman deception

By Mikko on Thu Aug 1 11:20:37 2024

Latest reply by Mikko on Sat Aug 3 12:42:11 2024
Re: Hypothetical possibilities --- stupid rebuttal

By Alan Mackenzie on Sat Jul 27 14:28:47 2024

Latest reply by Mikko on Sat Aug 3 12:35:33 2024
Re: Who here is too stupid to know that DDD correctly simulated,by HHH

By Richard Damon on Sat Aug 3 11:33:35 2024

Latest reply by Richard Damon on Sat Aug 3 11:33:35 2024
Re: Hypothetical possibilities --- Complete FAILED Proof -- more detail

By Richard Damon on Sat Aug 3 11:33:18 2024

Latest reply by Richard Damon on Sat Aug 3 11:33:18 2024
Re: Any honest person that knows the x86 language can see...

By Mikko on Tue Jul 30 09:52:21 2024

Latest reply by Mikko on Sat Aug 3 11:17:16 2024
Re: Peter Olcott seems to consistently lie about this ---

By Richard Damon on Fri Aug 2 10:42:03 2024

Latest reply by Mikko on Sat Aug 3 11:12:21 2024
=?utf-8?B?UmU6IGVtYmVkZGVkX0ggYXBwbGllZCB0byDin6jEpOKfqSDin6jEpOKfqSBjb

By Mikko on Wed Jul 31 10:32:31 2024

Latest reply by Mikko on Sat Aug 3 11:00:05 2024
Re: This function proves that only the outermost HHH examines the execu

By joes on Fri Jul 26 19:24:03 2024

Latest reply by Mikko on Sat Aug 3 10:47:55 2024
Re: Olcott is too stupid to know that only the DDD correctly simulated

By Richard Damon on Fri Aug 2 20:11:42 2024

Latest reply by Richard Damon on Fri Aug 2 20:11:42 2024
test

By nobody@example.com on Sun Jun 2 21:00:55 2024

Latest reply by Richard Damon on Fri Aug 2 19:19:26 2024
Re: Hypothetical possibilities --- Complete Proof *FAILED*

By Richard Damon on Fri Aug 2 10:41:42 2024

Latest reply by Richard Damon on Fri Aug 2 14:32:30 2024
Re: Any honest person that knows the x86 language can see... predict co

By Fred. Zwarts on Tue Jul 30 20:48:26 2024

Latest reply by Mikko on Fri Aug 2 12:28:39 2024
Re: Hypothetical possibilities --- Complete Proof *FAILS*

By Richard Damon on Fri Aug 2 10:41:53 2024

Latest reply by Richard Damon on Fri Aug 2 10:41:53 2024
=?UTF-8?B?UmU6IGVtYmVkZGVkX0ggYXBwbGllZCB0byDin6jEpOKfqSDin6jEpA==?= =?

By Richard Damon on Fri Aug 2 10:41:37 2024

Latest reply by Richard Damon on Fri Aug 2 10:41:37 2024
Re: DDD correctly emulated by HHH is correctly rejected as non-halting

By Richard Damon on Thu Jul 11 22:08:16 2024

Latest reply by Mikko on Fri Aug 2 09:32:25 2024
Re: No decider is ever accountable for the behavior of the computation

By Richard Damon on Fri Jul 26 22:17:11 2024

Latest reply by Mikko on Fri Aug 2 09:24:46 2024
Re: Peter Olcott here seems to consistently lie about this ---

By Richard Damon on Thu Aug 1 23:16:51 2024

Latest reply by Richard Damon on Thu Aug 1 22:33:28 2024
Re: Peter Olcott here seems to consistently lie about this

By Richard Damon on Thu Aug 1 22:26:53 2024

Latest reply by Richard Damon on Thu Aug 1 22:26:53 2024
Re: Everyone here seems to consistently lie about this ---

By olcott on Thu Aug 1 21:12:16 2024

Latest reply by olcott on Thu Aug 1 21:12:16 2024
Re: Any honest person that knows the x86 language can see... predict *I

By Richard Damon on Thu Aug 1 19:33:35 2024

Latest reply by Richard Damon on Thu Aug 1 19:33:35 2024
Re: Any honest person that knows the x86 language can see... predict IN

By Richard Damon on Tue Jul 30 21:21:41 2024

Latest reply by Richard Damon on Thu Aug 1 19:33:31 2024
Re: Hypothetical possibilities --- Completly incorrect Proof

By Richard Damon on Thu Aug 1 19:33:30 2024

Latest reply by Richard Damon on Thu Aug 1 19:33:30 2024
Re: Hypothetical possibilities --- INCorrect emulation has been proven

By Richard Damon on Thu Aug 1 19:33:28 2024

Latest reply by Richard Damon on Thu Aug 1 19:33:28 2024
Re: Hypothetical possibilities --- Correct emulation has been proven fo

By Fred. Zwarts on Wed Jul 31 22:01:03 2024

Latest reply by Fred. Zwarts on Thu Aug 1 16:26:50 2024
Re: embedded_H applied to =?UTF-8?B?4p+oxKTin6kg4p+oxKTin6k=?= computes

By joes on Thu Aug 1 12:17:09 2024

Latest reply by joes on Thu Aug 1 12:17:09 2024
Re: Any honest person that knows the x86 language can see... H predicts

By Richard Damon on Wed Jul 31 20:00:42 2024

Latest reply by Richard Damon on Wed Jul 31 20:00:42 2024
Re: Any honest person that knows the x86 language can see... The H inco

By Richard Damon on Wed Jul 31 20:00:27 2024

Latest reply by Richard Damon on Wed Jul 31 20:00:27 2024
Re: Hypothetical possibilities --- stupid rebuttal ---

By Fred. Zwarts on Wed Jul 31 10:44:13 2024

Latest reply by Fred. Zwarts on Wed Jul 31 10:44:13 2024
Re: No decider is accountable for the computation that itself is contai

By joes on Mon Jul 29 20:17:55 2024

Latest reply by Fred. Zwarts on Wed Jul 31 10:32:59 2024
Re: Linz proof is essentially isomorphic

By Richard Damon on Tue Jul 30 23:19:06 2024

Latest reply by Richard Damon on Wed Jul 31 07:29:56 2024
Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recur

By Fred. Zwarts on Sun Jul 28 20:59:40 2024

Latest reply by Mike Terry on Wed Jul 31 02:56:19 2024
Re: Hypothetical possibilities --- stupid rebuttal by Olcott---

By Richard Damon on Tue Jul 30 23:19:59 2024

Latest reply by Richard Damon on Tue Jul 30 23:19:59 2024
Re: Hypothetical possibilities --- stupid lying rebuttal by Olcott ---

By Richard Damon on Tue Jul 30 23:19:48 2024

Latest reply by Richard Damon on Tue Jul 30 23:19:48 2024
Re: Hypothetical possibilities --- stupid rebuttal by olcott---

By Richard Damon on Tue Jul 30 21:34:22 2024

Latest reply by Richard Damon on Tue Jul 30 21:34:22 2024
Re: How to prove q is not NPC?

By Ben Bacarisse on Mon Jul 29 00:22:15 2024

Latest reply by Andy Walker on Tue Jul 30 14:52:52 2024
Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execut

By Fred. Zwarts on Mon Jul 29 21:25:06 2024

Latest reply by Mikko on Tue Jul 30 10:04:52 2024
=?utf-8?B?UmU6IGVtYmVkZGVkX0ggYXBwbGllZCB0byDin6jEpOKfqSDin6jEpOKfqQ==?

By Mikko on Tue Jul 30 09:37:58 2024

Latest reply by Mikko on Tue Jul 30 09:37:58 2024
Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infini

By Richard Damon on Sun Jul 28 12:58:37 2024

Latest reply by Richard Damon on Mon Jul 29 20:39:19 2024
Re: embedded_H applied to =?UTF-8?B?4p+oxKTin6kg4p+oxKTin6k=?=

By joes on Mon Jul 29 20:08:44 2024

Latest reply by joes on Mon Jul 29 20:08:44 2024
Re: Because I have repeated this same point 500 times in the last three

By Fred. Zwarts on Fri Jul 26 08:53:07 2024

Latest reply by Mikko on Sun Jul 28 11:35:23 2024
Re: Hypothetical possibilities --- Sipser approved criteria

By Alan Mackenzie on Sat Jul 27 14:50:02 2024

Latest reply by Mikko on Sun Jul 28 11:21:53 2024
Re: Hypothetical possibilities --- strawman deception based rebuttal

By Mikko on Sun Jul 28 11:12:14 2024

Latest reply by Mikko on Sun Jul 28 11:12:14 2024
Re: DDD correctly emulated by HHH is Correctly rejected as non-halting

By joes on Sat Jul 13 08:48:02 2024

Latest reply by Mikko on Sun Jul 28 11:02:48 2024
Re: Because Olcott has made this error 500 times in the last three year

By Fred. Zwarts on Fri Jul 26 15:53:57 2024

Latest reply by Fred. Zwarts on Sat Jul 27 10:30:41 2024
Re: Hypothetical possibilities

By joes on Sat Jul 20 21:06:25 2024

Latest reply by Mikko on Sat Jul 27 09:54:48 2024
Re: Who here understands that the last paragraph is Necessarily true? -

By Richard Damon on Fri Jul 19 10:42:30 2024

Latest reply by Mikko on Fri Jul 26 11:37:07 2024
Re: Because Olcott has repeated this same LIE 500 times in the last thr

By Richard Damon on Thu Jul 25 22:46:53 2024

Latest reply by Richard Damon on Thu Jul 25 22:46:53 2024
Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halt

By Richard Damon on Sat Jul 20 09:22:52 2024

Latest reply by Richard Damon on Thu Jul 25 21:14:43 2024
What is your truth maker? (Ws: Truth Bearer or Truth Maker)

By Mild Shock on Thu Jul 25 19:57:42 2024

Latest reply by Mild Shock on Thu Jul 25 20:05:42 2024
Re: Truth Bearer or Truth Maker

By Mild Shock on Wed Jul 24 23:52:54 2024

Latest reply by Richard Damon on Thu Jul 25 19:35:47 2024
Re: Analytic Truth-makers

By Richard Damon on Mon Jul 22 20:01:11 2024

Latest reply by Richard Damon on Thu Jul 25 19:35:16 2024
Re: not identical deciders

By joes on Thu Jul 25 14:24:33 2024

Latest reply by joes on Thu Jul 25 14:24:33 2024
Re: Hypothetical possibilities --- Fake rebuttals trying to get away wi

By Fred. Zwarts on Mon Jul 22 20:11:43 2024

Latest reply by Mikko on Thu Jul 25 12:49:02 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ? -

By Mikko on Tue Jul 23 10:14:15 2024

Latest reply by Mikko on Thu Jul 25 12:44:56 2024
=?utf-8?Q?Re:_Tarski_/_G=C3=B6del_and_redefining_the_Foundation_of_Logi

By Mikko on Mon Jul 22 11:14:01 2024

Latest reply by Mikko on Thu Jul 25 11:55:43 2024
Re: Hypothetical possibilities V2

By Mikko on Tue Jul 23 10:20:43 2024

Latest reply by Mikko on Thu Jul 25 11:47:47 2024
=?UTF-8?Q?Re:_G=c3=b6del's_Basic_Logic_Course_at_Notre_Dame_=28Was:?= =

By Mild Shock on Tue Jul 23 22:52:31 2024

Latest reply by Mild Shock on Wed Jul 24 23:54:19 2024
=?UTF-8?Q?Re=3A_G=C3=B6del=27s_Basic_Logic_Course_at_Notre_Dame_=28?= =

By Richard Damon on Tue Jul 23 22:15:34 2024

Latest reply by Richard Damon on Wed Jul 24 19:57:01 2024
Re: Hypothetical possibilities --- Mindless robots programmed to disagr

By Fred. Zwarts on Wed Jul 24 11:13:36 2024

Latest reply by Fred. Zwarts on Wed Jul 24 11:13:36 2024
Re: Infinite set of HHH/DDD pairs --- truisms

By Fred. Zwarts on Mon Jul 22 19:45:55 2024

Latest reply by Fred. Zwarts on Wed Jul 24 11:00:56 2024
"undecidable" / "unentscheidbar" (Was Analytic Truth-makers)

By Mild Shock on Tue Jul 23 23:02:01 2024

Latest reply by Mild Shock on Tue Jul 23 23:13:06 2024
Re: Hypothetical possibilities --- Olcott is a Mindless robots programm

By Richard Damon on Tue Jul 23 23:09:09 2024

Latest reply by Richard Damon on Tue Jul 23 23:09:09 2024
=?UTF-8?Q?Re=3A_Tarski_/_G=C3=B6del_and_redefining_the_Foundation_o?= =

By Richard Damon on Sun Jul 21 13:53:04 2024

Latest reply by Richard Damon on Tue Jul 23 22:16:34 2024
Re: Liar detector: Peter Olcott--- Honest Dialogue ? --- Infinite set o

By Richard Damon on Tue Jul 23 22:16:23 2024

Latest reply by Richard Damon on Tue Jul 23 22:16:23 2024
=?UTF-8?Q?G=c3=b6del's_Basic_Logic_Course_at_Notre_Dame_=28Was:_Ana?= =

By Mild Shock on Tue Jul 23 14:02:23 2024

Latest reply by Mild Shock on Tue Jul 23 14:02:23 2024
Re: Hypothetical possibilities --- Fake rebuttals trying to get away de

By Fred. Zwarts on Tue Jul 23 10:35:21 2024

Latest reply by Fred. Zwarts on Tue Jul 23 10:35:21 2024
Re: Who here understands that the last paragraph is Necessarily true?

By Richard Damon on Sat Jul 13 16:30:18 2024

Latest reply by Mikko on Tue Jul 23 10:02:05 2024
""self contradictory"" (Was: Analytic Truth-makers)

By Mild Shock on Mon Jul 22 22:18:29 2024

Latest reply by Mild Shock on Tue Jul 23 00:49:10 2024
Re: Ben's agreement that D must be aborted by H

By joes on Mon Jul 22 21:25:38 2024

Latest reply by joes on Mon Jul 22 21:25:38 2024
Re: Hypothetical possibilities -- I reread this again more carefully

By Richard Damon on Sat Jul 20 23:50:47 2024

Latest reply by Richard Damon on Mon Jul 22 20:01:07 2024
Re: Liar detector: Peter Olcott --- Honest Dialogue ? --- Infinite set

By Richard Damon on Mon Jul 22 20:00:57 2024

Latest reply by Richard Damon on Mon Jul 22 20:00:57 2024
Re: Infinite set of HHH/DDD pairs

By joes on Mon Jul 22 14:32:20 2024

Latest reply by joes on Mon Jul 22 14:32:20 2024
Re: Hypothetical possibilities --- Alan Mackenzie tries to get away wit

By olcott on Mon Jul 22 11:06:25 2024

Latest reply by olcott on Mon Jul 22 10:53:52 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Honest Dialogue ?

By Richard Damon on Sat Jul 20 09:45:47 2024

Latest reply by Mikko on Mon Jul 22 11:01:20 2024
Re: Recursive simulation

By Fred. Zwarts on Sun Jul 21 18:45:10 2024

Latest reply by Fred. Zwarts on Sun Jul 21 18:45:10 2024
Re: Recursive simulation (was: Hypothetical possibilities)

By joes on Sun Jul 21 14:37:59 2024

Latest reply by joes on Sun Jul 21 14:37:59 2024
Re: Liar detector:Peter Olcott --- Honest Dialogue ?

By Richard Damon on Sun Jul 21 13:52:59 2024

Latest reply by Richard Damon on Sun Jul 21 13:52:59 2024
Re: Hypothetical IMpossibilities -- I reread this again more carefully

By Richard Damon on Sun Jul 21 13:52:49 2024

Latest reply by Richard Damon on Sun Jul 21 13:52:49 2024
Re: Hypothetical IMpossibilities

By Richard Damon on Sun Jul 21 13:52:39 2024

Latest reply by Richard Damon on Sun Jul 21 13:52:39 2024
Re: DDD correctly emulated by HHH is correctly rejected as non-halting.

By Fred. Zwarts on Wed Jul 10 19:45:43 2024

Latest reply by Mikko on Sun Jul 21 12:27:45 2024
Re: Hypothetical possibilities --- Alan Mackenzie

By olcott on Sat Jul 20 16:45:10 2024

Latest reply by olcott on Sat Jul 20 16:45:10 2024
Re: Self-Modifying Turing Machine

By joes on Sat Jul 20 13:24:17 2024

Latest reply by Richard Damon on Sat Jul 20 09:53:24 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

By Richard Damon on Thu Jul 4 19:33:07 2024

Latest reply by Mikko on Sat Jul 20 11:54:39 2024
Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halt

By Richard Damon on Wed Jul 17 19:56:23 2024

Latest reply by Richard Damon on Fri Jul 19 11:28:18 2024
Re: Infinite proofs do not derive knowledge --- Honest confusion ?

By Richard Damon on Wed Jul 17 21:31:30 2024

Latest reply by Richard Damon on Thu Jul 18 22:40:48 2024
Re: Liar detector: Peter Olcott

By Richard Damon on Fri Jul 5 10:52:16 2024

Latest reply by Richard Damon on Thu Jul 18 22:30:35 2024
Re: Infinite proofs do not derive knowledge Peter Olcott's Hand in the

By Richard Damon on Wed Jul 17 20:39:39 2024

Latest reply by Richard Damon on Wed Jul 17 20:39:39 2024
Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halt

By Richard Damon on Wed Jul 17 19:57:08 2024

Latest reply by Richard Damon on Wed Jul 17 19:57:08 2024
Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar

By Richard Damon on Tue Jul 16 23:36:20 2024

Latest reply by Richard Damon on Wed Jul 17 19:56:06 2024
Re: DDD emulated by HHH is incorrectly rejected as non-halting.

By joes on Wed Jul 17 17:08:32 2024

Latest reply by joes on Wed Jul 17 17:08:32 2024
Re: Infinite proofs do not derive knowledge --- Olcott's Hand in the co

By Richard Damon on Tue Jul 16 22:59:32 2024

Latest reply by Richard Damon on Tue Jul 16 22:59:32 2024
Re: DDD INcorrectly emulated by HHH is INcorrectly rejected as non-halt

By Richard Damon on Tue Jul 16 21:10:19 2024

Latest reply by Richard Damon on Tue Jul 16 21:12:09 2024
Re: Infinite proofs do not derive knowledge --- OLCOTT can't pay attent

By Richard Damon on Tue Jul 16 21:11:44 2024

Latest reply by Richard Damon on Tue Jul 16 21:11:44 2024
Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halt

By Richard Damon on Mon Jul 15 22:19:10 2024

Latest reply by Richard Damon on Tue Jul 16 21:11:02 2024
Re: Infinite proofs do not derive knowledge --- Richard is proved wrong

By Mikko on Mon Jul 15 11:48:08 2024

Latest reply by Mikko on Tue Jul 16 11:37:05 2024
Re: Sequence of sequence, selection and iteration matters -- Professor

By Richard Damon on Sun Jul 14 17:41:35 2024

Latest reply by Mikko on Tue Jul 16 09:54:51 2024
Re: Infinite proofs do not derive knowledge --- Olcott is proved wrong

By Richard Damon on Mon Jul 15 22:18:03 2024

Latest reply by Richard Damon on Tue Jul 16 07:53:39 2024
Re: DDD correctly emulated by HHH is INCorrectly rejected as non-haltin

By Richard Damon on Sat Jul 13 09:15:10 2024

Latest reply by Richard Damon on Mon Jul 15 22:18:25 2024
Re: DDD correctly emulated by HHH is INcorrectly rejected as non-haltin

By Richard Damon on Sun Jul 14 14:22:29 2024

Latest reply by Richard Damon on Mon Jul 15 22:17:32 2024
Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halt

By Richard Damon on Mon Jul 15 07:09:03 2024

Latest reply by Richard Damon on Mon Jul 15 22:17:19 2024
OLCOTT ADMITS TO LYING FOR YEARS

By Richard Damon on Mon Jul 15 22:17:12 2024

Latest reply by Richard Damon on Mon Jul 15 22:17:12 2024
OLCOTT ADMITS TO LYING

By Richard Damon on Mon Jul 15 22:17:05 2024

Latest reply by Richard Damon on Mon Jul 15 22:17:05 2024
Re: What is the correct halt status for HHH(DDD) ?

By Richard Damon on Sat Jul 13 13:25:20 2024

Latest reply by Mikko on Mon Jul 15 10:22:28 2024
Re: DDD correctly emulated by HHH is IN*Correctly rejected as non-halti

By Richard Damon on Sun Jul 14 21:20:11 2024

Latest reply by Richard Damon on Sun Jul 14 21:20:11 2024
Re: Sequence of sequence, selection and iteration matters

By Mikko on Mon Jul 8 10:22:44 2024

Latest reply by Mikko on Sun Jul 14 11:37:17 2024
Re: DDD correctly emulated by HHH cannot possibly halt

By Richard Damon on Tue Jul 9 22:51:21 2024

Latest reply by Richard Damon on Sat Jul 13 19:42:24 2024
Re: What is the correct halt status for HHH(DDD) ? --- Tautology

By Richard Damon on Sat Jul 13 15:10:44 2024

Latest reply by Richard Damon on Sat Jul 13 15:40:01 2024
Re: Liar detector: Petr Olcott --- Ben's agreement

By Richard Damon on Sat Jul 13 09:15:56 2024

Latest reply by Richard Damon on Sat Jul 13 09:15:56 2024
Re: Liar detector: Peter Olcott --- Ben's agreement

By Richard Damon on Tue Jul 9 22:51:40 2024

Latest reply by Richard Damon on Sat Jul 13 09:15:50 2024
Re: DDD correctly but partially emulated by HHH cannot possibly be seen

By Richard Damon on Fri Jul 12 19:23:48 2024

Latest reply by Richard Damon on Fri Jul 12 19:23:48 2024
Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that

By Richard Damon on Fri Jul 12 07:15:16 2024

Latest reply by Richard Damon on Fri Jul 12 07:15:16 2024
Re: Infinite proofs do not derive knowledge, but do define Truth!

By Richard Damon on Thu Jul 11 22:08:36 2024

Latest reply by Richard Damon on Thu Jul 11 22:08:36 2024
Re: Infinite proofs do not derive knowledge --- Olcott is proved a liar

By Richard Damon on Thu Jul 11 22:08:34 2024

Latest reply by Richard Damon on Thu Jul 11 22:08:34 2024
Re: Sequence of sequence, selection and iteration matters --- Ben agree

By Richard Damon on Mon Jul 8 19:59:44 2024

Latest reply by Mikko on Thu Jul 11 10:15:41 2024
Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september

By Richard Damon on Sun Jul 7 22:54:36 2024

Latest reply by Mikko on Thu Jul 11 10:07:03 2024
Re: Richard seems to continue to blatantly lie -- I hope I am wrong abo

By Richard Damon on Wed Jul 3 21:12:31 2024

Latest reply by Mikko on Thu Jul 11 10:01:46 2024
Re: Infinite proofs do not derive knowledge

By Richard Damon on Wed Jul 10 20:33:50 2024

Latest reply by Richard Damon on Wed Jul 10 21:41:13 2024
Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott,

By Richard Damon on Wed Jul 10 20:37:58 2024

Latest reply by Richard Damon on Wed Jul 10 21:11:30 2024
Re: Liar detector: Peter Olcott lies

By Richard Damon on Mon Jul 8 19:26:29 2024

Latest reply by Richard Damon on Wed Jul 10 20:01:50 2024
Re: Peter Olcott seems to continue to blatantly lie

By Richard Damon on Tue Jul 9 07:29:21 2024

Latest reply by Richard Damon on Wed Jul 10 20:01:48 2024
Re: DDD correctly emulated by HHH cannot possibly halt ---Eternal-Septe

By olcott on Wed Jul 10 08:09:19 2024

Latest reply by Richard Damon on Wed Jul 10 20:01:43 2024
Re: a complete emulation of this input could be done --- Liar

By Richard Damon on Wed Jul 10 07:24:23 2024

Latest reply by Richard Damon on Wed Jul 10 07:24:23 2024
Re: Olcott doesn't understand meta-systems

By Richard Damon on Wed Jul 10 07:24:08 2024

Latest reply by Richard Damon on Wed Jul 10 07:24:08 2024
Re: Sequence of sequence, selection and iteration matters --- Ben prove

By Richard Damon on Mon Jul 8 22:59:15 2024

Latest reply by Richard Damon on Tue Jul 9 22:52:55 2024
Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott doesn't un

By Richard Damon on Mon Jul 8 23:39:39 2024

Latest reply by Richard Damon on Mon Jul 8 23:39:39 2024
Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in

By Richard Damon on Mon Jul 8 22:11:19 2024

Latest reply by Richard Damon on Mon Jul 8 22:59:02 2024
Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott shows his

By Richard Damon on Mon Jul 8 22:10:07 2024

Latest reply by Richard Damon on Mon Jul 8 22:10:07 2024
Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott lies as he

By Richard Damon on Mon Jul 8 21:55:05 2024

Latest reply by Richard Damon on Mon Jul 8 21:55:05 2024
Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradic

By Richard Damon on Mon Jul 8 21:24:40 2024

Latest reply by Richard Damon on Mon Jul 8 21:24:40 2024
Re: Liar detector: Peter Olcott found lying.

By Richard Damon on Mon Jul 8 19:26:27 2024

Latest reply by Richard Damon on Mon Jul 8 19:26:27 2024
Re: Liar detector: Fred, Richard, Joes and Alan

By Fred. Zwarts on Wed Jul 3 20:40:32 2024

Latest reply by Mikko on Mon Jul 8 11:01:19 2024
Re: Richard is a Liar

By Richard Damon on Sat Jul 6 23:07:28 2024

Latest reply by Mikko on Mon Jul 8 10:48:58 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?

By Richard Damon on Sat Jul 6 17:31:56 2024

Latest reply by Mikko on Mon Jul 8 10:34:49 2024
Re: Liar detector: Olcott is a LIAR.

By Richard Damon on Sun Jul 7 13:42:51 2024

Latest reply by Richard Damon on Sun Jul 7 13:42:51 2024
Re: Olcott IS a Liar!

By Richard Damon on Sun Jul 7 13:28:41 2024

Latest reply by Richard Damon on Sun Jul 7 13:28:41 2024
Re: Is Richard a Liar?

By Mikko on Sat May 11 11:27:59 2024

Latest reply by joes on Sun Jul 7 13:15:08 2024
Re: Olcott is a Liar

By Richard Damon on Sun Jul 7 07:13:41 2024

Latest reply by Richard Damon on Sun Jul 7 07:13:41 2024
Re: Liar detector: Peter Olcott is a Liar !!!

By Richard Damon on Sat Jul 6 22:30:50 2024

Latest reply by Richard Damon on Sat Jul 6 22:30:50 2024
Re: Liar detector: Olcott is a Liar !!!

By Richard Damon on Sat Jul 6 22:09:30 2024

Latest reply by Richard Damon on Sat Jul 6 22:09:30 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar !

By Richard Damon on Sat Jul 6 21:42:47 2024

Latest reply by Richard Damon on Sat Jul 6 21:42:47 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar!

By Richard Damon on Sat Jul 6 21:27:55 2024

Latest reply by Richard Damon on Sat Jul 6 21:27:55 2024
Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar

By Richard Damon on Sat Jul 6 17:06:10 2024

Latest reply by Richard Damon on Sat Jul 6 17:06:10 2024
Re: Liar detector: Peter Olcott who doesn't under stand Ben's agreement

By Richard Damon on Sat Jul 6 10:28:26 2024

Latest reply by Richard Damon on Sat Jul 6 10:28:26 2024
Re: Flat out dishonest or totally ignorant? --- Olcott seems to be will

By Richard Damon on Wed Jul 3 07:44:29 2024

Latest reply by Mikko on Sat Jul 6 09:20:03 2024
Re: Flat out dishonest or totally ignorant? Can ADD be this severe?

By Richard Damon on Wed Jul 3 21:17:59 2024

Latest reply by Richard Damon on Fri Jul 5 11:15:06 2024
Re: Flat out dishonest or totally ignorant?

By Richard Damon on Mon Jul 1 21:51:19 2024

Latest reply by Richard Damon on Fri Jul 5 11:13:50 2024
Re: Ben thinks the professor Sipser is wrong

By Richard Damon on Thu Jul 4 14:17:56 2024

Latest reply by Richard Damon on Fri Jul 5 10:31:56 2024
Re: Olcott seems to be willfully ignorant

By joes on Wed Jul 3 14:16:16 2024

Latest reply by Mikko on Fri Jul 5 10:07:32 2024
Re: Ben thinks processor Sipser is wrong

By Richard Damon on Thu Jul 4 14:17:54 2024

Latest reply by joes on Fri Jul 5 09:55:48 2024
Re: Flat out dishonest or totally ignorant? Liar ??? Maybe...

By Richard Damon on Wed Jul 3 23:05:45 2024

Latest reply by Fred. Zwarts on Thu Jul 4 21:32:06 2024
Re: Ben fails to understand

By joes on Thu Jul 4 15:14:48 2024

Latest reply by Richard Damon on Thu Jul 4 18:21:17 2024
Re: People are still trying to get away with disagreeing with the seman

By Mikko on Sun Jun 30 11:42:49 2024

Latest reply by Richard Damon on Thu Jul 4 12:52:17 2024
Re: Ben fails to understand --- supersedes the rest

By Richard Damon on Thu Jul 4 12:10:14 2024

Latest reply by Richard Damon on Thu Jul 4 12:10:14 2024
Re: Liar detector: Peter Olcott (self-admitted)

By Richard Damon on Thu Jul 4 11:25:10 2024

Latest reply by Richard Damon on Thu Jul 4 11:25:10 2024
Re: Ben fails to understand---- correction

By Richard Damon on Thu Jul 4 11:23:18 2024

Latest reply by Richard Damon on Thu Jul 4 11:23:18 2024
Re: DDD correctly emulated by any pure function HHH that can possibly e

By Fred. Zwarts on Wed Jul 3 22:59:41 2024

Latest reply by Fred. Zwarts on Thu Jul 4 09:35:38 2024
Re: Olcott seems to be willfully ignorant --- AKA is Fred a Liar ?

By Fred. Zwarts on Wed Jul 3 18:04:18 2024

Latest reply by Mikko on Thu Jul 4 09:21:34 2024
Re: Flat out dishonest or totally ignorant? Liar ??? For Olcott: YES to

By Richard Damon on Wed Jul 3 22:34:45 2024

Latest reply by Richard Damon on Wed Jul 3 22:34:45 2024
Re: Flat out dishonest or totally ignorant? Liar

By Richard Damon on Wed Jul 3 21:47:44 2024

Latest reply by Richard Damon on Wed Jul 3 21:47:44 2024
Re: Flat out dishonest or totally ignorant? --- Richard seems to be wil

By Richard Damon on Tue Jul 2 22:35:34 2024

Latest reply by Fred. Zwarts on Wed Jul 3 20:08:24 2024
Re: Flat out dishonest or totally ignorant? Yes to both for Peter Olcot

By Richard Damon on Wed Jul 3 19:18:53 2024

Latest reply by Richard Damon on Wed Jul 3 19:18:53 2024
Re: Liar detector: Peter OLCOTT YES!

By Richard Damon on Wed Jul 3 19:18:51 2024

Latest reply by Richard Damon on Wed Jul 3 19:18:51 2024
Re: olcott seems to be willfully ignorant

By joes on Wed Jul 3 04:05:02 2024

Latest reply by Richard Damon on Wed Jul 3 19:18:45 2024
Re: The Tarski Undefinability Theorem failed to understand truthmaker t

By Richard Damon on Tue Jul 2 23:18:42 2024

Latest reply by Richard Damon on Wed Jul 3 19:18:38 2024
Re: 197 page execution trace of DDD correctly simulated by HHH --- Rich

By Richard Damon on Tue Jul 2 22:46:33 2024

Latest reply by Richard Damon on Tue Jul 2 23:27:41 2024
Re: 197 page execution trace of DDD correctly simulated by HHH --- clue

By Richard Damon on Tue Jul 2 21:59:37 2024

Latest reply by Richard Damon on Tue Jul 2 21:59:37 2024
Re: olcott is still disagreeing with the semantics of simulation

By joes on Mon Jul 1 15:57:58 2024

Latest reply by Richard Damon on Mon Jul 1 22:38:29 2024
Re: 195 page execution trace of DDD correctly simulated by HH0

By Fred. Zwarts on Thu Jun 20 10:09:01 2024

Latest reply by Mikko on Sun Jun 30 12:30:55 2024
Re: simulation trace of DDD

By joes on Sun Jun 30 08:58:10 2024

Latest reply by joes on Sun Jun 30 08:58:10 2024
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved cri

By Richard Damon on Tue Jun 25 21:47:35 2024

Latest reply by Mikko on Sat Jun 29 11:10:30 2024
Re: Why do people here insist on denying these verified facts?

By Richard Damon on Sat Jun 22 10:42:59 2024

Latest reply by Mikko on Sat Jun 29 10:47:50 2024
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure

By Richard Damon on Mon Jun 24 20:06:46 2024

Latest reply by Richard Damon on Fri Jun 28 23:49:27 2024
Re: 197 page execution trace of DDD incorrectly simulated by HHH

By joes on Fri Jun 28 16:28:43 2024

Latest reply by Alan Mackenzie on Fri Jun 28 21:26:09 2024
Re: Ben agrees that Sipser approved criteria is met

By joes on Fri Jun 28 13:04:09 2024

Latest reply by joes on Fri Jun 28 13:04:09 2024
Re: Why Lie? -- Repeat until Closure

By joes on Fri Jun 28 12:58:00 2024

Latest reply by joes on Fri Jun 28 12:58:00 2024
Re: DDD correctly emulated by H0 --- Why Lie?

By Richard Damon on Sun Jun 23 14:20:19 2024

Latest reply by Richard Damon on Wed Jun 26 19:47:57 2024
Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boile

By Richard Damon on Fri Jun 21 10:02:26 2024

Latest reply by joes on Wed Jun 26 08:11:48 2024
Re: DDD correctly emulated by H0 --- Ben fails to understand computable

By Richard Damon on Tue Jun 25 21:47:33 2024

Latest reply by Richard Damon on Tue Jun 25 21:47:33 2024
Re: DDD correctly emulated by H0

By Fred. Zwarts on Sat Jun 22 20:53:59 2024

Latest reply by joes on Tue Jun 25 20:25:07 2024
Re: Simulating termination analyzers by dummies --- criteria is met

By Richard Damon on Sat Jun 22 10:20:12 2024

Latest reply by Alan Mackenzie on Tue Jun 25 14:06:00 2024
Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure (

By Richard Damon on Mon Jun 24 21:22:51 2024

Latest reply by Richard Damon on Mon Jun 24 21:22:51 2024
Re: H(D,D) cannot even be asked about the behavior of D(D)

By Richard Damon on Thu Jun 13 23:44:11 2024

Latest reply by Fred. Zwarts on Sat Jun 22 20:39:48 2024
Re: Boilerplate Reply -- different simulation

By joes on Sat Jun 22 08:47:57 2024

Latest reply by joes on Sat Jun 22 14:36:29 2024
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerpl

By Richard Damon on Thu Jun 20 22:59:41 2024

Latest reply by Richard Damon on Sat Jun 22 09:35:45 2024
Re: Simulating termination analyzers by dummies --- What does halting m

By joes on Tue Jun 18 17:57:14 2024

Latest reply by Richard Damon on Sat Jun 22 09:27:26 2024
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma

By Richard Damon on Fri Jun 21 19:38:23 2024

Latest reply by Richard Damon on Sat Jun 22 09:38:20 2024
Re: Dogma -- other deciders

By joes on Sat Jun 22 08:59:46 2024

Latest reply by joes on Sat Jun 22 08:59:46 2024
Re: Simulating termination analyzers for dummies

By Fred. Zwarts on Mon Jun 17 10:31:41 2024

Latest reply by Richard Damon on Thu Jun 20 22:43:16 2024
Re: Simulating termination analyzers by dummies --- --- the only reply

By joes on Thu Jun 20 16:33:01 2024

Latest reply by joes on Thu Jun 20 16:33:01 2024
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORI

By Richard Damon on Sat Jun 15 13:17:09 2024

Latest reply by Fred. Zwarts on Thu Jun 20 09:53:13 2024
Re: Simulating termination analyzers by dummies --- addressed

By joes on Wed Jun 19 18:03:59 2024

Latest reply by joes on Wed Jun 19 18:03:59 2024
Re: Simulating termination analyzers by dummies --- the only reply unti

By joes on Wed Jun 19 17:59:49 2024

Latest reply by joes on Wed Jun 19 17:59:49 2024
Re: D correctly simulated by H proved for THREE YEARS --- rewritten

By Richard Damon on Tue Jun 11 18:47:20 2024

Latest reply by Mikko on Tue Jun 18 19:32:53 2024
Re: Simulating termination analyzers by dummies

By joes on Tue Jun 18 17:06:13 2024

Latest reply by joes on Tue Jun 18 17:06:13 2024
Re: H(D,D) cannot even be asked about the behavior of D(D) V2

By Richard Damon on Fri Jun 14 23:40:58 2024

Latest reply by Richard Damon on Mon Jun 17 19:13:56 2024
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth It

By Richard Damon on Fri Jun 14 22:50:56 2024

Latest reply by Richard Damon on Sun Jun 16 13:30:24 2024
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignori

By Richard Damon on Sat Jun 15 11:00:44 2024

Latest reply by Richard Damon on Sat Jun 15 12:41:37 2024
Re: DDD correctly simulated by HH cannot possibly halt

By Richard Damon on Tue Jun 11 21:46:05 2024

Latest reply by Mikko on Sat Jun 15 15:03:49 2024
Re: Proof that DD correctly simulated by HH has different behavior than

By Richard Damon on Sat Jun 8 16:32:36 2024

Latest reply by Mikko on Sat Jun 15 14:59:46 2024
Re: Truthmaker Maximalism and undecidable decision problems

By joes on Sun Jun 9 17:40:24 2024

Latest reply by Richard Damon on Fri Jun 14 07:39:45 2024
Re: D correctly simulated by H proved for THREE YEARS --- finite string

By Richard Damon on Wed Jun 12 18:59:45 2024

Latest reply by Richard Damon on Thu Jun 13 23:04:43 2024
Re: Truthmaker Maximalism and undecidable decision problems --- the way

By Richard Damon on Tue Jun 11 21:44:23 2024

Latest reply by Richard Damon on Thu Jun 13 22:48:44 2024
Re: D correctly simulated by H proved for THREE YEARS --- finite sting

By joes on Thu Jun 13 17:06:27 2024

Latest reply by Richard Damon on Thu Jun 13 22:27:35 2024
Re: D correctly simulated by H proved for THREE YEARS --- simulating vs

By joes on Thu Jun 13 17:38:15 2024

Latest reply by joes on Thu Jun 13 17:38:15 2024
Re: D correctly simulated by H proved for THREE YEARS --- specification

By joes on Thu Jun 13 17:09:27 2024

Latest reply by joes on Thu Jun 13 17:09:27 2024
Re: =?UTF-8?B?4p2EIFNub3dmbGFrZSDinYQ=?= =?UTF-8?B?4p2EIFNub3dmbGFrZSDi

By =?UTF-8?B?8J+MiPCfkpDwn4y78J+MuvCfj on Thu Jun 13 14:51:11 2024

Latest reply by =?UTF-8?B?8J+MiPCfkpDwn4y78J+MuvCfj on Thu Jun 13 14:51:11 2024
Re: Is NPC useless?

By Ben Bacarisse on Tue Jun 11 11:40:24 2024

Latest reply by Ben Bacarisse on Wed Jun 12 11:10:33 2024
Re: At least 100 people kept denying the easily verified fact --- last

By Richard Damon on Thu Jun 6 23:29:21 2024

Latest reply by Richard Damon on Tue Jun 11 22:22:04 2024
Re: Proof that D correctly simulated by H has different behavior than D

By Richard Damon on Tue Jun 11 21:59:29 2024

Latest reply by Richard Damon on Tue Jun 11 21:59:29 2024
Re: D correctly simulated by H proved for THREE YEARS --- verified fact

By joes on Mon Jun 10 15:33:47 2024

Latest reply by Richard Damon on Tue Jun 11 21:44:28 2024
Re: D correctly simulated by H proved for THREE YEARS ---

By joes on Mon Jun 10 08:35:09 2024

Latest reply by Mikko on Tue Jun 11 12:00:05 2024
Re: Is this =?utf-8?B?4oSZ4omg4oSV4oSZ?= proof 'humiliating'?

By Ben Bacarisse on Sun Jun 9 20:55:48 2024

Latest reply by Ben Bacarisse on Tue Jun 11 11:43:50 2024
Re: How Partial Simulations correctly determine non-halting ---Should I

By Richard Damon on Sat Jun 8 10:54:11 2024

Latest reply by Mikko on Tue Jun 11 10:35:23 2024
Re: How Partial Simulations correctly determine non-halting ---Ben's 10

By Python on Fri Jun 7 16:55:20 2024

Latest reply by Mikko on Tue Jun 11 10:22:54 2024
Re: D correctly simulated by H proved for THREE YEARS --- Richard admit

By Richard Damon on Mon Jun 10 23:32:54 2024

Latest reply by Richard Damon on Tue Jun 11 07:47:26 2024
=?UTF-8?B?UmU6IElzIHRoaXMg4oSZ4omg4oSV4oSZIHByb29mICdodW1pbGlhdGlu?= =?

By Andy Walker on Sun Jun 9 23:57:57 2024

Latest reply by Jeff Barnett on Tue Jun 11 00:32:05 2024
Re: D simulated by H unproved for THREE YEARS ---

By joes on Mon Jun 10 17:06:05 2024

Latest reply by joes on Mon Jun 10 17:06:05 2024
Re: Simplified proof that DDD correctly simulated by HHH does not halt

By joes on Sun Jun 9 17:59:51 2024

Latest reply by joes on Mon Jun 10 08:40:47 2024
Re: D correctly simulated by H proved for THREE YEARS --- losing a defa

By Richard Damon on Sun Jun 9 22:16:16 2024

Latest reply by Richard Damon on Mon Jun 10 07:16:20 2024
Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD c

By Fred. Zwarts on Tue Jun 4 18:23:15 2024

Latest reply by Mikko on Sun Jun 9 18:03:00 2024
Re: Proof that DD correctly simulated by HH provides the correct halt s

By Python on Fri Jun 7 23:59:08 2024

Latest reply by Richard Damon on Sun Jun 9 14:08:13 2024
Re: How Partial Simulations correctly determine non-halting -- TM as fi

By joes on Sun Jun 9 17:50:56 2024

Latest reply by joes on Sun Jun 9 17:50:56 2024
Re: How Partial Simulations correctly determine non-halting

By joes on Sun Jun 9 17:47:49 2024

Latest reply by joes on Sun Jun 9 17:47:49 2024
Re: Halting Problem is wrong two different ways

By immibis on Tue Jun 4 20:27:17 2024

Latest reply by Richard Damon on Sun Jun 9 14:08:55 2024
Re: At least 100 people kept denying the easily verified fact -- closur

By joes on Fri Jun 7 22:22:14 2024

Latest reply by Richard Damon on Sat Jun 8 09:57:40 2024
Re: DD correctly simulated by HH --- never stops running without aborti

By Rafael Doofenschmirtz on Thu Jun 6 20:49:32 2024

Latest reply by Mikko on Sat Jun 8 08:50:01 2024
19 years

By immibis on Sat Jun 8 04:36:48 2024

Latest reply by immibis on Sat Jun 8 04:36:48 2024
Copy (2) of Final final final final last end of communication with Rich

By immibis on Sat Jun 8 02:17:59 2024

Latest reply by immibis on Sat Jun 8 02:17:59 2024
Re: olcott is a moron

By immibis on Sat Jun 8 00:14:07 2024

Latest reply by immibis on Sat Jun 8 00:14:07 2024
Re: Last communication with Richard

By Rich Yard Daemon on Fri Jun 7 18:51:10 2024

Latest reply by Richard Damon on Fri Jun 7 13:12:45 2024
Re: When Richard calls people liars he lies

By Mikko on Thu Jun 6 17:42:07 2024

Latest reply by Richard Damon on Fri Jun 7 14:32:32 2024
Re: How Partial Simulations incorrectly determine non-halting ---Ben's

By joes on Fri Jun 7 15:27:53 2024

Latest reply by Richard Damon on Fri Jun 7 11:52:49 2024
Re: D(D) simulated by H cannot possibly reach past its own line 03

By Richard Damon on Fri May 3 17:53:59 2024

Latest reply by immibis on Fri Jun 7 16:25:07 2024
Re: How Partial Simulations correctly determine non-halting --- Ben's s

By joes on Wed Jun 5 17:57:42 2024

Latest reply by olcon'tt on Fri Jun 7 16:10:40 2024
Re: How Partial Simulations correctly determine non-halting ---Mike Ter

By joes on Tue Jun 4 21:26:09 2024

Latest reply by joes on Fri Jun 7 15:24:19 2024
Re: At least 100 people kept denying the easily verified fact

By Richard Damon on Tue Jun 4 21:48:59 2024

Latest reply by Richard Damon on Thu Jun 6 22:08:34 2024
Re: Halting Problem is wrong two different ways --very stupid

By Richard Damon on Wed Jun 5 22:28:17 2024

Latest reply by Richard Damon on Thu Jun 6 22:08:23 2024
Re: When Olcott calls people liars he lies

By Richard Damon on Thu Jun 6 22:08:17 2024

Latest reply by Richard Damon on Thu Jun 6 22:08:17 2024
Re: Why does Olcott care about simulation, anyway? --- Mikes Review

By Richard Damon on Mon Jun 3 07:14:37 2024

Latest reply by Richard Damon on Thu Jun 6 22:08:08 2024
Re: How Partial Simulations incorrectly determine non-halting ---Mike T

By joes on Wed Jun 5 23:04:51 2024

Latest reply by joes on Wed Jun 5 23:04:51 2024
Re: Why does Olcott care about simulation, anyway?

By Richard Damon on Sun Jun 2 20:34:08 2024

Latest reply by Fred. Zwarts on Wed Jun 5 10:31:37 2024
Re: Proof that Olcott is a liar

By immibis on Wed Jun 5 03:17:55 2024

Latest reply by immibis on Wed Jun 5 03:17:55 2024
Re: The error of the halting problem

By Richard Damon on Mon Jun 3 20:55:56 2024

Latest reply by Richard Damon on Tue Jun 4 21:48:05 2024
Re: The error of the halting problem --- G is untrue in PA

By Richard Damon on Tue Jun 4 21:48:02 2024

Latest reply by Richard Damon on Tue Jun 4 21:48:02 2024
Re: Mike Terry Reply to Fred Zwarts

By Fred. Zwarts on Tue Jun 4 12:29:06 2024

Latest reply by Mike Terry on Tue Jun 4 17:58:57 2024
Re: Why is Olcott so ignorant, anyway?

By immibis on Tue Jun 4 17:25:11 2024

Latest reply by immibis on Tue Jun 4 17:25:11 2024
Re: Why does Olcott care about simulation, anyway? --- Ben's Review

By immibis on Mon Jun 3 15:39:50 2024

Latest reply by immibis on Tue Jun 4 16:38:14 2024
=?UTF-8?B?UmU6IEltcHJvdmVkIOKEmeKJoOKEleKEmSBwcm9vZg==?=

By immibis on Fri May 31 19:50:14 2024

Latest reply by immibis on Tue Jun 4 16:14:12 2024
Re: DD correctly simulated by HH cannot possibly reach past its own lin

By Mikko on Tue Jun 4 11:54:32 2024

Latest reply by Mikko on Tue Jun 4 11:54:32 2024
Re: Two dozen people were simply wrong --- Try to prove otherwise

By Richard Damon on Wed May 29 20:09:05 2024

Latest reply by Mikko on Tue Jun 4 11:40:57 2024
Re: D correctly simulated by H cannot possibly reach its own line 06 an

By joes on Thu May 30 21:54:42 2024

Latest reply by Richard Damon on Mon Jun 3 20:56:24 2024
Re: Deciders are ONLY accountable for their actual inputs ---

By Richard Damon on Sun Jun 2 13:23:00 2024

Latest reply by Richard Damon on Mon Jun 3 20:56:41 2024
=?UTF-8?Q?Re=3A_A_simulating_halt_decider_applied_to_the_The_Peter_?= =

By Richard Damon on Sun May 26 19:07:39 2024

Latest reply by Richard Damon on Mon Jun 3 20:56:01 2024
Re: Two dozen people were simply wrong ---

By joes on Sun Jun 2 09:36:17 2024

Latest reply by Fred. Zwarts on Mon Jun 3 21:53:22 2024
Re: Two dozen people were simply wrong --- Try to prove otherwise --- p

By Richard Damon on Fri May 31 17:36:33 2024

Latest reply by Richard Damon on Mon Jun 3 20:56:47 2024
Re: DD correctly simulated by HH cannot possible halt --- Try to prove

By Richard Damon on Sun Jun 2 15:05:29 2024

Latest reply by Richard Damon on Mon Jun 3 20:56:36 2024
Re: Concise rebuttal of incompleteness and undecidability

By Richard Damon on Sun Jun 2 14:03:41 2024

Latest reply by Richard Damon on Mon Jun 3 20:56:19 2024
Re: A simulating halt decider applied to the The Peter Linz Turing Mach

By joes on Sat Jun 1 18:52:09 2024

Latest reply by joes on Mon Jun 3 20:01:09 2024
=?utf-8?Q?Re:_A_simulating_halt_decider_applied_to_the_The_Peter_Linz_T

By Mikko on Wed May 29 11:37:49 2024

Latest reply by Mikko on Mon Jun 3 18:19:51 2024
Re: D correctly simulated by H cannot possibly halt --- templates and i

By Richard Damon on Tue May 28 22:04:14 2024

Latest reply by Mikko on Mon Jun 3 13:36:05 2024
Re: Olcott is simply wrong --- Try to prove otherwise --- pinned down

By Richard Damon on Sun Jun 2 13:22:46 2024

Latest reply by Fred. Zwarts on Sun Jun 2 20:34:18 2024
Re: Olcott is simply wrong ---

By Richard Damon on Sun Jun 2 13:22:55 2024

Latest reply by Richard Damon on Sun Jun 2 13:22:55 2024
Re: Two dozen people were simply wrong -- Only basis for rebuttal in th

By Fred. Zwarts on Sat Jun 1 17:18:54 2024

Latest reply by immibis on Sun Jun 2 12:56:00 2024
Re: Two dozen people were simply right --- Try to prove otherwise --- p

By joes on Sun Jun 2 09:46:55 2024

Latest reply by joes on Sun Jun 2 09:46:55 2024
Re: Every D(D) simulated by H presents non-halting behavior to H ###

By immibis on Thu May 9 03:38:38 2024

Latest reply by joes on Sat Jun 1 17:58:51 2024
Re: Two dozen people were simply wrong

By Python on Wed May 29 22:54:36 2024

Latest reply by Mikko on Sat Jun 1 11:23:27 2024
Re: The mistake of the Tarski Proof

By immibis on Fri May 31 10:42:56 2024

Latest reply by Richard Damon on Fri May 31 07:16:17 2024
Re: D correctly simulated by H cannot possibly halt --- Try to prove ot

By immibis on Thu May 30 23:50:25 2024

Latest reply by immibis on Thu May 30 23:50:25 2024
Re: Olcott was simply wrong --- Try to prove otherwise

By Richard Damon on Thu May 30 07:30:12 2024

Latest reply by Richard Damon on Thu May 30 21:37:25 2024
Re: H is an incorrect x86 emulator

By immibis on Thu May 30 12:24:08 2024

Latest reply by immibis on Thu May 30 12:24:08 2024
Re: True on the basis of meaning --- Good job Richard ! ---Socratic met

By Richard Damon on Mon May 13 22:31:28 2024

Latest reply by Richard Damon on Wed May 29 19:47:19 2024
Re: Two dozen people were simply wrong (including Olcott)

By Richard Damon on Wed May 29 19:47:15 2024

Latest reply by Richard Damon on Wed May 29 19:47:15 2024
Re: Another Halting Problem Question (very difficult)

By Mike Terry on Wed May 29 02:28:31 2024

Latest reply by Mike Terry on Wed May 29 02:28:31 2024
Re: My use of the Socratic method defined: EXACTLY ONE-POINT-AT-A-TIME

By Richard Damon on Tue May 28 23:38:38 2024

Latest reply by Richard Damon on Tue May 28 23:38:38 2024
Re: D correctly simulated by pure function H cannot possibly reach its,

By Richard Damon on Sat May 25 15:23:26 2024

Latest reply by Richard Damon on Sun May 26 16:20:56 2024
Re: Can you see that D correctly simulated by H remains stuck in recurs

By Richard Damon on Thu May 23 21:44:43 2024

Latest reply by Fred. Zwarts on Sun May 26 12:47:58 2024
Re: Linz's proofs and other undecidable decision problems --- Key feedb

By Richard Damon on Sun May 26 07:43:51 2024

Latest reply by Richard Damon on Sun May 26 12:31:40 2024
Re: Is there quick sort that the worst case complexity is O(NlogN)?

By Richard Damon on Sun May 26 07:52:37 2024

Latest reply by Richard Damon on Sun May 26 07:52:37 2024
Re: Addressing the only rebuttal of my proof in the last two years (cor

By Richard Damon on Sat May 25 17:11:45 2024

Latest reply by Richard Damon on Sat May 25 17:11:45 2024
Re: Addressing the only rebuttal of my proof in the last two years

By Richard Damon on Sat May 25 17:05:04 2024

Latest reply by Richard Damon on Sat May 25 17:05:04 2024
Re: Tarski Undefinability and the correctly formalized Liar Paradox

By Richard Damon on Sat May 25 11:56:03 2024

Latest reply by Richard Damon on Sat May 25 17:05:02 2024
Re: No decider is allowed to report on the behavior of the computation

By Richard Damon on Wed May 22 22:27:42 2024

Latest reply by Richard Damon on Thu May 23 21:44:41 2024
Re: Every D correctly simulated by H remains stuck in recursive simulat

By Richard Damon on Wed May 22 19:01:47 2024

Latest reply by Richard Damon on Wed May 22 22:36:09 2024
Re: No decider is ever allowed to report on the behavior of the computa

By Richard Damon on Wed May 22 19:01:57 2024

Latest reply by Richard Damon on Wed May 22 19:01:57 2024
Re: Every D correctly simulated by H cannot possibly reach its own line

By Richard Damon on Mon May 20 22:39:21 2024

Latest reply by Richard Damon on Wed May 22 07:48:07 2024
Re: Every D correctly simulated by H never reaches its final state and

By Richard Damon on Thu May 16 22:29:52 2024

Latest reply by Richard Damon on Tue May 21 21:46:04 2024
Re: Can D simulated by H terminate normally? --- Message_ID Provided

By Richard Damon on Sat May 18 15:15:12 2024

Latest reply by immibis on Tue May 21 06:50:42 2024
Re: Can D simulated by H terminate normally? Message_ID Provided V2

By Richard Damon on Sun May 19 21:10:49 2024

Latest reply by Richard Damon on Mon May 20 20:57:35 2024
Re: Every D correctly simulated by H cannot possible reach its own line

By Richard Damon on Sun May 19 23:24:01 2024

Latest reply by Richard Damon on Mon May 20 20:57:30 2024
Re: Every D(D) is correctly simulated by H

By Richard Damon on Sun May 19 15:09:10 2024

Latest reply by Richard Damon on Mon May 20 20:57:25 2024
Re: Termination analyzer defined ---RICHARD IS WRONG !!!

By Richard Damon on Sat May 11 12:47:11 2024

Latest reply by Mikko on Sat May 18 12:33:43 2024
Re: Termination analyzer defined ---OLCOTT IS A LIAR !!!

By Richard Damon on Tue May 14 22:16:15 2024

Latest reply by Richard Damon on Sun May 19 13:17:23 2024
=?UTF-8?B?UmU6IOKEmeKJoOKEleKEmSBwcm9vZg==?=

By immibis on Sun May 19 04:21:31 2024

Latest reply by immibis on Sat May 18 12:36:46 2024
Re: Olcott is a Liar!

By Richard Damon on Tue May 14 22:15:34 2024

Latest reply by Mikko on Sat May 18 13:38:00 2024
Re: Can D simulated by H terminate normally? --- Message-ID provided

By Richard Damon on Sat May 18 12:49:27 2024

Latest reply by Richard Damon on Sat May 18 13:40:45 2024
Re: Unconventional partial halt decider and grounding to a truthmaker

By Richard Damon on Thu May 16 22:29:14 2024

Latest reply by Richard Damon on Sat May 18 13:22:22 2024
Re: How do I quote the past post of usenet?

By immibis on Sat May 18 10:57:19 2024

Latest reply by Mikko on Sat May 18 12:40:46 2024
=?UTF-8?B?UmU6IGVtYmVkZGVkX0gg4p+oxKTin6kg4p+oxKTin6kgd2hlcmUgZW1i?= =?

By Richard Damon on Sat May 18 11:06:16 2024

Latest reply by Richard Damon on Sat May 18 11:06:16 2024
Re: Richard is proven to be incorrect on a key point

By Richard Damon on Sat May 18 11:03:22 2024

Latest reply by Richard Damon on Sat May 18 11:03:22 2024
Re: No Message-ID therefore construed as Liar. Message ID Provided, so

By Richard Damon on Sat May 18 09:13:21 2024

Latest reply by Richard Damon on Sat May 18 09:13:21 2024
Re: Can D simulated by H terminate normally?

By Richard Damon on Sat Apr 27 20:49:28 2024

Latest reply by Richard Damon on Sat May 18 09:11:56 2024
Re: No Message-ID therefore construed as Liar

By Richard Damon on Sat May 18 07:24:55 2024

Latest reply by Richard Damon on Sat May 18 07:24:55 2024
Re: True on the basis of meaning --- Tarski

By Richard Damon on Tue May 14 22:16:45 2024

Latest reply by Richard Damon on Fri May 17 21:07:53 2024
Re: True on the basis of meaning

By Richard Damon on Fri May 10 23:16:35 2024

Latest reply by Richard Damon on Fri May 17 21:07:42 2024
Re: Termination analyzer defined ---OLCOTT IS WRONG !!!

By Richard Damon on Sun May 12 12:58:16 2024

Latest reply by Richard Damon on Fri May 17 21:07:36 2024
Re: Olcott is a Liar?

By Richard Damon on Fri May 17 21:07:28 2024

Latest reply by Richard Damon on Fri May 17 21:07:28 2024
Re: Nature of undecidable halting ---Handling undecidable inputs

By Richard Damon on Fri May 17 21:06:49 2024

Latest reply by Richard Damon on Fri May 17 21:06:49 2024
Nature of undecidable halting

By joes on Thu May 16 13:20:48 2024

Latest reply by Mikko on Fri May 17 13:04:35 2024
Re: Nature of undecidable halting --- Connecting truth-bearers to their

By Richard Damon on Thu May 16 23:11:15 2024

Latest reply by Richard Damon on Thu May 16 23:11:15 2024
Re: Olcott is a patholgociat liar!

By Richard Damon on Thu May 16 22:29:30 2024

Latest reply by Richard Damon on Thu May 16 22:29:30 2024
Re: What is the complexity classification of sat(..) ?

By immibis on Mon May 13 07:00:19 2024

Latest reply by Ben Bacarisse on Thu May 16 13:07:39 2024
Re: Is Olcott is a Liar!

By Richard Damon on Wed May 15 20:24:48 2024

Latest reply by Richard Damon on Wed May 15 20:24:48 2024
Re: Is Richard a Liar? No!

By Alan Mackenzie on Wed May 15 13:40:57 2024

Latest reply by Richard Damon on Wed May 15 20:24:44 2024
Re: Is Richard a Liar? No! (Glad you argree)

By Richard Damon on Wed May 15 20:24:42 2024

Latest reply by Richard Damon on Wed May 15 20:24:42 2024
Re: Olcott is a Pathological Liar!

By Richard Damon on Tue May 14 22:15:30 2024

Latest reply by Richard Damon on Tue May 14 22:15:30 2024
Re: A computable function that reports on the behavior of its actual se

By Richard Damon on Sun May 12 16:33:33 2024

Latest reply by Richard Damon on Mon May 13 21:51:38 2024
Re: Richard KEEPS TRYING to get away with this falsehood

By Richard Damon on Fri May 10 12:12:32 2024

Latest reply by immibis on Tue May 14 02:17:18 2024
Re: True on the basis of meaning --- Good job Richard !

By Richard Damon on Mon May 13 20:29:51 2024

Latest reply by Richard Damon on Mon May 13 21:52:29 2024
Re: Olcott KEEPS LYING about Richard not refuting his statemnt.

By Richard Damon on Mon May 13 21:51:18 2024

Latest reply by Richard Damon on Mon May 13 21:51:18 2024
Re: Olcott KEEPS TRYING to get away with this falsehood

By Richard Damon on Mon May 13 20:29:59 2024

Latest reply by Richard Damon on Mon May 13 20:30:02 2024
Original halting problem proof review

By joes on Sun May 12 18:41:09 2024

Latest reply by Mikko on Mon May 13 11:16:26 2024
Re: Linz's proofs and other undecidable decision problems [LP as basis]

By Mikko on Sat May 11 11:00:59 2024

Latest reply by Mikko on Mon May 13 11:09:21 2024
Re: Termination analyzer defined

By Richard Damon on Fri May 10 22:16:34 2024

Latest reply by immibis on Mon May 13 06:57:29 2024
Olcott admits to being a liar!

By Richard Damon on Sun May 12 12:57:47 2024

Latest reply by Richard Damon on Sun May 12 12:57:47 2024
Re: Every D(D) simulated by H presents non-halting behavior to H +++

By Richard Damon on Mon May 6 23:07:26 2024

Latest reply by Richard Damon on Sat May 11 19:25:18 2024
Re: Unconventional termination analyzer D correctly reports halt status

By Richard Damon on Sat May 11 19:25:04 2024

Latest reply by Richard Damon on Sat May 11 19:25:04 2024
Re: Unconventional termination analyzer H correctly reports halt status

By Richard Damon on Sat May 11 19:24:59 2024

Latest reply by Richard Damon on Sat May 11 19:24:59 2024
Re: Is Oclott a Liar?

By Richard Damon on Sat May 11 12:46:02 2024

Latest reply by Richard Damon on Sat May 11 12:46:02 2024
Olcott admits to creating defintion out of his *ss

By Richard Damon on Fri May 10 23:16:26 2024

Latest reply by Richard Damon on Fri May 10 23:16:26 2024
Re: Is Richard a Liar? No, but Olcott is.

By Richard Damon on Fri May 10 22:39:54 2024

Latest reply by Richard Damon on Fri May 10 22:39:54 2024
Olcott doesn't know the difference between an element an the set

By Richard Damon on Fri May 10 22:17:12 2024

Latest reply by Richard Damon on Fri May 10 22:17:12 2024
Olcott thinks One is Infinity

By Richard Damon on Fri May 10 18:39:13 2024

Latest reply by Richard Damon on Fri May 10 18:39:13 2024
Olcott can't tell the difference between a machine and an infinte set o

By Richard Damon on Fri May 10 17:59:51 2024

Latest reply by Richard Damon on Fri May 10 17:59:51 2024
Olcott thinks something isn't iteself.

By Richard Damon on Fri May 10 17:19:50 2024

Latest reply by Richard Damon on Fri May 10 17:19:50 2024
Olcott keeps on lying.

By Richard Damon on Fri May 10 16:09:37 2024

Latest reply by Richard Damon on Fri May 10 16:09:37 2024
Re: Every D(D) simulated by H presents non-halting behavior to H ...

By Mikko on Wed May 8 19:11:33 2024

Latest reply by Fred. Zwarts on Fri May 10 14:53:18 2024
Re: Every D(D) simulated by H presents non-halting behavior to H --- Mu

By Richard Damon on Thu May 9 22:31:29 2024

Latest reply by Richard Damon on Fri May 10 10:18:32 2024
Re: Every D(D) simulated by H presents non-halting behavior to H ---Air

By Richard Damon on Thu May 9 22:31:27 2024

Latest reply by Richard Damon on Fri May 10 10:18:30 2024
Re: Olcott doesn't understand logic

By Richard Damon on Fri May 10 10:18:25 2024

Latest reply by Richard Damon on Fri May 10 10:18:25 2024
Re: Every D(D) simulated by H presents non-halting behavior to H @@@

By Richard Damon on Wed May 8 07:39:04 2024

Latest reply by joes on Thu May 9 12:34:13 2024
Re: Every D(D) simulated by H presents non-halting behavior to H

By Richard Damon on Sun May 5 13:22:54 2024

Latest reply by Richard Damon on Thu May 9 07:28:22 2024
Re: Every D(D) simulated by H presents non-halting behavior to H ===

By Richard Damon on Mon May 6 23:17:22 2024

Latest reply by immibis on Thu May 9 03:35:12 2024
Re: Every D(D) simulated by H presents non-halting behavior to H <<<

By Richard Damon on Wed May 8 07:39:00 2024

Latest reply by Richard Damon on Wed May 8 21:27:56 2024
Re: D simulated by H never halts no matter what H does V3 ---

By Richard Damon on Sat May 4 13:15:47 2024

Latest reply by immibis on Tue May 7 03:37:46 2024
Re: Every D(D) simulated by H presents non-halting behavior to H ---

By Richard Damon on Mon May 6 06:33:27 2024

Latest reply by Richard Damon on Mon May 6 22:11:21 2024
Re: D simulated by H never halts no matter what H does V3

By Richard Damon on Sat Apr 27 07:45:11 2024

Latest reply by Mikko on Mon May 6 19:15:26 2024
Re: your system clock is still off

By Richard Damon on Sun May 5 21:05:50 2024

Latest reply by Mikko on Mon May 6 18:50:48 2024
Re: Real Number --- Merely numbers whose digits can be infinitely long

By Ben Bacarisse on Mon Apr 29 11:57:55 2024

Latest reply by Ben Bacarisse on Sun May 5 10:14:39 2024
Re: Can D simulated by H terminate normally? ---

By Richard Damon on Thu May 2 07:04:11 2024

Latest reply by Richard Damon on Fri May 3 22:12:48 2024
Re: Proving my 2004 claim that some decider/input pairs are incorrect q

By immibis on Wed Mar 13 01:11:11 2024

Latest reply by Richard Damon on Tue Apr 30 18:46:13 2024
Re: Can D simulated by H terminate normally? POE

By Richard Damon on Sun Apr 28 15:29:50 2024

Latest reply by Richard Damon on Mon Apr 29 19:19:22 2024
Re: Undecidability based on epistemological antinomies V2 --H(D,D)--

By Richard Damon on Wed Apr 24 19:01:59 2024

Latest reply by Richard Damon on Mon Apr 29 19:19:14 2024
Re: Can there be a truth without a truthmaker?

By Richard Damon on Tue Apr 2 22:10:26 2024

Latest reply by Lawrence D'Oliveiro on Sat Apr 27 08:16:59 2024
Re: D simulated by H never halts no matter what H does

By Richard Damon on Fri Apr 26 14:09:04 2024

Latest reply by Richard Damon on Fri Apr 26 23:45:38 2024
Re: Undecidability based on epistemological antinomies V2 --Mendelson--

By Richard Damon on Sat Apr 20 12:52:36 2024

Latest reply by Richard Damon on Fri Apr 26 15:01:20 2024
Re: Undecidability based on epistemological antinomies V2 --correct rea

By Richard Damon on Sun Apr 21 17:19:07 2024

Latest reply by Richard Damon on Thu Apr 25 21:51:10 2024
Re: Undecidability based on epistemological antinomies V2 --Tarski Proo

By Richard Damon on Fri Apr 19 19:20:49 2024

Latest reply by Richard Damon on Sun Apr 21 12:52:46 2024
Re: Undecidability based on epistemological antinomies V2

By Richard Damon on Wed Apr 17 23:13:45 2024

Latest reply by Richard Damon on Sun Apr 21 07:19:32 2024
Re: Undecidability based on epistemological antinomies

By Richard Damon on Wed Apr 17 18:42:45 2024

Latest reply by Richard Damon on Wed Apr 17 22:11:12 2024
=?UTF-8?Q?Re=3A_Definition_of_real_number_=E2=84=9D_--infinitesimal?= =

By Andy Walker on Thu Mar 28 16:43:49 2024

Latest reply by =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Thu Apr 4 14:20:32 2024
Re: Definition of real number =?utf-8?Q?=E2=84=9D?= --infinitesimal--

By Keith Thompson on Fri Mar 29 20:36:08 2024

Latest reply by Ben Bacarisse on Wed Apr 3 23:12:57 2024
=?UTF-8?Q?Re:_Definition_of_real_number_=e2=84=9d_--infinitesimal--?=

By Mike Terry on Tue Apr 2 15:44:41 2024

Latest reply by Mike Terry on Wed Apr 3 20:41:25 2024
Re: Categorically exhaustive reasoning applied to the decision to abort

By Richard Damon on Sat Mar 23 10:15:10 2024

Latest reply by Richard Damon on Wed Apr 3 18:07:27 2024
Re: Does Tarski Undefinability apply to HOL ?

By Richard Damon on Mon Apr 1 19:18:20 2024

Latest reply by Richard Damon on Mon Apr 1 19:18:20 2024
Re: No one can correctly refute that simulating abort decider A(D,D) is

By Fred. Zwarts on Wed Mar 27 20:57:13 2024

Latest reply by Richard Damon on Fri Mar 29 22:40:37 2024
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--

By Mikko on Thu Mar 21 18:29:43 2024

Latest reply by Richard Damon on Fri Mar 29 13:22:11 2024
Re: Can any pathological input thwart a simulating abort decider?

By immibis on Fri Mar 22 20:44:40 2024

Latest reply by Richard Damon on Fri Mar 29 13:01:44 2024
Re: Can an abort decider be defined that cannot be fooled by any pathol

By Fred. Zwarts on Sun Mar 24 09:51:33 2024

Latest reply by Richard Damon on Fri Mar 29 13:01:37 2024
=?UTF-8?Q?Re=3A_Definition_of_real_number_=E2=84=9D?=

By Fred. Zwarts on Thu Mar 28 14:16:52 2024

Latest reply by Fred. Zwarts on Thu Mar 28 21:31:23 2024
Re: Repeating decimals are irrational

By Richard Damon on Tue Mar 26 22:17:56 2024

Latest reply by Richard Damon on Wed Mar 27 23:02:49 2024
Re: The Real 'Real Number'

By Ben Bacarisse on Mon Mar 25 23:55:51 2024

Latest reply by Ben Bacarisse on Mon Mar 25 23:55:51 2024
Re: Real Number & Restoring Interpretation of Calculus

By Mikko on Sun Mar 24 18:13:19 2024

Latest reply by Richard Damon on Mon Mar 25 23:03:53 2024
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC

By immibis on Fri Mar 22 21:32:38 2024

Latest reply by Richard Damon on Mon Mar 25 19:53:32 2024
Re: Proof that H(D,D) meets its abort criteria --verified fact--

By Fred. Zwarts on Sat Mar 23 19:47:03 2024

Latest reply by Richard Damon on Mon Mar 25 19:44:00 2024
Re: Proof that H(D,D) meets its abort criteria --self-evident truth--

By immibis on Sun Mar 17 03:26:52 2024

Latest reply by Mikko on Sun Mar 24 19:22:21 2024
Re: Categorically exhaustive reasoning applied to --the error of the ha

By Richard Damon on Sat Mar 23 13:08:28 2024

Latest reply by Mikko on Sun Mar 24 18:46:34 2024
French Book entitled "How to succeed in love" was published in 1830

By HenHanna on Sun Mar 24 18:44:05 2024

Latest reply by HenHanna on Sun Mar 24 18:44:05 2024
Re: Proof that H(D,D) meets its abort criteria --no actual limit--

By Richard Damon on Thu Mar 21 23:11:15 2024

Latest reply by Mikko on Sun Mar 24 12:43:39 2024
Re: The behavior of D(D) varies between its correct simulation by H1(D,

By Richard Damon on Fri Mar 22 22:17:08 2024

Latest reply by Richard Damon on Sat Mar 23 13:08:12 2024
Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- v

By Richard Damon on Thu Mar 21 07:37:26 2024

Latest reply by Richard Damon on Sat Mar 23 10:14:57 2024
Re: Time management

By Richard Damon on Fri Mar 22 22:57:53 2024

Latest reply by Richard Damon on Sat Mar 23 10:14:52 2024
Re: Proof that H(D,D) meets its abort criteria --self-evident truth--li

By Mikko on Thu Mar 21 11:41:34 2024

Latest reply by Mikko on Fri Mar 22 09:47:17 2024
Olcott has proved that the biggest number is 5.

By immibis on Tue Mar 19 00:19:26 2024

Latest reply by immibis on Fri Mar 22 04:45:22 2024
Re: Proof that H(D,D) meets its abort criteria --explicit proof--limits

By Mikko on Thu Mar 21 11:39:35 2024

Latest reply by Mikko on Thu Mar 21 11:39:35 2024
Re: Proof that H(D,D) meets its abort criteria --incorrect question ins

By immibis on Wed Mar 20 20:44:02 2024

Latest reply by Richard Damon on Wed Mar 20 22:32:06 2024
Re: Proof that H(D,D) meets its abort criteria --induction criteria--

By Fred. Zwarts on Wed Mar 20 20:11:14 2024

Latest reply by Richard Damon on Wed Mar 20 17:21:23 2024
Re: Proof that H(D,D) meets its abort criteria

By immibis on Fri Mar 15 18:07:12 2024

Latest reply by Mikko on Wed Mar 20 17:41:36 2024
Re: Analytical truth redefined

By olcott on Tue Mar 19 16:10:36 2024

Latest reply by Richard Damon on Wed Mar 20 17:33:05 2024
Re: Proof that H(D,D) meets its abort criteria --explicit proof--

By Mikko on Wed Mar 20 10:12:57 2024

Latest reply by Mikko on Wed Mar 20 17:27:50 2024
Re: Proof that H(D,D) meets its abort criteria --incorrect question--(b

By Richard Damon on Tue Mar 19 10:20:58 2024

Latest reply by Richard Damon on Wed Mar 20 10:40:59 2024
Re: ZFC solution to incorrect questions: reject them --discourse contex

By immibis on Sat Mar 16 20:57:04 2024

Latest reply by Richard Damon on Wed Mar 20 10:23:45 2024
Re: Analytical truth redefined so that Quine can understand that bachel

By Mikko on Mon Mar 18 12:30:45 2024

Latest reply by olcott on Wed Mar 20 07:49:50 2024
Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- -

By Richard Damon on Tue Mar 19 08:46:31 2024

Latest reply by Richard Damon on Tue Mar 19 08:46:31 2024
Re: H(D,D)==0 is correct when reports on the actual behavior that it se

By Richard Damon on Fri Mar 15 09:45:51 2024

Latest reply by Richard Damon on Mon Mar 18 17:21:28 2024
Re: Olcott ignores certain topics

By immibis on Mon Mar 18 21:31:32 2024

Latest reply by immibis on Mon Mar 18 21:31:32 2024
Re: Olcott is the only person able to construct a square circle.

By immibis on Mon Mar 18 00:10:01 2024

Latest reply by immibis on Mon Mar 18 00:10:01 2024
Re: All halt deciders are clairvoyant

By immibis on Sun Mar 17 18:40:24 2024

Latest reply by immibis on Sun Mar 17 18:40:24 2024
Proof that H(D,D) doesn't meet its specification

By immibis on Sun Mar 17 18:32:25 2024

Latest reply by immibis on Sun Mar 17 18:32:25 2024
=?utf-8?Q?Re:_H_=E2=9F=A8=C4=A4=E2=9F=A9_=E2=9F=A8=C4=A4=E2=9F=A9_is_co

By Mikko on Fri Mar 15 14:22:14 2024

Latest reply by Mikko on Sun Mar 17 16:07:36 2024
Re: Proof that H(D,D) meets its abort criteria --mistake--

By Richard Damon on Fri Mar 15 15:10:49 2024

Latest reply by Mikko on Sun Mar 17 15:30:30 2024
Re: Proof that H(D,D) meets its abort criteria --Categorically Exhausti

By Richard Damon on Fri Mar 15 18:22:00 2024

Latest reply by Mikko on Sun Mar 17 11:46:18 2024
Re: Proof that H(D,D) meets its abort criteria --timing error--

By Richard Damon on Sat Mar 16 09:45:45 2024

Latest reply by Mikko on Sun Mar 17 11:21:35 2024
Re: Proof that H(D,D) meets its abort criteria --philosophical foundati

By immibis on Sun Mar 17 02:13:42 2024

Latest reply by immibis on Sun Mar 17 02:13:42 2024
Re: Halt deciders accurately predict future behavior based on past beha

By immibis on Sat Mar 16 20:56:17 2024

Latest reply by Richard Damon on Sat Mar 16 18:00:30 2024
Re: Every halting decider is clairvoyant

By immibis on Sat Mar 16 18:30:47 2024

Latest reply by immibis on Sat Mar 16 18:30:47 2024
Re: ZFC solution to incorrect questions: reject them

By immibis on Wed Mar 13 02:05:53 2024

Latest reply by Richard Damon on Sat Mar 16 12:19:44 2024
Re: Incorrect questions and halt deciders --Liars?--

By Richard Damon on Thu Mar 14 14:18:42 2024

Latest reply by Richard Damon on Sat Mar 16 12:50:26 2024
Re: Obviously Olcott doesn't understand what his own words mean!

By immibis on Sat Mar 16 04:14:23 2024

Latest reply by immibis on Sat Mar 16 04:14:23 2024
Re: Proof that H(D,D) meets its abort criteria --moved dialogue--

By Richard Damon on Fri Mar 15 18:33:31 2024

Latest reply by Richard Damon on Fri Mar 15 19:55:49 2024
=?UTF-8?B?UmU6IEgg4p+oxKTin6kg4p+oxKTin6kgaXMgY29ycmVjdCB3aGVuIHJl?= =?

By Richard Damon on Wed Mar 13 10:24:53 2024

Latest reply by immibis on Fri Mar 15 18:09:31 2024
Re: H(D,D) ==0 is correct when reports on the actual behavior that it s

By immibis on Fri Mar 15 18:09:00 2024

Latest reply by immibis on Fri Mar 15 18:09:00 2024
=?utf-8?B?UmU6IEgg4p+oxKTin6kg4p+oxKTin6kgaXMgY29ycmVjdCB3aGVuIHJlcG9yd

By Mikko on Wed Mar 13 18:54:50 2024

Latest reply by Mikko on Fri Mar 15 14:14:44 2024
Re: Incorrect questions and halt deciders

By Richard Damon on Wed Mar 13 17:09:54 2024

Latest reply by Richard Damon on Thu Mar 14 14:20:45 2024
=?utf-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk4p+pI

By Mikko on Wed Mar 13 18:45:27 2024

Latest reply by Mikko on Thu Mar 14 13:45:15 2024
Re: ZFC solution to incorrect questions: reject them --undecidability d

By Richard Damon on Wed Mar 13 08:21:39 2024

Latest reply by Richard Damon on Wed Mar 13 16:10:05 2024
=?UTF-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk?= =?

By Richard Damon on Wed Mar 13 11:06:38 2024

Latest reply by Richard Damon on Wed Mar 13 15:26:55 2024
=?UTF-8?B?UmU6IFdoZW4gSCDin6jEpOKfqSDin6jEpOKfqSByZXBvcnRzIG9uIHRo?= =?

By immibis on Wed Mar 13 19:56:01 2024

Latest reply by immibis on Wed Mar 13 19:56:01 2024
=?utf-8?Q?Re:_When_H_=E2=9F=A8=C4=A4=E2=9F=A9_=E2=9F=A8=C4=A4=E2=9F=A9_

By Mikko on Wed Mar 13 18:31:33 2024

Latest reply by Mikko on Wed Mar 13 18:42:47 2024
Re: My 2004 claim that some decider/input pairs are incorrect questions

By Richard Damon on Wed Mar 13 08:30:08 2024

Latest reply by Richard Damon on Wed Mar 13 09:39:16 2024
=?UTF-8?Q?Re=3A_ZFC_solution_to_incorrect_questions=3A_reject_them_?= =

By Richard Damon on Tue Mar 12 19:51:26 2024

Latest reply by Richard Damon on Tue Mar 12 22:18:54 2024
Re: ZFC solution to incorrect questions: reject them (NFFC)

By Richard Damon on Tue Mar 12 19:32:38 2024

Latest reply by Richard Damon on Tue Mar 12 19:32:38 2024