Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | phoenix <j63840576@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, comp.ai.philosophy, alt.messianic |
| Subject | Re: Simplifying the Church / Turing thesis |
| Date | 2026-05-16 15:30 -0600 |
| Message-ID | <n6s5vaFc71tU1@mid.individual.net> (permalink) |
| References | (24 earlier) <10u93r6$pc64$1@dont-email.me> <qqCcnbnMg--QG5X3nZ2dnZfqnPednZ2d@giganews.com> <oRydnV2_FcDAEJX3nZ2dnZfqnPednZ2d@giganews.com> <n6rh98F91kcU1@mid.individual.net> <10uai4f$170m6$1@dont-email.me> |
Cross-posted to 5 groups.
Chris M. Thomasson wrote: >>> >>> Yet that yet that yet that yet that yet that it is so: >>> that that that that that it is so. >>> >>> >> I find that 'except' paired with 'yet' covers every instance of 'but.' >> If you can find an exception to this, please show me. >> Or maybe a different tarot, "the star" because you have such a fascination with me? -- War in the east War in the west War up north War down south War War
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar
The notion of a "well founded justification tree" will be fully elaborated (signature update) olcott <polcott333@gmail.com> - 2026-04-02 15:58 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update) Richard Damon <Richard@Damon-Family.org> - 2026-04-02 19:43 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update) Mikko <mikko.levanto@iki.fi> - 2026-04-03 10:13 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-03 08:35 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-04 10:53 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-04 14:55 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-05 06:25 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-05 08:05 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-05 12:01 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-06 11:27 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-06 06:21 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-07 11:00 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-07 09:49 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-08 10:08 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-08 06:52 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-08 09:13 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:17 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-09 08:34 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-10 10:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 06:18 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-10 06:04 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 09:31 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-10 17:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 21:04 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 21:59 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-11 01:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-11 08:49 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-11 07:08 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-11 10:01 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:27 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-10 09:53 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-11 10:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-11 09:14 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:35 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:26 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-13 09:24 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-14 08:55 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-14 08:48 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-15 09:54 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-15 06:57 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:26 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 07:36 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 10:10 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 12:27 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 12:36 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 10:47 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 10:57 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:18 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:26 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 13:24 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:45 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:59 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 14:47 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 17:04 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 19:41 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 00:49 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 09:04 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 07:52 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 09:58 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 08:14 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 11:53 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 17:24 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 20:43 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 19:13 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 21:25 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 19:32 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 21:42 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 21:28 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 11:54 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-17 11:12 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 08:19 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-18 12:13 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-19 09:15 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-19 10:07 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-17 09:45 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 09:29 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:15 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-18 07:59 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-19 11:54 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-18 07:58 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-19 11:59 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-19 12:21 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-19 13:58 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 13:39 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-05-03 10:53 +0300
Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-08 11:58 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-08 10:13 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-08 12:35 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-08 11:40 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-08 14:01 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-10 13:06 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-10 14:12 -0600
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-10 21:14 -0700
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-13 12:59 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-10 15:17 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-09 11:10 +0300
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-09 11:30 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-09 07:13 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-10 10:10 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-10 12:38 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-10 14:06 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-11 10:24 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-11 06:44 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-12 10:05 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-12 08:32 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-13 12:14 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 06:32 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-14 11:18 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-14 09:40 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-15 08:48 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-15 09:27 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-16 12:24 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-16 05:16 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-17 12:08 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-17 08:48 -0500
Using Olcott's system to prove that Trump lied about election fraud olcott <polcott333@gmail.com> - 2026-05-19 15:26 -0500
Re: Simplifying the Church / Turing thesis (Sumerian and Egyptian) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-13 08:53 -0700
Re: Simplifying the Church / Turing thesis (Sumerian and Egyptian) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-13 08:55 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 06:18 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 09:20 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 10:28 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 18:40 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 19:45 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-13 19:51 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 22:27 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-14 20:24 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-15 08:59 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-13 22:46 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-15 23:45 -0700
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-16 11:42 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-16 05:08 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-16 07:58 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-16 08:29 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-16 09:37 -0600
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-16 10:16 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-16 11:38 -0600
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-16 11:44 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-16 15:30 -0600
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-17 13:22 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-17 15:21 -0600
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-17 14:46 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-17 17:10 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-17 17:24 -0700
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-17 20:46 -0700
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-17 20:48 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-18 08:14 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-18 11:03 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-18 09:44 -0700
Re: Simplifying the Church / Turing thesis ( P(Halts) = P(Rational) ) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-18 09:51 -0700
Re: Simplifying the Church / Turing thesis ( P(Halts) = P(Rational) ) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-18 10:52 -0700
Re: Simplifying the Church / Turing thesis ( P(Halts) = P(Rational) ) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-18 11:14 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-21 08:02 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-21 09:54 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-21 12:29 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-21 11:14 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-21 17:45 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-21 22:34 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-21 21:03 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-21 21:09 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-22 00:21 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-22 00:26 -0500
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-22 08:06 -0700
Re: Simplifying the Church / Turing thesis --- finally a well reasoned reply olcott <polcott333@gmail.com> - 2026-05-22 12:01 -0500
Re: Simplifying the Church / Turing thesis --- finally a well reasoned reply phoenix <j63840576@gmail.com> - 2026-05-22 11:17 -0600
Re: Simplifying the Church / Turing thesis --- finally a well reasoned reply Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-22 18:30 -0700
Re: Simplifying the Church / Turing thesis --- finally a well reasoned reply olcott <polcott333@gmail.com> - 2026-05-23 09:01 -0500
Re: Simplifying the Church / Turing thesis --- finally a well reasoned reply Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-23 08:46 -0700
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-21 22:18 -0700
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-22 08:17 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-18 11:52 -0600
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-19 14:49 -0700
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-19 15:05 -0700
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-18 10:51 +0300
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-18 16:37 -0700
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-16 12:55 -0700
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-14 10:54 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-14 10:30 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-15 08:44 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-15 09:24 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-16 12:15 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-16 05:11 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-17 12:03 +0300
Re: Simplifying the Church / Turing thesis (algebraic geometry) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-15 07:46 -0700
Re: Simplifying the Church / Turing thesis (algebraic geometry) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-15 07:54 -0700
Re: Simplifying the Church / Turing thesis (algebraic geometry) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-15 08:34 -0700
Re: Simplifying the Church / Turing thesis (algebraic geometry) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-15 09:08 -0700
Re: Simplifying the Church / Turing thesis (algebraic geometry) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-15 10:31 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-20 11:49 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-20 08:31 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-21 09:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-21 08:22 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-22 10:03 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-22 02:45 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-23 09:35 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-23 08:32 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-24 09:08 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-24 10:01 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-25 11:18 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-25 07:19 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-26 11:17 +0300
The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars olcott <polcott333@gmail.com> - 2026-04-26 08:37 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Richard Damon <Richard@Damon-Family.org> - 2026-04-26 20:09 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Mikko <mikko.levanto@iki.fi> - 2026-04-27 12:04 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars olcott <polcott333@gmail.com> - 2026-04-27 09:38 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Mikko <mikko.levanto@iki.fi> - 2026-04-28 10:51 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars olcott <polcott333@gmail.com> - 2026-04-28 07:22 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Mikko <mikko.levanto@iki.fi> - 2026-04-29 09:51 +0300
The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-24 11:24 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-25 11:20 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-25 07:25 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-26 11:09 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-26 08:22 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Richard Damon <Richard@Damon-Family.org> - 2026-04-26 20:14 -0400
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-27 12:22 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-27 09:47 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-28 10:55 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-28 07:24 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-29 09:57 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-30 11:04 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-23 09:57 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-20 07:54 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-20 08:32 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:08 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-09 08:35 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-10 09:57 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-11 11:06 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-11 09:27 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:36 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:32 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-12 08:22 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-13 10:05 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-13 09:52 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-13 19:15 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-14 08:59 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-14 08:50 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-15 09:58 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 06:59 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-16 07:37 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:34 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-14 05:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 08:15 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 10:49 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 09:06 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 11:17 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 09:35 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 09:58 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 12:18 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 10:33 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 12:43 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 10:51 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 13:09 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 11:53 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-14 08:45 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-15 10:07 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 07:02 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example André G. Isaak <agisaak@gm.invalid> - 2026-04-15 10:51 -0600
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 10:02 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 12:24 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis André G. Isaak <agisaak@gm.invalid> - 2026-04-15 13:13 -0600
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 15:37 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 14:04 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 16:39 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis André G. Isaak <agisaak@gm.invalid> - 2026-04-15 15:40 -0600
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 17:14 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-15 22:11 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:33 +0300
I will write a new paper anchoring my ideas in proof theoretic semantics olcott <polcott333@gmail.com> - 2026-04-16 07:52 -0500
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Mikko <mikko.levanto@iki.fi> - 2026-04-17 09:52 +0300
Re: I will write a new paper anchoring my ideas in proof theoretic semantics olcott <polcott333@gmail.com> - 2026-04-17 09:34 -0500
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:19 +0300
Re: I will write a new paper anchoring my ideas in proof theoretic semantics olcott <polcott333@gmail.com> - 2026-04-18 08:28 -0500
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Mikko <mikko.levanto@iki.fi> - 2026-04-19 12:01 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-03 11:19 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-03 11:25 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated olcott <polcott333@gmail.com> - 2026-04-03 14:34 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-03 15:10 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated olcott <polcott333@gmail.com> - 2026-04-03 18:02 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-03 17:53 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated olcott <polcott333@gmail.com> - 2026-04-04 02:40 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-04 20:03 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated olcott <polcott333@gmail.com> - 2026-04-04 22:31 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-04 20:44 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated olcott <polcott333@gmail.com> - 2026-04-05 06:15 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-05 08:07 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-05 08:30 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-06 12:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-06 12:26 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-06 12:35 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-06 13:46 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-06 15:31 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-06 17:14 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated dart200 <user7160@newsgrouper.org.invalid> - 2026-04-06 20:00 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-07 00:07 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-07 12:19 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-07 12:42 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-07 13:00 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-08 18:33 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Alan Mackenzie <acm@muc.de> - 2026-04-07 19:46 +0000
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-08 18:34 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-08 18:34 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Alan Mackenzie <acm@muc.de> - 2026-04-09 12:46 +0000
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-09 10:14 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-09 12:55 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-09 17:43 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-09 12:53 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-06 15:29 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-04-24 14:15 +0100
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update) olcott <polcott333@gmail.com> - 2026-04-24 09:41 -0500
The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-24 09:54 -0500
csiph-web