ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis

By olcott on Sun Jun 22 21:05:11 2025

Latest reply by olcott on Tue Jun 24 22:03:10 2025

Re: ChatGPT totally understands exactly how I refuted the conventional halting problem proof technique

By Alan Mackenzie on Tue Jun 24 20:05:46 2025

Latest reply by Alan Mackenzie on Tue Jun 24 20:05:46 2025

Re: ChatGPT totally understands exactly how I refuted theconventional halting problem proof technique

By olcott on Mon Jun 23 10:16:14 2025

Latest reply by olcott on Tue Jun 24 16:41:37 2025

How do simulating termination analyzers work? (V2)

By olcott on Fri Jun 20 14:08:36 2025

Latest reply by olcott on Tue Jun 24 10:39:23 2025

HHH(DDD) is correct to reject its input as non-halting --- EVIDENCETHAT I AM CORRECT

By olcott on Sun Jun 15 15:10:32 2025

Latest reply by olcott on Tue Jun 24 09:06:12 2025

Re: HHH(DDD) is correct to reject its input as non-halting --- PROOFTHAT I AM CORRECT

By olcott on Sat Jun 21 10:38:40 2025

Latest reply by Richard Damon on Sun Jun 22 22:08:49 2025

How do simulating termination analyzers work?

By olcott on Tue Jun 17 15:34:11 2025

Latest reply by Fred. Zwarts on Sun Jun 22 17:57:02 2025

Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HPProof

By olcott on Sat Jun 21 12:30:25 2025

Latest reply by olcott on Sat Jun 21 12:30:25 2025

The input to HHH(DDD) specifies a non-halting sequence ofconfigurations +++

By olcott on Sat Jun 14 09:07:49 2025

Latest reply by Fred. Zwarts on Mon Jun 16 11:13:50 2025

Re: Simulation vs. Execution in the Halting Problem --- CHALLENGE

By olcott on Sun Jun 15 15:02:28 2025

Latest reply by Richard Damon on Sun Jun 15 16:24:57 2025

Re: HHH(DD) does correctly reject its input as non-halting ---VERIFIED FACT

By olcott on Fri Jun 13 10:22:04 2025

Latest reply by olcott on Sun Jun 15 08:51:21 2025

Re: HHH(DD) does correctly reject its input as non-halting ---VERIFIED FACT +++

By olcott on Sat Jun 14 08:53:01 2025

Latest reply by olcott on Sun Jun 15 08:49:51 2025

HHH(DD) does correctly reject its input as non-halting --- VERIFIEDFACT

By olcott on Thu Jun 12 10:34:01 2025

Latest reply by Richard Damon on Sat Jun 14 14:41:36 2025

Re: HHH(DD) does correctly reject its input as non-halting ---VERIFIED FACT +++ Mike

By olcott on Sat Jun 14 11:27:24 2025

Latest reply by olcott on Sat Jun 14 11:27:24 2025

The execution trace of HHH1(DDD) shows the divergence

By olcott on Sat Jun 7 09:32:36 2025

Latest reply by Richard Damon on Thu Jun 12 18:57:39 2025

Everyone on this forum besides Keith has been a damned liar aboutthis point

By olcott on Sun Jun 8 21:50:59 2025

Latest reply by Richard Damon on Tue Jun 10 15:03:04 2025

Mike can't even count to eight --- HHH(DDD)

By olcott on Tue Jun 10 11:17:59 2025

Latest reply by Richard Damon on Tue Jun 10 13:59:02 2025

Re: Everyone on this forum besides Keith has been a damned liarabout this point

By Mr Flibble on Mon Jun 9 19:12:54 2025

Latest reply by olcott on Mon Jun 9 18:10:02 2025

Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BESTONE

By olcott on Fri Jun 6 11:53:02 2025

Latest reply by Fred. Zwarts on Mon Jun 9 12:33:00 2025

Re: DDD emulated by HHH diverges from DDD emulated by HHH1

By olcott on Tue Jun 3 22:53:22 2025

Latest reply by olcott on Wed Jun 4 19:57:03 2025

Disagreeing with tautologies is always incorrect

By olcott on Thu May 29 10:37:42 2025

Latest reply by olcott on Thu May 29 10:37:42 2025

AI figured out how to replicate?

By Richmond on Tue May 20 00:05:32 2025

Latest reply by Richmond on Tue May 20 00:05:32 2025

Re: How the requirements that Professor Sipser agreed to are exactlymet --- Mike my best reviewer

