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-18 11:52 -0600 |
| Message-ID | <n711vbF547lU2@mid.individual.net> (permalink) |
| References | (23 earlier) <1tOdnSj9trSJwZf3nZ2dnZfqn_GdnZ2d@giganews.com> <10ue21r$27i91$1@dont-email.me> <10ue26q$27idq$1@dont-email.me> <73OdnX6jOY0gsZb3nZ2dnZfqn_GdnZ2d@giganews.com> <10ufd9f$2k6rn$1@dont-email.me> |
Cross-posted to 5 groups.
olcott wrote:
> On 5/18/2026 10:14 AM, Ross Finlayson wrote:
>> On 05/17/2026 08:48 PM, Chris M. Thomasson wrote:
>>> On 5/17/2026 8:46 PM, Chris M. Thomasson wrote:
>>>> On 5/17/2026 5:24 PM, Ross Finlayson wrote:
>>>>> On 05/17/2026 05:10 PM, Ross Finlayson wrote:
>>>>>> On 05/17/2026 02:46 PM, Chris M. Thomasson wrote:
>>>>>>> On 5/17/2026 2:21 PM, phoenix wrote:
>>>>>>>> Chris M. Thomasson wrote:
>>>>>>>>> On 5/16/2026 2:30 PM, phoenix wrote:
>>>>>>>>>> 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?
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> I think you are a sock puppet for olcott.
>>>>>>>>
>>>>>>>> I know you think that, but I don't see any motivation on my part to
>>>>>>>> disabuse you of the notion. Why not play into it and further
>>>>>>>> befuddle
>>>>>>>> you? If it were the case that I were not olcott, that is.
>>>>>>>>
>>>>>>>
>>>>>>> Ask your self what his halting decider would say... Look in the
>>>>>>> mirror?
>>>>>>
>>>>>>
>>>>>> One of the problems of environments of the unmoderated and
>>>>>> pseudonymous
>>>>>> sort is that there are all kinds of trolls. There are plain rage-bait
>>>>>> and flamer trolls, looky-loos and non-sequitur types, then, also all
>>>>>> sorts of anti-trolls, and these and those.
>>>>>>
>>>>>> Then, for example, for something like "it's a free country", then
>>>>>> when I see stuff like either
>>>>>> "smell the new normal, you're living in a dictatorship",
>>>>>> or,
>>>>>> "suffer the children, so your social media and phone get hacked",
>>>>>> then either way the idea of being aware ("woke" wasn't a word
>>>>>> and I'd imagine it would be "awoke" or "woken", or, "woke" will do),
>>>>>> and caring (although, you know, not _too_ caring), that trolls
>>>>>> and repeti-bots on "social" media are anti-social.
>>>>>>
>>>>>>
>>>>>> So, it's fair that people get wary of trolls, and, begin to suspect
>>>>>> trolls in the likely places, and learn to make a troll-filter,
>>>>>> and basically a skeptical if not cynical outlook on the world today,
>>>>>> that there are trolls and trolls, and sometimes it's easiest to
>>>>>> ignore them away.
>>>>>>
>>>>>>
>>>>>>
>>>>>> Then, there are cranks, ....
>>>>>>
>>>>>> The crank is one of the easiest sorts of identities to mimic,
>>>>>> give it a howler fallacy it won't let go and the plain obstinance
>>>>>> combined with the stubbornness along with the sort of plain
>>>>>> unwarranted persistence, then it's not always easy to tell the
>>>>>> difference between cranks and trolls, though often it is,
>>>>>> and between persons and bots, though often it is.
>>>>>>
>>>>>>
>>>>>>
>>>>>> 'Murica.
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> Then, about the thread, the idea is that it's great if these
>>>>>> long-running mostly-empty tit-for-tat nonsense threads get
>>>>>> hijacked by passers-by then into discussions about the issues
>>>>>> at hand, like about the many, many things to do with the
>>>>>> "mathematics" of continuity and infinity, since, despite
>>>>>> the idea of some retro-finitists that their world is a
>>>>>> dot, and not even like AP a giant plutonium atom, there's
>>>>>> much to be done to bring real infinite and continuity into
>>>>>> mathematics, then for physics and so on.
>>>>>>
>>>>>>
>>>>>> So, new blood (or fresh meat) writing on the thread so
>>>>>> it's not just an echo-chamber of trolls and anti-trolls
>>>>>> which is one big troll, is not necessarily a bad thing.
>>>>>>
>>>>>>
>>>>>>
>>>>>
>>>>> I enjoy CMT's usual spontaneous cheerful enthusiasm,
>>>>> though as a perceived bot itself when it once-a-year
>>>>> cites its prompter, then though the affected anxiety
>>>>> pronation reminds me of too many lessons learned like
>>>>> not to smell fear or flinch or beg or impose or presume
>>>>> or assume or judge or telepathically scan or lurk or
>>>>> menace or make gossip or berate or scoff.
>>>>
>>>> Fwiw, check out these funny halt deciders... They only halt when all
>>>> possible paths are hit. If you think about its kind of akin to olcotts
>>>> DD. i simply hijack its result. Here is a version that uses random
>>>> numbers for the fuzzer:
>>>>
>>>> In applesoft basic for fun. ;^D
>>>>
>>>> You can run these here:
>>>>
>>>> https://www.calormen.com/jsbasic/
>>>> _____________________________
>>>> 1 HOME
>>>> 5 PRINT "ct_dr_fuzz lol. ;^)"
>>>> 6 P0 = 0
>>>> 7 P1 = 0
>>>>
>>>> 10 REM Fuzzer... ;^)
>>>> 20 A$ = "NOPE!"
>>>> 30 IF RND(1) < .5 THEN A$ = "YES"
>>>>
>>>> 100 REM INPUT "Shall DD halt or not? " ; A$
>>>> 110 PRINT "Shall DD halt or not? " ; A$
>>>> 200 IF A$ = "YES" GOTO 666
>>>> 300 P0 = P0 + 1
>>>> 400 IF P0 > 0 AND P1 > 0 GOTO 1000
>>>> 500 GOTO 10
>>>>
>>>> 666 PRINT "OK!"
>>>> 667 P1 = P1 + 1
>>>> 700 PRINT "NON_HALT P0 = "; P0
>>>> 710 PRINT "HALT P1 = "; P1
>>>> 720 IF P0 > 0 AND P1 > 0 GOTO 1000
>>>> 730 PRINT "ALL PATHS FAILED TO BE HIT!"
>>>> 740 GOTO 10
>>>>
>>>>
>>>> 1000
>>>> 1010 PRINT "FIN... All paths hit."
>>>> 1020 PRINT "NON_HALT P0 = "; P0
>>>> 1030 PRINT "HALT P1 = "; P1
>>>> _____________________________
>>>>
>>>>
>>>>
>>>> Here is one that requires input from a user:
>>>> _____________________________
>>>> 1 HOME
>>>> 5 PRINT "ct_dr_fuzz lol. ;^)"
>>>> 6 P0 = 0
>>>> 7 P1 = 0
>>>>
>>>> 10 REM Fuzzer... ;^)
>>>> 20 A$ = "NOPE!"
>>>> 30 IF RND(1) < .5 THEN A$ = "YES"
>>>>
>>>> 100 INPUT "Shall DD halt or not? " ; A$
>>>> 110 REM PRINT "Shall DD halt or not? " ; A$
>>>> 200 IF A$ = "YES" GOTO 666
>>>> 300 P0 = P0 + 1
>>>> 400 IF P0 > 0 AND P1 > 0 GOTO 1000
>>>> 500 GOTO 10
>>>>
>>>> 666 PRINT "OK!"
>>>> 667 P1 = P1 + 1
>>>> 700 PRINT "NON_HALT P0 = "; P0
>>>> 710 PRINT "HALT P1 = "; P1
>>>> 720 IF P0 > 0 AND P1 > 0 GOTO 1000
>>>> 730 PRINT "ALL PATHS FAILED TO BE HIT!"
>>>> 740 GOTO 10
>>>
>>>
>>> ^^^^^^^^^^^^
>>>> _____________________________
>>>
>>>
>>>
>>> God damn it forgot to add in line 1000 onward! Shit happens:
>>>
>>> 1000
>>> 1010 PRINT "FIN... All paths hit."
>>> 1020 PRINT "NON_HALT P0 = "; P0
>>> 1030 PRINT "HALT P1 = "; P1
>>>
>>> Corrected user input one:
>>>
>>>
>>> _______________
>>> 1 HOME
>>> 5 PRINT "ct_dr_fuzz lol. ;^)"
>>> 6 P0 = 0
>>> 7 P1 = 0
>>>
>>> 10 REM Fuzzer... ;^)
>>> 20 A$ = "NOPE!"
>>> 30 IF RND(1) < .5 THEN A$ = "YES"
>>>
>>> 100 INPUT "Shall DD halt or not? " ; A$
>>> 110 REM PRINT "Shall DD halt or not? " ; A$
>>> 200 IF A$ = "YES" GOTO 666
>>> 300 P0 = P0 + 1
>>> 400 IF P0 > 0 AND P1 > 0 GOTO 1000
>>> 500 GOTO 10
>>>
>>> 666 PRINT "OK!"
>>> 667 P1 = P1 + 1
>>> 700 PRINT "NON_HALT P0 = "; P0
>>> 710 PRINT "HALT P1 = "; P1
>>> 720 IF P0 > 0 AND P1 > 0 GOTO 1000
>>> 730 PRINT "ALL PATHS FAILED TO BE HIT!"
>>> 740 GOTO 10
>>>
>>> 1000
>>> 1010 PRINT "FIN... All paths hit."
>>> 1020 PRINT "NON_HALT P0 = "; P0
>>> 1030 PRINT "HALT P1 = "; P1
>>> _______________
>>>
>>>
>>> Sorry about that shit!
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>>
>>>>
>>>> It only halts when all paths have been hit.
>>>>
>>>>
>>>>>
>>>>> About cranks then, there's something about a crank I admire,
>>>>> not so much the being wrong part yet the dream, having the
>>>>> dreams, I'm all for people having the dream when it's not
>>>>> frustrating or threatening other people's dreams.
>>>>>
>>>>> So, as I usually enough put it, "retro-finitist crankety
>>>>> trolls can step off and get bent".
>>>>>
>>>>>
>>>>> I'm not a fan of any "new" normal, we already have plain
>>>>> old "normal normal".
>>>>>
>>>>>
>>>>>
>>>>
>>>
>>
>> Hm.
>>
>> There are at least three accounts of programs whether they halt.
>>
>> A) almost-all programs halt
>> B) almost-all programs don't halt
>> C) half of programs halt
>>
> How can a man as smart as you get this so incorrectly?
> The number of programs that halt is between 0 and 100%
> excluding the endpoints.
Excluding the endpoints is just childish. These are achievable in
certain societies. Luddite: 0 and Advanced Technology Civilization: 100.
--
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 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