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 21 of 23 — ← Prev page 1 … 19 20 [21] 22 23 Next page →
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-13 20:29 -0600 |
| Message-ID | <10f6477$2j888$1@dont-email.me> |
| In reply to | #135524 |
On 11/13/2025 7:02 PM, Tristan Wibberley wrote: > On 14/11/2025 00:45, olcott wrote: >> On 11/13/2025 6:09 PM, Tristan Wibberley wrote: >>> On 12/11/2025 17:57, olcott wrote: >>>> On 11/12/2025 8:45 AM, olcott wrote: >>> >>> Noisy: >>> >>>>> This sentence is not true: "This sentence is not true" >>>>> is true only because the inner sentence is semantically >>>>> unsound. >>> >>> Woah! Because your post provides some meaning for the interpretation of >>> your paper I think the above needs to be addressed. >>> >>> We have the name of a sentence "This sentence is not true" >>> We have a sentence about it: >>> >>> "This sentence is not true" is true only because the inner sentence is >>> semantically unsound. >>> >>> And we have a sentence that is constructed like a lambda expression but >>> using something a bit like a de bruijn reference turned inside out: >>> >>> This sentence is not true: "This sentence is not true" is true only >>> because the inner sentence is semantically unsound. >>> >>> but with a noisy surrounding fluff beta-ish-reducing to: >>> >>> ["This sentence is not true" is true only because the inner sentence is >>> semantically unsound] is not true >>> >> >> This sentence is not true: "This sentence is not true" is true. >> You can't put the quotes in a different place without changing >> the semantics. > > You haven't tried to understand what I wrote. You have just guessed at a > response. > This sentence is not true: "This sentence is not true" is true is the essence of the Tarski Undefinability theorem. > > -- > Tristan Wibberley > > The message body is Copyright (C) 2025 Tristan Wibberley except > citations and quotations noted. All Rights Reserved except that you may, > of course, cite it academically giving credit to me, distribute it > verbatim as part of a usenet system or its archives, and use it to > promote my greatness and general superiority without misrepresentation > of my opinions other than my opinion of my greatness and general > superiority which you _may_ misrepresent. You definitely MAY NOT train > any production AI system with it but you may train experimental AI that > will only be used for evaluation of the AI methods it implements. > -- 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 | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
|---|---|
| Date | 2025-11-14 13:09 +0000 |
| Message-ID | <10f79m8$2re59$1@dont-email.me> |
| In reply to | #135530 |
On 14/11/2025 02:29, olcott wrote: > This sentence is not true: "This sentence is not true" is true > is the essence of the Tarski Undefinability theorem. Once again, you've just guessed at a response instead of trying to understand. -- Tristan Wibberley The message body is Copyright (C) 2025 Tristan Wibberley except citations and quotations noted. All Rights Reserved except that you may, of course, cite it academically giving credit to me, distribute it verbatim as part of a usenet system or its archives, and use it to promote my greatness and general superiority without misrepresentation of my opinions other than my opinion of my greatness and general superiority which you _may_ misrepresent. You definitely MAY NOT train any production AI system with it but you may train experimental AI that will only be used for evaluation of the AI methods it implements.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-14 07:42 -0600 |
| Message-ID | <10f7bk1$2saq2$1@dont-email.me> |
| In reply to | #135556 |
On 11/14/2025 7:09 AM, Tristan Wibberley wrote: > On 14/11/2025 02:29, olcott wrote: > >> This sentence is not true: "This sentence is not true" is true >> is the essence of the Tarski Undefinability theorem. > > Once again, you've just guessed at a response instead of trying to > understand. > This sentence is not true: "This sentence is not true" is true. It took me four years to simplify Tarski's proof down to that. Here is his actual proof https://liarparadox.org/Tarski_247_248.pdf https://liarparadox.org/Tarski_275_276.pdf Here is what cancels his proof ?- LP = not(true(LP)). LP = not(true(LP)). ?- unify_with_occurs_check(LP, not(true(LP))). false. > > -- > Tristan Wibberley > > The message body is Copyright (C) 2025 Tristan Wibberley except > citations and quotations noted. All Rights Reserved except that you may, > of course, cite it academically giving credit to me, distribute it > verbatim as part of a usenet system or its archives, and use it to > promote my greatness and general superiority without misrepresentation > of my opinions other than my opinion of my greatness and general > superiority which you _may_ misrepresent. You definitely MAY NOT train > any production AI system with it but you may train experimental AI that > will only be used for evaluation of the AI methods it implements. > -- 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 | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
|---|---|
| Date | 2025-11-14 01:14 +0000 |
| Message-ID | <10f5vp4$2ibge$1@dont-email.me> |
| In reply to | #135521 |
On 14/11/2025 00:45, olcott wrote: > ... [is] an example of not needing a separate object > language and meta-language that Tarski says is > required. You've got that unqualified. Did Tarski say it unqualified? -- Tristan Wibberley The message body is Copyright (C) 2025 Tristan Wibberley except citations and quotations noted. All Rights Reserved except that you may, of course, cite it academically giving credit to me, distribute it verbatim as part of a usenet system or its archives, and use it to promote my greatness and general superiority without misrepresentation of my opinions other than my opinion of my greatness and general superiority which you _may_ misrepresent. You definitely MAY NOT train any production AI system with it but you may train experimental AI that will only be used for evaluation of the AI methods it implements.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-13 20:33 -0600 |
| Message-ID | <10f64da$2j888$2@dont-email.me> |
| In reply to | #135525 |
On 11/13/2025 7:14 PM, Tristan Wibberley wrote: > On 14/11/2025 00:45, olcott wrote: >> ... [is] an example of not needing a separate object >> language and meta-language that Tarski says is >> required. > > You've got that unqualified. Did Tarski say it unqualified? > To express the entire body of knowledge that can be expressed in language only a single language is needed. Tarski disagreed and he was wrong and I showed how and why with my discussion with Claude. > -- > Tristan Wibberley > > The message body is Copyright (C) 2025 Tristan Wibberley except > citations and quotations noted. All Rights Reserved except that you may, > of course, cite it academically giving credit to me, distribute it > verbatim as part of a usenet system or its archives, and use it to > promote my greatness and general superiority without misrepresentation > of my opinions other than my opinion of my greatness and general > superiority which you _may_ misrepresent. You definitely MAY NOT train > any production AI system with it but you may train experimental AI that > will only be used for evaluation of the AI methods it implements. > -- 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-14 10:45 -0600 |
| Message-ID | <10f7mak$2vflq$1@dont-email.me> |
| In reply to | #135518 |
On 11/13/2025 6:09 PM, Tristan Wibberley wrote:
> On 12/11/2025 17:57, olcott wrote:
>> On 11/12/2025 8:45 AM, olcott wrote:
>
> Noisy:
>
>>> This sentence is not true: "This sentence is not true"
>>> is true only because the inner sentence is semantically
>>> unsound.
>
> Woah! Because your post provides some meaning for the interpretation of
> your paper I think the above needs to be addressed.
>
> We have the name of a sentence "This sentence is not true"
> We have a sentence about it:
>
> "This sentence is not true" is true only because the inner sentence is
> semantically unsound.
>
> And we have a sentence that is constructed like a lambda expression but
> using something a bit like a de bruijn reference turned inside out:
>
> This sentence is not true: "This sentence is not true" is true only
> because the inner sentence is semantically unsound.
>
> but with a noisy surrounding fluff beta-ish-reducing to:
>
> ["This sentence is not true" is true only because the inner sentence is
> semantically unsound] is not true
>
This wording is not precisely accurate. People could
get confused and think that not true means false.
In the case of the Liar Paradox not true means semantic
gibberish.
> in there we still have the foremost interesting
> outie-de-bruijn-ish-innie reference "the inner sentence" which I suppose
> therein refers to the referent of the unique syntactically most
> contained nominal phrase that references a sentence, to wit, the
> referent of "This sentence" in "This sentence is not true" in the Noisy.
>
It is not at all noisy. It merely states the key essence.
> then the whole says it's not true that some purported semantic
> unsoundness of what that reference refers to is the sole basis for
> inferring some unstated notion of nontruth about the referent of "This
> sentence" in "This sentence is not true" in the Noisy.
>
It has taken humanity 2000 years and there are
currently zero accepted resolutions.
Saying that the liar paradox is untrue keeps the
confusion going. Saying that it is semantic gibberish
stops the confusion. Saying it this way is not noisy
is the the succinct key essence of its resolution.
>
> Have I understood what you're saying, minister?
>
> [Why "minister", see https://www.youtube.com/watch?v=qVO85anasrA ]
>
>
>>> The inner sentence is formalized in Minimal
>>> Type Theory as LP := ~True(LP).
>>> (where A := B means A is defined as B).
>
> I very much doubt that but you filled my head with noise. Does your
> Noisy (above) really constrain "This sentence is not true" such that
> your MTT formalisation of it is accurate?
It as the Prolog proves the the evaluation is
stuck in an infinite evaluation loop.
LP := ~True(LP)
00 ~ 01
01 True 00 // cycle
?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.
> You should be noiselessly
> patient, so I should expect so, but I'd like to read that you think it
> was all suitably constraining wordage before I think any further because
> I think it's not an accurate formalisation ("encoding").
>
>
> More pedestrianly: Is := symmetric? ie, does A := B entail B := A and B
> := A entail A := B (in the formation rules of sentences of MTT from
> other sentences of MTT)?
>
>
>>> https://philpapers.org/rec/OLCREO
>>>
>>> Can someone review my actual reasoning
>>> elaborated in the paper?
>
> No: it is an AI chatlog which is shit.
>
You say this without even looking at the conversation
thus your assessment has no basis. If you had a basis
then you could point out specific errors.
LLM systems have become 67-fold smarter in the last
24 months in that the size of their context window
has increased that much.
>
>
>> 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.
>
> I typically begin "everyone is wrong, but /how/ exactly" until I can't
> justify my premise any more. Then I stay quiet until I wake up suddenly
> realising someone was particularly right in some small way, then I
> begrudgingly ackowledge that publically, and encourage the other wrong
> people to find a way to correct my temporary wrong-blindness.
>
> That is on the basis that of all the things that can be said almost none
> of them are right with just a few exceptional isolated points dotted around.
>
>
> --
> Tristan Wibberley
>
> The message body is Copyright (C) 2025 Tristan Wibberley except
> citations and quotations noted. All Rights Reserved except that you may,
> of course, cite it academically giving credit to me, distribute it
> verbatim as part of a usenet system or its archives, and use it to
> promote my greatness and general superiority without misrepresentation
> of my opinions other than my opinion of my greatness and general
> superiority which you _may_ misrepresent. You definitely MAY NOT train
> any production AI system with it but you may train experimental AI that
> will only be used for evaluation of the AI methods it implements.
>
--
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:22 +0000 |
| Message-ID | <20251112181900.291@kylheku.com> |
| In reply to | #135431 |
On 2025-11-12, olcott <polcott333@gmail.com> wrote: > https://philpapers.org/rec/OLCREO This garbage doesn't even feign an attempt at hiding that it's a fucking chat session with Claude AI. -- 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:32 -0600 |
| Message-ID | <10f3g0k$1s928$2@dont-email.me> |
| In reply to | #135451 |
On 11/12/2025 8:22 PM, Kaz Kylheku wrote: > On 2025-11-12, olcott <polcott333@gmail.com> wrote: >> https://philpapers.org/rec/OLCREO > > This garbage doesn't even feign an attempt at hiding that it's a fucking > chat session with Claude AI. > Of course I don't. It proves that I am correct, try and find an actual error. I had ChatGPT look at this too. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauerproves
[toc] | [prev] | [next] | [standalone]
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Date | 2025-11-13 02:38 +0000 |
| Message-ID | <20251112183750.140@kylheku.com> |
| In reply to | #135454 |
On 2025-11-13, olcott <polcott333@gmail.com> wrote: > On 11/12/2025 8:22 PM, Kaz Kylheku wrote: >> On 2025-11-12, olcott <polcott333@gmail.com> wrote: >>> https://philpapers.org/rec/OLCREO >> >> This garbage doesn't even feign an attempt at hiding that it's a fucking >> chat session with Claude AI. >> > > Of course I don't. It proves that I am > correct, try and find an actual error. No CS academic is going to do anything but swipe left. You will have to do your own thinking and writing if you want to be taken seriously. Not that that's a guarantee (and we've all seen what your own writing looks like). > I had ChatGPT look at this too. Oh well, then, that's an intellectual slam dunk, obviously. -- 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 22:48 -0600 |
| Message-ID | <10f3nu7$1u3p9$1@dont-email.me> |
| In reply to | #135458 |
On 11/12/2025 8:38 PM, Kaz Kylheku wrote: > On 2025-11-13, olcott <polcott333@gmail.com> wrote: >> On 11/12/2025 8:22 PM, Kaz Kylheku wrote: >>> On 2025-11-12, olcott <polcott333@gmail.com> wrote: >>>> https://philpapers.org/rec/OLCREO >>> >>> This garbage doesn't even feign an attempt at hiding that it's a fucking >>> chat session with Claude AI. >>> >> >> Of course I don't. It proves that I am >> correct, try and find an actual error. > > No CS academic is going to do anything but swipe left. > > You will have to do your own thinking and writing if you want to be > taken seriously. Not that that's a guarantee (and we've all seen > what your own writing looks like). > >> I had ChatGPT look at this too. > > Oh well, then, that's an intellectual slam dunk, obviously. > Unlike humans LLMs don't reject my reasoning out-of-hand without even looking at it. Unlike humans these newer LLMs can demonstrate the equivalent of deep understanding. Two years ago they acted like they had Alzheimer's if you exceeded their 3000 word limit. They are much smarter now. Do you know what a context window is (without looking it up)? -- 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 | Richard Heathfield <rjh@cpax.org.uk> |
|---|---|
| Date | 2025-11-13 04:50 +0000 |
| Message-ID | <10f3o2c$1ttfn$2@dont-email.me> |
| In reply to | #135458 |
On 13/11/2025 02:38, Kaz Kylheku wrote: > On 2025-11-13, olcott <polcott333@gmail.com> wrote: <snip> >> I had ChatGPT look at this too. > > Oh well, then, that's an intellectual slam dunk, obviously. To be fair to ChatGPT, if you present it with Olcott's gibberish *without* first carefully prepping it with falsehoods like 'correctly simulates', it unhesitatingly identifies the whole thing as a load of gibberish. -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-12 23:00 -0600 |
| Message-ID | <10f3okm$1u86t$1@dont-email.me> |
| In reply to | #135468 |
On 11/12/2025 10:50 PM, Richard Heathfield wrote: > On 13/11/2025 02:38, Kaz Kylheku wrote: >> On 2025-11-13, olcott <polcott333@gmail.com> wrote: > > <snip> > >>> I had ChatGPT look at this too. >> >> Oh well, then, that's an intellectual slam dunk, obviously. > > To be fair to ChatGPT, if you present it with Olcott's gibberish > *without* first carefully prepping it with falsehoods like 'correctly > simulates', it unhesitatingly identifies the whole thing as a load of > gibberish. > I don't use the word correctly simulates and more because people trying as hard as they can to be disagreeable weasel word it to contrive a different meaning that D simulated by H according to the semantics of the C programming language. The biggest problem with the LLMs is they really want to guess the wrong answer rather than perform the actual execution trace. *I did not lead them on in this case at all* https://www.researchgate.net/publication/396916355_Halting_Problem_Simulation_in_C -- 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 | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Date | 2025-11-13 00:16 -0800 |
| Message-ID | <10f4448$20qeg$1@dont-email.me> |
| In reply to | #135468 |
On 11/12/2025 8:50 PM, Richard Heathfield wrote: > On 13/11/2025 02:38, Kaz Kylheku wrote: >> On 2025-11-13, olcott <polcott333@gmail.com> wrote: > > <snip> > >>> I had ChatGPT look at this too. >> >> Oh well, then, that's an intellectual slam dunk, obviously. > > To be fair to ChatGPT, if you present it with Olcott's gibberish > *without* first carefully prepping it with falsehoods like 'correctly > simulates', it unhesitatingly identifies the whole thing as a load of > gibberish. > Olcott likes to whip, whip, them into shape! Humm... Scary? ;^o
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2025-11-13 11:05 +0200 |
| Message-ID | <10f470b$21kfn$1@dont-email.me> |
| In reply to | #135431 |
On 2025-11-12 14:45:34 +0000, olcott said: > 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? If you want to use the term "formal language" you must prove that there is a Turing machine that can determine whether a string is a valid sentence of your language. If no such Turing machine exists you have no justifiction for the use of the word "formal". -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-13 10:00 -0600 |
| Message-ID | <10f4vbs$28ofk$1@dont-email.me> |
| In reply to | #135481 |
On 11/13/2025 3:05 AM, Mikko wrote: > On 2025-11-12 14:45:34 +0000, olcott said: > >> 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? > > If you want to use the term "formal language" you must prove that > there is a Turing machine that can determine whether a string is a > valid sentence of your language. If no such Turing machine exists > you have no justifiction for the use of the word "formal". > Been there done that and provided all the details. Whenever there is a cycle in the directed graph of the evaluation sequence of a formal expression... Not at the Turing machine level because this is like mowing you lawn with fingernail clippers. If you don't know what this means you lack the basis to evaluate this aspect of my work: Whenever there is a cycle in the directed graph of the evaluation sequence of a formal expression... LP := ~True(LP) /// A := B means A is defined as B -- 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 | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2025-11-14 11:01 +0200 |
| Message-ID | <10f6r5h$2nuq9$1@dont-email.me> |
| In reply to | #135501 |
On 2025-11-13 16:00:58 +0000, olcott said: > On 11/13/2025 3:05 AM, Mikko wrote: >> On 2025-11-12 14:45:34 +0000, olcott said: >> >>> 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? >> >> If you want to use the term "formal language" you must prove that >> there is a Turing machine that can determine whether a string is a >> valid sentence of your language. If no such Turing machine exists >> you have no justifiction for the use of the word "formal". > > Been there done that and provided all the details. Where? At least not where the above pointer points to. > Whenever there is a cycle in the directed graph > of the evaluation sequence of a formal expression... it is better to do something else than follow the graph. > Not at the Turing machine level because this is > like mowing you lawn with fingernail clippers. The level does not matter. Any method that does not need any oracles can be converted to a Turing machine. > If you don't know what this means you lack the > basis to evaluate this aspect of my work: > > Whenever there is a cycle in the directed graph > of the evaluation sequence of a formal expression... > LP := ~True(LP) /// A := B means A is defined as B I do know. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-14 08:42 -0600 |
| Message-ID | <10f7f42$2tab1$1@dont-email.me> |
| In reply to | #135549 |
On 11/14/2025 3:01 AM, Mikko wrote: > On 2025-11-13 16:00:58 +0000, olcott said: > >> On 11/13/2025 3:05 AM, Mikko wrote: >>> On 2025-11-12 14:45:34 +0000, olcott said: >>> >>>> 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? >>> >>> If you want to use the term "formal language" you must prove that >>> there is a Turing machine that can determine whether a string is a >>> valid sentence of your language. If no such Turing machine exists >>> you have no justifiction for the use of the word "formal". >> >> Been there done that and provided all the details. > > Where? At least not where the above pointer points to. > In the paper that you failed to read. https://www.researchgate.net/publication/397533139_Rejecting_expressions_of_formal_language_having_pathological_self-reference >> Whenever there is a cycle in the directed graph >> of the evaluation sequence of a formal expression... > > it is better to do something else than follow the graph. > Not when one must reject expressions having pathological self-reference(Olcott 2004). >> Not at the Turing machine level because this is >> like mowing you lawn with fingernail clippers. > > The level does not matter. Any method that does not need any oracles > can be converted to a Turing machine. > That takes a million lines of code just to move memory from one location to another. A RASP machine seems close enough to the x86 architecture that a C compiler could be written for it. >> If you don't know what this means you lack the >> basis to evaluate this aspect of my work: >> >> Whenever there is a cycle in the directed graph >> of the evaluation sequence of a formal expression... >> LP := ~True(LP) /// A := B means A is defined as B > > I do know. > OK then explain how I just defeated the Tarski Undefinability Theorem. -- 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 | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2025-11-26 12:30 +0200 |
| Message-ID | <10g6kt2$9tun$1@dont-email.me> |
| In reply to | #135568 |
olcott kirjoitti 14.11.2025 klo 16.42: > On 11/14/2025 3:01 AM, Mikko wrote: >> On 2025-11-13 16:00:58 +0000, olcott said: >> >>> On 11/13/2025 3:05 AM, Mikko wrote: >>>> On 2025-11-12 14:45:34 +0000, olcott said: >>>> >>>>> 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? >>>> >>>> If you want to use the term "formal language" you must prove that >>>> there is a Turing machine that can determine whether a string is a >>>> valid sentence of your language. If no such Turing machine exists >>>> you have no justifiction for the use of the word "formal". >>> >>> Been there done that and provided all the details. >> >> Where? At least not where the above pointer points to. >> > > In the paper that you failed to read. > https://www.researchgate.net/ > publication/397533139_Rejecting_expressions_of_formal_language_having_pathological_self-reference In that article there is no proof that there is no proof that there is a Turing machine that can determine whether a string is a valid sentence of your lanugage. The article does not even mention Turing machine. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2025-11-26 09:27 -0600 |
| Message-ID | <10g768c$grk9$1@dont-email.me> |
| In reply to | #136563 |
On 11/26/2025 4:30 AM, Mikko wrote: > olcott kirjoitti 14.11.2025 klo 16.42: >> On 11/14/2025 3:01 AM, Mikko wrote: >>> On 2025-11-13 16:00:58 +0000, olcott said: >>> >>>> On 11/13/2025 3:05 AM, Mikko wrote: >>>>> On 2025-11-12 14:45:34 +0000, olcott said: >>>>> >>>>>> 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? >>>>> >>>>> If you want to use the term "formal language" you must prove that >>>>> there is a Turing machine that can determine whether a string is a >>>>> valid sentence of your language. If no such Turing machine exists >>>>> you have no justifiction for the use of the word "formal". >>>> >>>> Been there done that and provided all the details. >>> >>> Where? At least not where the above pointer points to. >>> >> >> In the paper that you failed to read. >> https://www.researchgate.net/ >> publication/397533139_Rejecting_expressions_of_formal_language_having_pathological_self-reference > > In that article there is no proof that there is no proof that there is a > Turing machine that can determine whether a string is a valid sentence > of your lanugage. The article does not even mention Turing machine. > It is all the deep meaning of unify_with_occurs_check() that rejects an expression as semantically unsound because its evaluation is stuck in an infinite loop. The Liar Paradox formalized in the Prolog Programming language This sentence is not true. It is not true about what? It is not true about being not true. It is not true about being not true about what? It is not true about being not true about being not true. Oh I see you are stuck in a loop! This is formalized in the Prolog programming language ?- LP = not(true(LP)). LP = not(true(LP)). ?- unify_with_occurs_check(LP, not(true(LP))). false. Failing an occurs check seems to mean that the resolution of an expression remains stuck in an infinite loop. Just as the formalized Prolog determines that there is a cycle in the directed graph of the evaluation sequence of LP the simple English proves that the Liar Paradox never gets to the point. It has merely been semantically unsound all these years. -- Copyright 2025 Olcott My 28 year goal has been to make "true on the basis of meaning" computable. This required establishing a new foundation for correct reasoning.
[toc] | [prev] | [next] | [standalone]
| From | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
|---|---|
| Date | 2025-11-26 19:46 +0000 |
| Message-ID | <10g7lej$n6g8$1@dont-email.me> |
| In reply to | #136582 |
On 26/11/2025 15:27, olcott wrote: > This is formalized in the Prolog programming language > ?- LP = not(true(LP)). > LP = not(true(LP)). > ?- unify_with_occurs_check(LP, not(true(LP))). > false. Why do you keep posting that? -- Tristan Wibberley The message body is Copyright (C) 2025 Tristan Wibberley except citations and quotations noted. All Rights Reserved except that you may, of course, cite it academically giving credit to me, distribute it verbatim as part of a usenet system or its archives, and use it to promote my greatness and general superiority without misrepresentation of my opinions other than my opinion of my greatness and general superiority which you _may_ misrepresent. You definitely MAY NOT train any production AI system with it but you may train experimental AI that will only be used for evaluation of the AI methods it implements.
[toc] | [prev] | [next] | [standalone]
Page 21 of 23 — ← Prev page 1 … 19 20 [21] 22 23 Next page →
Back to top | Article view | comp.theory
csiph-web