By olcott on Sat May 17 10:31:55 2025

Latest reply by olcott on Sat May 17 10:31:55 2025

Overcoming the proof of undecidability of the Halting Problem by asimple example in C

By olcott on Thu May 15 15:47:16 2025

Latest reply by olcott on Thu May 15 15:47:16 2025

Re: Functions computed by Turing Machines MUST apply finite stringtransformations to inputs +++

By olcott on Sun May 4 11:06:43 2025

Latest reply by olcott on Sun May 4 11:06:43 2025

Functions computed by Turing Machines MUST apply finite stringtransformations to inputs

By olcott on Thu May 1 21:34:42 2025

Latest reply by olcott on Thu May 1 21:34:42 2025

A conversation with ChatGPT's brain.

By Richmond on Mon Apr 21 16:50:16 2025

Latest reply by Richmond on Thu May 1 14:10:16 2025

Re: All computation & human reasoning encoded as finite stringtransformations --- Quine

By olcott on Sat Apr 26 11:28:16 2025

Latest reply by olcott on Sun Apr 27 12:59:32 2025

Re: All computation & human reasoning encoded as finite string transformations --- Quine

By olcott on Sat Apr 26 11:49:49 2025

Latest reply by olcott on Sat Apr 26 11:49:49 2025

Turing Machine computable functions apply finite stringtransformations to inputs

By olcott on Sat Apr 26 10:59:39 2025

Latest reply by olcott on Sat Apr 26 10:59:39 2025

All of computation and human reasoning can be encoded as finitestring transformations --- Quine

By olcott on Sun Apr 20 12:53:43 2025

Latest reply by olcott on Tue Apr 22 13:33:18 2025

Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine

By olcott on Mon Apr 21 15:57:55 2025

Latest reply by olcott on Mon Apr 21 15:57:55 2025

Re: Annotated Breakdown: "computing the mapping from an input"

By olcott on Sun Apr 20 17:17:43 2025

Latest reply by Richard Damon on Sun Apr 20 19:20:23 2025

All of computation and human reasoning can be encoded as finite string transformations

By olcott on Sun Apr 20 10:33:15 2025

Latest reply by olcott on Sun Apr 20 10:33:15 2025

A new symbol? Exporting to my LLM (just in case it matters)

By Anragde on Sun Apr 13 21:24:54 2025

Latest reply by Anragde on Sun Apr 13 21:24:54 2025

DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN

By olcott on Sat Feb 15 21:25:12 2025

Latest reply by olcott on Sat Feb 15 21:25:12 2025

DD specifies non-terminating behavior to HHH --- COMPLETE PROOF

By olcott on Sat Feb 15 19:13:56 2025

Latest reply by olcott on Sat Feb 15 19:13:56 2025

Re: Mathematical incompleteness has always been a misconception ---Tarski

By olcott on Sat Feb 8 09:32:00 2025

Latest reply by olcott on Sat Feb 8 09:32:00 2025

Judge rebukes Stanford misinformation expert for using ChatGPT todraft testimony

By Kamala Law on Wed Jan 15 13:22:32 2025

Latest reply by Kamala Law on Wed Jan 15 13:22:32 2025

So far, this is the best free voice/speech activated AI on mobile platforms

By Marion on Fri Jan 10 21:07:38 2025

Latest reply by Marion on Fri Jan 10 21:07:38 2025

Re: Apple to pay $95 million to settle lawsuit accusing Siri of eavesdropping

By AlphaHeater on Sun Jan 5 02:33:50 2025

Latest reply by AlphaHeater on Sun Jan 5 02:33:50 2025

OpenAI whistleblower found dead at 26 in San Francisco apartment

By thank apple on Sat Dec 14 09:08:38 2024

Latest reply by thank apple on Sat Dec 14 09:08:38 2024

Re: This first time anyone In the entire history of the haltingproblem derived a correct return value for HHH(DD)

By olcott on Fri Dec 6 20:47:54 2024

Latest reply by olcott on Sun Dec 8 12:03:36 2024

Re: This first time anyone In the entire history of thehalting problem derived a correct return value for HHH(DD)

By Richard Damon on Sat Dec 7 03:50:17 2024

Latest reply by Richard Damon on Sat Dec 7 03:50:17 2024

Probably not much time left

By olcott on Wed Nov 27 19:16:35 2024

Latest reply by olcott on Thu Nov 28 11:19:47 2024

