1. Forum
  2. Usenet
  3. COMP.THEORY
Re: Complete proof that the input to HHH(DD)==0 --- The HP proof is wro

By Richard Heathfield on Thu Aug 28 03:56:26 2025

Latest reply by Fred. Zwarts on Wed Sep 3 10:05:27 2025
Re: the naive halting problem is now corrected

By Mr Flibble on Sat Aug 16 14:42:49 2025

Latest reply by Mikko on Wed Sep 3 10:52:34 2025
Re: Five different LLM systems agree with my rebuttal of the HP proofs.

By Mr Flibble on Tue Sep 2 18:31:01 2025

Latest reply by Fred. Zwarts on Wed Sep 3 09:49:35 2025
Pink (Reprise)

By Mr Flibble on Mon Sep 1 17:31:56 2025

Latest reply by Richard Damon on Tue Sep 2 22:34:03 2025
Pink isn't a physical colour

By Mr Flibble on Sat Aug 23 21:56:11 2025

Latest reply by Richard Damon on Tue Sep 2 22:25:03 2025
Re: HHH(DD)==0 as a pure function of its inputs

By Richard Heathfield on Wed Aug 27 18:58:41 2025

Latest reply by Kaz Kylheku on Tue Sep 2 17:02:15 2025
Re: Why Is it correct for HHH(DD) to reject its input as non-halting wh

By Mr Flibble on Wed Aug 20 17:50:28 2025

Latest reply by Richard Damon on Mon Sep 1 12:35:00 2025
The simple fact that Olcott still doesn't get

By Mr Flibble on Mon Sep 1 00:08:48 2025

Latest reply by Richard Damon on Mon Sep 1 13:29:44 2025
Re: How is this answer not self-evident ?

By Richard Heathfield on Wed Aug 13 06:43:34 2025

Latest reply by Richard Damon on Mon Sep 1 11:58:53 2025
Re: Measuring the actual behavior of the actual input to HHH(DD)

By Richard Heathfield on Sat Aug 23 20:58:16 2025

Latest reply by Mikko on Sun Aug 31 11:45:47 2025
Re: Enter FF. What should HHH(DD) return now?

By Richard Heathfield on Wed Aug 27 08:49:20 2025

Latest reply by Mikko on Sun Aug 31 11:38:52 2025
Re: Infinitesimals don't exist --- PROVEN OTHERWISE

By Kaz Kylheku on Tue Aug 26 21:36:53 2025

Latest reply by Richard Damon on Sat Aug 30 08:35:31 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- pro

By Richard Heathfield on Sat Aug 9 21:09:28 2025

Latest reply by joes on Sat Aug 30 09:08:58 2025
Re: The Peter Linz HP proof

By Mikko on Tue Aug 26 11:51:02 2025

Latest reply by Richard Damon on Fri Aug 29 22:03:11 2025
Re: Correct simulation of DDD by HHH is proven

By Richard Damon on Tue Aug 12 18:41:26 2025

Latest reply by Richard Damon on Fri Aug 29 21:59:49 2025
Re: How is this answer not self-evident ? --- Recursive simulation

By Mr Flibble on Sat Aug 23 17:01:12 2025

Latest reply by Fred. Zwarts on Thu Aug 28 10:51:59 2025
Re: All rebuttals to this have been proven to be counter-factual

By Kaz Kylheku on Mon Aug 25 17:25:55 2025

Latest reply by Fred. Zwarts on Thu Aug 28 08:51:17 2025
Enter EE. What should HHH(DD) return now?

By Richard Heathfield on Tue Aug 26 21:10:30 2025

Latest reply by Richard Damon on Wed Aug 27 21:54:05 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- My first po

By Richard Damon on Sun Aug 24 18:03:17 2025

Latest reply by Mikko on Wed Aug 27 10:44:00 2025
Infinitesimals don't exist

By Mr Flibble on Mon Aug 25 02:53:17 2025

Latest reply by Kaz Kylheku on Wed Aug 27 06:05:40 2025
Re: That the input to HHH(DD) specifies non-halting behavior --- IS A V

By Richard Heathfield on Tue Aug 26 21:52:18 2025

Latest reply by Richard Heathfield on Tue Aug 26 22:25:36 2025
New twist. Does Olcott now think DD halts? Or doesn't he?

By Richard Heathfield on Tue Aug 26 20:44:29 2025

Latest reply by Richard Heathfield on Tue Aug 26 21:48:17 2025
Re: Agreement that Olcott is correct

By Richard Damon on Tue Aug 26 21:40:37 2025

Latest reply by Richard Damon on Tue Aug 26 21:40:37 2025
Re: Those who claim to win by the AI... --- failing to understand

By Richard Heathfield on Mon Aug 25 07:28:54 2025

Latest reply by Richard Damon on Tue Aug 26 21:35:38 2025
Re: DD correctly simulated by HHH proves that it never stops running

By Richard Heathfield on Mon Aug 25 16:18:15 2025

