Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #645587

Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics

From Mikko <mikko.levanto@iki.fi>
Newsgroups comp.theory, sci.logic, sci.math.symbolic, sci.math
Subject Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
Followup-To sci.logic
Date 2026-06-22 10:46 +0300
Organization A noiseless patient Spider
Message-ID <111ap8k$1bucv$1@dont-email.me> (permalink)
References (8 earlier) <1119lls$13bi9$1@dont-email.me> <n9r7biFk11rU4@mid.individual.net> <1119ram$14q0f$1@dont-email.me> <n9re57Fl23tU1@mid.individual.net> <111a0hn$161e8$1@dont-email.me>

Cross-posted to 4 groups.

Followups directed to: sci.logic

Show all headers | View raw

On 22/06/2026 03:44, olcott wrote:
> On 6/21/2026 7:32 PM, phoenix wrote:
>> olcott wrote:
>>> On 6/21/2026 5:36 PM, phoenix wrote:
>>>> olcott wrote:
>>>>> On 6/21/2026 3:18 PM, André G. Isaak wrote:
>>>>>> On 2026-06-20 04:26, Alan Mackenzie wrote:
>>>>>>> Mikko <mikko.levanto@iki.fi> wrote:
>>>>>>>> On 19/06/2026 23:28, Alan Mackenzie wrote:
>>>>>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>>>>>>> On 6/19/2026 2:23 AM, Mikko wrote:
>>>>>>>>>>> On 18/06/2026 22:35, olcott wrote:
>>>>>>>>>>>> On 6/17/2026 4:14 PM, olcott wrote:
>>>>>>>>>>>>> https://www.youtube.com/@rossfinlayson
>>>>>>>>>>>>> Making sure to leave out
>>>>>>>
>>>>>>>>>>>>> Proof-theoretic semantics
>>>>>>>>>>>>> (an alternative to truth-condition semantics)
>>>>>>>>>>>>> https://plato.stanford.edu/entries/proof-theoretic-semantics/
>>>>>>>
>>>>>>>>>>>> Some people only memorize conventional views and
>>>>>>>>>>>> reject alternative views out-of-hand without review.
>>>>>>>
>>>>>>>>>>> Whereas you are stuck to your own incoherent views and reject
>>>>>>>>>>> alternative views out-of-hand without review.
>>>>>>>
>>>>>>>
>>>>>>>>>> Calling my views (anchored in proof theoretic semantics)
>>>>>>>>>> incoherent merely proves that you are too damned lazy to
>>>>>>>>>> look into proof theoretic semantics.
>>>>>>>>>> https://plato.stanford.edu/entries/proof-theoretic-semantics/
>>>>>>>
>>>>>>>>> I've spent a couple of hours reading that web page.  It is 
>>>>>>>>> abstract in
>>>>>>>>> the extreme.  One thing is utterly clear: its level of 
>>>>>>>>> abstraction is
>>>>>>>>> well beyond the comprehension capabilities of Peter Olcott, who 
>>>>>>>>> can't
>>>>>>>>> even understand proof by contradiction.
>>>>>>>
>>>>>>>>> That page's level of abstraction is high enough that I can't be 
>>>>>>>>> bothered
>>>>>>>>> to read it any further.  If it actually says anything at all, that
>>>>>>>>> something is heavily disguised.  From it's "Conclusion and 
>>>>>>>>> Outlook"
>>>>>>>>> section at the end:
>>>>>>>
>>>>>>>>> | Standard proof-theoretic semantics has practically 
>>>>>>>>> exclusively been
>>>>>>>>> | occupied with logical constants. Logical constants play a 
>>>>>>>>> central role
>>>>>>>>> | in reasoning and inference, but are definitely not the 
>>>>>>>>> exclusive, and
>>>>>>>>> | perhaps not even the most typical sort of entities that can 
>>>>>>>>> be defined
>>>>>>>>> | inferentially. A framework is needed that deals with inferential
>>>>>>>>> | definitions in a wider sense and covers both logical and 
>>>>>>>>> extra- logical
>>>>>>>>> | inferential definitions alike.
>>>>>>>
>>>>>>>>> Does this have any meaning?
>>>>>>>
>>>>>>>> Yes. It means that proof-theoretic semantics is currently and in 
>>>>>>>> the
>>>>>>>> near future not useful as making it useful requires much time and
>>>>>>>> effort if it is possible at all.
>>>>>>>
>>>>>>> Do its proponents have any idea what PTS ought to be useful for? 
>>>>>>> What it
>>>>>>> ought to be able to do that standard logic fails at?  Maybe André 
>>>>>>> could
>>>>>>> elucidate.  He seems to have a better grasp of it than anybody 
>>>>>>> else here.
>>>>>>
>>>>>> I doubt my understanding of PTS is any better than yours. I 
>>>>>> basically only know what is presented in the Stanford Encyclopedia 
>>>>>> article (which you correctly point out is not exactly aimed at 
>>>>>> beginners) and the Wikipedia article. What I am quite certain of, 
>>>>>> however, is that Olcott lacks any understanding of what PTS 
>>>>>> actually says as he's made a variety of fairly absurd claims 
>>>>>> regarding it (for example, that PTS claims that unproven 
>>>>>> propositions are 'meaningless' or that the goal of PTS is to 
>>>>>> completely overthrow standard truth-theoretic semantics).
>>>>>>
>>>>>> André
>>>>>>
>>>>>
>>>>>    Proof-theoretic semantics is an alternative to
>>>>>    truth-condition semantics. It is based on the
>>>>>    fundamental assumption that the central notion
>>>>>    in terms of which meanings are assigned to certain
>>>>>    expressions of our language, in particular to
>>>>>    logical constants, is that of proof rather than
>>>>>    truth. In this sense proof-theoretic semantics
>>>>>    is semantics in terms of proof.
>>>>>    https://plato.stanford.edu/entries/proof-theoretic-semantics/
>>>>>
>>>>> In other words it answers the question:
>>>>> What happens when truth conditional semantics is
>>>>> utterly abandoned and is totally replaced by proof
>>>>> theoretic semantics?
>>>>>
>>>> Lastly, and why should we care? Please answer this and other 
>>>> questions presented.
>>>>
>>>
>>> This is the key element to creating the algorithm
>>> that divides truth was well-crafted lies in real time.
>>>
>>> We can make these lies look foolish at every language
>>> level from below average kindergarten to profoundly
>>> brilliant genius with a PhD in everything and we
>>> can do this before the liar finishes saying their
>>> sentence.
>>>
>>> It also make the trillion dollar LLM industry more
>>> than 100-fold more valuable.
>>>
>> What good does it do to program the LLMs to never admit defeat? 
> 
> It is not that they never admit defeat.
> It is that that have a system of essentially infallible reasoning
> that never errs as long as it has all the relevant information.

