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


Groups > comp.theory > #141809

Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction

From phoenix <j63840576@gmail.com>
Newsgroups comp.theory, sci.logic, sci.math.symbolic, sci.math
Subject Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction
Date 2026-06-21 12:53 -0600
Message-ID <n9qq97Fi2hlU1@mid.individual.net> (permalink)
References (11 earlier) <1116v0s$bptn$1@dont-email.me> <11171hh$2r09$2@news.muc.de> <111759q$deeb$1@dont-email.me> <1118hp0$2u40$1@news.muc.de> <1119bav$10b1s$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw


olcott wrote:
> On 6/21/2026 6:26 AM, Alan Mackenzie wrote:
>> [ Followup-To: set ]
>>
>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>> On 6/20/2026 4:43 PM, Alan Mackenzie wrote:
>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>> On 6/20/2026 2:48 PM, Alan Mackenzie wrote:
>>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>
>>>>>> [ .... ]
>>
>>>>>>> I only skimmed that digression from this point:
>>>>>>> All empirical facts of general knowledge are encoded
>>>>>>> as axioms. This forms the most comprehensive "atomic base"
>>>>>>> for Proof Theoretic Semantics.
>>
>>>>>> So, in your system, all facts are axioms?
>>
>>>>> Since you are not a philosopher you have no idea what
>>>>> a nightmare the analytic/synthetic distinction is.
>>
>>>> How about answering my question?  In your system are all facts
>>>> axioms, or are they not?
>>
>> Still no answer?
>>
>>>>> By converting all of the atomic facts of empirical
>>>>> general knowledge into axioms the whole 75 year old
>>>>> nightmare is ended in this single sentence.
>>
>>>> Unlikely.  I suggest to you yet again, converting all "atomic facts"
>>>> (whatever they may be) to axioms will not result in a satisfactory or
>>>> useful system.
>>
>>> It makes "true on the basis of meaning expressed in language"
>>> reliably computable for the entire body of knowledge by
>>> providing grounding in a proof theoretic atomic base.
>>
>> Vacuously so.  If all facts are axioms, there is nothing left to prove.
>> Of course, in this setup, determining if an assertion is an axiom or not
>> is an insoluble problem.
>>
>> Maybe you mean something else by "atomic fact".  You're clearly unable or
>> unwilling to define that term.  Obviously you either don't understand it,
>> or you need to keep it vague to avoid being pinned down by logic and
>> reality.
>>
>>> I just found the term:
>>> "grounding in a proof theoretic atomic base" yesterday.
>>
>> You can find any number of terms.  That doesn't mean you're capable of
>> understanding them.
>>
> 
> The above is the key reason why under PTS Gödel 1931
> incompleteness fails. If they are mere gibberish words
> to you then you will not understand.

The reason Gödel 1931 incompleteness fails is because you flock to it 
like a popular A-ha song that we as frequent listeners have heard too 
often. While you are humming, "Take on me" and lightning hits you and 
fires across your shiny steel braces, we are just filling our ears with 
old socks and cotton if we can find it while waiting for the radio to 
cue up another song.

>>> Prior to yesterday I had no idea how close PTS already
>>> is to my own system.
>>
>> You're clueless about PTS.  You can't explain it, you don't understand
>> it.  You just like trying to flummox others by throwing around big words
>> and recondite phrases.  When asked to explain what they mean, you just go
>> all vague.  "Your own system" is vacuous nonsense.
>>
> 
> If you know essentially nothing about PTS then when
> I explain things using the terminology of PTS you will
> not understand. I need to go to university today to
> pick up a key PTS paper.

 From what I hear the only thing universities get right these days is 
STEM mathematics, far beneath your coveted PTS topologies and iso propyl 
alcohol fawning and frantic rubbing, as if it were a magic lantern. 
Admit it, you are a fanboi for higher mathematical logic even if you 
don't understand a word of it.

>>> -- 
>>> Copyright 2026 Olcott the Pretentious
>>
> 
> 


-- 
We eat the night, we drink the time
Make our dreams come true
And hungry eyes are passing by
On streets we call the zoo

Back to comp.theory | Previous | NextPrevious 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 dart200 <user7160@newsgrouper.org.invalid> - 2026-06-19 13:49 -0700
            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 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 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 André G. Isaak <agisaak@gm.invalid> - 2026-06-20 11:40 -0600
              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 dbush <dbush.mobile@gmail.com> - 2026-06-21 09:14 -0400
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-22 09:16 +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-23 09:29 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-24 11:23 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-24 15:19 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-25 10:09 +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 Mikko <mikko.levanto@iki.fi> - 2026-06-20 10:54 +0300
            Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-20 10:26 +0000
              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) foundations of mathematics André G. Isaak <agisaak@gm.invalid> - 2026-06-21 14:18 -0600
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Alan Mackenzie <acm@muc.de> - 2026-06-21 20:44 +0000
                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-23 09:40 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-24 12:45 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-24 15:23 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-25 10:14 +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 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 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-23 09:47 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-24 12:52 +0300
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-24 15:25 -0500
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics Mikko <mikko.levanto@iki.fi> - 2026-06-25 10:18 +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-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 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-23 09:52 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 08:54 -0700
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-23 09:06 -0700
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction olcott <polcott333@gmail.com> - 2026-06-23 11:56 -0500
                Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction Mikko <mikko.levanto@iki.fi> - 2026-06-24 13:06 +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 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) 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
                Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics olcott <polcott333@gmail.com> - 2026-06-23 09:55 -0500

csiph-web