Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #135431 > unrolled thread
| Started by | olcott <polcott333@gmail.com> |
|---|---|
| First post | 2025-11-12 08:45 -0600 |
| Last post | 2025-12-07 13:17 +0200 |
| Articles | 20 on this page of 449 — 21 participants |
Back to article view | Back to comp.theory
Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 08:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 11:57 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-12 18:12 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 12:31 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-12 18:46 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 13:11 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 13:33 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 20:17 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 14:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:25 +0000
D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 20:34 -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:42 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-11-12 19:49 -0800
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 22:36 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state David Brown <david.brown@hesbynett.no> - 2025-11-13 08:54 +0100
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 00:21 -0800
How to handle pathological cases (was Re: ...) Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-13 11:18 +0100
Re: How to handle pathological cases (was Re: ...) Richard Harnden <richard.nospam@gmail.invalid> - 2025-11-13 12:14 +0000
Re: How to handle pathological cases (was Re: ...) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 07:06 -0800
Re: How to handle pathological cases (was Re: ...) olcott <polcott333@gmail.com> - 2025-11-13 09:28 -0600
Re: How to handle pathological cases (was Re: ...) olcott <polcott333@gmail.com> - 2025-11-13 09:15 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-13 09:22 -0600
Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) gazelle@shell.xmission.com (Kenny McCormack) - 2025-11-13 12:36 +0000
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-11-13 13:49 +0100
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) gazelle@shell.xmission.com (Kenny McCormack) - 2025-11-13 12:55 +0000
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) olcott <polcott333@gmail.com> - 2025-11-13 09:26 -0600
Re: Any article that contains the string "olcott" is junk (Was: D simulated by H cannot possibly reach its own simulated final halt state) olcott <polcott333@gmail.com> - 2025-11-13 09:24 -0600
Re: D simulated by H cannot possibly reach its own simulated final halt state olcott <polcott333@gmail.com> - 2025-11-12 22: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-19 04:42 +0000
Re: D simulated by H cannot possibly reach its own simulated final halt state Richard Damon <Richard@Damon-Family.org> - 2025-12-14 20:59 -0500
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-12 20:49 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-13 11:18 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 10:06 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 19:04 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 15:18 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-14 10:53 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 08:33 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-14 14:56 +0000
Libelous statements that meet the burden of proof of reckless disregard of the truth olcott <polcott333@gmail.com> - 2025-11-14 09:33 -0600
Re: Statements that are true, with full regard for the truth Alan Mackenzie <acm@muc.de> - 2025-11-14 15:52 +0000
Libelous statements that meet the burden of proof of reckless disregard of the truth olcott <polcott333@gmail.com> - 2025-11-14 10:03 -0600
Re: Statements that are true, with full regard for the truth dart200 <user7160@newsgrouper.org.invalid> - 2025-11-14 09:05 -0800
Re: Statements that are true, with full regard for the truth Alan Mackenzie <acm@muc.de> - 2025-11-14 17:52 +0000
Re: Statements that are true, with full regard for the truth olcott <polcott333@gmail.com> - 2025-11-14 12:16 -0600
Re: Statements that are true, with full regard for the truth dart200 <user7160@newsgrouper.org.invalid> - 2025-11-14 12:59 -0800
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-14 11:45 -0800
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 20:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 14:30 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-14 20:43 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 14:58 -0600
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-15 11:59 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:31 +0000
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-16 08:49 +0000
"true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-16 10:01 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-16 22:20 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-16 20:08 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 13:21 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 07:46 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 17:00 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 11:04 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 17:29 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 11:36 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 21:11 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:23 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 23:38 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:45 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 00:01 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 18:34 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 13:45 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 09:15 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 02:28 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 21:51 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 13:16 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 02:23 +0000
eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 11:41 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 13:44 -0600
Re: eric is not a crank Alan Mackenzie <acm@muc.de> - 2025-11-17 20:34 +0000
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 14:45 -0600
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:24 -0800
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:30 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 16:20 -0600
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 15:03 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 17:35 -0600
polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 16:06 -0800
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-17 18:31 -0600
Re: polcott agrees with the halting problem dbush <dbush.mobile@gmail.com> - 2025-11-17 19:43 -0500
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 18:46 -0800
Re: polcott agrees with the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 03:07 +0000
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 19:10 -0800
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-17 19:36 -0800
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 21:18 -0800
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 15:10 -0800
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-18 17:40 -0800
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-18 19:46 -0600
Re: polcott agrees with the halting problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 17:17 +0000
help i'm stuck in a liar's paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 10:43 -0800
Re: help i'm stuck in a liar's paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:48 +0000
Re: help i'm stuck in a liar's paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 11:19 -0800
Re: help i'm stuck in a liar's paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 19:47 +0000
Re: help i'm stuck in a liar's paradox --- TXR and AWK olcott <polcott333@gmail.com> - 2025-11-19 14:49 -0600
Re: help i'm stuck in a liar's paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 21:01 -0800
Re: help i'm stuck in a liar's paradox olcott <polcott333@gmail.com> - 2025-11-19 14:18 -0600
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 13:03 -0800
Re: polcott agrees with the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 03:45 +0000
polcott agrees the halting problem is wrong olcott <polcott333@gmail.com> - 2025-11-17 22:07 -0600
Re: polcott agrees with the halting problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 17:41 +0000
polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 12:37 -0600
Re: polcott agrees the halting problem is incorrect Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 20:55 +0000
Re: polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 15:05 -0600
Re: polcott agrees the halting problem is incorrect Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 21:41 +0000
Re: polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 21:12 -0600
Re: polcott agrees the halting problem is incorrect Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 04:42 +0000
Re: polcott agrees the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-19 22:57 -0600
Re: polcott agrees the halting problem is incorrect "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 13:22 -0800
Re: polcott agrees the halting problem is incorrect Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 22:10 +0000
Re: polcott agrees the halting problem is incorrect "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 14:56 -0800
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 17:24 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 15:27 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 02:42 +0000
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 20:50 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 19:10 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 04:12 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 04:13 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 20:23 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 22:41 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 05:04 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 09:19 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 17:29 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 12:15 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 18:22 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 19:18 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 13:33 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 22:05 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <NoOne@NoWhere.com> - 2025-11-21 23:14 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Richard Heathfield <rjh@cpax.org.uk> - 2025-11-22 05:39 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:05 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 07:00 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:26 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 19:29 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 13:44 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 20:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 14:13 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:09 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-23 04:20 +0000
Glossary of names in my termination analyzer system olcott <polcott333@gmail.com> - 2025-11-22 22:50 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-21 22:12 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 21:56 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 02:54 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 23: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:07 +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:07 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-21 13:42 -0800
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:10 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 19:36 +0000
polcott agrees the halting problem is incorrect --- is libel against him olcott <polcott333@gmail.com> - 2025-11-20 20:00 -0600
polcott agrees that the halting problem is incorrect in this way olcott <polcott333@gmail.com> - 2025-11-17 21:47 -0600
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-18 23:47 +0000
Re: polcott agrees with the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 00:13 +0000
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-19 00:57 +0000
polcott has shwn that the halting problem is incorrect olcott <polcott333@gmail.com> - 2025-11-18 18:17 -0600
Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-18 18:24 -0600
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 01:06 +0000
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 01:07 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-18 19:41 -0600
Re: Liars try to get away with DD simulated by HHH halts Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:20 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-19 12:49 -0600
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 19:18 +0000
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 12:40 -0800
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 12:44 -0800
Re: Liars try to get away with DD simulated by HHH halts Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 01:56 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-19 20:19 -0600
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 13:25 -0800
Re: Liars try to get away with DD simulated by HHH halts Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 22:05 +0000
Re: Liars try to get away with DD simulated by HHH halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 15:43 -0800
Re: Liars try to get away with DD simulated by HHH halts Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 21:03 +0000
Re: Liars try to get away with DD simulated by HHH halts olcott <polcott333@gmail.com> - 2025-11-19 21:13 -0600
Re: polcott agrees with the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 10:26 -0800
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-19 19:42 +0000
polcott agrees the halting problem is incorrect --- quit lying about what I say olcott <polcott333@gmail.com> - 2025-11-19 14:45 -0600
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-19 12:51 -0800
Re: polcott agrees with the halting problem Jeff Barnett <jbb@notatt.com> - 2025-11-19 16:04 -0700
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-19 17:43 -0600
Re: polcott agrees with the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 00:04 +0000
homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:08 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 02:29 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:49 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 02:58 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 19:53 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 19:55 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 12:03 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 20:14 +0000
Re: homework assignment for the group: multi-decider paradox Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 20:24 +0000
Re: homework assignment for the group: multi-decider paradox Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 07:22 +0000
Re: homework assignment for the group: multi-decider paradox Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-20 20:53 +0000
Re: homework assignment for the group: multi-decider paradox Richard Heathfield <rjh@cpax.org.uk> - 2025-11-20 21:09 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 13:35 -0800
Re: homework assignment for the group: multi-decider paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 22:06 +0000
Re: homework assignment for the group: multi-decider paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 13:50 -0800
Re: polcott agrees with the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-20 18:10 -0800
Re: polcott agrees with the halting problem olcott <polcott333@gmail.com> - 2025-11-17 21:37 -0600
Re: eric is not a crank Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:28 +0000
Re: eric is not a crank "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-17 13:33 -0800
Re: eric is not a crank dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:44 -0800
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-17 16:49 -0600
Re: eric is not a crank Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:39 +0000
Re: eric is not a crank Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 23:21 +0000
Re: eric is not a crank Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 23:36 +0000
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-18 17:43 -0600
Re: eric is not a crank "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 16:06 -0800
Re: eric is not a crank Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:24 +0000
Re: eric is not a crank olcott <polcott333@gmail.com> - 2025-11-18 17:40 -0600
the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:22 -0800
Re: the halting problem is founded in computer science olcott <polcott333@gmail.com> - 2025-11-17 16:48 -0600
Re: the halting problem is founded in computer science Alan Mackenzie <acm@muc.de> - 2025-11-18 13:36 +0000
the halting problem is founded in computer science not math olcott <polcott333@gmail.com> - 2025-11-18 08:50 -0600
Re: the halting problem is founded in computer science not math Alan Mackenzie <acm@muc.de> - 2025-11-18 20:02 +0000
Re: the halting problem is founded in computer science not math olcott <polcott333@gmail.com> - 2025-11-18 14:12 -0600
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-18 13:04 -0800
Re: the halting problem is founded in computer science Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:36 +0000
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-19 23:36 +0000
Re: the halting problem is founded in computer science olcott <NoOne@NoWhere.com> - 2025-11-19 17:53 -0600
Re: the halting problem is founded in computer science Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 00:01 +0000
Re: the halting problem is founded in computer science Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 00:01 +0000
Re: the halting problem is founded in computer science olcott <polcott333@gmail.com> - 2025-11-19 21:11 -0600
Re: the halting problem is founded in computer science Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 20:05 +0000
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:15 -0800
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-20 23:15 +0000
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 23:38 -0800
Making True(Language L, Expression E) always computable olcott <polcott333@gmail.com> - 2025-11-21 09:09 -0600
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-22 03:02 +0000
halting problem counter example H/D pair is the Liar Paradox olcott <NoOne@NoWhere.com> - 2025-11-21 21:34 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 04:26 +0000
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 06:08 +0000
Re: halting problem counter example H/D pair is the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-22 07:16 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 16:45 +0000
Re: halting problem counter example H/D pair is the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-22 11:14 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 17:44 +0000
Re: halting problem counter example H/D pair is the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-22 11:48 -0600
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-22 18:05 +0000
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:13 +0000
Re: halting problem counter example H/D pair is the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-23 04:11 +0000
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-21 20:14 -0800
Re: the halting problem is founded in computer science dart200 <user7160@newsgrouper.org.invalid> - 2025-11-19 18:25 -0800
Re: the halting problem is founded in computer science Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 07:46 +0000
"great now there's n+1 formal systems" reports dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 02:24 -0800
Re: "great now there's n+1 formal systems" reports Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 14:41 +0000
Re: "great now there's n+1 formal systems" reports dart200 <user7160@newsgrouper.org.invalid> - 2025-11-20 12:03 -0800
Re: "great now there's n+1 formal systems" reports Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 20:39 +0000
Re: "great now there's n+1 formal systems" reports dart200 <user7160@newsgrouper.org.invalid> - 2025-11-21 10:59 -0800
Re: the halting problem is founded in computer science Ben Bacarisse <ben@bsb.me.uk> - 2025-11-20 23:17 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 21:41 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 13:50 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 22:15 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 22:45 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 22:54 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:05 +0000
The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-17 16:59 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:22 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 06:40 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 01:03 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-18 19:36 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 18:51 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-19 14:22 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 20:55 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-19 21:24 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-20 04:46 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-19 22:58 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 08:06 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-22 08:12 -0600
Re: The halting problem is merely the Liar Paradox in disguise dbush <dbush.mobile@gmail.com> - 2025-11-22 10:15 -0500
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-22 18:42 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-22 13:06 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-20 20:49 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-21 13:50 -0600
Re: The halting problem is merely the Liar Paradox in disguise Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 22:05 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 02:47 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-18 21:04 -0600
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-21 01:14 +0000
Re: The halting problem is merely the Liar Paradox in disguise Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-21 01:28 +0000
Re: The halting problem is merely the Liar Paradox in disguise olcott <polcott333@gmail.com> - 2025-11-20 22:00 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:59 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 15:09 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 23:31 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:39 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-17 23:48 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 16:00 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 18:07 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 00:19 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 18:58 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 21:40 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Alan Mackenzie <acm@muc.de> - 2025-11-18 11:02 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:36 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 06:48 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:41 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 15:10 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:33 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 16:04 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 18:26 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 02:16 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) dart200 <user7160@newsgrouper.org.invalid> - 2025-11-17 19:02 -0800
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 21:43 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 12:57 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-18 12:52 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 16:54 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 20:51 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 17:20 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:44 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 22:44 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 06:40 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 08:04 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-18 21:58 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 16:56 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-18 17:04 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 07:52 -0600
Re: "true on the basis of meaning" AKA Analytic(Olcott) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 16:01 +0000
Re: "true on the basis of meaning" AKA Analytic(Olcott) olcott <polcott333@gmail.com> - 2025-11-17 10:29 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 18:55 +0000
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-16 21:43 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-16 18:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 04:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 13:24 -0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 09:38 -0600
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 12:59 -0800
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 05:28 +0800
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:44 -0800
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-27 19:37 +0800
Re: Rejecting expressions of formal language having pathological self-reference Alan Mackenzie <acm@muc.de> - 2025-11-16 09:32 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:11 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:03 +0000
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 14:39 +0000
Re: Rejecting expressions of formal language having pathological self-reference dart200 <user7160@newsgrouper.org.invalid> - 2025-11-15 06:43 -0800
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 15:29 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 09:41 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 16:32 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:03 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 17:24 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:38 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 18:06 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 12:50 -0600
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 03:30 +0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 13:55 -0600
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 04:04 +0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 14:14 -0600
Re: Rejecting expressions of formal language having pathological self-reference wij <wyniijj5@gmail.com> - 2025-11-16 04:25 +0800
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 14:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 21:55 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 16:18 -0600
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 13:05 -0800
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-15 11:56 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 09:51 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 16:35 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:05 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 17:27 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 11:40 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 18:08 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 12:53 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:31 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 14:55 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 22:02 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 22:54 +0000
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 23:30 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 17:32 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 00:10 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 18:44 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-16 18:41 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-15 17:22 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-16 01:07 +0000
Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-15 19:29 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 19:11 +0000
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-16 18:52 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 01:45 +0000
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-16 20:13 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 03:41 +0000
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) olcott <polcott333@gmail.com> - 2025-11-16 21:50 -0600
Re: Rejecting expressions of formal language having infinite loops --- G ↔ ¬Prov(⌜G⌝) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 04:04 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-16 10:55 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-16 14:37 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-17 11:11 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-17 07:44 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-18 11:26 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-18 09:51 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-19 11:53 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-19 07:02 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:13 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-20 10:08 +0200
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 13:27 -0800
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 18:39 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 12:52 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:36 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 20:57 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 03:22 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 22:43 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 08:44 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 09:38 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 18:57 +0000
Re: Rejecting expressions of formal language having pathological self-reference joes <noreply@example.org> - 2025-11-16 15:45 +0000
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 00:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 18:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 01:02 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 20:29 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 13:09 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 07:42 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 01:14 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 20:33 -0600
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 10:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:22 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 20:32 -0600
Re: Rejecting expressions of formal language having pathological self-reference Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 02:38 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 22:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Heathfield <rjh@cpax.org.uk> - 2025-11-13 04:50 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-12 23:00 -0600
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 00:16 -0800
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-13 11:05 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-13 10:00 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:01 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 08:42 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-26 12:30 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-26 09:27 -0600
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:46 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-26 14:07 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-26 21:00 -0500
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-01 14:45 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-12-01 09:18 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:22 +0200
Re: Rejecting expressions of formal language having pathological self-reference "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:39 -0800
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:20 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-27 09:49 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-27 12:27 -0500
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:45 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-28 09:22 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:28 +0200
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 00:56 +0000
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:09 +0200
Re: Rejecting expressions of formal language having pathological self-reference Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-14 13:20 +0000
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-14 08:49 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-26 12:17 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-26 09:20 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-26 10:25 -0500
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:17 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-27 09:48 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:40 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-28 09:21 -0600
Re: Rejecting expressions of formal language having pathological self-reference Richard Damon <Richard@Damon-Family.org> - 2025-11-28 11:03 -0500
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:31 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-11-29 12:01 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-12-01 12:18 +0200
Re: Rejecting expressions of formal language having pathological self-reference olcott <polcott333@gmail.com> - 2025-12-01 06:45 -0600
Re: Rejecting expressions of formal language having pathological self-reference Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:17 +0200
Page 1 of 23 [1] 2 3 … 23 Next page →
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 08:45 -0600 |
| Subject | Rejecting expressions of formal language having pathological self-reference |
| Message-ID | <10f26ig$1gdio$1@dont-email.me> |
Rejecting expressions of formal language having pathological self-reference Explained how expressions with pathological self reference can simply be rejected as semantically/ syntactically unsound thus preventing undefinability, and undecidability. This sentence is not true: "This sentence is not true" is true only because the inner sentence is semantically unsound. The inner sentence is formalized in Minimal Type Theory as LP := ~True(LP). (where A := B means A is defined as B). https://philpapers.org/rec/OLCREO Can someone review my actual reasoning elaborated in the paper? -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 11:57 -0600 |
| Message-ID | <10f2hpi$1k3nq$1@dont-email.me> |
| In reply to | #135431 |
On 11/12/2025 8:45 AM, olcott wrote: > Rejecting expressions of formal language > having pathological self-reference > > Explained how expressions with pathological self > reference can simply be rejected as semantically/ > syntactically unsound thus preventing undefinability, > and undecidability. > > This sentence is not true: "This sentence is not true" > is true only because the inner sentence is semantically > unsound. The inner sentence is formalized in Minimal > Type Theory as LP := ~True(LP). > (where A := B means A is defined as B). > > https://philpapers.org/rec/OLCREO > > Can someone review my actual reasoning > elaborated in the paper? > *ChatGPT critique of the above paper* https://chatgpt.com/share/6914ab34-4440-8011-9395-8bec2af5f82f The huge advantages of LLM systems is that they do not begin their review on the basis that [Olcott is wrong] is an axiom. No humans have ever been able to do this in thousands of reviews across dozens of forums. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Alan Mackenzie <acm@muc.de> |
|---|---|
| Date | 2025-11-12 18:12 +0000 |
| Message-ID | <10f2ims$p3t$1@news.muc.de> |
| In reply to | #135434 |
[ Followup-To: set ] In comp.theory olcott <polcott333@gmail.com> wrote: [ .... ] > The huge advantages of LLM systems is that they do not > begin their review on the basis that [Olcott is wrong] > is an axiom. No humans have ever been able to do this > in thousands of reviews across dozens of forums. The huge disadvantage of LLM systems is that they begin their review on the basis that Olcott is right. Intelligent people do not do this. They evaluate what Olcott has written and pronounce it either right or (much more usually) wrong. > -- > Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius > hits a target no one else can see." Arthur Schopenhauer -- Alan Mackenzie (Nuremberg, Germany).
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 12:31 -0600 |
| Message-ID | <10f2jq0$1knvo$1@dont-email.me> |
| In reply to | #135435 |
On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
> [ Followup-To: set ]
>
> In comp.theory olcott <polcott333@gmail.com> wrote:
>
> [ .... ]
>
>> The huge advantages of LLM systems is that they do not
>> begin their review on the basis that [Olcott is wrong]
>> is an axiom. No humans have ever been able to do this
>> in thousands of reviews across dozens of forums.
>
> The huge disadvantage of LLM systems is that they begin their review on
> the basis that Olcott is right.
Your basis is an incorrect guess, An incorrect
guess does not count as correct reasoning.
It doesn't seem like any reviewer on any forum
understands that an incorrect guess does not
count as a sound basis.
For three years reviewers on comp.theory could
not begin to see that the dumbed down DDD simulated
by HHH could not possibly reach its own "return"
statement.
void DDD()
{
HHH(DDD);
return;
}
They could not see this even though recursive
emulation where HHH simulates DDD is isomorphic
to infinite recursion where HHH invokes DDD.
Do you have any reasonably plausible reason for this?
> Intelligent people do not do this.
> They evaluate what Olcott has written and pronounce it either right or
> (much more usually) wrong.
>
>> --
>> Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Alan Mackenzie <acm@muc.de> |
|---|---|
| Date | 2025-11-12 18:46 +0000 |
| Message-ID | <10f2km4$p3t$2@news.muc.de> |
| In reply to | #135436 |
[ Followup-To: set ]
In comp.theory olcott <polcott333@gmail.com> wrote:
> On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
>> In comp.theory olcott <polcott333@gmail.com> wrote:
>> [ .... ]
>>> The huge advantages of LLM systems is that they do not
>>> begin their review on the basis that [Olcott is wrong]
>>> is an axiom. No humans have ever been able to do this
>>> in thousands of reviews across dozens of forums.
>> The huge disadvantage of LLM systems is that they begin their review on
>> the basis that Olcott is right.
[ .... ]
> For three years reviewers on comp.theory could
> not begin to see that the dumbed down DDD simulated
> by HHH could not possibly reach its own "return"
> statement.
> void DDD()
> {
> HHH(DDD);
> return;
> }
That's a lie. Everybody here sees that and accepts it.
> Do you have any reasonably plausible reason for this?
Trying to debate with you is a waste of time. You assert falsehoods,
conflate radically different things, and generally have no regard for the
truth and little understanding of the things being discussed.
>> Intelligent people do not do this.
>> They evaluate what Olcott has written and pronounce it either right or
>> (much more usually) wrong.
> --
> Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer
--
Alan Mackenzie (Nuremberg, Germany).
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 13:11 -0600 |
| Message-ID | <10f2m5o$1lh2b$1@dont-email.me> |
| In reply to | #135438 |
On 11/12/2025 12:46 PM, Alan Mackenzie wrote:
> [ Followup-To: set ]
>
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
>
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>
>>> [ .... ]
>
>>>> The huge advantages of LLM systems is that they do not
>>>> begin their review on the basis that [Olcott is wrong]
>>>> is an axiom. No humans have ever been able to do this
>>>> in thousands of reviews across dozens of forums.
>
>>> The huge disadvantage of LLM systems is that they begin their review on
>>> the basis that Olcott is right.
>
> [ .... ]
>
>> For three years reviewers on comp.theory could
>> not begin to see that the dumbed down DDD simulated
>> by HHH could not possibly reach its own "return"
>> statement.
>
>> void DDD()
>> {
>> HHH(DDD);
>> return;
>> }
>
> That's a lie. Everybody here sees that and accepts it.
>
Everyone here rejects that the execution trace of
5 statements of DDD simulated by HHH according to
the semantics of C is:
(1) HHH simulates DDD that calls HHH(DDD)
(2) that simulates DDD that calls HHH(DDD)
(3) that simulates DDD that calls HHH(DDD)
(4) that simulates DDD that calls HHH(DDD)
(5) that simulates DDD that calls HHH(DDD)
???
I will keep comp.lang.c and comp.lang.c++
in the loop until I get an honest reply
even if that is never.
>> Do you have any reasonably plausible reason for this?
>
> Trying to debate with you is a waste of time. You assert falsehoods,
> conflate radically different things, and generally have no regard for the
> truth and little understanding of the things being discussed.
>
>>> Intelligent people do not do this.
>>> They evaluate what Olcott has written and pronounce it either right or
>>> (much more usually) wrong.
>
>> --
>> Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 13:33 -0600 |
| Message-ID | <10f2nec$1lv2a$1@dont-email.me> |
| In reply to | #135438 |
On 11/12/2025 12:46 PM, Alan Mackenzie wrote:
> [ Followup-To: set ]
>
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
>
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>
>>> [ .... ]
>
>>>> The huge advantages of LLM systems is that they do not
>>>> begin their review on the basis that [Olcott is wrong]
>>>> is an axiom. No humans have ever been able to do this
>>>> in thousands of reviews across dozens of forums.
>
>>> The huge disadvantage of LLM systems is that they begin their review on
>>> the basis that Olcott is right.
>
> [ .... ]
>
>> For three years reviewers on comp.theory could
>> not begin to see that the dumbed down DDD simulated
>> by HHH could not possibly reach its own "return"
>> statement.
>
>> void DDD()
>> {
>> HHH(DDD);
>> return;
>> }
>
> That's a lie. Everybody here sees that and accepts it.
>
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
>> Do you have any reasonably plausible reason for this?
>
> Trying to debate with you is a waste of time. You assert falsehoods,
> conflate radically different things, and generally have no regard for the
> truth and little understanding of the things being discussed.
>
>>> Intelligent people do not do this.
>>> They evaluate what Olcott has written and pronounce it either right or
>>> (much more usually) wrong.
>
>> --
>> Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-12 20:17 +0000 |
| Message-ID | <20251112120435.587@kylheku.com> |
| In reply to | #135438 |
On 2025-11-12, Alan Mackenzie <acm@muc.de> wrote:
> [ Followup-To: set ]
>
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
>
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>
>>> [ .... ]
>
>>>> The huge advantages of LLM systems is that they do not
>>>> begin their review on the basis that [Olcott is wrong]
>>>> is an axiom. No humans have ever been able to do this
>>>> in thousands of reviews across dozens of forums.
>
>>> The huge disadvantage of LLM systems is that they begin their review on
>>> the basis that Olcott is right.
>
> [ .... ]
>
>> For three years reviewers on comp.theory could
>> not begin to see that the dumbed down DDD simulated
>> by HHH could not possibly reach its own "return"
>> statement.
>
>> void DDD()
>> {
>> HHH(DDD);
>> return;
>> }
>
> That's a lie. Everybody here sees that and accepts it.
I don't.
HHH(DDD) returns 0 to reject DDD.
Since HHH(DDD) returns, so does DDD; it positively does reach its return.
Only if HHH is a switched to a simulator that doesn't look for any "abort"
pattern is it true that DDD does not reach its return.
Separately from that, I categorically reject the insanely stupid rhetoric which
insuantes that "DDD simulated by HHH" is a different DDD which does something
different from a top-level DDD invocation; it isn't, doesn't, and must not.
The Halt7.obj file at the current HEAD in Olcott's x86utm git
repo has the above case in it. The commit is from Feb, 2025:
commit 48b4cbfeb3f486507276a5fc4e9b10875ab24dbf
Author: plolcott <59188130+plolcott@users.noreply.github.com>
Date: Sat Feb 15 18:44:02 2025 -0600
Add files via upload
For this test case, the "reckoning" code easily shows that the DDD simulated by
HHH reaches its return, thus showing that it is the same as a directly executed
DDD; it's doing what DDD would do if called from main. That also shows that the
simulated HHH is returning to the simulated DDD, just like the top-level HHH
returns to main.
Something just has to push the abandoned simulation forward a few more
steps to show that.
> conflate radically different things, and generally have no regard for the
> truth and little understanding of the things being discussed.
... including the dynamic behavior of his own code.
--
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-12 14:45 -0600 |
| Message-ID | <10f2rki$1n9tg$1@dont-email.me> |
| In reply to | #135442 |
On 11/12/2025 2:17 PM, Kaz Kylheku wrote:
> On 2025-11-12, Alan Mackenzie <acm@muc.de> wrote:
>> [ Followup-To: set ]
>>
>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>> On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
>>
>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>
>>>> [ .... ]
>>
>>>>> The huge advantages of LLM systems is that they do not
>>>>> begin their review on the basis that [Olcott is wrong]
>>>>> is an axiom. No humans have ever been able to do this
>>>>> in thousands of reviews across dozens of forums.
>>
>>>> The huge disadvantage of LLM systems is that they begin their review on
>>>> the basis that Olcott is right.
>>
>> [ .... ]
>>
>>> For three years reviewers on comp.theory could
>>> not begin to see that the dumbed down DDD simulated
>>> by HHH could not possibly reach its own "return"
>>> statement.
>>
>>> void DDD()
>>> {
>>> HHH(DDD);
>>> return;
>>> }
>>
>> That's a lie. Everybody here sees that and accepts it.
>
> I don't.
>
> HHH(DDD) returns 0 to reject DDD.
>
> Since HHH(DDD) returns, so does DDD;
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
DDD simulated by HHH not DDD executed from main()
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-13 02:25 +0000 |
| Message-ID | <20251112182256.642@kylheku.com> |
| In reply to | #135443 |
On 2025-11-12, olcott <polcott333@gmail.com> wrote:
> On 11/12/2025 2:17 PM, Kaz Kylheku wrote:
>> On 2025-11-12, Alan Mackenzie <acm@muc.de> wrote:
>>> [ Followup-To: set ]
>>>
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>> On 11/12/2025 12:12 PM, Alan Mackenzie wrote:
>>>
>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>
>>>>> [ .... ]
>>>
>>>>>> The huge advantages of LLM systems is that they do not
>>>>>> begin their review on the basis that [Olcott is wrong]
>>>>>> is an axiom. No humans have ever been able to do this
>>>>>> in thousands of reviews across dozens of forums.
>>>
>>>>> The huge disadvantage of LLM systems is that they begin their review on
>>>>> the basis that Olcott is right.
>>>
>>> [ .... ]
>>>
>>>> For three years reviewers on comp.theory could
>>>> not begin to see that the dumbed down DDD simulated
>>>> by HHH could not possibly reach its own "return"
>>>> statement.
>>>
>>>> void DDD()
>>>> {
>>>> HHH(DDD);
>>>> return;
>>>> }
>>>
>>> That's a lie. Everybody here sees that and accepts it.
>>
>> I don't.
>>
>> HHH(DDD) returns 0 to reject DDD.
>>
>> Since HHH(DDD) returns, so does DDD;
> DDD simulated by HHH not DDD executed from main()
If those two are in any way whatsoever different, the entire
castle you built in the sand is washed away.
Luckily for you, they are not.
Unluckily for you, all your aborting H's make
wrong decisions.
(Additionally, in your implementation, they are not pure functions as
required; you have static trace buffers that are shared among
simulations, and the first "H" which allocates a trace buffer is told it
is the first one and behaves differently.)
The above test case
void DDD()
{
HHH(DDD);
return;
}
/is not evren diagonal/ and therefore can be decided by HHH.
All that HHH has to do is return 1.
So you have additional fuck-uppery that is not caused by
the diagonal trick.
--
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-12 20:34 -0600 |
| Subject | D simulated by H cannot possibly reach its own simulated final halt state |
| Message-ID | <10f3g3p$1s928$3@dont-email.me> |
| In reply to | #135452 |
On 11/12/2025 8:25 PM, Kaz Kylheku wrote:
>
> If those two are in any way whatsoever different, the entire
> castle you built in the sand is washed away.
>
*This is a FOREVER thing until someone admits the truth*
*This is a FOREVER thing until someone admits the truth*
*This is a FOREVER thing until someone admits the truth*
int D()
{
int Halt_Status = H(D);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
Everyone here rejects that the execution trace
of 5 statements of D simulated by H according to
the semantics of C is this:
(1) H simulates D that calls H(D)
(2) that simulates D that calls H(D)
(3) that simulates D that calls H(D)
(4) that simulates D that calls H(D)
(5) that simulates D that calls H(D)
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-13 02:42 +0000 |
| Subject | Re: D simulated by H cannot possibly reach its own simulated final halt state |
| Message-ID | <20251112183914.319@kylheku.com> |
| In reply to | #135455 |
On 2025-11-13, olcott <polcott333@gmail.com> wrote:
> On 11/12/2025 8:25 PM, Kaz Kylheku wrote:
>>
>> If those two are in any way whatsoever different, the entire
>> castle you built in the sand is washed away.
>>
>
> *This is a FOREVER thing until someone admits the truth*
> *This is a FOREVER thing until someone admits the truth*
> *This is a FOREVER thing until someone admits the truth*
>
> int D()
> {
> int Halt_Status = H(D);
> if (Halt_Status)
> HERE: goto HERE;
> return Halt_Status;
> }
>
> Everyone here rejects that the execution trace
> of 5 statements of D simulated by H according to
> the semantics of C is this:
>
> (1) H simulates D that calls H(D)
> (2) that simulates D that calls H(D)
> (3) that simulates D that calls H(D)
> (4) that simulates D that calls H(D)
> (5) that simulates D that calls H(D)
False; I have for months accepted that there is a simulation tower,
or should be if everything is done right.
Mike Terry reported cleaning up the code and getting that to happen!
He's traced it to some six or seven levels down, if I recall.
Each of the H(D)'s above, however, caries out a //limited//
simulation of the next level. The H's all partially simulate D
and then quit.
All of the D simulations are terminating.
The only non-terminating aspect is the regeneration of the
simulation tower.
But, that's not what H is asked to decide!!! H is not asked to decide
whether there is an infinite simulation tower. H is asked to decide
whether D halts.
All the D instances in the simulation tower are halting.
An infinite tower of witnesses to your stupidity.
--
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 | Keith Thompson <Keith.S.Thompson+u@gmail.com> |
|---|---|
| Date | 2025-11-12 19:49 -0800 |
| Subject | Re: D simulated by H cannot possibly reach its own simulated final halt state |
| Message-ID | <87a50qpp5n.fsf@example.invalid> |
| In reply to | #135459 |
[...]
I note that a substantial fraction of the articles recently posted
to comp.lang.c (and probably comp.lang.c++) are cross-posted to
comp.theory, and are about the Halting Problem.
Some of these articles contain small fragments of C-like source code,
but I suggest that doesn't make them either topical or interesting
to most participants in the C and C++ newsgroups.
I humbly suggest, yet again, that these discussions be restricted
to comp.theory, and that users try to edit the "Newsgroups:" header
even when replying to a cross-posted article.
--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 22:36 -0600 |
| Subject | Re: D simulated by H cannot possibly reach its own simulated final halt state |
| Message-ID | <10f3n7u$1u063$1@dont-email.me> |
| In reply to | #135462 |
On 11/12/2025 9:49 PM, Keith Thompson wrote:
> [...]
>
> I note that a substantial fraction of the articles recently posted
> to comp.lang.c (and probably comp.lang.c++) are cross-posted to
> comp.theory, and are about the Halting Problem.
>
> Some of these articles contain small fragments of C-like source code,
> but I suggest that doesn't make them either topical or interesting
> to most participants in the C and C++ newsgroups.
>
> I humbly suggest, yet again, that these discussions be restricted
> to comp.theory, and that users try to edit the "Newsgroups:" header
> even when replying to a cross-posted article.
>
int D()
{
int Halt_Status = H(D);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
I would love to do that after one person confirms
that D simulated by H according to the semantics
of the C programming language cannot reach its
own "return" statement.
People on all forums have been dodging that or
lying about that consistently for three years.
I only came to this forum to get that one question
answered and until then I will keep repeating it
several times a day forever. Feel free to keep
ignoring it now that you know the consequences.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | David Brown <david.brown@hesbynett.no> |
|---|---|
| Date | 2025-11-13 08:54 +0100 |
| Subject | Re: D simulated by H cannot possibly reach its own simulated final halt state |
| Message-ID | <10f42sg$1vt26$1@dont-email.me> |
| In reply to | #135464 |
On 13/11/2025 05:36, olcott wrote:
> On 11/12/2025 9:49 PM, Keith Thompson wrote:
>> [...]
>>
>> I note that a substantial fraction of the articles recently posted
>> to comp.lang.c (and probably comp.lang.c++) are cross-posted to
>> comp.theory, and are about the Halting Problem.
>>
>> Some of these articles contain small fragments of C-like source code,
>> but I suggest that doesn't make them either topical or interesting
>> to most participants in the C and C++ newsgroups.
>>
>> I humbly suggest, yet again, that these discussions be restricted
>> to comp.theory, and that users try to edit the "Newsgroups:" header
>> even when replying to a cross-posted article.
>>
>
> int D()
> {
> int Halt_Status = H(D);
> if (Halt_Status)
> HERE: goto HERE;
> return Halt_Status;
> }
>
> I would love to do that after one person confirms
> that D simulated by H according to the semantics
> of the C programming language cannot reach its
> own "return" statement.
>
> People on all forums have been dodging that or
> lying about that consistently for three years.
>
> I only came to this forum to get that one question
> answered and until then I will keep repeating it
> several times a day forever. Feel free to keep
> ignoring it now that you know the consequences.
>
Given that you've been doing this for so many years, and got the same
results every time - everyone disagrees with your fundamental concepts -
what makes you think you can change people's minds by repeating the same
questions and claims?
If you are wrong, and everyone else is right, then you are wasting your
time and everyone else's time.
If you are right and everyone else is wrong, then your posts are /still/
wasting your time and everyone else's time.
If you are sure you are correct, you have to find a different way to
prove it. How about you stop repeating yourself on Usenet groups
(especially c.l.c and c.l.c++, but also comp.theory and other groups),
and do something /useful/ with your breakthrough? You suggested your
solution to the halting problem could lead to a universal truth
identifier that would save the world. Surely that is more worthy of
your time than beating your head against this wall? Give up on the
ignorant masses here, and work with the LLM's that believe in you to
create your truth identifier. When we hear on international news how it
is changing the world, we'll get back to you and apologise for our lack
of faith.
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2025-11-13 00:21 -0800 |
| Subject | Re: D simulated by H cannot possibly reach its own simulated final halt state |
| Message-ID | <10f44dj$20qeg$2@dont-email.me> |
| In reply to | #135472 |
On 11/12/2025 11:54 PM, David Brown wrote:
> On 13/11/2025 05:36, olcott wrote:
>> On 11/12/2025 9:49 PM, Keith Thompson wrote:
>>> [...]
>>>
>>> I note that a substantial fraction of the articles recently posted
>>> to comp.lang.c (and probably comp.lang.c++) are cross-posted to
>>> comp.theory, and are about the Halting Problem.
>>>
>>> Some of these articles contain small fragments of C-like source code,
>>> but I suggest that doesn't make them either topical or interesting
>>> to most participants in the C and C++ newsgroups.
>>>
>>> I humbly suggest, yet again, that these discussions be restricted
>>> to comp.theory, and that users try to edit the "Newsgroups:" header
>>> even when replying to a cross-posted article.
>>>
>>
>> int D()
>> {
>> int Halt_Status = H(D);
>> if (Halt_Status)
>> HERE: goto HERE;
>> return Halt_Status;
>> }
>>
>> I would love to do that after one person confirms
>> that D simulated by H according to the semantics
>> of the C programming language cannot reach its
>> own "return" statement.
>>
>> People on all forums have been dodging that or
>> lying about that consistently for three years.
>>
>> I only came to this forum to get that one question
>> answered and until then I will keep repeating it
>> several times a day forever. Feel free to keep
>> ignoring it now that you know the consequences.
>>
>
> Given that you've been doing this for so many years, and got the same
> results every time - everyone disagrees with your fundamental concepts -
> what makes you think you can change people's minds by repeating the same
> questions and claims?
>
> If you are wrong, and everyone else is right, then you are wasting your
> time and everyone else's time.
>
> If you are right and everyone else is wrong, then your posts are /still/
> wasting your time and everyone else's time.
>
> If you are sure you are correct, you have to find a different way to
> prove it. How about you stop repeating yourself on Usenet groups
> (especially c.l.c and c.l.c++, but also comp.theory and other groups),
> and do something /useful/ with your breakthrough? You suggested your
> solution to the halting problem could lead to a universal truth
> identifier that would save the world. Surely that is more worthy of
> your time than beating your head against this wall? Give up on the
> ignorant masses here, and work with the LLM's that believe in you to
> create your truth identifier. When we hear on international news how it
> is changing the world, we'll get back to you and apologise for our lack
> of faith.
>
>
>
>
AMEN!!!!!!!!!!
[toc] | [prev] | [next] | [standalone]
| From | Janis Papanagnou <janis_papanagnou+ng@hotmail.com> |
|---|---|
| Date | 2025-11-13 11:18 +0100 |
| Subject | How to handle pathological cases (was Re: ...) |
| Message-ID | <10f4b96$22ngj$1@dont-email.me> |
| In reply to | #135472 |
On 13.11.2025 08:54, David Brown wrote: > On 13/11/2025 05:36, olcott wrote: >> [...] > > Given that you've been doing this for so many years, and got the same > results every time - everyone disagrees with your fundamental concepts - > what makes you think you can change people's minds by repeating the same > questions and claims? > > If you are wrong, and everyone else is right, then you are wasting your > time and everyone else's time. > > If you are right and everyone else is wrong, then your posts are /still/ > wasting your time and everyone else's time. > > If you are sure you are correct, you have to find a different way to > prove it. [...and so on, in a (IMO hopeless) try to get through...] You're probably assuming a normal, non-pathological case, since you're obviously trying it with sensible rational suggestions. If, for a moment, we'd presume - just as a working hypothesis - a pathological case then all such tries and suggestions are likely doomed to fail, and we need another way to handle that. So let's presume another hypothesis; making no replies to his posts results in no pathological floods of such posts. - I invite you all to do that so that we can see what happens, whether the hypothesis is correct or not. - If we're lucky, at some point there will be quietness again on this topic. And if he's still continuing just let a simple message-filter handle that. Janis
[toc] | [prev] | [next] | [standalone]
| From | Richard Harnden <richard.nospam@gmail.invalid> |
|---|---|
| Date | 2025-11-13 12:14 +0000 |
| Subject | Re: How to handle pathological cases (was Re: ...) |
| Message-ID | <10f4i2n$24gv4$1@dont-email.me> |
| In reply to | #135484 |
On 13/11/2025 10:18, Janis Papanagnou wrote: > On 13.11.2025 08:54, David Brown wrote: >> On 13/11/2025 05:36, olcott wrote: >>> [...] >> >> Given that you've been doing this for so many years, and got the same >> results every time - everyone disagrees with your fundamental concepts - >> what makes you think you can change people's minds by repeating the same >> questions and claims? >> >> If you are wrong, and everyone else is right, then you are wasting your >> time and everyone else's time. >> >> If you are right and everyone else is wrong, then your posts are /still/ >> wasting your time and everyone else's time. >> >> If you are sure you are correct, you have to find a different way to >> prove it. [...and so on, in a (IMO hopeless) try to get through...] > > You're probably assuming a normal, non-pathological case, since > you're obviously trying it with sensible rational suggestions. > > If, for a moment, we'd presume - just as a working hypothesis - a > pathological case then all such tries and suggestions are likely > doomed to fail, and we need another way to handle that. > > So let's presume another hypothesis; making no replies to his posts > results in no pathological floods of such posts. - I invite you all > to do that so that we can see what happens, whether the hypothesis > is correct or not. - If we're lucky, at some point there will be > quietness again on this topic. > > And if he's still continuing just let a simple message-filter handle > that. "What to do when the trisector comes?" This is Google's AI summary, which will be an LLM, so I'm sure olcott will have no choice but to approve ... """ When a "trisector" comes, which refers to someone who claims to have solved the impossible problem of trisecting an angle with only a compass and straightedge, you should politely disengage. Do not argue with them, but also do not try to "help" them or validate their work, as this can lead to frustration and conflict. Your best course of action is to detach yourself from the situation by moving away as quickly as possible. o Do not argue: The problem of angle trisection with only a compass and straightedge has been proven mathematically impossible. Engaging in a debate is likely to be unproductive and frustrating. o Do not try to help: Attempts to guide them or point out their errors are generally not effective and can be perceived as condescending. o Remove yourself from the situation: The most practical and respectful action is to end the conversation and move away from the person. The article "What to Do When the Trisector Comes" humorously suggests this involves using your legs to leave. """
[toc] | [prev] | [next] | [standalone]
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2025-11-13 07:06 -0800 |
| Subject | Re: How to handle pathological cases (was Re: ...) |
| Message-ID | <10f4s58$27evk$1@dont-email.me> |
| In reply to | #135485 |
On 11/13/2025 4:14 AM, Richard Harnden wrote: > On 13/11/2025 10:18, Janis Papanagnou wrote: >> On 13.11.2025 08:54, David Brown wrote: >>> On 13/11/2025 05:36, olcott wrote: >>>> [...] >>> >>> Given that you've been doing this for so many years, and got the same >>> results every time - everyone disagrees with your fundamental concepts - >>> what makes you think you can change people's minds by repeating the same >>> questions and claims? >>> >>> If you are wrong, and everyone else is right, then you are wasting your >>> time and everyone else's time. >>> >>> If you are right and everyone else is wrong, then your posts are /still/ >>> wasting your time and everyone else's time. >>> >>> If you are sure you are correct, you have to find a different way to >>> prove it. [...and so on, in a (IMO hopeless) try to get through...] >> >> You're probably assuming a normal, non-pathological case, since >> you're obviously trying it with sensible rational suggestions. >> >> If, for a moment, we'd presume - just as a working hypothesis - a >> pathological case then all such tries and suggestions are likely >> doomed to fail, and we need another way to handle that. >> >> So let's presume another hypothesis; making no replies to his posts >> results in no pathological floods of such posts. - I invite you all >> to do that so that we can see what happens, whether the hypothesis >> is correct or not. - If we're lucky, at some point there will be >> quietness again on this topic. >> >> And if he's still continuing just let a simple message-filter handle >> that. > > "What to do when the trisector comes?" > > This is Google's AI summary, which will be an LLM, so I'm sure olcott > will have no choice but to approve ... > > """ > When a "trisector" comes, which refers to someone who claims to have > solved the impossible problem of trisecting an angle with only a compass > and straightedge, you should politely disengage. Do not argue with them, > but also do not try to "help" them or validate their work, as this can > lead to frustration and conflict. Your best course of action is to > detach yourself from the situation by moving away as quickly as possible. > > o Do not argue: The problem of angle trisection with only a compass and > straightedge has been proven mathematically impossible. Engaging in a > debate is likely to be unproductive and frustrating. > > o Do not try to help: Attempts to guide them or point out their errors > are generally not effective and can be perceived as condescending. > > o Remove yourself from the situation: The most practical and respectful > action is to end the conversation and move away from the person. The > article "What to Do When the Trisector Comes" humorously suggests this > involves using your legs to leave. > """ > > The 7-ary sector likes to poke fun at the trisection. Olcott is god?
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-13 09:28 -0600 |
| Subject | Re: How to handle pathological cases (was Re: ...) |
| Message-ID | <10f4tfo$27u81$4@dont-email.me> |
| In reply to | #135485 |
On 11/13/2025 6:14 AM, Richard Harnden wrote:
> On 13/11/2025 10:18, Janis Papanagnou wrote:
>> On 13.11.2025 08:54, David Brown wrote:
>>> On 13/11/2025 05:36, olcott wrote:
>>>> [...]
>>>
>>> Given that you've been doing this for so many years, and got the same
>>> results every time - everyone disagrees with your fundamental concepts -
>>> what makes you think you can change people's minds by repeating the same
>>> questions and claims?
>>>
>>> If you are wrong, and everyone else is right, then you are wasting your
>>> time and everyone else's time.
>>>
>>> If you are right and everyone else is wrong, then your posts are /still/
>>> wasting your time and everyone else's time.
>>>
>>> If you are sure you are correct, you have to find a different way to
>>> prove it. [...and so on, in a (IMO hopeless) try to get through...]
>>
>> You're probably assuming a normal, non-pathological case, since
>> you're obviously trying it with sensible rational suggestions.
>>
>> If, for a moment, we'd presume - just as a working hypothesis - a
>> pathological case then all such tries and suggestions are likely
>> doomed to fail, and we need another way to handle that.
>>
>> So let's presume another hypothesis; making no replies to his posts
>> results in no pathological floods of such posts. - I invite you all
>> to do that so that we can see what happens, whether the hypothesis
>> is correct or not. - If we're lucky, at some point there will be
>> quietness again on this topic.
>>
>> And if he's still continuing just let a simple message-filter handle
>> that.
>
> "What to do when the trisector comes?"
>
typedef int (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
This code has been fully operational
for three years so I know what it does.
That no one else has been able to confirm
that DD simulated by HHH cannot possibly
reach its own "return" instruction has been
the issue that everyone has ignored or lied
about for three years.
In other words you are trying to get away
with saying that you are an expert C programmer
that cannot possibly recognize a behavior pattern
that is isomorphic to infinite recursion.
> This is Google's AI summary, which will be an LLM, so I'm sure olcott
> will have no choice but to approve ...
>
> """
> When a "trisector" comes, which refers to someone who claims to have
> solved the impossible problem of trisecting an angle with only a compass
> and straightedge, you should politely disengage. Do not argue with them,
> but also do not try to "help" them or validate their work, as this can
> lead to frustration and conflict. Your best course of action is to
> detach yourself from the situation by moving away as quickly as possible.
>
> o Do not argue: The problem of angle trisection with only a compass and
> straightedge has been proven mathematically impossible. Engaging in a
> debate is likely to be unproductive and frustrating.
>
> o Do not try to help: Attempts to guide them or point out their errors
> are generally not effective and can be perceived as condescending.
>
> o Remove yourself from the situation: The most practical and respectful
> action is to end the conversation and move away from the person. The
> article "What to Do When the Trisector Comes" humorously suggests this
> involves using your legs to leave.
> """
>
>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
Page 1 of 23 [1] 2 3 … 23 Next page →
Back to top | Article view | comp.theory
csiph-web