It is fairly simple to build a system of essentially infallible
reasoning that never errs even when it doesn't have all the
relevant information. The real problem is to construct a system
that tells something interesting instead of just different
presentations of the same already known facts.

-- 
Mikko

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-17 16:14 -0500
  Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-18 14:35 -0500
    Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-19 10:23 +0300
      Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 07:46 -0500
        Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-19 20:28 +0000
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 15:50 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-19 21:05 +0000
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 16:24 -0500
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 15:57 -0500
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 18:30 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-19 22:27 -0700
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:20 -0500
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 21:35 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-19 22:27 -0700
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-19 23:04 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:29 -0500
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:22 -0500
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-19 21:40 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-20 11:05 +0300
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 14:02 -0500
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 15:17 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 12:30 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 15:45 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 15:03 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 16:17 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 16:03 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 17:17 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 13:02 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 12:57 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 18:51 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-21 20:16 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 10:13 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 08:13 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 11:01 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 13:12 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 12:28 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-23 08:39 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-25 08:43 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:17 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-26 07:59 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:16 +0300
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 12:48 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 13:36 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics phoenix <j63840576@gmail.com> - 2026-06-21 12:54 -0600
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 09:23 +0300
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 08:50 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-20 15:34 +0000
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 10:47 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-20 16:08 +0000
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 11:37 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 13:11 +0300
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 18:55 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 09:27 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 07:05 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-23 08:43 +0300
                Re: Ross A. Finlayson, readings in (some of the) --- One-two punch Destroys Liars olcott <polcott333@gmail.com> - 2026-06-23 09:38 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- One-two punch Destroys Liars Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 08:53 -0700
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:51 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 14:04 +0300
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 16:39 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics phoenix <j63840576@gmail.com> - 2026-06-21 16:36 -0600
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 18:15 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics phoenix <j63840576@gmail.com> - 2026-06-21 18:32 -0600
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 19:44 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 10:46 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 10:16 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-23 08:49 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-25 08:47 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:23 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-26 08:02 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:19 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics polcott <polcott333@gmail.com> - 2026-06-27 10:34 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-21 21:27 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 00:22 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-21 21:16 -0700
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics André G. Isaak <agisaak@gm.invalid> - 2026-06-21 18:05 -0600
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 19:14 -0500
        Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-20 10:50 +0300
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:41 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 13:17 +0300
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 18:58 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 09:41 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 07:09 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-23 08:55 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-25 08:58 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:34 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-26 08:05 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:27 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics polcott <polcott333@gmail.com> - 2026-06-27 10:36 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-28 11:04 +0300
    Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-19 22:25 -0700
      Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:18 -0500
        Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 10:36 -0400
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 09:54 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 10:57 -0400
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 10:22 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 11:23 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 10:44 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 11:48 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 09:45 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 16:20 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 09:29 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 11:45 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 09:47 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 11:57 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 13:13 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 10:21 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 10:19 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-20 12:33 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics dbush <dbush.mobile@gmail.com> - 2026-06-20 13:36 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-20 12:13 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-20 19:48 +0000
                Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-20 16:00 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction dbush <dbush.mobile@gmail.com> - 2026-06-20 17:19 -0400
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-20 16:30 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction dbush <dbush.mobile@gmail.com> - 2026-06-20 17:34 -0400
                Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-20 17:26 -0500
                Re: Disjunction introduction --- new premise from out of no where dbush <dbush.mobile@gmail.com> - 2026-06-20 20:11 -0400
                Re: Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-20 19:26 -0500
                Re: Disjunction introduction --- new premise from out of no where dbush <dbush.mobile@gmail.com> - 2026-06-20 20:29 -0400
                Re: Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-20 20:06 -0500
                Re: Disjunction introduction --- new premise from out of no where dbush <dbush.mobile@gmail.com> - 2026-06-20 21:28 -0400
                Re: Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-20 20:32 -0500
                Re: Disjunction introduction --- new premise from out of no where dbush <dbush.mobile@gmail.com> - 2026-06-20 21:38 -0400
                Re: Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-20 20:48 -0500
                Re: Disjunction introduction --- new premise from out of no where dbush <dbush.mobile@gmail.com> - 2026-06-20 21:51 -0400
                Re: Disjunction introduction --- new premise from out of no where "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-25 12:54 -0700
                Re: Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-25 16:01 -0500
                Re: Disjunction introduction --- new premise from out of no where olcott <polcott333@gmail.com> - 2026-06-25 16:05 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Alan Mackenzie <acm@muc.de> - 2026-06-20 21:43 +0000
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-20 17:47 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Alan Mackenzie <acm@muc.de> - 2026-06-21 11:26 +0000
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-21 13:42 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction phoenix <j63840576@gmail.com> - 2026-06-21 12:53 -0600
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Alan Mackenzie <acm@muc.de> - 2026-06-21 20:04 +0000
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-21 15:42 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction André G. Isaak <agisaak@gm.invalid> - 2026-06-21 15:08 -0600
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-21 18:02 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge André G. Isaak <agisaak@gm.invalid> - 2026-06-21 18:02 -0600
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge -- Kristen Welker olcott <polcott333@gmail.com> - 2026-06-21 19:12 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge -- Kristen Welker dbush <dbush.mobile@gmail.com> - 2026-06-21 20:20 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-22 09:49 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-22 07:10 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-23 09:06 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-23 09:48 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 08:53 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-24 13:00 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-24 15:26 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-25 10:21 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-25 11:14 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:39 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 08:10 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 09:20 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 08:45 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 09:57 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 09:24 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 12:08 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 12:22 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 13:25 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 12:39 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 13:42 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 12:53 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 14:02 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge André G. Isaak <agisaak@gm.invalid> - 2026-06-26 12:14 -0600
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 13:48 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 14:51 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 14:07 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 15:17 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 14:38 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 15:55 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 17:01 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 18:08 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 17:58 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 19:18 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 19:05 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 20:23 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 19:48 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 21:11 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 20:39 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-26 21:51 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-26 21:00 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge polcott <polcott333@gmail.com> - 2026-06-27 08:34 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-27 11:05 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge polcott <polcott333@gmail.com> - 2026-06-27 10:47 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 15:37 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 17:47 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 19:24 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 22:21 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 19:25 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 11:22 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 11:17 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:48 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge polcott <polcott333@gmail.com> - 2026-06-27 10:45 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 11:38 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:35 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge polcott <polcott333@gmail.com> - 2026-06-27 10:43 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 14:01 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 13:27 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 14:29 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 13:38 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 14:39 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 14:01 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 15:04 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 14:16 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 15:23 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 14:40 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 15:54 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 15:04 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 16:11 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 15:17 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 16:22 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 15:27 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 16:30 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 16:36 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 15:52 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 16:59 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 16:24 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 17:50 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 17:11 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 18:15 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 17:18 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 18:21 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 17:29 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 18:33 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 17:44 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 18:53 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 18:27 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 19:33 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 18:59 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge dbush <dbush.mobile@gmail.com> - 2026-06-27 21:13 -0400
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 20:33 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:38 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:31 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-28 22:12 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-29 09:23 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-29 08:38 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-30 10:48 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-30 08:43 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-01 10:01 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-01 10:09 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-30 11:43 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-30 09:22 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-01 10:13 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-01 10:13 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:44 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-02 09:45 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-02 08:16 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-02 11:47 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-03 12:15 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:41 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-03 10:23 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-03 10:34 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-03 13:17 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-03 13:36 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-03 18:14 -0700
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-04 10:02 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-04 09:58 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-04 08:24 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-06 13:13 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-06 12:51 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-08 10:29 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-03 12:39 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-03 11:43 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-04 10:22 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-04 08:29 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Alan Mackenzie <acm@muc.de> - 2026-07-04 14:07 +0000
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-04 11:38 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Alan Mackenzie <acm@muc.de> - 2026-07-04 17:42 +0000
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:10 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-06 08:51 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-08 10:35 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-07-08 22:12 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:51 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 11:38 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge André G. Isaak <agisaak@gm.invalid> - 2026-06-27 13:40 -0600
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-27 14:46 -0500
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Mikko <mikko.levanto@iki.fi> - 2026-06-28 11:32 +0300
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge Alan Mackenzie <acm@muc.de> - 2026-06-22 12:47 +0000
                Re: Readings in (some of the) foundations of mathematics --- tree of knowledge olcott <polcott333@gmail.com> - 2026-06-22 09:30 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Mikko <mikko.levanto@iki.fi> - 2026-06-22 10:23 +0300
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-22 09:44 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Alan Mackenzie <acm@muc.de> - 2026-06-22 15:22 +0000
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-22 10:36 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 12:07 -0700
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-22 14:21 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Mikko <mikko.levanto@iki.fi> - 2026-06-23 09:15 +0300
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-24 16:31 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Mikko <mikko.levanto@iki.fi> - 2026-06-25 10:49 +0300
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:55 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 13:26 +0300
        Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-21 13:23 +0300
          Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-21 19:00 -0500
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 10:40 +0300
              Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 10:12 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-22 15:48 +0000
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 11:23 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-22 18:42 +0000
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 13:59 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-22 19:50 +0000
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 15:06 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-22 20:38 +0000
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 16:01 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 16:55 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 21:00 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 23:14 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 21:31 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-23 09:22 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 08:51 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-23 11:54 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 10:32 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 10:58 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-23 13:24 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 07:26 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-23 13:20 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Mikko <mikko.levanto@iki.fi> - 2026-06-24 13:13 +0300
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-24 16:33 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs phoenix <j63840576@gmail.com> - 2026-06-24 18:28 -0600
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Mikko <mikko.levanto@iki.fi> - 2026-06-25 10:29 +0300
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-25 11:16 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:45 +0300
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-26 08:15 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Mikko <mikko.levanto@iki.fi> - 2026-06-27 11:13 +0300
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 07:25 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs polcott <polcott333@gmail.com> - 2026-06-27 10:53 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:51 +0300
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-30 06:23 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-30 09:53 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-30 10:36 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-30 19:47 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-06-30 22:01 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-01 05:13 -0700
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs olcott <polcott333@gmail.com> - 2026-07-01 09:59 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-01 10:00 -0700
                DAG of all general knowledge that can be expressed in Language olcott <polcott333@gmail.com> - 2026-07-01 12:57 -0500
                Re: DAG of all general knowledge that can be expressed in Language Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-01 12:31 -0700
                Re: DAG of all general knowledge that can be expressed in Language "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-01 12:37 -0700
                Re: DAG of all general knowledge that can be expressed in Language Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-01 13:16 -0700
                Re: DAG of all general knowledge that can be expressed in Language "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-01 18:59 -0700
                Re: DAG of all general knowledge that can be expressed in Language olcott <polcott333@gmail.com> - 2026-07-01 14:51 -0500
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed  graphs Python <python@cccp.invalid> - 2026-06-23 21:04 +0000
                Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 19:25 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 21:16 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-22 21:28 -0700
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-22 15:08 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-23 09:17 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-23 09:26 +0300

csiph-web