Latest reply by Richard Damon on Tue Aug 26 21:30:49 2025
Re: Agreement that Olcott's reasoning is screwed

By Richard Heathfield on Tue Aug 26 16:57:35 2025

Latest reply by Richard Heathfield on Tue Aug 26 19:23:06 2025
=?UTF-8?Q?Re=3A_Olcott_correctly_points_out_misconceptions_in_the_H?= =

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Tue Aug 19 16:58:53 2025

Latest reply by Richard Heathfield on Tue Aug 26 19:20:18 2025
Re: The heart of Olcott's misconception of the HP proofs?

By Richard Heathfield on Tue Aug 26 17:12:08 2025

Latest reply by Richard Heathfield on Tue Aug 26 17:12:08 2025
Re: Agreement that Olcott' reasoning is screwed

By Richard Heathfield on Tue Aug 26 17:07:35 2025

Latest reply by Richard Heathfield on Tue Aug 26 17:07:35 2025
Negative zero doesn't exist

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

Latest reply by Mikko on Tue Aug 26 13:21:36 2025
Signaling Simulating Halt Decider -- Copyright 2022 Mr Flibble

By Mr Flibble on Sun Aug 24 22:14:26 2025

Latest reply by Mikko on Tue Aug 26 12:34:35 2025
Olcott's obtuseness

By Mr Flibble on Mon Aug 18 20:35:30 2025

Latest reply by Mikko on Tue Aug 26 11:39:51 2025
Re: Those who claim to win by the AI... --- failing to understand and L

By Fred. Zwarts on Tue Aug 26 10:43:36 2025

Latest reply by Fred. Zwarts on Tue Aug 26 10:43:36 2025
Those who claim to win by the AI...

By Richard Heathfield on Thu Aug 21 10:53:05 2025

Latest reply by Fred. Zwarts on Tue Aug 26 10:26:28 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- Updating my

By Richard Heathfield on Mon Aug 25 15:39:22 2025

Latest reply by Richard Damon on Mon Aug 25 19:02:01 2025
Re: DD halts.

By Richard Heathfield on Mon Aug 25 18:58:15 2025

Latest reply by Richard Heathfield on Mon Aug 25 19:30:32 2025
Re: Alan Turing's Halting Problem is incorrectly formed --- Updated fro

By Richard Heathfield on Mon Aug 25 15:25:36 2025

Latest reply by Richard Heathfield on Mon Aug 25 15:25:36 2025
Re: My most significant progress --- Recursive simulation

By Richard Heathfield on Mon Aug 25 06:54:27 2025

Latest reply by Richard Damon on Mon Aug 25 07:10:25 2025
Re: Those who claim to win by the AI... --- wij can't understand that h

By Richard Damon on Fri Aug 22 20:05:40 2025

Latest reply by Richard Damon on Mon Aug 25 07:04:16 2025
clouding over somewhat later on

By Mr Flibble on Mon Aug 25 00:11:01 2025

Latest reply by Mr Flibble on Mon Aug 25 00:11:01 2025
White Hydrogen

By Mr Flibble on Sun Aug 24 02:15:41 2025

Latest reply by Mr Flibble on Sun Aug 24 02:15:41 2025
Re: The simple fact that Olcott just doesn't get

By Richard Damon on Sat Aug 23 19:48:23 2025

Latest reply by Mr Flibble BSc (Hons) on Sat Aug 23 23:43:24 2025
Sheep May Safely Graze

By Mr Flibble on Sat Aug 23 13:38:49 2025

Latest reply by Richard Damon on Sat Aug 23 13:57:12 2025
Re: Despicable liars use defamation of character as their rebuttal

By Richard Heathfield on Thu Aug 21 16:11:20 2025

Latest reply by Richard Heathfield on Fri Aug 22 15:22:12 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield tells the

By Richard Heathfield on Tue Aug 19 00:46:07 2025

Latest reply by Richard Damon on Fri Aug 22 11:38:27 2025
Re: Efficient way to communicate with olcott --- ChatGPT 5.0 standard t

By Richard Damon on Fri Aug 22 11:36:47 2025

Latest reply by Richard Damon on Fri Aug 22 11:36:47 2025
Re: Those who claim to win by the AI... --- verify verify verify

By Fred. Zwarts on Fri Aug 22 10:21:41 2025

Latest reply by Richard Damon on Fri Aug 22 11:21:17 2025
Re: Correct simulation of DDD by HHH is proven --- Here is Heathfield's

By Richard Heathfield on Thu Aug 21 17:50:32 2025

Latest reply by Richard Heathfield on Thu Aug 21 19:30:37 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- sel

By Richard Heathfield on Wed Aug 20 15:31:13 2025

Latest reply by Fred. Zwarts on Thu Aug 21 10:25:36 2025
Re: Correct simulation of DDD by HHH is proven --- Five LLM systems all

By Fred. Zwarts on Thu Aug 21 10:06:53 2025

Latest reply by Fred. Zwarts on Thu Aug 21 10:06:53 2025
Re: Correct simulation of DDD by HHH is proven --- Zwarts stupidly igno

