Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, sci.math.symbolic |
| Subject | Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics |
| Followup-To | sci.logic |
| Date | 2026-06-21 13:11 +0300 |
| Organization | A noiseless patient Spider |
| Message-ID | <1118dct$nf7k$1@dont-email.me> (permalink) |
| References | (3 earlier) <1113dmf$3b090$1@dont-email.me> <11148q5$21ka$1@news.muc.de> <1115gvv$3slcc$1@dont-email.me> <1115pt2$27kb$1@news.muc.de> <11165rj$435a$1@dont-email.me> |
Cross-posted to 4 groups.
Followups directed to: sci.logic
On 20/06/2026 16:50, olcott wrote: > On 6/20/2026 5:26 AM, 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 > > It makes "true on the basis of meaning expressed in language" > reliably computable for the entire body of knowledge. If a claim is true on the basis on meaning expressed in language we usually can easily determine its truth vaule wihout computational tools. The truth values we want to know but are hard to determine are of claims that are true on some other basis. -- Mikko
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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