HHH(DDD) computes the mapping from its input to HHH emulating itselfemulating DDD --- anyone that says otherwise is a liar

By olcott on Sun Nov 17 12:36:17 2024

Latest reply by Richard Damon on Tue Nov 19 22:41:04 2024

Re: The philosophy of computation reformulates existing ideas on anew basis ---MY LEGACY

By olcott on Sat Nov 16 08:57:33 2024

Latest reply by Richard Damon on Sat Nov 16 12:32:39 2024

Re: The philosophy of computation reformulates existing ideas on anew basis ---

By olcott on Tue Oct 29 08:56:19 2024

Latest reply by Richard Damon on Wed Oct 30 19:35:42 2024

=?UTF-8?Q?Neural=20Networks=20(MNIST=20inference)=20on?= =?UTF-8?Q?=20the=20=E2=80=9C3-cent=E2=80=9D=20Microcontroller?=

By D. Ray on Mon Oct 21 20:06:28 2024

Latest reply by D. Ray on Mon Oct 28 15:42:41 2024

ChatGPT explains why by rebuttal of the halting problem proofs iscorrect

By olcott on Fri Oct 11 21:48:13 2024

Latest reply by polcott333 on Sun Oct 27 09:56:47 2024

THE PENTAGON WANTS TO USE AI TO CREATE DEEPFAKE INTERNET USERS

By D. Ray on Fri Oct 18 20:01:28 2024

Latest reply by Yuri on Sun Oct 20 03:14:58 2024

which algorithm is better?

By kazu on Mon Oct 14 23:07:07 2024

Latest reply by kazu on Mon Oct 14 23:07:07 2024

Re: Kamala's Media Blitz Is a Disaster

By Froyd on Fri Oct 11 22:02:30 2024

Latest reply by Governor Swill on Mon Oct 14 09:26:27 2024

have you purchased any pro account?

By kami on Sun Sep 22 14:56:12 2024

Latest reply by kazu on Sat Oct 12 10:57:57 2024

Newsom vetoes controversial California AI bill

By don on Mon Sep 30 14:06:46 2024

Latest reply by don on Mon Sep 30 14:06:46 2024

The Gates of the Boolean Logic

By greggdurishan on Wed Aug 7 10:02:06 2024

Latest reply by greggdurishan on Tue Sep 17 06:42:33 2024

Correcting the AI hallucination of LLM systems

By olcott on Sat Sep 7 07:49:02 2024

Latest reply by Richard Damon on Sat Sep 7 09:18:24 2024

test server V3

By olcott on Wed Aug 7 11:52:39 2024

Latest reply by olcott on Wed Aug 7 11:52:39 2024

Re: test

By olcott on Fri Aug 2 17:38:46 2024

Latest reply by olcott on Sun Aug 4 09:29:52 2024

Any honest person that knows the x86 language can see...

By olcott on Mon Jul 29 09:07:53 2024

Latest reply by Fred. Zwarts on Tue Jul 30 09:59:49 2024

Ben's agreement that D must be aborted by H --- Better words now.

By olcott on Mon Jul 22 14:50:08 2024

Latest reply by Richard Damon on Mon Jul 22 20:01:09 2024

Hypothetical possibilities V2

By olcott on Mon Jul 22 11:08:31 2024

Latest reply by Richard Damon on Mon Jul 22 20:01:04 2024

Hypothetical possibilities

By olcott on Sat Jul 20 10:28:31 2024

Latest reply by Fred. Zwarts on Sun Jul 21 12:24:37 2024

Who here understands that the last paragraph is Necessarily True? ---AKA a Tautology

By olcott on Sat Jul 13 15:36:53 2024

Latest reply by Richard Damon on Sat Jul 13 16:57:16 2024

DDD correctly emulated by HHH is correctly rejected as non-halting V2

By olcott on Fri Jul 12 09:56:05 2024

Latest reply by Richard Damon on Sat Jul 13 14:37:07 2024

Sequence of sequence, selection and iteration matters

By olcott on Sun Jul 7 09:16:10 2024

Latest reply by Richard Damon on Tue Jul 9 22:52:35 2024

Why examine the halting problem using the x86 language?

By olcott on Tue Jul 9 09:37:18 2024

Latest reply by olcott on Tue Jul 9 09:37:18 2024

Re: People are still trying to get away with disagreeing with thesemantics of the x86 language

By Richard Damon on Sat Jun 29 12:45:08 2024

Latest reply by olcott on Mon Jul 1 08:31:15 2024