By Fred. Zwarts on Thu Aug 21 10:02:37 2025

Latest reply by Fred. Zwarts on Thu Aug 21 10:02:37 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- Can

By Richard Heathfield on Thu Aug 21 05:34:13 2025

Latest reply by Richard Heathfield on Thu Aug 21 05:34:13 2025
Re: And your halt decider is? Crap, Lie, or both?

By Richard Heathfield on Thu Aug 21 05:02:48 2025

Latest reply by Richard Heathfield on Thu Aug 21 05:02:48 2025
And your halt decider is? Crap, Lie, or both? [Was Re: #LiesAboutElecti

By Richard Heathfield on Thu Aug 21 03:25:21 2025

Latest reply by Richard Heathfield on Thu Aug 21 03:25:21 2025
Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLY a

By Richard Heathfield on Tue Aug 19 03:16:10 2025

Latest reply by Mike Terry on Thu Aug 21 03:23:30 2025
Re: Correct simulation of DDD by HHH is proven --- Details of how HHH(D

By Mike Terry on Thu Aug 21 02:24:10 2025

Latest reply by Mike Terry on Thu Aug 21 02:24:10 2025
Re: ChatGPT 5.0 wrote this Rubric so that every LLM system evaluates DD

By Richard Damon on Wed Aug 20 22:04:40 2025

Latest reply by Richard Damon on Wed Aug 20 22:04:40 2025
Re: Olcott correctly points out misconceptions in the HP proofs --- Bac

By Richard Heathfield on Wed Aug 20 18:34:41 2025

Latest reply by Richard Heathfield on Wed Aug 20 18:56:32 2025
=?UTF-8?Q?Re:_Olcott_correctly_points_out_misconceptions_in_the_HP_?= =

By Mike Terry on Wed Aug 20 17:30:04 2025

Latest reply by Mike Terry on Wed Aug 20 17:30:04 2025
Re: Efficient way to communicate with olcott --- DON'T LIE OR TRY TO MI

By Richard Heathfield on Tue Aug 19 01:45:47 2025

Latest reply by Richard Damon on Wed Aug 20 07:46:50 2025
Re: Efficient way to communicate with olcott

By Richard Heathfield on Fri Aug 15 20:37:32 2025

Latest reply by Richard Damon on Wed Aug 20 07:26:43 2025
HHH(DD) == ?

By Mr Flibble on Sun Aug 17 18:13:59 2025

Latest reply by Richard Damon on Sun Aug 17 20:43:43 2025
Re: Efficient way to communicate with olcott --- Kaz

By Richard Damon on Sat Aug 16 09:03:33 2025

Latest reply by Richard Damon on Sun Aug 17 14:43:58 2025
Re: the naive halting problem is now corrected --- pure function of its

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Sat Aug 16 15:11:06 2025

Latest reply by Richard Damon on Sun Aug 17 14:51:42 2025
Re: The domain of Turing machine halt deciders does not include other T

By Richard Damon on Tue Aug 12 18:52:58 2025

Latest reply by Mikko on Sun Aug 17 11:41:10 2025
Re: Proof that DDD is correctly emulated by an emulated HHH

By Mikko on Thu Jul 31 11:34:27 2025

Latest reply by Mikko on Sun Aug 17 11:35:04 2025
What Olcott doesn't understand

By Mr Flibble on Fri Aug 15 21:38:04 2025

Latest reply by Mikko on Sun Aug 17 11:22:00 2025
Re: Succinct rebuttal to the Linz halting problem proof --- DDD emulate

By Richard Damon on Tue Aug 12 18:44:32 2025

Latest reply by Mikko on Sun Aug 17 11:17:38 2025
Olcott's dishonesty

By Mr Flibble on Fri Aug 15 15:23:13 2025

Latest reply by Mikko on Sun Aug 17 11:08:59 2025
Re: the naive halting problem is now corrected --- deeper understanding

By Mr Flibble on Sat Aug 16 16:18:43 2025

Latest reply by Richard Heathfield on Sat Aug 16 18:37:39 2025
Re: How is this answer not self-evident ? --- Kaz

By Fred. Zwarts on Sat Aug 16 10:34:45 2025

Latest reply by Richard Damon on Sat Aug 16 14:25:18 2025
Re: Efficient way to communicate with olcott --- dbush is a liar on thi

By Richard Damon on Sat Aug 16 14:25:27 2025

Latest reply by Richard Damon on Sat Aug 16 14:25:27 2025
Re: Why three different LLM systems are correct when that say HHH(DD)==

By Richard Damon on Fri Aug 15 08:58:16 2025

Latest reply by Richard Damon on Sat Aug 16 08:58:36 2025
Olcott observation

By Mr Flibble on Fri Aug 15 23:36:52 2025

Latest reply by Mr Flibble on Fri Aug 15 23:36:52 2025
Re: [OT[ Why three different LLM systems are correct when that say HHH(

By Mike Terry on Fri Aug 15 18:15:32 2025

Latest reply by Richard Damon on Fri Aug 15 13:41:48 2025
Re: LLM systems seem to provide a very good analysis that follows from

By Richard Damon on Fri Aug 15 12:16:47 2025

Latest reply by Richard Damon on Fri Aug 15 13:17:15 2025
Re: Finally after more than three years someone that is not gaslighting

By Mr Flibble on Thu Aug 14 22:08:39 2025

Latest reply by Richard Damon on Thu Aug 14 22:44:37 2025
Re: How is this answer not self-evident ? --- Tarski undefinability the

By =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Thu Aug 14 18:33:47 2025

Latest reply by =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Thu Aug 14 20:43:28 2025
Re: Google [x86utm operating system]

By Mr Flibble on Fri Aug 8 16:18:42 2025

Latest reply by Mikko on Thu Aug 14 13:00:12 2025
Re: Google [x86utm operating system] --

By joes on Tue Aug 12 19:50:53 2025

Latest reply by Fred. Zwarts on Thu Aug 14 11:00:35 2025
Re: Claude AI sums up my work in one page

By Fred. Zwarts on Sun Aug 10 08:37:09 2025

Latest reply by Fred. Zwarts on Thu Aug 14 10:42:35 2025
Re: stateful procedures --- Kaz breakthrough

By Richard Damon on Tue Aug 12 21:46:23 2025

Latest reply by Richard Damon on Wed Aug 13 22:51:50 2025
Re: Three different LLM systems figured out my reasoning on their own w

By Mr Flibble on Mon Aug 11 19:26:13 2025

Latest reply by Richard Damon on Wed Aug 13 22:35:24 2025
Olcott's DDD(HH)

By Dan Cross on Wed Aug 13 21:21:24 2025

Latest reply by Dan Cross on Wed Aug 13 21:21:24 2025
Re: How is this answer not self-evident ? --- Rice's Theorem is now Ric

By Mr Flibble on Wed Aug 13 20:35:15 2025

Latest reply by Mr Flibble on Wed Aug 13 20:35:15 2025
Picture of Olcott

By Mr Flibble on Wed Aug 13 18:45:51 2025

Latest reply by Mr Flibble on Wed Aug 13 18:45:51 2025
Is Olcott someone's sock puppet?

By Mr Flibble on Wed Aug 13 17:39:36 2025

Latest reply by Mr Flibble on Wed Aug 13 17:39:36 2025
Is comp.theory only for discussing Peter Olcott's mistakes?

By Mr Flibble on Wed Aug 13 17:22:31 2025

Latest reply by Mr Flibble on Wed Aug 13 17:22:31 2025
Re: Google [x86utm operating system] --- Reasoning from first principle

By Richard Heathfield on Mon Aug 11 20:14:47 2025

Latest reply by Richard Heathfield on Wed Aug 13 11:09:55 2025
Christmas cards [was: Re: Claude AI sums up my work in one page]

By Andy Walker on Sun Aug 10 20:32:14 2025

Latest reply by Andy Walker on Wed Aug 13 00:42:11 2025
Re: Google [x86utm operating system] --- Foundational false assumption

By Fred. Zwarts on Tue Aug 12 12:35:06 2025

Latest reply by Richard Damon on Tue Aug 12 21:58:44 2025
Flaw in Olcott's Thinking

By Mr Flibble on Tue Aug 12 18:42:57 2025

Latest reply by Richard Damon on Tue Aug 12 21:14:09 2025
Re: Google [x86utm operating system] --- Peter Olcott thinks TMs can't

By Richard Heathfield on Tue Aug 12 14:28:57 2025

Latest reply by Richard Heathfield on Tue Aug 12 14:28:57 2025
Re: Succinct rebuttal to the Linz halting problem proof. +++

By Fred. Zwarts on Thu Aug 7 11:36:23 2025

Latest reply by Mikko on Tue Aug 12 11:51:38 2025
Re: What value should HHH(DD) correctly return?

By Mr Flibble on Wed Aug 6 18:38:57 2025

Latest reply by Mikko on Tue Aug 12 11:49:51 2025
AI nails Olcott from first principles

By Richard Heathfield on Sat Aug 9 06:10:28 2025

Latest reply by Mikko on Tue Aug 12 11:47:54 2025
Re: Olcott and his LLMs

By Richard Heathfield on Mon Aug 11 20:47:42 2025

Latest reply by Richard Damon on Mon Aug 11 21:11:38 2025
Re: Claude AI sums up my work in one page --- True(L,x) predicate

By Richard Heathfield on Mon Aug 11 19:57:15 2025

Latest reply by Richard Heathfield on Mon Aug 11 20:23:31 2025
Who is Peter "Halting Problem" Olcott?

By Mr Flibble on Sun Aug 10 23:01:36 2025

Latest reply by Richard Damon on Sun Aug 10 21:27:30 2025
Re: Claude AI sums up my work in one page -- Halting Problem False Assu

By Richard Damon on Sun Aug 10 21:24:29 2025

Latest reply by Richard Damon on Sun Aug 10 21:24:29 2025
Re: Olcott proves that he tells the truth in a way that is difficult to

By Richard Damon on Sat Aug 9 21:27:01 2025

Latest reply by Richard Damon on Sun Aug 10 13:29:56 2025
Re: Olcott correctly points out misconceptions in the HP proofs

By Richard Heathfield on Sat Aug 9 17:03:58 2025

Latest reply by Mikko on Sun Aug 10 12:36:46 2025
Olcott's Mmajor Malfunction

By Mr Flibble on Thu Aug 7 22:01:50 2025

Latest reply by Richard Heathfield on Sun Aug 10 11:00:49 2025
Re: Detecting the recursive simulation behavior pattern: HHH(DD) --- Im

By Richard Damon on Wed Aug 6 21:59:15 2025

Latest reply by Richard Heathfield on Sun Aug 10 10:21:06 2025
Re: First step needed to make progress with Olcott

By Mikko on Thu Aug 7 10:39:36 2025

Latest reply by Mikko on Sun Aug 10 11:55:04 2025
Olcott's fundamental error

By Mr Flibble on Fri Aug 8 16:32:52 2025

Latest reply by Fred. Zwarts on Sun Aug 10 08:30:44 2025
Re: Olcott has not refuted the Halting Problem proofs

By Mr Flibble on Sun Aug 10 01:10:45 2025

Latest reply by Richard Damon on Sun Aug 10 07:12:19 2025
Olcott has confirmed rather than refuted the Halting Problem proofs

By Mr Flibble on Sun Aug 10 01:13:35 2025

Latest reply by Mr Flibble on Sun Aug 10 01:13:35 2025
Re: Olcott Is A Liar

By Richard Damon on Sat Aug 9 20:43:52 2025

Latest reply by Mr Flibble on Sun Aug 10 00:28:50 2025
Olcott has confirmed rather than refuted the Halting Problem

By Mr Flibble on Sun Aug 10 00:20:18 2025

Latest reply by Mr Flibble on Sun Aug 10 00:20:18 2025
Re: Olcott has refuted the Halting Problem proofs yet has not refuted t

By Richard Damon on Sat Aug 9 21:36:23 2025

Latest reply by Richard Damon on Sat Aug 9 21:36:23 2025
Re: no such input can possibly exist

By Richard Damon on Sat Aug 9 21:22:29 2025

Latest reply by Richard Damon on Sat Aug 9 21:22:29 2025
Re: Reasoning from first principles --- AKA starting from scratch

By Mr Flibble on Sat Aug 9 17:50:23 2025

Latest reply by Richard Heathfield on Sat Aug 9 19:23:01 2025
Re: Succinct rebuttal to the Linz halting problem proof.

By Richard Damon on Wed Aug 6 07:41:09 2025

Latest reply by Richard Damon on Fri Aug 8 17:49:15 2025
Re: Proof that DD is correctly emulated by an emulated HHH

By Richard Damon on Fri Aug 8 13:45:18 2025

Latest reply by Richard Damon on Fri Aug 8 13:45:18 2025
Re: Who is telling the truth here? HHH(DDD)==0 --- Mackenzie might unde

By joes on Fri Aug 1 06:53:40 2025

Latest reply by Fred. Zwarts on Fri Aug 8 09:43:55 2025
Olcott finally proves his point

By olcott on Fri Jul 25 18:31:26 2025

Latest reply by Mikko on Sun Aug 3 10:30:16 2025
Re: Halting Problem: Universal Toturial Version

By Richard Damon on Thu Jul 31 19:12:44 2025

Latest reply by Mikko on Sun Aug 3 10:23:22 2025
Re: There are zero chances in Hell that I will quit this --- Survival o

By joes on Sat Aug 2 18:19:53 2025

Latest reply by Richard Damon on Sun Aug 3 07:31:30 2025
Re: I have just proven the error of all of the halting problem proofs -

By Richard Damon on Sun Jul 27 07:12:49 2025

Latest reply by Richard Damon on Sat Aug 2 22:57:34 2025
Re: Stratifying the Halting Problem

By joes on Sat Aug 2 18:47:18 2025

Latest reply by Richard Damon on Sat Aug 2 15:53:58 2025
Re: Who is telling the truth here? HHH(DDD)==0

By joes on Wed Jul 30 14:44:24 2025

Latest reply by Richard Damon on Sat Aug 2 16:02:50 2025
Re: Proof that DDD is correctly emulated by an emulated HHH -- FAIL!

By Richard Damon on Sat Aug 2 14:47:23 2025

Latest reply by Richard Damon on Sat Aug 2 14:47:23 2025
Olcott has pivoted

By Mr Flibble on Sat Aug 2 04:36:50 2025

Latest reply by Richard Damon on Sat Aug 2 14:46:59 2025
Stratifying the Halting Problem: Typed Constraints to Expose and Resolv

By Mr Flibble on Fri Aug 1 12:40:24 2025

Latest reply by Mikko on Sat Aug 2 10:53:47 2025
Halting and the Impossible Program: A Semantic Reinterpretation

By Mr Flibble on Wed Jul 30 23:00:21 2025

Latest reply by Mikko on Sat Aug 2 10:35:00 2025
Re: Computable Functions --- finite string transformation rules --- dbu

By Richard Damon on Sat Jul 26 07:11:19 2025

Latest reply by Mr Flibble on Sat Aug 2 05:42:07 2025
A question for Richard Damon

By Mr Flibble on Sat Aug 2 01:16:55 2025

Latest reply by Mr Flibble on Sat Aug 2 01:16:55 2025
I finally proved that Ben is wrong about my HHH(DDD) rejecting its inpu

By olcott on Mon Jul 28 11:13:54 2025

Latest reply by Richard Damon on Wed Jul 30 19:52:49 2025
Re: The halting problem as defined is a category error

By Mike Terry on Fri Jul 18 00:23:32 2025

Latest reply by Richard Damon on Wed Jul 30 07:27:22 2025
Re: Why olcott likes to prove himself an idiot and a liar?

By Mr Flibble on Sun Jul 27 13:46:19 2025

Latest reply by Richard Damon on Mon Jul 28 19:40:23 2025
Re: Title: A Structural Analysis of the Standard Halting Problem Proof

By Alan Mackenzie on Sun Jul 20 16:53:46 2025

Latest reply by Richard Damon on Mon Jul 28 19:35:02 2025
Re: I have just proven all of the halting problem proofs

By joes on Sat Jul 26 18:46:48 2025

Latest reply by joes on Sun Jul 27 08:19:13 2025
feeling a bit bigoted? rebaseline available

By Mr Flibble on Sat Jul 26 19:18:42 2025

Latest reply by Mr Flibble on Sat Jul 26 19:18:42 2025
Re: Olcott finally proves his point --- Liar

By Richard Damon on Sat Jul 26 18:54:52 2025

Latest reply by Richard Damon on Sat Jul 26 18:54:52 2025
Re: HHH(DD)==0 for all those with sufficient technical understanding

By Richard Damon on Tue Jul 22 22:20:24 2025

Latest reply by Fred. Zwarts on Sat Jul 26 11:16:42 2025
Re: Halting Problem Proof ERROR

By Mikko on Sat Jul 19 11:05:40 2025

Latest reply by Mikko on Sat Jul 26 10:25:12 2025
Ben agreed that the Sipser approved criteria has been met --- Ben's obj

By olcott on Fri Jul 25 20:25:27 2025

Latest reply by Richard Damon on Sat Jul 26 07:28:44 2025
Re: Olcott is provable correct (Mike fails to pay attention)

By olcott on Fri Jul 25 18:30:38 2025

Latest reply by olcott on Fri Jul 25 18:30:38 2025
Re: The error of the standard proof of the halting problem

By joes on Wed Jul 23 13:17:03 2025

Latest reply by Fred. Zwarts on Fri Jul 25 10:28:25 2025
Re: Richard Damon: learn by wrote preaching and ad hominem attacks

By Alan Mackenzie on Sun Jul 20 19:57:26 2025

Latest reply by Richard Damon on Thu Jul 24 21:40:24 2025
Re: The halting problem as defined is a category error --- Flibble is c

By Mike Terry on Fri Jul 18 01:52:13 2025

Latest reply by Richard Damon on Wed Jul 23 07:22:48 2025
Olcott and the red stain.

By Fred. Zwarts on Tue Jul 22 12:58:49 2025

Latest reply by Jeff Barnett on Tue Jul 22 12:13:18 2025
Respect [was: The halting problem as defined is a category error]

By Alan Mackenzie on Sat Jul 19 21:00:21 2025

Latest reply by Richard Damon on Sun Jul 20 19:42:10 2025
Re: Four Chatbots figure out on their own without prompting that HHH(DD

By Richard Damon on Sat Jul 19 22:23:16 2025

Latest reply by joes on Sun Jul 20 11:11:26 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 Mikko on Sat Jul 19 11:45:00 2025
Re: How do simulating termination analyzers work? ---Truth Maker Maxima

By Mikko on Thu Jun 26 12:30:57 2025

Latest reply by Fred. Zwarts on Fri Jul 18 13:13:13 2025
Re: Claude.ai provides reasoning why I may have defeated the convention

By Richard Damon on Fri Jul 4 16:24:04 2025

Latest reply by Richard Damon on Wed Jul 16 22:16:06 2025
Re: HHH(DDD)==0 is correct

By Mikko on Thu Jul 3 11:57:25 2025

Latest reply by Mikko on Wed Jul 16 11:48:34 2025
Re: Preliminary sumarization of 'computation' for review.

By Richard Damon on Sun Jul 13 08:17:47 2025

Latest reply by Richard Damon on Tue Jul 15 07:54:21 2025
=?UTF-8?Q?Andr=C3=A9_G=2E_Isaak_still_has_not_noticed_his_mistake?=

By olcott on Sat Jul 12 12:09:17 2025

Latest reply by olcott on Sat Jul 12 12:09:17 2025
Logic proves that Peter Olcott is just a liar.

By Richard Damon on Wed Jul 2 16:40:20 2025

Latest reply by Richard Damon on Wed Jul 2 16:40:20 2025
Re: ChatGPT agrees that HHH refutes the standard halting problem proof

By Mikko on Fri Jun 27 10:02:57 2025

Latest reply by Richard Heathfield on Wed Jul 2 11:12:22 2025
Re: ChatGPT agrees that I have refuted the conventional Halting Problem

By joes on Mon Jun 23 15:34:07 2025

Latest reply by Fred. Zwarts on Wed Jul 2 10:26:30 2025
Re: How do simulating termination analyzers work?

By Mikko on Wed Jun 18 12:29:08 2025

Latest reply by Mikko on Wed Jul 2 10:04:33 2025
Re: ChatGPT and claude.ai agree that I have refuted the conventional Ha

By Fred. Zwarts on Sat Jun 28 10:57:01 2025

Latest reply by joes on Tue Jul 1 14:42:21 2025
Re: Turing machine HHH is not allowed to report on the behavior of the

By Mikko on Tue Jul 1 10:46:39 2025

Latest reply by Mikko on Tue Jul 1 10:46:39 2025
Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE

By Mikko on Mon Jun 16 11:34:18 2025

Latest reply by Mikko on Mon Jun 30 12:46:39 2025
Re: ChatGPT totally understands exactly how I refuted the conventional

By Mike Terry on Sun Jun 22 00:21:35 2025

Latest reply by Mikko on Mon Jun 30 11:05:28 2025
Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) sp

By Richard Damon on Fri Jun 27 17:42:35 2025

Latest reply by Richard Damon on Sat Jun 28 09:04:50 2025
Damon's claim about lying to AI

By Mr Flibble on Fri Jun 27 22:45:50 2025

Latest reply by Richard Damon on Fri Jun 27 21:11:19 2025
Re: HP counter-example INPUT cannot possibly exist

By joes on Wed Jun 18 15:57:15 2025

Latest reply by Fred. Zwarts on Thu Jun 26 11:08:11 2025
Re: ChatGPT figured out on its own how I defeated the common HP proof m

By Richard Damon on Thu Jun 26 07:24:33 2025

Latest reply by Richard Damon on Thu Jun 26 07:24:33 2025
Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Pr

By Mikko on Sun Jun 22 11:29:25 2025

Latest reply by Mikko on Wed Jun 25 09:40:55 2025
Re: How do simulating termination analyzers work? (V2)

By Mikko on Sat Jun 21 13:07:10 2025

Latest reply by Mikko on Tue Jun 24 12:02:16 2025
Grok's opinion on the Halting Problem

By Mr Flibble on Mon Jun 23 21:14:32 2025

Latest reply by Richard Damon on Mon Jun 23 19:37:54 2025
I can name that tune in 1 (ChatGPT and the Halting Problem)

By Mr Flibble on Mon Jun 23 20:41:54 2025

Latest reply by Mr Flibble on Mon Jun 23 20:41:54 2025
How to get ChatGPT to agree that there is a category error in the tradi

By Mr Flibble on Mon Jun 23 19:36:19 2025

Latest reply by Mr Flibble on Mon Jun 23 19:56:47 2025
Re: How to get ChatGPT to agree that there is a category error in the t

By Mr Flibble on Mon Jun 23 19:38:49 2025

Latest reply by Mr Flibble on Mon Jun 23 19:38:49 2025
Re: Simulation vs. Execution in the Halting Problem --- Mike EVIDENCE

By Mikko on Tue Jun 17 12:53:22 2025

Latest reply by Fred. Zwarts on Fri Jun 20 11:49:10 2025
Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED

By Fred. Zwarts on Fri Jun 13 11:26:57 2025

Latest reply by Richard Damon on Thu Jun 19 19:48:38 2025
Re: The execution trace of HHH1(DDD) shows the divergence

By joes on Sat Jun 7 16:43:29 2025

Latest reply by Mikko on Thu Jun 19 11:48:13 2025
Re: Simulation vs. Execution in the Halting Problem --- CHALLENGE

By Mikko on Mon Jun 16 14:19:44 2025

Latest reply by Mikko on Thu Jun 19 10:28:03 2025
Re: The input to HHH(DDD) specifies a non-halting sequence of configura

By Mikko on Sun Jun 15 12:39:48 2025

Latest reply by Mikko on Wed Jun 18 12:22:41 2025
ChatGPT's latest opinion of Richard Damon

By Mr Flibble on Tue Jun 17 19:20:04 2025

Latest reply by Richard Damon on Tue Jun 17 21:20:52 2025
ChatGPT's opinion of Richard Damon

By Mr Flibble on Sun Jun 15 21:00:39 2025

Latest reply by Mr Flibble on Tue Jun 17 19:16:18 2025
Final Statement on the Halting Problem

By Mr Flibble on Sun Jun 15 13:55:15 2025

Latest reply by Mikko on Tue Jun 17 11:27:05 2025
Flibble's Argument: Infinite Regress Prevents the Halting Problem Parad

By Mr Flibble on Sun Jun 15 15:36:06 2025

Latest reply by Mikko on Tue Jun 17 11:14:37 2025
Re: Simulation vs. Execution in the Halting Problem --- Mike

By Mikko on Mon Jun 16 14:28:02 2025

Latest reply by Mikko on Mon Jun 16 14:28:02 2025
Simulation vs. Execution in the Halting Problem

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

Latest reply by Mikko on Mon Jun 16 14:05:12 2025
Comparison of Flibble's and Damon's Views on the Halting Problem

By Mr Flibble on Fri Jun 13 14:37:12 2025

Latest reply by Mikko on Mon Jun 16 13:24:43 2025
Olcott is correct on this point

By Mr Flibble on Sat Jun 14 15:24:58 2025

Latest reply by Mikko on Mon Jun 16 13:19:25 2025
Further analysis on Olcott's assertion

By Mr Flibble on Sat Jun 14 15:25:59 2025

Latest reply by Mikko on Mon Jun 16 11:52:53 2025
Re: Chinese Analysis of Flibble's Final Statement on the Halting Proble

By Mikko on Mon Jun 16 11:41:28 2025

Latest reply by Mikko on Mon Jun 16 11:41:28 2025
"big fat ignorant liar"

By Mr Flibble on Mon Jun 9 19:16:08 2025

Latest reply by Mikko on Mon Jun 16 11:21:44 2025
Most Amusing (Damon's Ego)

By Mr Flibble on Sun Jun 15 21:16:05 2025

Latest reply by Richard Damon on Sun Jun 15 19:30:42 2025
Flibble's Core Claim: Infinite Regress Isn't Computable

By Mr Flibble on Sun Jun 15 15:50:35 2025

Latest reply by Richard Damon on Sun Jun 15 14:13:37 2025
Chinese Analysis of Flibble's Final Statement on the Halting Problem

By Mr Flibble on Sun Jun 15 14:39:43 2025

Latest reply by Mr Flibble on Sun Jun 15 14:39:43 2025
Analysis of Flibble's Final Statement on the Halting Problem

By Mr Flibble on Sun Jun 15 13:55:23 2025

Latest reply by Mr Flibble on Sun Jun 15 13:55:23 2025
And those are the facts

By Mr Flibble on Fri Jun 13 15:02:10 2025

Latest reply by Mikko on Sun Jun 15 13:15:32 2025
Analysis of "And those are the facts"

By Mr Flibble on Fri Jun 13 15:03:24 2025

Latest reply by Mikko on Sun Jun 15 12:06:57 2025
Re: Every HHH(DDD) is correct to reject its input

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

Latest reply by Mikko on Sat Jun 14 14:11:55 2025
Re: Everyone on this forum besides Keith has been a damned liar about t

By Mikko on Mon Jun 9 10:56:02 2025

Latest reply by Fred. Zwarts on Sat Jun 14 12:02:43 2025
Analysis of =?iso-8859-7?Q?Damon=A2s_Response_vs=2E_Flibble=A2s?= Posit

By Mr Flibble on Fri Jun 13 14:30:33 2025

Latest reply by Richard Damon on Fri Jun 13 12:50:43 2025
Re: What is the best way for termination analyzers to handle pathologic

By Richard Damon on Mon Jun 9 20:22:06 2025

Latest reply by Mikko on Fri Jun 13 13:26:03 2025
Re: I am using AI because... ---DISHONESTY

By Richard Damon on Thu Jun 12 18:47:42 2025

Latest reply by Richard Damon on Thu Jun 12 18:47:42 2025
I am using AI because...

By Mr Flibble on Sun Jun 8 18:31:36 2025

Latest reply by Richard Damon on Thu Jun 12 10:35:09 2025
Re: Mike can't even count to eight --- HHH(DDD)

By Mike Terry on Tue Jun 10 17:42:53 2025

Latest reply by Fred. Zwarts on Wed Jun 11 14:59:19 2025
Re: LineSort

By Alan Mackenzie on Mon Jun 9 21:00:38 2025

Latest reply by Kerr-Mudd, John on Tue Jun 10 10:01:09 2025
Re: Semantic concept folding (neos update)

By Mr Flibble on Tue Jun 10 00:45:33 2025

Latest reply by Mr Flibble on Tue Jun 10 00:24:28 2025
Flibble's Post: Resignation from the Halting Problem Debate

By Mr Flibble on Sun Jun 8 18:35:04 2025

Latest reply by Richard Damon on Sun Jun 8 22:34:51 2025
"all you work is just a bit fat LIE"

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

Latest reply by Mikko on Sat Jun 7 11:05:09 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
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
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
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 Mon Jul 1 20:14:11 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 olcott on Fri Aug 2 17:49:56 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 joes on Sun Jul 7 13:15:08 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 Fred. Zwarts on Mon Jul 1 20:22:11 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