Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #135170 > unrolled thread
| Started by | olcott <polcott333@gmail.com> |
|---|---|
| First post | 2025-11-06 14:48 -0600 |
| Last post | 2025-11-26 00:45 +0000 |
| Articles | 20 on this page of 637 — 21 participants |
Back to article view | Back to comp.theory
D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 14:48 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 15:55 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-06 21:10 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 15:32 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-06 22:07 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 16:16 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 17:26 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 16:32 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 17:35 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 16:55 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 18:00 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 17:12 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 18:32 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 17:36 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 18:43 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 17:59 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:02 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:28 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:37 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:45 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:50 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:56 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:57 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-06 22:07 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 16:24 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 17:27 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 16:52 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 17:58 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 17:08 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 18:35 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 17:45 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 18:52 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-07 00:00 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:16 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-07 01:46 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 20:46 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 22:01 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-07 04:16 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 22:19 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 23:27 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-07 10:45 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-07 06:55 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state wij <wyniijj5@gmail.com> - 2025-11-07 21:43 +0800
Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 08:06 -0600
Re: Proof that D simulated by H never reaches its own simulated "return" statement wij <wyniijj5@gmail.com> - 2025-11-07 22:12 +0800
Re: Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 08:28 -0600
Re: Proof that D simulated by H never reaches its own simulated "return" statement wij <wyniijj5@gmail.com> - 2025-11-07 22:35 +0800
Re: Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 08:38 -0600
Re: Proof that D simulated by H never reaches its own simulated "return" statement wij <wyniijj5@gmail.com> - 2025-11-07 22:55 +0800
Re: Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 09:06 -0600
Re: Proof that D simulated by H never reaches its own simulated "return" statement wij <wyniijj5@gmail.com> - 2025-11-07 23:17 +0800
Re: Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 09:20 -0600
Re: Proof that D simulated by H never reaches its own simulated "return" statement wij <wyniijj5@gmail.com> - 2025-11-07 23:34 +0800
Re: Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 09:53 -0600
Re: Proof that D simulated by H never reaches its own simulated "return" statement wij <wyniijj5@gmail.com> - 2025-11-08 00:07 +0800
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-07 14:16 +0000
Proof that D simulated by H never reaches its own simulated "return" statement olcott <polcott333@gmail.com> - 2025-11-07 08:29 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <NoOne@NoWhere.com> - 2025-11-06 21:31 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 22:45 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-07 03:59 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <NoOne@NoWhere.com> - 2025-11-06 22:07 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 23:11 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 23:29 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 22:02 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 22:04 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:01 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:05 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:30 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:36 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:44 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:49 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:51 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:54 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 18:57 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-06 19:58 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-07 01:22 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 19:25 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-07 03:41 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-06 22:00 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-07 10:05 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-07 06:57 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-08 10:05 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-08 07:36 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-09 12:22 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-09 06:51 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-10 06:17 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 08:40 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-10 23:14 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 18:27 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-11 04:02 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 09:43 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-10 11:28 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-10 23:19 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 21:58 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-10 11:43 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 08:48 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-10 23:09 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 17:53 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-11 03:55 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 21:59 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-11 04:09 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-11 06:59 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-11 08:03 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-11 19:17 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-11 15:38 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-11 16:56 -0500
How pathological self-reference is confused with undecidability olcott <polcott333@gmail.com> - 2025-11-11 19:38 -0600
Re: How pathological self-reference is confused with undecidability Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 02:13 +0000
Re: How pathological self-reference is confused with undecidability olcott <polcott333@gmail.com> - 2025-11-11 20:33 -0600
Re: How pathological self-reference is confused with undecidability olcott <polcott333@gmail.com> - 2025-11-11 21:05 -0600
Re: How pathological self-reference is confused with undecidability olcott <polcott333@gmail.com> - 2025-11-11 21:45 -0600
Re: How pathological self-reference is confused with undecidability Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 05:52 +0000
Re: How pathological self-reference is confused with undecidability olcott <polcott333@gmail.com> - 2025-11-11 23:59 -0600
Re: How pathological self-reference is confused with undecidability Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 06:13 +0000
Re: How pathological self-reference is confused with undecidability olcott <polcott333@gmail.com> - 2025-11-12 06:50 -0600
Re: How pathological self-reference is confused with undecidability Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:41 +0000
Re: How pathological self-reference is confused with undecidability Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:41 +0000
Re: How pathological self-reference is confused with undecidability Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:41 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 02:20 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-11 20:41 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 06:11 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 06:45 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 07:37 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-12 15:03 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 09:11 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:16 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-12 21:22 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 20:30 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-12 21:35 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-13 04:44 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 22:55 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 08:32 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 09:36 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 07:38 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 17:40 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 13:20 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 19:38 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 14:22 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-11 10:59 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-11 07:04 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-11 08:05 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-12 09:09 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 06:54 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-13 10:48 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 09:50 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:21 +0200
The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-14 09:00 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-15 12:15 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-15 10:12 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-16 11:18 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-16 18:12 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-17 10:43 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-17 07:31 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-18 12:23 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-18 10:43 -0600
Re: The halting problem is incorrect two different ways joes <noreply@example.org> - 2025-11-18 18:04 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-18 12:26 -0600
Re: The halting problem is incorrect two different ways Alan Mackenzie <acm@muc.de> - 2025-11-18 18:51 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-18 14:01 -0600
Re: The halting problem is incorrect two different ways Alan Mackenzie <acm@muc.de> - 2025-11-18 20:24 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-18 14:39 -0600
Re: The halting problem is incorrect two different ways Alan Mackenzie <acm@muc.de> - 2025-11-18 21:30 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-18 15:43 -0600
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-18 15:48 -0600
Weasel word double talk excuses =--- AKA Liars olcott <polcott333@gmail.com> - 2025-11-18 15:57 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-19 11:46 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-19 06:59 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-20 11:10 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-17 07:31 -0600
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-26 12:01 +0200
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 09:17 -0600
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-26 10:29 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 18:35 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 13:55 -0600
Re: The halting problem is incorrect two different ways dbush <dbush.mobile@gmail.com> - 2025-11-26 14:58 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 21:47 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 15:53 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 22:19 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 16:48 -0600
Re: The halting problem is incorrect two different ways dbush <dbush.mobile@gmail.com> - 2025-11-26 18:00 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 23:55 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 18:20 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 00:39 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 18:51 -0600
Re: The halting problem is incorrect two different ways dbush <dbush.mobile@gmail.com> - 2025-11-26 20:02 -0500
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 01:24 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 19:42 -0600
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 02:00 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 20:37 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 04:15 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 22:31 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 06:51 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-27 08:59 -0600
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 10:16 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:17 +0000
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 07:41 -0500
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 07:40 -0500
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:00 -0800
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 01:39 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 19:47 -0600
Re: The halting problem is incorrect two different ways Python <python@cccp.invalid> - 2025-11-27 01:59 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 20:26 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 04:19 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 22:39 -0600
Re: The halting problem is incorrect two different ways Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-27 04:48 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-26 22:58 -0600
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 07:06 +0000
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:16 -0800
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:21 -0800
Re: The halting problem is incorrect two different ways Jan van den Broek <balglaas@dds.nl> - 2025-11-27 07:45 +0000
Re: The halting problem is incorrect two different ways olcott <polcott333@gmail.com> - 2025-11-27 09:08 -0600
Re: The halting problem is incorrect two different ways Richard Damon <Richard@Damon-Family.org> - 2025-11-27 10:38 -0500
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:05 +0000
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:05 +0000
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:18 +0000
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 16:27 -0800
Re: The halting problem is incorrect two different ways Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-29 01:25 +0000
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-01 16:24 -0800
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-01 16:36 -0800
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:14 -0800
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-27 09:49 +0200
Re: The halting problem is incorrect two different ways "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 23:58 -0800
Re: The halting problem is incorrect two different ways Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:14 +0200
The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-11-28 08:46 -0600
Re: The halting problem is incorrect two different ways --- updated Richard Damon <Richard@Damon-Family.org> - 2025-11-28 10:59 -0500
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:27 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-11-29 10:38 -0600
Re: The halting problem is incorrect two different ways --- updated Richard Damon <Richard@Damon-Family.org> - 2025-11-29 14:58 -0500
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-01 12:45 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 06:47 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 14:29 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 08:38 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 14:45 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 08:57 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 15:06 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:19 -0600
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:26 -0600
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:29 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 15:31 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:39 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 15:48 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 09:55 -0600
Re: The halting problem is incorrect two different ways --- updated Python <python@cccp.invalid> - 2025-12-01 16:00 +0000
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-01 10:27 -0600
Re: The halting problem is incorrect two different ways --- updated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-01 16:41 -0800
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-03 18:24 -0600
Olcott is provably correct --- no one can correctly refute this olcott <polcott333@gmail.com> - 2025-12-03 19:54 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-02 11:07 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-02 08:14 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-03 13:34 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-03 10:27 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-04 11:17 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-04 08:15 -0600
Re: The halting problem is incorrect two different ways --- updated Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:23 +0200
Re: The halting problem is incorrect two different ways --- updated olcott <polcott333@gmail.com> - 2025-12-06 06:47 -0600
Re: The halting problem is incorrect two different ways --- updated Richard Damon <Richard@Damon-Family.org> - 2025-12-06 17:26 -0500
Re: The halting problem is incorrect two different ways --- faking ignorance olcott <polcott333@gmail.com> - 2025-11-27 09:21 -0600
Re: The halting problem is incorrect two different ways --- faking ignorance Richard Damon <Richard@Damon-Family.org> - 2025-11-27 10:40 -0500
Re: The halting problem is incorrect two different ways --- faking ignorance Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:37 +0000
Re: The halting problem is incorrect two different ways --- faking ignorance Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:24 +0000
Re: The halting problem is incorrect two different ways --- faking ignorance Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:18 +0200
Re: The halting problem is incorrect two different ways --- faking ignorance olcott <polcott333@gmail.com> - 2025-11-28 08:52 -0600
Re: The halting problem is incorrect two different ways --- faking ignorance Richard Damon <Richard@Damon-Family.org> - 2025-11-28 11:01 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-10 09:37 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-11 10:56 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-11 07:02 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-11 08:04 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-11 13:19 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-12 09:12 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 06:56 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-13 10:51 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 01:00 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 09:56 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 19:12 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 14:39 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:24 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-14 09:12 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-15 12:23 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-15 10:14 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-16 11:21 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-16 15:39 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-16 10:15 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-16 16:24 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-16 10:45 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-16 17:13 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-16 11:40 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-17 10:46 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-17 07:34 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-18 12:26 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-18 10:45 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 21:21 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-18 15:29 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-18 16:49 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 01:01 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-18 19:27 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 02:53 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-18 21:07 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:30 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:31 +0000
DDD simulated by HHH cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-18 22:45 -0600
Re: DDD simulated by HHH cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:52 +0000
Re: DDD simulated by HHH cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-18 23:08 -0600
Re: DDD simulated by HHH cannot possibly reach its own simulated final halt state dbush <dbush.mobile@gmail.com> - 2025-11-19 00:14 -0500
Re: DDD simulated by HHH cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 05:23 +0000
Re: DDD simulated by HHH cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-19 10:58 +0000
Re: DDD simulated by HHH cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-19 06:18 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state joes <noreply@example.org> - 2025-11-23 21:20 +0000
Glossary of names of my simulating termination analyzer HHH(DD) olcott <polcott333@gmail.com> - 2025-11-23 16:29 -0600
Re: Glossary of names of my simulating termination analyzer HHH(DD) Mikko <mikko.levanto@iki.fi> - 2025-11-24 11:23 +0200
Re: Glossary of names of my simulating termination analyzer HHH(DD) olcott <polcott333@gmail.com> - 2025-11-24 07:30 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-19 11:50 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-19 07:01 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-20 11:11 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-21 13:54 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 21:58 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-21 23:09 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 06:49 +0000
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:22 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 17:51 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 12:06 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:08 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:08 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 03:53 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 07:03 +0000
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:33 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 17:56 +0000
Dangerous Precipice that could end all life --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 13:29 -0600
Re: Dangerous Precipice that could end all life --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:00 +0000
Re: Dangerous Precipice that could end all life --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 23:02 -0600
Re: Dangerous Precipice that could end all life --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 05:23 +0000
Re: Dangerous Precipice that could end all life --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 05:24 +0000
Re: Dangerous Precipice that could end all life --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-23 14:53 -0600
Re: Dangerous Precipice that could end all life --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-23 13:32 -0800
Re: Dangerous Precipice that could end all life --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 02:44 +0000
Re: Dangerous Precipice that could end all life --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 02:45 +0000
DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-23 21:15 -0600
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-23 23:54 -0800
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 16:32 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 16:32 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 10:37 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 17:55 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 12:08 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 19:22 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 19:30 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 14:20 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 22:31 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 22:45 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <NoOne@NoWhere.com> - 2025-11-24 17:23 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Heathfield <rjh@cpax.org.uk> - 2025-11-25 05:10 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 23:25 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 10:34 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Richard Heathfield <rjh@cpax.org.uk> - 2025-11-26 05:43 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 23:51 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-26 07:21 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Richard Heathfield <rjh@cpax.org.uk> - 2025-11-26 17:37 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-26 12:52 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Richard Heathfield <rjh@cpax.org.uk> - 2025-11-26 17:59 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-26 12:32 -0600
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-26 12:28 -0600
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 12:45 -0800
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 10:45 -0600
Re: DD simulated by HHH and DD simulated by HHH1 tTh <tth@none.invalid> - 2025-11-24 19:45 +0100
Re: DD simulated by HHH and DD simulated by HHH1 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-24 18:12 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 12:21 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 19:30 +0000
Re: DD simulated by HHH and DD simulated by HHH1 dbush <dbush.mobile@gmail.com> - 2025-11-24 14:32 -0500
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 14:15 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 22:25 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 17:21 -0600
Re: DD simulated by HHH and DD simulated by HHH1 dbush <dbush.mobile@gmail.com> - 2025-11-24 13:47 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-24 11:20 -0800
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 19:27 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 14:14 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 22:22 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 17:19 -0600
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-24 16:15 -0800
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-24 16:25 -0800
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 01:39 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 02:15 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 22:12 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-24 23:33 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 18:33 -0600
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-24 16:37 -0800
Re: DD simulated by HHH and DD simulated by HHH1 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-25 02:10 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 22:10 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 10:38 -0500
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 14:47 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 22:35 +0000
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-24 19:43 -0800
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-24 22:45 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <NoOne@NoWhere.com> - 2025-11-24 17:24 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 01:42 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 02:15 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-24 22:35 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 07:00 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 07:00 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 08:56 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 10:49 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 17:39 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 11:44 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 13:06 -0500
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 11:50 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 13:06 -0500
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 09:44 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 10:46 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-25 19:19 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 13:35 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 20:27 +0000
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 20:27 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 14:52 -0600
Re: DD simulated by HHH and DD simulated by HHH1 Richard Damon <Richard@Damon-Family.org> - 2025-11-25 16:42 -0500
Re: DD simulated by HHH and DD simulated by HHH1 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 20:38 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-25 14:56 -0600
Re: DD simulated by HHH and DD simulated by HHH1 "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 13:32 -0800
Re: DD simulated by HHH and DD simulated by HHH1 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-28 17:24 +0000
Re: DD simulated by HHH and DD simulated by HHH1 olcott <polcott333@gmail.com> - 2025-11-28 12:09 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Mikko <mikko.levanto@iki.fi> - 2025-11-22 10:25 +0200
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-11-24 22:30 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Bonita Montero <Bonita.Montero@gmail.com> - 2025-11-25 16:20 +0100
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 09:47 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Bonita Montero <Bonita.Montero@gmail.com> - 2025-11-25 16:50 +0100
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 10:09 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 17:33 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 17:36 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-11-25 11:37 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 17:29 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 11:39 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 17:44 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 12:04 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-11-25 13:09 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 12:36 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 19:08 +0000
Olcott creates a new foundation for automated correct reasoning olcott <polcott333@gmail.com> - 2025-11-25 13:22 -0600
Re: Olcott creates a new foundation for automated correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-25 16:47 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 12:35 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-11-25 16:45 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 21:05 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-11-26 07:22 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-26 17:13 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:36 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:41 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-11-25 13:08 -0500
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 17:42 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 11:52 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 18:46 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-25 13:18 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 12:05 -0800
New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 14:20 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-25 20:56 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 15:01 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-25 21:03 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 15:09 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-25 21:12 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 15:27 -0600
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 13:30 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-25 23:14 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 17:21 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-25 23:25 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 18:00 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 00:04 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 18:14 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 00:18 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 18:38 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 00:42 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 00:47 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 18:52 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 00:57 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 19:19 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 01:29 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 01:32 +0000
Re: New formal foundation for correct reasoning makes True(X) computable André G. Isaak <agisaak@gm.invalid> - 2025-11-25 18:29 -0700
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 19:43 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 01:45 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:03 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:09 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:34 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:36 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:46 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:47 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:01 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:03 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:11 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-26 07:34 -0500
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-05 17:03 -0600
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-05 19:53 -0600
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:36 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:38 +0000
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 19:36 -0800
Re: New formal foundation for correct reasoning makes True(X) computable polcott <polcott333@gmail.com> - 2025-11-26 22:10 -0600
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 21:30 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 02:36 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:43 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:09 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:17 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:26 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:32 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 05:15 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-26 07:36 -0500
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-26 11:22 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-26 09:15 -0600
Re: New formal foundation for correct reasoning makes True(X) computable dbush <dbush.mobile@gmail.com> - 2025-11-26 10:20 -0500
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-26 10:31 -0500
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 19:43 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-27 09:40 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-27 09:17 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-27 10:42 -0500
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:29 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-28 08:54 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-28 17:22 +0000
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 16:31 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:40 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-29 10:42 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-29 15:01 -0500
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-30 12:19 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:45 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:46 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:22 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:24 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:27 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:33 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:36 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:50 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:53 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:58 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 22:18 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 04:21 +0000
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 21:56 -0800
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 21:54 -0800
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 20:22 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 04:23 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 20:55 -0800
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 21:58 -0800
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 22:06 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 04:11 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 20:23 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 04:24 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 20:56 -0800
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:01 -0800
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-26 08:53 -0600
Re: New formal foundation for correct reasoning makes True(X) computable dbush <dbush.mobile@gmail.com> - 2025-11-26 10:06 -0500
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 21:59 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 05:18 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 05:16 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:14 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-26 07:27 -0500
Re: New formal foundation for correct reasoning makes True(X) computable André G. Isaak <agisaak@gm.invalid> - 2025-11-25 19:00 -0700
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:08 -0600
Re: New formal foundation for correct reasoning makes True(X) computable André G. Isaak <agisaak@gm.invalid> - 2025-11-25 19:12 -0700
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:30 -0600
Re: New formal foundation for correct reasoning makes True(X) computable André G. Isaak <agisaak@gm.invalid> - 2025-11-25 19:36 -0700
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:41 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:43 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:24 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:26 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:30 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:45 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:47 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 22:01 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 04:07 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-26 08:44 -0600
Re: New formal foundation for correct reasoning makes True(X) computable dbush <dbush.mobile@gmail.com> - 2025-11-26 10:04 -0500
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-26 10:34 -0500
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-26 11:05 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-26 08:58 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-27 09:30 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-27 09:16 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:35 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-28 09:16 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:44 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-29 10:40 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-30 12:14 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-26 09:13 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:36 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-28 09:18 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:48 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-29 10:45 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-11-30 12:07 +0200
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-03 12:53 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-03 10:11 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-04 11:07 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-04 08:10 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-05 11:13 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-05 11:40 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:19 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-06 06:45 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-07 12:55 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-08 13:44 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:21 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-06 06:46 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-07 12:50 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-07 11:15 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-08 11:08 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-08 13:05 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-13 13:05 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-13 09:55 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-15 11:52 +0200
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-12-15 09:49 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Mikko <mikko.levanto@iki.fi> - 2025-12-17 12:49 +0200
Re: New formal foundation for correct reasoning makes True(X) computable André G. Isaak <agisaak@gm.invalid> - 2025-11-25 19:45 -0700
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:59 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:16 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 02:34 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 20:37 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:02 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:06 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 03:08 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 03:19 +0000
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:28 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Richard Heathfield <rjh@cpax.org.uk> - 2025-11-26 05:53 +0000
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:15 -0800
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:21 -0600
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:16 -0800
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 19:08 -0800
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:19 -0600
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 19:22 -0800
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 21:30 -0600
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:18 -0800
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:14 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 01:48 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Richard Damon <Richard@Damon-Family.org> - 2025-11-25 20:59 -0500
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 21:11 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:16 +0000
Re: New formal foundation for correct reasoning makes True(X) computable Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:34 +0000
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 20:05 -0800
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-25 13:27 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:23 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dbush <dbush.mobile@gmail.com> - 2025-11-26 14:40 -0500
Re: New formal foundation for correct reasoning makes True(X) computable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 20:03 -0800
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 16:29 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 00:31 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 17:09 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 01:19 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 18:38 -0800
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 02:40 +0000
Re: New formal foundation for correct reasoning makes True(X) computable dart200 <user7160@newsgrouper.org.invalid> - 2025-11-25 19:16 -0800
Re: New formal foundation for correct reasoning makes True(X) computable olcott <polcott333@gmail.com> - 2025-11-25 18:40 -0600
Re: New formal foundation for correct reasoning makes True(X) computable Python <python@cccp.invalid> - 2025-11-26 00:45 +0000
Page 10 of 32 — ← Prev page 1 … 8 9 [10] 11 12 … 32 Next page →
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-26 23:55 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <20251126155440.395@kylheku.com> |
| In reply to | #136614 |
On 2025-11-26, olcott <polcott333@gmail.com> wrote:
> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>> In other words you are trying to get away with
>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>> or the semantics of the C programing language.
>>>>>>>
>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>> with code.
>>>>>>>
>>>>>>
>>>>>> I am not the one that came up with the jackass idea
>>>>>> of restarting a simulation after it has already
>>>>>> conclusively proved that it cannot possibly halt.
>>>>>
>>>>> That the continuation of the simulation reaches a final halting state
>>>>> conclusively proves otherwise.
>>>>
>>>> And Olcott has no idea how to fix it and is no longer
>>>> able to engage with tasks involving code.
>>>>
>>>
>>> void Infinite_Loop()
>>> {
>>> HERE: goto HERE;
>>> return;
>>> }
>>>
>>> And the continuation of the simulation
>>> at the "return" statement "proves"
>>> by deception that infinite loops halt.
>>
>> I have no idea what you are blabbing about, and neither do you.
>>
>
> We could simulate Infinite_Loop() until it
> proves that it cannot possibly stop running
> unless aborted, then abort it. Now to use
> your method we can "resume" the simulation
> at a different machine state.
No, you fucking idiot.
> This simulation is "resumed" at the "return"
> instruction.
No, you fucking idiot.
"In other words you are trying to get away with
disagreeing with the semantics of the x86 language
or the semantics of the C programing language."
See above.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 18:20 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g85fk$u57s$1@dont-email.me> |
| In reply to | #136616 |
On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>> In other words you are trying to get away with
>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>
>>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>>> with code.
>>>>>>>>
>>>>>>>
>>>>>>> I am not the one that came up with the jackass idea
>>>>>>> of restarting a simulation after it has already
>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>
>>>>>> That the continuation of the simulation reaches a final halting state
>>>>>> conclusively proves otherwise.
>>>>>
>>>>> And Olcott has no idea how to fix it and is no longer
>>>>> able to engage with tasks involving code.
>>>>>
>>>>
>>>> void Infinite_Loop()
>>>> {
>>>> HERE: goto HERE;
>>>> return;
>>>> }
>>>>
>>>> And the continuation of the simulation
>>>> at the "return" statement "proves"
>>>> by deception that infinite loops halt.
>>>
>>> I have no idea what you are blabbing about, and neither do you.
>>>
>>
>> We could simulate Infinite_Loop() until it
>> proves that it cannot possibly stop running
>> unless aborted, then abort it. Now to use
>> your method we can "resume" the simulation
>> at a different machine state.
>
> No, you fucking idiot.
>
>> This simulation is "resumed" at the "return"
>> instruction.
>
> No, you fucking idiot.
>
> "In other words you are trying to get away with
> disagreeing with the semantics of the x86 language
> or the semantics of the C programing language."
>
> See above.
>
I discussed you (not by name) with Claude AI.
It is convinced that you must be a liar.
I will fix this by actually adapting a C interpreter
to prove that you are a liar to anyone that knows C.
I tried to do this with x86 yet this proved far
too difficult for even the chief editor of one
of the most prestigious computer science journals.
When you resume any simulation that cannot possibly
stop running to the exact same total machine state
Ben Bacarisse would confirm that this one also
would never stop running.
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-27 00:39 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <20251126163259.71@kylheku.com> |
| In reply to | #136617 |
On 2025-11-27, olcott <polcott333@gmail.com> wrote:
> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>
>>>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>>>> with code.
>>>>>>>>>
>>>>>>>>
>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>> of restarting a simulation after it has already
>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>
>>>>>>> That the continuation of the simulation reaches a final halting state
>>>>>>> conclusively proves otherwise.
>>>>>>
>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>> able to engage with tasks involving code.
>>>>>>
>>>>>
>>>>> void Infinite_Loop()
>>>>> {
>>>>> HERE: goto HERE;
>>>>> return;
>>>>> }
>>>>>
>>>>> And the continuation of the simulation
>>>>> at the "return" statement "proves"
>>>>> by deception that infinite loops halt.
>>>>
>>>> I have no idea what you are blabbing about, and neither do you.
>>>>
>>>
>>> We could simulate Infinite_Loop() until it
>>> proves that it cannot possibly stop running
>>> unless aborted, then abort it. Now to use
>>> your method we can "resume" the simulation
>>> at a different machine state.
>>
>> No, you fucking idiot.
>>
>>> This simulation is "resumed" at the "return"
>>> instruction.
>>
>> No, you fucking idiot.
>>
>> "In other words you are trying to get away with
>> disagreeing with the semantics of the x86 language
>> or the semantics of the C programing language."
>>
>> See above.
>>
>
> I discussed you (not by name) with Claude AI.
> It is convinced that you must be a liar.
Right; anything but atually get to grips with some code.
> I will fix this by actually adapting a C interpreter
> to prove that you are a liar to anyone that knows C.
>
> I tried to do this with x86 yet this proved far
> too difficult for even the chief editor of one
> of the most prestigious computer science journals.
It is child's play to show that your claims based on
that x86 contraption are incorrect.
> When you resume any simulation that cannot possibly
> stop running to the exact same total machine state
No, only the state of the simulation is resumed, not
the total machine state.
Maybe you are not familar with operating systems.
When a descheduled or blocked thread is resumed, the entire machine
state doesn't rewind back to the time that thread stopped. Only that
thread's state is restored.
It is obvious you have gaps in your understanding of
concurrent programming.
> Ben Bacarisse would confirm that this one also
> would never stop running.
That is correct.
But the simulation of a D, which calls a H(D) that returns 0, is
terminating. So for that resumed simulation, we would find that inside
the simulation, the simulated H(D) returns 0 to the simulated D, which
executes its simulated return.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 18:51 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g87a7$upad$1@dont-email.me> |
| In reply to | #136618 |
On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>
>>>>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>>>>> with code.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>
>>>>>>>> That the continuation of the simulation reaches a final halting state
>>>>>>>> conclusively proves otherwise.
>>>>>>>
>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>> able to engage with tasks involving code.
>>>>>>>
>>>>>>
>>>>>> void Infinite_Loop()
>>>>>> {
>>>>>> HERE: goto HERE;
>>>>>> return;
>>>>>> }
>>>>>>
>>>>>> And the continuation of the simulation
>>>>>> at the "return" statement "proves"
>>>>>> by deception that infinite loops halt.
>>>>>
>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>
>>>>
>>>> We could simulate Infinite_Loop() until it
>>>> proves that it cannot possibly stop running
>>>> unless aborted, then abort it. Now to use
>>>> your method we can "resume" the simulation
>>>> at a different machine state.
>>>
>>> No, you fucking idiot.
>>>
>>>> This simulation is "resumed" at the "return"
>>>> instruction.
>>>
>>> No, you fucking idiot.
>>>
>>> "In other words you are trying to get away with
>>> disagreeing with the semantics of the x86 language
>>> or the semantics of the C programing language."
>>>
>>> See above.
>>>
>>
>> I discussed you (not by name) with Claude AI.
>> It is convinced that you must be a liar.
>
> Right; anything but atually get to grips with some code.
>
>> I will fix this by actually adapting a C interpreter
>> to prove that you are a liar to anyone that knows C.
>>
>> I tried to do this with x86 yet this proved far
>> too difficult for even the chief editor of one
>> of the most prestigious computer science journals.
>
> It is child's play to show that your claims based on
> that x86 contraption are incorrect.
>
>> When you resume any simulation that cannot possibly
>> stop running to the exact same total machine state
>
> No, only the state of the simulation is resumed, not
> the total machine state.
>
Great you finally admit that you are cheating.
Anyone knowing comp.theory will understand this
is cheating.
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Date | 2025-11-26 20:02 -0500 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g87v9$v1jp$1@dont-email.me> |
| In reply to | #136619 |
On 11/26/2025 7:51 PM, olcott wrote:
> On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>
>>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>>> results shown
>>>>>>>>>>> with code.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>
>>>>>>>>> That the continuation of the simulation reaches a final halting
>>>>>>>>> state
>>>>>>>>> conclusively proves otherwise.
>>>>>>>>
>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>> able to engage with tasks involving code.
>>>>>>>>
>>>>>>>
>>>>>>> void Infinite_Loop()
>>>>>>> {
>>>>>>> HERE: goto HERE;
>>>>>>> return;
>>>>>>> }
>>>>>>>
>>>>>>> And the continuation of the simulation
>>>>>>> at the "return" statement "proves"
>>>>>>> by deception that infinite loops halt.
>>>>>>
>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>
>>>>>
>>>>> We could simulate Infinite_Loop() until it
>>>>> proves that it cannot possibly stop running
>>>>> unless aborted, then abort it. Now to use
>>>>> your method we can "resume" the simulation
>>>>> at a different machine state.
>>>>
>>>> No, you fucking idiot.
>>>>
>>>>> This simulation is "resumed" at the "return"
>>>>> instruction.
>>>>
>>>> No, you fucking idiot.
>>>>
>>>> "In other words you are trying to get away with
>>>> disagreeing with the semantics of the x86 language
>>>> or the semantics of the C programing language."
>>>>
>>>> See above.
>>>>
>>>
>>> I discussed you (not by name) with Claude AI.
>>> It is convinced that you must be a liar.
>>
>> Right; anything but atually get to grips with some code.
>>
>>> I will fix this by actually adapting a C interpreter
>>> to prove that you are a liar to anyone that knows C.
>>>
>>> I tried to do this with x86 yet this proved far
>>> too difficult for even the chief editor of one
>>> of the most prestigious computer science journals.
>>
>> It is child's play to show that your claims based on
>> that x86 contraption are incorrect.
>>
>>> When you resume any simulation that cannot possibly
>>> stop running to the exact same total machine state
>>
>> No, only the state of the simulation is resumed, not
>> the total machine state.
>>
>
> Great you finally admit that you are cheating.
No, you just admitted that you don't know how simulation works.
[toc] | [prev] | [next] | [standalone]
| From | Python <python@cccp.invalid> |
|---|---|
| Date | 2025-11-27 01:24 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <-k3t_AWjQHLMjeopJvJ2h2VN98Y@jntp> |
| In reply to | #136619 |
Le 27/11/2025 à 01:51, olcott a écrit :
> On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>
>>>>>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>>>>>> with code.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>
>>>>>>>>> That the continuation of the simulation reaches a final halting state
>>>>>>>>> conclusively proves otherwise.
>>>>>>>>
>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>> able to engage with tasks involving code.
>>>>>>>>
>>>>>>>
>>>>>>> void Infinite_Loop()
>>>>>>> {
>>>>>>> HERE: goto HERE;
>>>>>>> return;
>>>>>>> }
>>>>>>>
>>>>>>> And the continuation of the simulation
>>>>>>> at the "return" statement "proves"
>>>>>>> by deception that infinite loops halt.
>>>>>>
>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>
>>>>>
>>>>> We could simulate Infinite_Loop() until it
>>>>> proves that it cannot possibly stop running
>>>>> unless aborted, then abort it. Now to use
>>>>> your method we can "resume" the simulation
>>>>> at a different machine state.
>>>>
>>>> No, you fucking idiot.
>>>>
>>>>> This simulation is "resumed" at the "return"
>>>>> instruction.
>>>>
>>>> No, you fucking idiot.
>>>>
>>>> "In other words you are trying to get away with
>>>> disagreeing with the semantics of the x86 language
>>>> or the semantics of the C programing language."
>>>>
>>>> See above.
>>>>
>>>
>>> I discussed you (not by name) with Claude AI.
>>> It is convinced that you must be a liar.
>>
>> Right; anything but atually get to grips with some code.
>>
>>> I will fix this by actually adapting a C interpreter
>>> to prove that you are a liar to anyone that knows C.
>>>
>>> I tried to do this with x86 yet this proved far
>>> too difficult for even the chief editor of one
>>> of the most prestigious computer science journals.
>>
>> It is child's play to show that your claims based on
>> that x86 contraption are incorrect.
>>
>>> When you resume any simulation that cannot possibly
>>> stop running to the exact same total machine state
>>
>> No, only the state of the simulation is resumed, not
>> the total machine state.
>>
>
> Great you finally admit that you are cheating.
> Anyone knowing comp.theory will understand this
> is cheating.
Quite the opposite.
Don't pretend to talk in the name of other people. SINNER !
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 19:42 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g8a9c$vrtg$1@dont-email.me> |
| In reply to | #136621 |
On 11/26/2025 7:24 PM, Python wrote:
> Le 27/11/2025 à 01:51, olcott a écrit :
>> On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
>>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>>
>>>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>>>> results shown
>>>>>>>>>>>> with code.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>>
>>>>>>>>>> That the continuation of the simulation reaches a final
>>>>>>>>>> halting state
>>>>>>>>>> conclusively proves otherwise.
>>>>>>>>>
>>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>>> able to engage with tasks involving code.
>>>>>>>>>
>>>>>>>>
>>>>>>>> void Infinite_Loop()
>>>>>>>> {
>>>>>>>> HERE: goto HERE;
>>>>>>>> return;
>>>>>>>> }
>>>>>>>>
>>>>>>>> And the continuation of the simulation
>>>>>>>> at the "return" statement "proves"
>>>>>>>> by deception that infinite loops halt.
>>>>>>>
>>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>>
>>>>>>
>>>>>> We could simulate Infinite_Loop() until it
>>>>>> proves that it cannot possibly stop running
>>>>>> unless aborted, then abort it. Now to use
>>>>>> your method we can "resume" the simulation
>>>>>> at a different machine state.
>>>>>
>>>>> No, you fucking idiot.
>>>>>
>>>>>> This simulation is "resumed" at the "return"
>>>>>> instruction.
>>>>>
>>>>> No, you fucking idiot.
>>>>>
>>>>> "In other words you are trying to get away with
>>>>> disagreeing with the semantics of the x86 language
>>>>> or the semantics of the C programing language."
>>>>>
>>>>> See above.
>>>>>
>>>>
>>>> I discussed you (not by name) with Claude AI.
>>>> It is convinced that you must be a liar.
>>>
>>> Right; anything but atually get to grips with some code.
>>>
>>>> I will fix this by actually adapting a C interpreter
>>>> to prove that you are a liar to anyone that knows C.
>>>>
>>>> I tried to do this with x86 yet this proved far
>>>> too difficult for even the chief editor of one
>>>> of the most prestigious computer science journals.
>>>
>>> It is child's play to show that your claims based on
>>> that x86 contraption are incorrect.
>>>
>>>> When you resume any simulation that cannot possibly
>>>> stop running to the exact same total machine state
>>>
>>> No, only the state of the simulation is resumed, not
>>> the total machine state.
>>>
>>
>> Great you finally admit that you are cheating.
>> Anyone knowing comp.theory will understand this
>> is cheating.
>
> Quite the opposite.
>
> Don't pretend to talk in the name of other people. SINNER !
Kaz is saying that he can "resume" a simulation
that has just proved that it will never stop
running to a different machine state to "prove"
that this simulation does stop running.
I am estimating that you are agreeing with
Kaz not even knowing that what he is claiming.
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | Python <python@cccp.invalid> |
|---|---|
| Date | 2025-11-27 02:00 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <4p9d_Jnf16LRCUCi3z7O-Aq2C68@jntp> |
| In reply to | #136623 |
Le 27/11/2025 à 02:42, olcott a écrit :
> On 11/26/2025 7:24 PM, Python wrote:
>> Le 27/11/2025 à 01:51, olcott a écrit :
>>> On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
>>>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>>>
>>>>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>>>>> results shown
>>>>>>>>>>>>> with code.
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>>>
>>>>>>>>>>> That the continuation of the simulation reaches a final
>>>>>>>>>>> halting state
>>>>>>>>>>> conclusively proves otherwise.
>>>>>>>>>>
>>>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>>>> able to engage with tasks involving code.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> void Infinite_Loop()
>>>>>>>>> {
>>>>>>>>> HERE: goto HERE;
>>>>>>>>> return;
>>>>>>>>> }
>>>>>>>>>
>>>>>>>>> And the continuation of the simulation
>>>>>>>>> at the "return" statement "proves"
>>>>>>>>> by deception that infinite loops halt.
>>>>>>>>
>>>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>>>
>>>>>>>
>>>>>>> We could simulate Infinite_Loop() until it
>>>>>>> proves that it cannot possibly stop running
>>>>>>> unless aborted, then abort it. Now to use
>>>>>>> your method we can "resume" the simulation
>>>>>>> at a different machine state.
>>>>>>
>>>>>> No, you fucking idiot.
>>>>>>
>>>>>>> This simulation is "resumed" at the "return"
>>>>>>> instruction.
>>>>>>
>>>>>> No, you fucking idiot.
>>>>>>
>>>>>> "In other words you are trying to get away with
>>>>>> disagreeing with the semantics of the x86 language
>>>>>> or the semantics of the C programing language."
>>>>>>
>>>>>> See above.
>>>>>>
>>>>>
>>>>> I discussed you (not by name) with Claude AI.
>>>>> It is convinced that you must be a liar.
>>>>
>>>> Right; anything but atually get to grips with some code.
>>>>
>>>>> I will fix this by actually adapting a C interpreter
>>>>> to prove that you are a liar to anyone that knows C.
>>>>>
>>>>> I tried to do this with x86 yet this proved far
>>>>> too difficult for even the chief editor of one
>>>>> of the most prestigious computer science journals.
>>>>
>>>> It is child's play to show that your claims based on
>>>> that x86 contraption are incorrect.
>>>>
>>>>> When you resume any simulation that cannot possibly
>>>>> stop running to the exact same total machine state
>>>>
>>>> No, only the state of the simulation is resumed, not
>>>> the total machine state.
>>>>
>>>
>>> Great you finally admit that you are cheating.
>>> Anyone knowing comp.theory will understand this
>>> is cheating.
>>
>> Quite the opposite.
>>
>> Don't pretend to talk in the name of other people. SINNER !
>
> Kaz is saying that he can "resume" a simulation
> that has just proved that it will never stop
> running to a different machine state to "prove"
> that this simulation does stop running.
He is right.
> I am estimating that you are agreeing with
> Kaz not even knowing that what he is claiming.
You are "estimating" wrong. This is called hubris and lies. Both are SINS.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 20:37 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g8dgv$10ub6$1@dont-email.me> |
| In reply to | #136626 |
On 11/26/2025 8:00 PM, Python wrote:
> Le 27/11/2025 à 02:42, olcott a écrit :
>> On 11/26/2025 7:24 PM, Python wrote:
>>> Le 27/11/2025 à 01:51, olcott a écrit :
>>>> On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>>>>>> results shown
>>>>>>>>>>>>>> with code.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>>>>
>>>>>>>>>>>> That the continuation of the simulation reaches a final
>>>>>>>>>>>> halting state
>>>>>>>>>>>> conclusively proves otherwise.
>>>>>>>>>>>
>>>>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>>>>> able to engage with tasks involving code.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> void Infinite_Loop()
>>>>>>>>>> {
>>>>>>>>>> HERE: goto HERE;
>>>>>>>>>> return;
>>>>>>>>>> }
>>>>>>>>>>
>>>>>>>>>> And the continuation of the simulation
>>>>>>>>>> at the "return" statement "proves"
>>>>>>>>>> by deception that infinite loops halt.
>>>>>>>>>
>>>>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>>>>
>>>>>>>>
>>>>>>>> We could simulate Infinite_Loop() until it
>>>>>>>> proves that it cannot possibly stop running
>>>>>>>> unless aborted, then abort it. Now to use
>>>>>>>> your method we can "resume" the simulation
>>>>>>>> at a different machine state.
>>>>>>>
>>>>>>> No, you fucking idiot.
>>>>>>>
>>>>>>>> This simulation is "resumed" at the "return"
>>>>>>>> instruction.
>>>>>>>
>>>>>>> No, you fucking idiot.
>>>>>>>
>>>>>>> "In other words you are trying to get away with
>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>> or the semantics of the C programing language."
>>>>>>>
>>>>>>> See above.
>>>>>>>
>>>>>>
>>>>>> I discussed you (not by name) with Claude AI.
>>>>>> It is convinced that you must be a liar.
>>>>>
>>>>> Right; anything but atually get to grips with some code.
>>>>>
>>>>>> I will fix this by actually adapting a C interpreter
>>>>>> to prove that you are a liar to anyone that knows C.
>>>>>>
>>>>>> I tried to do this with x86 yet this proved far
>>>>>> too difficult for even the chief editor of one
>>>>>> of the most prestigious computer science journals.
>>>>>
>>>>> It is child's play to show that your claims based on
>>>>> that x86 contraption are incorrect.
>>>>>
>>>>>> When you resume any simulation that cannot possibly
>>>>>> stop running to the exact same total machine state
>>>>>
>>>>> No, only the state of the simulation is resumed, not
>>>>> the total machine state.
>>>>>
>>>>
>>>> Great you finally admit that you are cheating.
>>>> Anyone knowing comp.theory will understand this
>>>> is cheating.
>>>
>>> Quite the opposite.
>>>
>>> Don't pretend to talk in the name of other people. SINNER !
>>
>> Kaz is saying that he can "resume" a simulation
>> that has just proved that it will never stop
>> running to a different machine state to "prove"
>> that this simulation does stop running.
>
> He is right.
>
He is resuming a simulation that he already admitted
that he conclusively proved is non-halting to contradict
himself and prove that it is halting by "resuming" this
simulation at a different machine state.
>> I am estimating that you are agreeing with
>> Kaz not even knowing that what he is claiming.
>
> You are "estimating" wrong. This is called hubris and lies. Both are SINS.
I have never said a single thing in this forum since
2020 that I did not wholeheartedly believe is true.
To the best of my knowledge I have not even exaggerated
at all or made any substantive error since 2020 in
the substance of any of my claims since 2020.
To the best of my knowledge the biggest mistake
that I have made since 2020 is my syllogism example
that I made today and Kaz caught.
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-27 04:15 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <20251126201212.411@kylheku.com> |
| In reply to | #136629 |
On 2025-11-27, olcott <polcott333@gmail.com> wrote: > On 11/26/2025 8:00 PM, Python wrote: >>> Kaz is saying that he can "resume" a simulation >>> that has just proved that it will never stop >>> running to a different machine state to "prove" >>> that this simulation does stop running. >> >> He is right. >> > > He is resuming a simulation that he already admitted > that he conclusively proved is non-halting to contradict What? I did not. You must be brandishing your second grade level reading comprehension again. > himself and prove that it is halting by "resuming" this > simulation at a different machine state. The simulation is resumed at exactly the simulation's current state as it was left behind when the decider stopped stepping it. But don't take my word for it. You could check it in the actual ... code! You are just not good at following the semantics of the C language and the x86 instruction set. >> You are "estimating" wrong. This is called hubris and lies. Both are SINS. > > I have never said a single thing in this forum since > 2020 that I did not wholeheartedly believe is true. You would look smarter if you admitted it's all been gaslighting and trolling. -- TXR Programming Language: http://nongnu.org/txr Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal Mastodon: @Kazinator@mstdn.ca
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 22:31 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g8k6o$131v3$1@dont-email.me> |
| In reply to | #136635 |
On 11/26/2025 10:15 PM, Kaz Kylheku wrote:
> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>> On 11/26/2025 8:00 PM, Python wrote:
>>>> Kaz is saying that he can "resume" a simulation
>>>> that has just proved that it will never stop
>>>> running to a different machine state to "prove"
>>>> that this simulation does stop running.
>>>
>>> He is right.
>>>
>>
>> He is resuming a simulation that he already admitted
>> that he conclusively proved is non-halting to contradict
>
> What? I did not. You must be brandishing your second
> grade level reading comprehension again.
>
>> himself and prove that it is halting by "resuming" this
>> simulation at a different machine state.
>
> The simulation is resumed at exactly the simulation's
> current state as it was left behind when the decider
> stopped stepping it.
>
Unless it is the total machine state it is cheating.
> But don't take my word for it. You could check it in
> the actual ... code!
>
> You are just not good at following the semantics of
> the C language and the x86 instruction set.
>
Here is the dumbed down version
void DDD()
{
HHH(DDD);
return;
}
HHH simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)...
How is this DDD going to reach its "return" statement???
>>> You are "estimating" wrong. This is called hubris and lies. Both are SINS.
>>
>> I have never said a single thing in this forum since
>> 2020 that I did not wholeheartedly believe is true.
>
> You would look smarter if you admitted it's all been
> gaslighting and trolling.
>
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-27 06:51 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <20251126222456.207@kylheku.com> |
| In reply to | #136637 |
On 2025-11-27, olcott <polcott333@gmail.com> wrote:
> On 11/26/2025 10:15 PM, Kaz Kylheku wrote:
>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 8:00 PM, Python wrote:
>>>>> Kaz is saying that he can "resume" a simulation
>>>>> that has just proved that it will never stop
>>>>> running to a different machine state to "prove"
>>>>> that this simulation does stop running.
>>>>
>>>> He is right.
>>>>
>>>
>>> He is resuming a simulation that he already admitted
>>> that he conclusively proved is non-halting to contradict
>>
>> What? I did not. You must be brandishing your second
>> grade level reading comprehension again.
>>
>>> himself and prove that it is halting by "resuming" this
>>> simulation at a different machine state.
>>
>> The simulation is resumed at exactly the simulation's
>> current state as it was left behind when the decider
>> stopped stepping it.
>
> Unless it is the total machine state it is cheating.
You idiot, what you are proposing is to turn back time over
the entire apparatus. That will would create an instant loop, like in
time-travel science fiction.
The techniqjue I implemented, which is apparently beyond
your understanding, doesn't involve rewinding anything.
There is no manpulation of state other than /identifyng/
a simulation that has been abandoned and then stepping it
forward by making more DebugStep calls that the decider
refused to make.
There is no rewinding or replay going on.
>> But don't take my word for it. You could check it in
>> the actual ... code!
>>
>> You are just not good at following the semantics of
>> the C language and the x86 instruction set.
>>
>
> Here is the dumbed down version
All you are capable of.
> void DDD()
> {
> HHH(DDD);
> return;
> }
>
> HHH simulates DDD that calls HHH(DDD)
> that simulates DDD that calls HHH(DDD)...
>
> How is this DDD going to reach its "return" statement???
It has been explained umpteen times.
It reaches that statement in exactly the same way the top-level DDD()
called from main() does.
I can answer questions about it, but at some point you
have to do your own experimenting.
I've given you the tool to see where abandoned simulations
are heading; you can /use/ that as a debugging/verification
tool to make sure that the simulations do what you think
(and publicly say) they do.
You have static variable cheats in your code which enable
you to get that behavior.
Here is the kicker:
* It's only because your cheats are not completely working that I obtained
* the expected results!!! Mike Terry identified this first.
Here is hat happens: HHH simulates DDD, performing the abort tests.
DDD starts a level [2] simulation. That simulation also calls HHH
and when it hits that address, the abort criteria kick in: the outer
HHH bails and returns 0.
Now we get to the kicker: before returning, HHH overwrites the
static execution trace buffer pointer wth 0x90909090.
Now, we resume the abandoned level [1] simulation. What happens is that
the level [2] simulation now continues executing into HHH. This level
[2] HHH notices, "hey, I don't have an execution trace buffer: the
pointer is 0x90909090". It therefore allocates one and thinks that it
is the Root decider (Root == 1). Therefore, the level [2] HHH performs
the abort test, and eventually returns 0 to the level [2] DDD. That DDD
then terminates whch is detected by the level [1] HHH, which returns 0.
The level [1] DD then terminates, and so ends the level[1] simulation
that we resumed.
So by dumb luck, we observe the "correct" behavior; your stupid
cheat fucked itself by resetting the trace buffer pointer.
Most of my remarks refer to a correctly implemented, de-fuckerized
version of your test case without the static data, in which HHH,
DD and all those are pure functions.
Mike Terry implemented something like that, "MTJ_HHH" and "MJT_DD".
He saw the infinite tower of termnating simuations start up,
and proceed into several levels.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-27 08:59 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g9p0v$1gggu$1@dont-email.me> |
| In reply to | #136653 |
On 11/27/2025 12:51 AM, Kaz Kylheku wrote: > On 2025-11-27, olcott <polcott333@gmail.com> wrote: >> On 11/26/2025 10:15 PM, Kaz Kylheku wrote: >>> On 2025-11-27, olcott <polcott333@gmail.com> wrote: >>>> On 11/26/2025 8:00 PM, Python wrote: >>>>>> Kaz is saying that he can "resume" a simulation >>>>>> that has just proved that it will never stop >>>>>> running to a different machine state to "prove" >>>>>> that this simulation does stop running. >>>>> >>>>> He is right. >>>>> >>>> >>>> He is resuming a simulation that he already admitted >>>> that he conclusively proved is non-halting to contradict >>> >>> What? I did not. You must be brandishing your second >>> grade level reading comprehension again. >>> >>>> himself and prove that it is halting by "resuming" this >>>> simulation at a different machine state. >>> >>> The simulation is resumed at exactly the simulation's >>> current state as it was left behind when the decider >>> stopped stepping it. >> >> Unless it is the total machine state it is cheating. > > You idiot, what you are proposing is to turn back time over > the entire apparatus. That will would create an instant loop, like in > time-travel science fiction. > What I am proposing is that proceeding beyond this point is nuts On 11/4/2025 8:43 PM, Kaz Kylheku wrote: > On 2025-11-05, olcott <polcott333@gmail.com> wrote: >> >> ...D simulated by H cannot possibly reach its own >> simulated "return" statement... > > Yes; this doesn't happen while H is running. > -- Copyright 2025 Olcott My 28 year goal has been to make "true on the basis of meaning" computable. This required establishing a new foundation for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2025-11-27 10:16 -0500 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <wXZVQ.37583$fE57.10207@fx15.iad> |
| In reply to | #136686 |
On 11/27/25 9:59 AM, olcott wrote: > On 11/27/2025 12:51 AM, Kaz Kylheku wrote: >> On 2025-11-27, olcott <polcott333@gmail.com> wrote: >>> On 11/26/2025 10:15 PM, Kaz Kylheku wrote: >>>> On 2025-11-27, olcott <polcott333@gmail.com> wrote: >>>>> On 11/26/2025 8:00 PM, Python wrote: >>>>>>> Kaz is saying that he can "resume" a simulation >>>>>>> that has just proved that it will never stop >>>>>>> running to a different machine state to "prove" >>>>>>> that this simulation does stop running. >>>>>> >>>>>> He is right. >>>>>> >>>>> >>>>> He is resuming a simulation that he already admitted >>>>> that he conclusively proved is non-halting to contradict >>>> >>>> What? I did not. You must be brandishing your second >>>> grade level reading comprehension again. >>>> >>>>> himself and prove that it is halting by "resuming" this >>>>> simulation at a different machine state. >>>> >>>> The simulation is resumed at exactly the simulation's >>>> current state as it was left behind when the decider >>>> stopped stepping it. >>> >>> Unless it is the total machine state it is cheating. >> >> You idiot, what you are proposing is to turn back time over >> the entire apparatus. That will would create an instant loop, like in >> time-travel science fiction. >> > > What I am proposing is that proceeding beyond this point is nuts Which shows that YOU are nuts and think LIES are valid logic. > > On 11/4/2025 8:43 PM, Kaz Kylheku wrote: > > On 2025-11-05, olcott <polcott333@gmail.com> wrote: > >> > >> ...D simulated by H cannot possibly reach its own > >> simulated "return" statement... > > > > Yes; this doesn't happen while H is running. > > > > >
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-27 18:17 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <20251127101123.995@kylheku.com> |
| In reply to | #136686 |
On 2025-11-27, olcott <polcott333@gmail.com> wrote: > On 11/27/2025 12:51 AM, Kaz Kylheku wrote: >> On 2025-11-27, olcott <polcott333@gmail.com> wrote: >>> On 11/26/2025 10:15 PM, Kaz Kylheku wrote: >>>> On 2025-11-27, olcott <polcott333@gmail.com> wrote: >>>>> On 11/26/2025 8:00 PM, Python wrote: >>>>>>> Kaz is saying that he can "resume" a simulation >>>>>>> that has just proved that it will never stop >>>>>>> running to a different machine state to "prove" >>>>>>> that this simulation does stop running. >>>>>> >>>>>> He is right. >>>>>> >>>>> >>>>> He is resuming a simulation that he already admitted >>>>> that he conclusively proved is non-halting to contradict >>>> >>>> What? I did not. You must be brandishing your second >>>> grade level reading comprehension again. >>>> >>>>> himself and prove that it is halting by "resuming" this >>>>> simulation at a different machine state. >>>> >>>> The simulation is resumed at exactly the simulation's >>>> current state as it was left behind when the decider >>>> stopped stepping it. >>> >>> Unless it is the total machine state it is cheating. >> >> You idiot, what you are proposing is to turn back time over >> the entire apparatus. That will would create an instant loop, like in >> time-travel science fiction. >> > > What I am proposing is that proceeding beyond this point is nuts That's not a technical argument though; that's just your own insecurity speaking. Quite the contrary. What is nuts is the development of the x86utm and Halt7. Code for resuming abandoned simulations is an injection of a small amount of sanity into the project. It exposes (in one more way) that your claims are nuts. You obviously don't have any understanding of software, if you don't realize that if we have the slave_state pointer of a simulation, we can make it take another step wth DebugStep. -- TXR Programming Language: http://nongnu.org/txr Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal Mastodon: @Kazinator@mstdn.ca
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2025-11-27 07:41 -0500 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <qGXVQ.34691$d6ed.23825@fx12.iad> |
| In reply to | #136637 |
On 11/26/25 11:31 PM, olcott wrote:
> On 11/26/2025 10:15 PM, Kaz Kylheku wrote:
>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 8:00 PM, Python wrote:
>>>>> Kaz is saying that he can "resume" a simulation
>>>>> that has just proved that it will never stop
>>>>> running to a different machine state to "prove"
>>>>> that this simulation does stop running.
>>>>
>>>> He is right.
>>>>
>>>
>>> He is resuming a simulation that he already admitted
>>> that he conclusively proved is non-halting to contradict
>>
>> What? I did not. You must be brandishing your second
>> grade level reading comprehension again.
>>
>>> himself and prove that it is halting by "resuming" this
>>> simulation at a different machine state.
>>
>> The simulation is resumed at exactly the simulation's
>> current state as it was left behind when the decider
>> stopped stepping it.
>>
>
> Unless it is the total machine state it is cheating.
>
>> But don't take my word for it. You could check it in
>> the actual ... code!
>>
>> You are just not good at following the semantics of
>> the C language and the x86 instruction set.
>>
>
> Here is the dumbed down version
>
> void DDD()
> {
> HHH(DDD);
> return;
> }
>
> HHH simulates DDD that calls HHH(DDD)
> that simulates DDD that calls HHH(DDD)...
But that isn't what HHH does, so your logic is just a lie.
Sorry, all you are doing is proving you think lies are valid logic.
>
> How is this DDD going to reach its "return" statement???
>
>>>> You are "estimating" wrong. This is called hubris and lies. Both are
>>>> SINS.
>>>
>>> I have never said a single thing in this forum since
>>> 2020 that I did not wholeheartedly believe is true.
>>
>> You would look smarter if you admitted it's all been
>> gaslighting and trolling.
>>
>
>
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2025-11-27 07:40 -0500 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <mFXVQ.34690$d6ed.11541@fx12.iad> |
| In reply to | #136629 |
On 11/26/25 9:37 PM, olcott wrote:
> On 11/26/2025 8:00 PM, Python wrote:
>> Le 27/11/2025 à 02:42, olcott a écrit :
>>> On 11/26/2025 7:24 PM, Python wrote:
>>>> Le 27/11/2025 à 01:51, olcott a écrit :
>>>>> On 11/26/2025 6:39 PM, Kaz Kylheku wrote:
>>>>>> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>>>>>>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>>>>>>> results shown
>>>>>>>>>>>>>>> with code.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>>>>>>
>>>>>>>>>>>>> That the continuation of the simulation reaches a final
>>>>>>>>>>>>> halting state
>>>>>>>>>>>>> conclusively proves otherwise.
>>>>>>>>>>>>
>>>>>>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>>>>>>> able to engage with tasks involving code.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> void Infinite_Loop()
>>>>>>>>>>> {
>>>>>>>>>>> HERE: goto HERE;
>>>>>>>>>>> return;
>>>>>>>>>>> }
>>>>>>>>>>>
>>>>>>>>>>> And the continuation of the simulation
>>>>>>>>>>> at the "return" statement "proves"
>>>>>>>>>>> by deception that infinite loops halt.
>>>>>>>>>>
>>>>>>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> We could simulate Infinite_Loop() until it
>>>>>>>>> proves that it cannot possibly stop running
>>>>>>>>> unless aborted, then abort it. Now to use
>>>>>>>>> your method we can "resume" the simulation
>>>>>>>>> at a different machine state.
>>>>>>>>
>>>>>>>> No, you fucking idiot.
>>>>>>>>
>>>>>>>>> This simulation is "resumed" at the "return"
>>>>>>>>> instruction.
>>>>>>>>
>>>>>>>> No, you fucking idiot.
>>>>>>>>
>>>>>>>> "In other words you are trying to get away with
>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>> or the semantics of the C programing language."
>>>>>>>>
>>>>>>>> See above.
>>>>>>>>
>>>>>>>
>>>>>>> I discussed you (not by name) with Claude AI.
>>>>>>> It is convinced that you must be a liar.
>>>>>>
>>>>>> Right; anything but atually get to grips with some code.
>>>>>>
>>>>>>> I will fix this by actually adapting a C interpreter
>>>>>>> to prove that you are a liar to anyone that knows C.
>>>>>>>
>>>>>>> I tried to do this with x86 yet this proved far
>>>>>>> too difficult for even the chief editor of one
>>>>>>> of the most prestigious computer science journals.
>>>>>>
>>>>>> It is child's play to show that your claims based on
>>>>>> that x86 contraption are incorrect.
>>>>>>
>>>>>>> When you resume any simulation that cannot possibly
>>>>>>> stop running to the exact same total machine state
>>>>>>
>>>>>> No, only the state of the simulation is resumed, not
>>>>>> the total machine state.
>>>>>>
>>>>>
>>>>> Great you finally admit that you are cheating.
>>>>> Anyone knowing comp.theory will understand this
>>>>> is cheating.
>>>>
>>>> Quite the opposite.
>>>>
>>>> Don't pretend to talk in the name of other people. SINNER !
>>>
>>> Kaz is saying that he can "resume" a simulation
>>> that has just proved that it will never stop
>>> running to a different machine state to "prove"
>>> that this simulation does stop running.
>>
>> He is right.
>>
>
> He is resuming a simulation that he already admitted
> that he conclusively proved is non-halting to contradict
> himself and prove that it is halting by "resuming" this
> simulation at a different machine state.
>
But if the simulation was conclusively proved to be non-halting, why did
it halt?
Answer: Because it was NOT proved to be non-halting, a DIFFERENT input,
one that called a DIFFERENT decider was shown to be non-halting.
The problem is you logic is built on the concept that changing constants
in the middle of a problem is valid.
In other words, that it is ok to LIE.
>>> I am estimating that you are agreeing with
>>> Kaz not even knowing that what he is claiming.
>>
>> You are "estimating" wrong. This is called hubris and lies. Both are
>> SINS.
>
> I have never said a single thing in this forum since
> 2020 that I did not wholeheartedly believe is true.
But, since a reasonable person (which you are not) would understand it
them not be true, make you just a pathological liar.
Lies include statements that are obviously false, even if the person
unreasonably beleives them, that just shows they are mentally incapable
of understanding the truth.
>
> To the best of my knowledge I have not even exaggerated
> at all or made any substantive error since 2020 in
> the substance of any of my claims since 2020.
>
> To the best of my knowledge the biggest mistake
> that I have made since 2020 is my syllogism example
> that I made today and Kaz caught.
>
And the problem that "to the best of your knowledge" is MEANINGLESS as
you are just proving yourself to be delusional.
Knowledge and truth are different, but you think you miniscule idea of
what you know defines truth, showing your utter stupidity,
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2025-11-26 23:00 -0800 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g8sti$14eiv$12@dont-email.me> |
| In reply to | #136618 |
On 11/26/2025 4:39 PM, Kaz Kylheku wrote:
> On 2025-11-27, olcott <polcott333@gmail.com> wrote:
>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>
>>>>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>>>>> with code.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>
>>>>>>>> That the continuation of the simulation reaches a final halting state
>>>>>>>> conclusively proves otherwise.
>>>>>>>
>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>> able to engage with tasks involving code.
>>>>>>>
>>>>>>
>>>>>> void Infinite_Loop()
>>>>>> {
>>>>>> HERE: goto HERE;
>>>>>> return;
>>>>>> }
>>>>>>
>>>>>> And the continuation of the simulation
>>>>>> at the "return" statement "proves"
>>>>>> by deception that infinite loops halt.
>>>>>
>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>
>>>>
>>>> We could simulate Infinite_Loop() until it
>>>> proves that it cannot possibly stop running
>>>> unless aborted, then abort it. Now to use
>>>> your method we can "resume" the simulation
>>>> at a different machine state.
>>>
>>> No, you fucking idiot.
>>>
>>>> This simulation is "resumed" at the "return"
>>>> instruction.
>>>
>>> No, you fucking idiot.
>>>
>>> "In other words you are trying to get away with
>>> disagreeing with the semantics of the x86 language
>>> or the semantics of the C programing language."
>>>
>>> See above.
>>>
>>
>> I discussed you (not by name) with Claude AI.
>> It is convinced that you must be a liar.
>
> Right; anything but atually get to grips with some code.
>
>> I will fix this by actually adapting a C interpreter
>> to prove that you are a liar to anyone that knows C.
>>
>> I tried to do this with x86 yet this proved far
>> too difficult for even the chief editor of one
>> of the most prestigious computer science journals.
>
> It is child's play to show that your claims based on
> that x86 contraption are incorrect.
>
>> When you resume any simulation that cannot possibly
>> stop running to the exact same total machine state
>
> No, only the state of the simulation is resumed, not
> the total machine state.
>
> Maybe you are not familar with operating systems.
>
> When a descheduled or blocked thread is resumed, the entire machine
> state doesn't rewind back to the time that thread stopped. Only that
> thread's state is restored.
>
> It is obvious you have gaps in your understanding of
> concurrent programming.
I can picture his try into that realm. Dr. Race and/or crash a lot? He
most likely does not even know what a race-condition is.
>
>> Ben Bacarisse would confirm that this one also
>> would never stop running.
>
> That is correct.
>
> But the simulation of a D, which calls a H(D) that returns 0, is
> terminating. So for that resumed simulation, we would find that inside
> the simulation, the simulated H(D) returns 0 to the simulated D, which
> executes its simulated return.
>
>
[toc] | [prev] | [next] | [standalone]
| From | Python <python@cccp.invalid> |
|---|---|
| Date | 2025-11-27 01:39 +0000 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <BPfyvRvQ-B_vRGgpZ4qdE1iUFW4@jntp> |
| In reply to | #136617 |
Le 27/11/2025 à 01:20, olcott a écrit :
> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>
>>>>>>>>> Says the pitiful twit who has no meaningful response to results shown
>>>>>>>>> with code.
>>>>>>>>>
>>>>>>>>
>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>> of restarting a simulation after it has already
>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>
>>>>>>> That the continuation of the simulation reaches a final halting state
>>>>>>> conclusively proves otherwise.
>>>>>>
>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>> able to engage with tasks involving code.
>>>>>>
>>>>>
>>>>> void Infinite_Loop()
>>>>> {
>>>>> HERE: goto HERE;
>>>>> return;
>>>>> }
>>>>>
>>>>> And the continuation of the simulation
>>>>> at the "return" statement "proves"
>>>>> by deception that infinite loops halt.
>>>>
>>>> I have no idea what you are blabbing about, and neither do you.
>>>>
>>>
>>> We could simulate Infinite_Loop() until it
>>> proves that it cannot possibly stop running
>>> unless aborted, then abort it. Now to use
>>> your method we can "resume" the simulation
>>> at a different machine state.
>>
>> No, you fucking idiot.
>>
>>> This simulation is "resumed" at the "return"
>>> instruction.
>>
>> No, you fucking idiot.
>>
>> "In other words you are trying to get away with
>> disagreeing with the semantics of the x86 language
>> or the semantics of the C programing language."
>>
>> See above.
>>
>
> I discussed you (not by name) with Claude AI.
> It is convinced that you must be a liar.
https://hammadulhaq.medium.com/the-dunning-kruger-effect-and-llms-confidence-vs-competence-in-ai-e882866366de
> I will fix this by actually adapting a C interpreter
> to prove that you are a liar to anyone that knows C.
You didn't react to my post about C :-)
> I tried to do this with x86 yet this proved far
> too difficult for even the chief editor of one
> of the most prestigious computer science journals.
Not too difficult. Your sophistries, incompetence and lies are obvious.
> When you resume any simulation that cannot possibly
> stop running to the exact same total machine state
> Ben Bacarisse would confirm that this one also
> would never stop running.
Don't pretend to talk about what other people would say. SINNER!
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 19:47 -0600 |
| Subject | Re: The halting problem is incorrect two different ways |
| Message-ID | <10g8aj5$vuuk$1@dont-email.me> |
| In reply to | #136622 |
On 11/26/2025 7:39 PM, Python wrote:
> Le 27/11/2025 à 01:20, olcott a écrit :
>> On 11/26/2025 5:55 PM, Kaz Kylheku wrote:
>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>> On 11/26/2025 4:19 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/26/2025 3:47 PM, Kaz Kylheku wrote:
>>>>>>> On 2025-11-26, dbush <dbush.mobile@gmail.com> wrote:
>>>>>>>> On 11/26/2025 2:55 PM, olcott wrote:
>>>>>>>>> On 11/26/2025 12:35 PM, Kaz Kylheku wrote:
>>>>>>>>>> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>> In other words you are trying to get away with
>>>>>>>>>>> disagreeing with the semantics of the x86 language
>>>>>>>>>>> or the semantics of the C programing language.
>>>>>>>>>>
>>>>>>>>>> Says the pitiful twit who has no meaningful response to
>>>>>>>>>> results shown
>>>>>>>>>> with code.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> I am not the one that came up with the jackass idea
>>>>>>>>> of restarting a simulation after it has already
>>>>>>>>> conclusively proved that it cannot possibly halt.
>>>>>>>>
>>>>>>>> That the continuation of the simulation reaches a final halting
>>>>>>>> state
>>>>>>>> conclusively proves otherwise.
>>>>>>>
>>>>>>> And Olcott has no idea how to fix it and is no longer
>>>>>>> able to engage with tasks involving code.
>>>>>>>
>>>>>>
>>>>>> void Infinite_Loop()
>>>>>> {
>>>>>> HERE: goto HERE;
>>>>>> return;
>>>>>> }
>>>>>>
>>>>>> And the continuation of the simulation
>>>>>> at the "return" statement "proves"
>>>>>> by deception that infinite loops halt.
>>>>>
>>>>> I have no idea what you are blabbing about, and neither do you.
>>>>>
>>>>
>>>> We could simulate Infinite_Loop() until it
>>>> proves that it cannot possibly stop running
>>>> unless aborted, then abort it. Now to use
>>>> your method we can "resume" the simulation
>>>> at a different machine state.
>>>
>>> No, you fucking idiot.
>>>
>>>> This simulation is "resumed" at the "return"
>>>> instruction.
>>>
>>> No, you fucking idiot.
>>>
>>> "In other words you are trying to get away with
>>> disagreeing with the semantics of the x86 language
>>> or the semantics of the C programing language."
>>>
>>> See above.
>>>
>>
>> I discussed you (not by name) with Claude AI.
>> It is convinced that you must be a liar.
>
> https://hammadulhaq.medium.com/the-dunning-kruger-effect-and-llms-
> confidence-vs-competence-in-ai-e882866366de
>
>> I will fix this by actually adapting a C interpreter
>> to prove that you are a liar to anyone that knows C.
>
> You didn't react to my post about C :-)
>
I don't every recall you ever mentioning anything
about c.
>> I tried to do this with x86 yet this proved far
>> too difficult for even the chief editor of one
>> of the most prestigious computer science journals.
>
> Not too difficult. Your sophistries, incompetence and lies are obvious.
>
The chief editor of one of the most prestigious
computer science journals exchanged about 15
emails with me. The bottom line was that he
could not understand the x86 language well enough.
>> When you resume any simulation that cannot possibly
>> stop running to the exact same total machine state
>> Ben Bacarisse would confirm that this one also
>> would never stop running.
>
> Don't pretend to talk about what other people would say. SINNER!
>
>
I have spoken with Ben continuously for 15 years.
He knows this aspect of computer science quite well.
Perhaps better than anyone else here.
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its input D
until H correctly determines that its simulated D would never
stop running unless aborted then
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words10/13/2022>
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
> I don't think that is the shell game. PO really /has/ an H
> (it's trivial to do for this one case) that correctly determines
> that P(P) *would* never stop running *unless* aborted.
--
Copyright 2025 Olcott
My 28 year goal has been to make
"true on the basis of meaning" computable.
This required establishing a new foundation
for correct reasoning.
[toc] | [prev] | [next] | [standalone]
Page 10 of 32 — ← Prev page 1 … 8 9 [10] 11 12 … 32 Next page →
Back to top | Article view | comp.theory
csiph-web