Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > sci.math > #645432 > unrolled thread
| Started by | olcott <polcott333@gmail.com> |
|---|---|
| First post | 2026-06-17 16:14 -0500 |
| Last post | 2026-06-23 09:26 +0300 |
| Articles | 20 on this page of 346 — 10 participants |
Back to article view | Back to sci.math
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
Page 5 of 18 — ← Prev page 1 … 3 4 [5] 6 7 … 18 Next page →
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-21 18:58 -0500 |
| Message-ID | <1119tr1$15c1h$1@dont-email.me> |
| In reply to | #645545 |
On 6/21/2026 5:17 AM, Mikko wrote: > On 20/06/2026 17:41, olcott wrote: >> On 6/20/2026 2:50 AM, Mikko wrote: >>> On 19/06/2026 15:46, olcott 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. >>> >>> At different times you have expressed different opinions, which >>> sometimes have been incompatible. But you have never clearly >>> retracted your earlier opitions that conflict with your present >>> ones. >> >> All of the ideas that I have ever had about these things >> are now under the Proof Theoretic Semantics category. >> These ideas have evolved over time, yet their essence >> has remained utterly unchanged since 1997. > > That's nearly thirty years, and you still havn't written a publishable > (or nearly publishable) article about them. > I have 50 pre prints articles. Because not one single human being on the face of the Earth could understand me I could not publish. Now that I am acquiring the lingua franca of PTS I will finally be able to publish. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2026-06-22 09:41 +0300 |
| Message-ID | <111ale5$1arkp$1@dont-email.me> |
| In reply to | #645566 |
On 22/06/2026 02:58, olcott wrote: > On 6/21/2026 5:17 AM, Mikko wrote: >> On 20/06/2026 17:41, olcott wrote: >>> On 6/20/2026 2:50 AM, Mikko wrote: >>>> On 19/06/2026 15:46, olcott 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. >>>> >>>> At different times you have expressed different opinions, which >>>> sometimes have been incompatible. But you have never clearly >>>> retracted your earlier opitions that conflict with your present >>>> ones. >>> >>> All of the ideas that I have ever had about these things >>> are now under the Proof Theoretic Semantics category. >>> These ideas have evolved over time, yet their essence >>> has remained utterly unchanged since 1997. >> >> That's nearly thirty years, and you still havn't written a publishable >> (or nearly publishable) article about them. > > I have 50 pre prints articles. Because not one single> human being on the face of the Earth could understand > me I could not publish. As far as I have seen, all interesting content in those articles that have any is or depends on claims that should be proven but aren't. > Now that I am acquiring the lingua franca of PTS I > will finally be able to publish. If all you can publish is in the topic area of PtS then they may count as uninteresting to those whose primary problems are not in that topic area. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-22 07:09 -0500 |
| Message-ID | <111b8lg$1ghve$1@dont-email.me> |
| In reply to | #645580 |
On 6/22/2026 1:41 AM, Mikko wrote: > On 22/06/2026 02:58, olcott wrote: >> On 6/21/2026 5:17 AM, Mikko wrote: >>> On 20/06/2026 17:41, olcott wrote: >>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>> On 19/06/2026 15:46, olcott 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. >>>>> >>>>> At different times you have expressed different opinions, which >>>>> sometimes have been incompatible. But you have never clearly >>>>> retracted your earlier opitions that conflict with your present >>>>> ones. >>>> >>>> All of the ideas that I have ever had about these things >>>> are now under the Proof Theoretic Semantics category. >>>> These ideas have evolved over time, yet their essence >>>> has remained utterly unchanged since 1997. >>> >>> That's nearly thirty years, and you still havn't written a publishable >>> (or nearly publishable) article about them. >> >> I have 50 pre prints articles. Because not one single> human being on >> the face of the Earth could understand >> me I could not publish. > > As far as I have seen, all interesting content in those articles > that have any is or depends on claims that should be proven but > aren't. > They are proven in Proof Theoretic Semantics >> Now that I am acquiring the lingua franca of PTS I >> will finally be able to publish. > > If all you can publish is in the topic area of PtS then they may > count as uninteresting to those whose primary problems are not in > that topic area. > My extensions to PTS eliminate the LLM reliability issues. This makes the Trillion dollar industry at least 100-fold more valuable. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2026-06-23 08:55 +0300 |
| Message-ID | <111d74l$21rb6$1@dont-email.me> |
| In reply to | #645589 |
On 22/06/2026 15:09, olcott wrote: > On 6/22/2026 1:41 AM, Mikko wrote: >> On 22/06/2026 02:58, olcott wrote: >>> On 6/21/2026 5:17 AM, Mikko wrote: >>>> On 20/06/2026 17:41, olcott wrote: >>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>> On 19/06/2026 15:46, olcott 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. >>>>>> >>>>>> At different times you have expressed different opinions, which >>>>>> sometimes have been incompatible. But you have never clearly >>>>>> retracted your earlier opitions that conflict with your present >>>>>> ones. >>>>> >>>>> All of the ideas that I have ever had about these things >>>>> are now under the Proof Theoretic Semantics category. >>>>> These ideas have evolved over time, yet their essence >>>>> has remained utterly unchanged since 1997. >>>> >>>> That's nearly thirty years, and you still havn't written a publishable >>>> (or nearly publishable) article about them. >>> >>> I have 50 pre prints articles. Because not one single> human being on >>> the face of the Earth could understand >>> me I could not publish. >> >> As far as I have seen, all interesting content in those articles >> that have any is or depends on claims that should be proven but >> aren't. > > They are proven in Proof Theoretic Semantics An aricle is not publishable unless it either contains the proof or has a pointer to an olready published proof. >>> Now that I am acquiring the lingua franca of PTS I >>> will finally be able to publish. >> If all you can publish is in the topic area of PtS then they may >> count as uninteresting to those whose primary problems are not in >> that topic area. > > My extensions to PTS eliminate the LLM reliability issues. Does not help as long as those extensions are not published so that your articles can point to them. > This makes the Trillion dollar industry at least 100-fold > more valuable. Value of some industry in January 2049 is a proor predictor of the vale of the same industry in December 2049. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-25 08:58 -0500 |
| Message-ID | <111jc6k$3qobi$1@dont-email.me> |
| In reply to | #645625 |
On 6/25/2026 2:18 AM, Mikko wrote: > On 24/06/2026 23:25, olcott wrote: >> On 6/24/2026 4:52 AM, Mikko wrote: >>> On 23/06/2026 17:47, olcott wrote: >>>> On 6/23/2026 12:55 AM, Mikko wrote: >>>>> On 22/06/2026 15:09, olcott wrote: >>>>>> On 6/22/2026 1:41 AM, Mikko wrote: >>>>>>> On 22/06/2026 02:58, olcott wrote: >>>>>>>> On 6/21/2026 5:17 AM, Mikko wrote: >>>>>>>>> On 20/06/2026 17:41, olcott wrote: >>>>>>>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>>>>>>> On 19/06/2026 15:46, olcott 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. >>>>>>>>>>> >>>>>>>>>>> At different times you have expressed different opinions, which >>>>>>>>>>> sometimes have been incompatible. But you have never clearly >>>>>>>>>>> retracted your earlier opitions that conflict with your present >>>>>>>>>>> ones. >>>>>>>>>> >>>>>>>>>> All of the ideas that I have ever had about these things >>>>>>>>>> are now under the Proof Theoretic Semantics category. >>>>>>>>>> These ideas have evolved over time, yet their essence >>>>>>>>>> has remained utterly unchanged since 1997. >>>>>>>>> >>>>>>>>> That's nearly thirty years, and you still havn't written a >>>>>>>>> publishable >>>>>>>>> (or nearly publishable) article about them. >>>>>>>> >>>>>>>> I have 50 pre prints articles. Because not one single> human >>>>>>>> being on the face of the Earth could understand >>>>>>>> me I could not publish. >>>>>>> >>>>>>> As far as I have seen, all interesting content in those articles >>>>>>> that have any is or depends on claims that should be proven but >>>>>>> aren't. >>>>>> >>>>>> They are proven in Proof Theoretic Semantics >>>>> >>>>> An aricle is not publishable unless it either contains the proof or >>>>> has a pointer to an olready published proof. >>>> >>>> Only now after 28 years am I acquiring the lingua Franca >>>> terms-of-the-art of proof theoretic semantics such that >>>> I can anchor my ideas in the foundational work of the >>>> most respected authors in the field. >>>> >>>> My issue with you guys is that you only spend 1% >>>> of your concentration understanding me and the other >>>> 99% trying to artificially contrive some baseless >>>> rebuttal. >>> >>> THat "baseless" is false but otherwise, what is wrong is more >>> important than what is right. Of one ignores what is right one >>> mai fail to achieve what one could, but if one believs what is >>> wrong one may achieve a disaseter. >> >> Proof-theoretic semantics is an alternative to truth-condition semantics. >> https://plato.stanford.edu/entries/proof-theoretic-semantics/ >> >> So far no one has even acknowledged that PTS is an alternative >> to truth-conditional semantics. Several people have seemed >> to same that no alternative can possibly exist. > > You have not shown that there is any need for any alternative semantics. > With dangerous lies that can destroy Democracy and kill the planet with climate change having an ultimate arbiter of truth would be useful. Truth Conditional Semantics <is> incoherent compared to Proof Theoretic Semantics. PTS essentially just coherently connects the semantic meanings expressed in language together into one coherent body of general knowledge. It does this without undecidability or mathematical incompleteness. When G and ~G cannot be proved in PA it is ruled out-of-scope for PA. That they can be proved on metamathematics shows that they are in scope for metamathematics. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2026-06-26 09:34 +0300 |
| Message-ID | <111l6i1$b345$1@dont-email.me> |
| In reply to | #645658 |
On 25/06/2026 16:58, olcott wrote: > On 6/25/2026 2:18 AM, Mikko wrote: >> On 24/06/2026 23:25, olcott wrote: >>> On 6/24/2026 4:52 AM, Mikko wrote: >>>> On 23/06/2026 17:47, olcott wrote: >>>>> On 6/23/2026 12:55 AM, Mikko wrote: >>>>>> On 22/06/2026 15:09, olcott wrote: >>>>>>> On 6/22/2026 1:41 AM, Mikko wrote: >>>>>>>> On 22/06/2026 02:58, olcott wrote: >>>>>>>>> On 6/21/2026 5:17 AM, Mikko wrote: >>>>>>>>>> On 20/06/2026 17:41, olcott wrote: >>>>>>>>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>>>>>>>> On 19/06/2026 15:46, olcott 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. >>>>>>>>>>>> >>>>>>>>>>>> At different times you have expressed different opinions, which >>>>>>>>>>>> sometimes have been incompatible. But you have never clearly >>>>>>>>>>>> retracted your earlier opitions that conflict with your present >>>>>>>>>>>> ones. >>>>>>>>>>> >>>>>>>>>>> All of the ideas that I have ever had about these things >>>>>>>>>>> are now under the Proof Theoretic Semantics category. >>>>>>>>>>> These ideas have evolved over time, yet their essence >>>>>>>>>>> has remained utterly unchanged since 1997. >>>>>>>>>> >>>>>>>>>> That's nearly thirty years, and you still havn't written a >>>>>>>>>> publishable >>>>>>>>>> (or nearly publishable) article about them. >>>>>>>>> >>>>>>>>> I have 50 pre prints articles. Because not one single> human >>>>>>>>> being on the face of the Earth could understand >>>>>>>>> me I could not publish. >>>>>>>> >>>>>>>> As far as I have seen, all interesting content in those articles >>>>>>>> that have any is or depends on claims that should be proven but >>>>>>>> aren't. >>>>>>> >>>>>>> They are proven in Proof Theoretic Semantics >>>>>> >>>>>> An aricle is not publishable unless it either contains the proof or >>>>>> has a pointer to an olready published proof. >>>>> >>>>> Only now after 28 years am I acquiring the lingua Franca >>>>> terms-of-the-art of proof theoretic semantics such that >>>>> I can anchor my ideas in the foundational work of the >>>>> most respected authors in the field. >>>>> >>>>> My issue with you guys is that you only spend 1% >>>>> of your concentration understanding me and the other >>>>> 99% trying to artificially contrive some baseless >>>>> rebuttal. >>>> >>>> THat "baseless" is false but otherwise, what is wrong is more >>>> important than what is right. Of one ignores what is right one >>>> mai fail to achieve what one could, but if one believs what is >>>> wrong one may achieve a disaseter. >>> >>> Proof-theoretic semantics is an alternative to truth-condition >>> semantics. >>> https://plato.stanford.edu/entries/proof-theoretic-semantics/ >>> >>> So far no one has even acknowledged that PTS is an alternative >>> to truth-conditional semantics. Several people have seemed >>> to same that no alternative can possibly exist. >> >> You have not shown that there is any need for any alternative semantics. > > With dangerous lies that can destroy Democracy > and kill the planet with climate change having > an ultimate arbiter of truth would be useful. Those who are able and willing to destroy democracy are able to provice an ultimate arbiter of truth and usually do so. But they don't need any proof theoretic semantics. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-26 08:05 -0500 |
| Message-ID | <111ltf4$hurp$1@dont-email.me> |
| In reply to | #645673 |
On 6/26/2026 1:34 AM, Mikko wrote: > On 25/06/2026 16:58, olcott wrote: >> On 6/25/2026 2:18 AM, Mikko wrote: >>> On 24/06/2026 23:25, olcott wrote: >>>> On 6/24/2026 4:52 AM, Mikko wrote: >>>>> On 23/06/2026 17:47, olcott wrote: >>>>>> On 6/23/2026 12:55 AM, Mikko wrote: >>>>>>> On 22/06/2026 15:09, olcott wrote: >>>>>>>> On 6/22/2026 1:41 AM, Mikko wrote: >>>>>>>>> On 22/06/2026 02:58, olcott wrote: >>>>>>>>>> On 6/21/2026 5:17 AM, Mikko wrote: >>>>>>>>>>> On 20/06/2026 17:41, olcott wrote: >>>>>>>>>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>>>>>>>>> On 19/06/2026 15:46, olcott 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. >>>>>>>>>>>>> >>>>>>>>>>>>> At different times you have expressed different opinions, >>>>>>>>>>>>> which >>>>>>>>>>>>> sometimes have been incompatible. But you have never clearly >>>>>>>>>>>>> retracted your earlier opitions that conflict with your >>>>>>>>>>>>> present >>>>>>>>>>>>> ones. >>>>>>>>>>>> >>>>>>>>>>>> All of the ideas that I have ever had about these things >>>>>>>>>>>> are now under the Proof Theoretic Semantics category. >>>>>>>>>>>> These ideas have evolved over time, yet their essence >>>>>>>>>>>> has remained utterly unchanged since 1997. >>>>>>>>>>> >>>>>>>>>>> That's nearly thirty years, and you still havn't written a >>>>>>>>>>> publishable >>>>>>>>>>> (or nearly publishable) article about them. >>>>>>>>>> >>>>>>>>>> I have 50 pre prints articles. Because not one single> human >>>>>>>>>> being on the face of the Earth could understand >>>>>>>>>> me I could not publish. >>>>>>>>> >>>>>>>>> As far as I have seen, all interesting content in those articles >>>>>>>>> that have any is or depends on claims that should be proven but >>>>>>>>> aren't. >>>>>>>> >>>>>>>> They are proven in Proof Theoretic Semantics >>>>>>> >>>>>>> An aricle is not publishable unless it either contains the proof or >>>>>>> has a pointer to an olready published proof. >>>>>> >>>>>> Only now after 28 years am I acquiring the lingua Franca >>>>>> terms-of-the-art of proof theoretic semantics such that >>>>>> I can anchor my ideas in the foundational work of the >>>>>> most respected authors in the field. >>>>>> >>>>>> My issue with you guys is that you only spend 1% >>>>>> of your concentration understanding me and the other >>>>>> 99% trying to artificially contrive some baseless >>>>>> rebuttal. >>>>> >>>>> THat "baseless" is false but otherwise, what is wrong is more >>>>> important than what is right. Of one ignores what is right one >>>>> mai fail to achieve what one could, but if one believs what is >>>>> wrong one may achieve a disaseter. >>>> >>>> Proof-theoretic semantics is an alternative to truth-condition >>>> semantics. >>>> https://plato.stanford.edu/entries/proof-theoretic-semantics/ >>>> >>>> So far no one has even acknowledged that PTS is an alternative >>>> to truth-conditional semantics. Several people have seemed >>>> to same that no alternative can possibly exist. >>> >>> You have not shown that there is any need for any alternative semantics. >> >> With dangerous lies that can destroy Democracy >> and kill the planet with climate change having >> an ultimate arbiter of truth would be useful. > > Those who are able and willing to destroy democracy are able to provice > an ultimate arbiter of truth and usually do so. But they don't need any > proof theoretic semantics. > An ultimate arbiter of truth blows their whole game away. One-two punch Destroys Liars #WhatIsTheEvidence #ThatIsNotEvidence Around and around until Defeated Kristen Welker's (Meet the Press) interview of Trump She cornered him and he gave up and left proving that he has no evidence https://www.nbcnews.com/politics/donald-trump/read-transcript-president-donald-trump-interviewed-nbc-news-meet-press-rcna348508 2026-06-07 -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2026-06-27 10:27 +0300 |
| Message-ID | <111nu11$13nu4$1@dont-email.me> |
| In reply to | #645682 |
On 26/06/2026 16:05, olcott wrote: > On 6/26/2026 1:34 AM, Mikko wrote: >> On 25/06/2026 16:58, olcott wrote: >>> On 6/25/2026 2:18 AM, Mikko wrote: >>>> On 24/06/2026 23:25, olcott wrote: >>>>> On 6/24/2026 4:52 AM, Mikko wrote: >>>>>> On 23/06/2026 17:47, olcott wrote: >>>>>>> On 6/23/2026 12:55 AM, Mikko wrote: >>>>>>>> On 22/06/2026 15:09, olcott wrote: >>>>>>>>> On 6/22/2026 1:41 AM, Mikko wrote: >>>>>>>>>> On 22/06/2026 02:58, olcott wrote: >>>>>>>>>>> On 6/21/2026 5:17 AM, Mikko wrote: >>>>>>>>>>>> On 20/06/2026 17:41, olcott wrote: >>>>>>>>>>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>>>>>>>>>> On 19/06/2026 15:46, olcott 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. >>>>>>>>>>>>>> >>>>>>>>>>>>>> At different times you have expressed different opinions, >>>>>>>>>>>>>> which >>>>>>>>>>>>>> sometimes have been incompatible. But you have never clearly >>>>>>>>>>>>>> retracted your earlier opitions that conflict with your >>>>>>>>>>>>>> present >>>>>>>>>>>>>> ones. >>>>>>>>>>>>> >>>>>>>>>>>>> All of the ideas that I have ever had about these things >>>>>>>>>>>>> are now under the Proof Theoretic Semantics category. >>>>>>>>>>>>> These ideas have evolved over time, yet their essence >>>>>>>>>>>>> has remained utterly unchanged since 1997. >>>>>>>>>>>> >>>>>>>>>>>> That's nearly thirty years, and you still havn't written a >>>>>>>>>>>> publishable >>>>>>>>>>>> (or nearly publishable) article about them. >>>>>>>>>>> >>>>>>>>>>> I have 50 pre prints articles. Because not one single> human >>>>>>>>>>> being on the face of the Earth could understand >>>>>>>>>>> me I could not publish. >>>>>>>>>> >>>>>>>>>> As far as I have seen, all interesting content in those articles >>>>>>>>>> that have any is or depends on claims that should be proven but >>>>>>>>>> aren't. >>>>>>>>> >>>>>>>>> They are proven in Proof Theoretic Semantics >>>>>>>> >>>>>>>> An aricle is not publishable unless it either contains the proof or >>>>>>>> has a pointer to an olready published proof. >>>>>>> >>>>>>> Only now after 28 years am I acquiring the lingua Franca >>>>>>> terms-of-the-art of proof theoretic semantics such that >>>>>>> I can anchor my ideas in the foundational work of the >>>>>>> most respected authors in the field. >>>>>>> >>>>>>> My issue with you guys is that you only spend 1% >>>>>>> of your concentration understanding me and the other >>>>>>> 99% trying to artificially contrive some baseless >>>>>>> rebuttal. >>>>>> >>>>>> THat "baseless" is false but otherwise, what is wrong is more >>>>>> important than what is right. Of one ignores what is right one >>>>>> mai fail to achieve what one could, but if one believs what is >>>>>> wrong one may achieve a disaseter. >>>>> >>>>> Proof-theoretic semantics is an alternative to truth-condition >>>>> semantics. >>>>> https://plato.stanford.edu/entries/proof-theoretic-semantics/ >>>>> >>>>> So far no one has even acknowledged that PTS is an alternative >>>>> to truth-conditional semantics. Several people have seemed >>>>> to same that no alternative can possibly exist. >>>> >>>> You have not shown that there is any need for any alternative >>>> semantics. >>> >>> With dangerous lies that can destroy Democracy >>> and kill the planet with climate change having >>> an ultimate arbiter of truth would be useful. >> >> Those who are able and willing to destroy democracy are able to provice >> an ultimate arbiter of truth and usually do so. But they don't need any >> proof theoretic semantics. > > An ultimate arbiter of truth blows their whole game away. THe point of the ultimate arbiter of truth is that the errors in the determinations of any alternative arbiter can be detected and similar errors in future can be avoided with suitable admistrative or other actions if regarded necessary. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | polcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-27 10:36 -0500 |
| Message-ID | <111oqmp$1kcet$2@solani.org> |
| In reply to | #645726 |
On 6/27/2026 2:27 AM, Mikko wrote: > On 26/06/2026 16:05, olcott wrote: >> On 6/26/2026 1:34 AM, Mikko wrote: >>> On 25/06/2026 16:58, olcott wrote: >>>> On 6/25/2026 2:18 AM, Mikko wrote: >>>>> On 24/06/2026 23:25, olcott wrote: >>>>>> On 6/24/2026 4:52 AM, Mikko wrote: >>>>>>> On 23/06/2026 17:47, olcott wrote: >>>>>>>> On 6/23/2026 12:55 AM, Mikko wrote: >>>>>>>>> On 22/06/2026 15:09, olcott wrote: >>>>>>>>>> On 6/22/2026 1:41 AM, Mikko wrote: >>>>>>>>>>> On 22/06/2026 02:58, olcott wrote: >>>>>>>>>>>> On 6/21/2026 5:17 AM, Mikko wrote: >>>>>>>>>>>>> On 20/06/2026 17:41, olcott wrote: >>>>>>>>>>>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>>>>>>>>>>> On 19/06/2026 15:46, olcott 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. >>>>>>>>>>>>>>> >>>>>>>>>>>>>>> At different times you have expressed different opinions, >>>>>>>>>>>>>>> which >>>>>>>>>>>>>>> sometimes have been incompatible. But you have never clearly >>>>>>>>>>>>>>> retracted your earlier opitions that conflict with your >>>>>>>>>>>>>>> present >>>>>>>>>>>>>>> ones. >>>>>>>>>>>>>> >>>>>>>>>>>>>> All of the ideas that I have ever had about these things >>>>>>>>>>>>>> are now under the Proof Theoretic Semantics category. >>>>>>>>>>>>>> These ideas have evolved over time, yet their essence >>>>>>>>>>>>>> has remained utterly unchanged since 1997. >>>>>>>>>>>>> >>>>>>>>>>>>> That's nearly thirty years, and you still havn't written a >>>>>>>>>>>>> publishable >>>>>>>>>>>>> (or nearly publishable) article about them. >>>>>>>>>>>> >>>>>>>>>>>> I have 50 pre prints articles. Because not one single> human >>>>>>>>>>>> being on the face of the Earth could understand >>>>>>>>>>>> me I could not publish. >>>>>>>>>>> >>>>>>>>>>> As far as I have seen, all interesting content in those articles >>>>>>>>>>> that have any is or depends on claims that should be proven but >>>>>>>>>>> aren't. >>>>>>>>>> >>>>>>>>>> They are proven in Proof Theoretic Semantics >>>>>>>>> >>>>>>>>> An aricle is not publishable unless it either contains the >>>>>>>>> proof or >>>>>>>>> has a pointer to an olready published proof. >>>>>>>> >>>>>>>> Only now after 28 years am I acquiring the lingua Franca >>>>>>>> terms-of-the-art of proof theoretic semantics such that >>>>>>>> I can anchor my ideas in the foundational work of the >>>>>>>> most respected authors in the field. >>>>>>>> >>>>>>>> My issue with you guys is that you only spend 1% >>>>>>>> of your concentration understanding me and the other >>>>>>>> 99% trying to artificially contrive some baseless >>>>>>>> rebuttal. >>>>>>> >>>>>>> THat "baseless" is false but otherwise, what is wrong is more >>>>>>> important than what is right. Of one ignores what is right one >>>>>>> mai fail to achieve what one could, but if one believs what is >>>>>>> wrong one may achieve a disaseter. >>>>>> >>>>>> Proof-theoretic semantics is an alternative to truth-condition >>>>>> semantics. >>>>>> https://plato.stanford.edu/entries/proof-theoretic-semantics/ >>>>>> >>>>>> So far no one has even acknowledged that PTS is an alternative >>>>>> to truth-conditional semantics. Several people have seemed >>>>>> to same that no alternative can possibly exist. >>>>> >>>>> You have not shown that there is any need for any alternative >>>>> semantics. >>>> >>>> With dangerous lies that can destroy Democracy >>>> and kill the planet with climate change having >>>> an ultimate arbiter of truth would be useful. >>> >>> Those who are able and willing to destroy democracy are able to provice >>> an ultimate arbiter of truth and usually do so. But they don't need any >>> proof theoretic semantics. >> >> An ultimate arbiter of truth blows their whole game away. > > THe point of the ultimate arbiter of truth is that the errors in the > determinations of any alternative arbiter can be detected and similar > errors in future can be avoided with suitable admistrative or other > actions if regarded necessary. > When all of the relevant facts are known then counter-factual lies are easy to detect. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Date | 2026-06-28 11:04 +0300 |
| Message-ID | <111qkj7$3ft95$1@dont-email.me> |
| In reply to | #645739 |
On 27/06/2026 18:36, polcott wrote: > On 6/27/2026 2:27 AM, Mikko wrote: >> On 26/06/2026 16:05, olcott wrote: >>> On 6/26/2026 1:34 AM, Mikko wrote: >>>> On 25/06/2026 16:58, olcott wrote: >>>>> On 6/25/2026 2:18 AM, Mikko wrote: >>>>>> On 24/06/2026 23:25, olcott wrote: >>>>>>> On 6/24/2026 4:52 AM, Mikko wrote: >>>>>>>> On 23/06/2026 17:47, olcott wrote: >>>>>>>>> On 6/23/2026 12:55 AM, Mikko wrote: >>>>>>>>>> On 22/06/2026 15:09, olcott wrote: >>>>>>>>>>> On 6/22/2026 1:41 AM, Mikko wrote: >>>>>>>>>>>> On 22/06/2026 02:58, olcott wrote: >>>>>>>>>>>>> On 6/21/2026 5:17 AM, Mikko wrote: >>>>>>>>>>>>>> On 20/06/2026 17:41, olcott wrote: >>>>>>>>>>>>>>> On 6/20/2026 2:50 AM, Mikko wrote: >>>>>>>>>>>>>>>> On 19/06/2026 15:46, olcott 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. >>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>> At different times you have expressed different >>>>>>>>>>>>>>>> opinions, which >>>>>>>>>>>>>>>> sometimes have been incompatible. But you have never >>>>>>>>>>>>>>>> clearly >>>>>>>>>>>>>>>> retracted your earlier opitions that conflict with your >>>>>>>>>>>>>>>> present >>>>>>>>>>>>>>>> ones. >>>>>>>>>>>>>>> >>>>>>>>>>>>>>> All of the ideas that I have ever had about these things >>>>>>>>>>>>>>> are now under the Proof Theoretic Semantics category. >>>>>>>>>>>>>>> These ideas have evolved over time, yet their essence >>>>>>>>>>>>>>> has remained utterly unchanged since 1997. >>>>>>>>>>>>>> >>>>>>>>>>>>>> That's nearly thirty years, and you still havn't written a >>>>>>>>>>>>>> publishable >>>>>>>>>>>>>> (or nearly publishable) article about them. >>>>>>>>>>>>> >>>>>>>>>>>>> I have 50 pre prints articles. Because not one single> >>>>>>>>>>>>> human being on the face of the Earth could understand >>>>>>>>>>>>> me I could not publish. >>>>>>>>>>>> >>>>>>>>>>>> As far as I have seen, all interesting content in those >>>>>>>>>>>> articles >>>>>>>>>>>> that have any is or depends on claims that should be proven but >>>>>>>>>>>> aren't. >>>>>>>>>>> >>>>>>>>>>> They are proven in Proof Theoretic Semantics >>>>>>>>>> >>>>>>>>>> An aricle is not publishable unless it either contains the >>>>>>>>>> proof or >>>>>>>>>> has a pointer to an olready published proof. >>>>>>>>> >>>>>>>>> Only now after 28 years am I acquiring the lingua Franca >>>>>>>>> terms-of-the-art of proof theoretic semantics such that >>>>>>>>> I can anchor my ideas in the foundational work of the >>>>>>>>> most respected authors in the field. >>>>>>>>> >>>>>>>>> My issue with you guys is that you only spend 1% >>>>>>>>> of your concentration understanding me and the other >>>>>>>>> 99% trying to artificially contrive some baseless >>>>>>>>> rebuttal. >>>>>>>> >>>>>>>> THat "baseless" is false but otherwise, what is wrong is more >>>>>>>> important than what is right. Of one ignores what is right one >>>>>>>> mai fail to achieve what one could, but if one believs what is >>>>>>>> wrong one may achieve a disaseter. >>>>>>> >>>>>>> Proof-theoretic semantics is an alternative to truth-condition >>>>>>> semantics. >>>>>>> https://plato.stanford.edu/entries/proof-theoretic-semantics/ >>>>>>> >>>>>>> So far no one has even acknowledged that PTS is an alternative >>>>>>> to truth-conditional semantics. Several people have seemed >>>>>>> to same that no alternative can possibly exist. >>>>>> >>>>>> You have not shown that there is any need for any alternative >>>>>> semantics. >>>>> >>>>> With dangerous lies that can destroy Democracy >>>>> and kill the planet with climate change having >>>>> an ultimate arbiter of truth would be useful. >>>> >>>> Those who are able and willing to destroy democracy are able to provice >>>> an ultimate arbiter of truth and usually do so. But they don't need any >>>> proof theoretic semantics. >>> >>> An ultimate arbiter of truth blows their whole game away. >> >> THe point of the ultimate arbiter of truth is that the errors in the >> determinations of any alternative arbiter can be detected and similar >> errors in future can be avoided with suitable admistrative or other >> actions if regarded necessary. >> > > When all of the relevant facts are known then > counter-factual lies are easy to detect. Simple lies probably are. Nothing is easy about sufficiently complex lies. And facts about sets and numbers and finite strings and other topics must be sufficently restricted to prevent uncomputability of decidability. -- Mikko
[toc] | [prev] | [next] | [standalone]
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-06-19 22:25 -0700 |
| Message-ID | <6Z6dnQvJd8T6uav3nZ2dnZfqnPSdnZ2d@giganews.com> |
| In reply to | #645452 |
On 06/18/2026 12:35 PM, 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. > This seems to be the rigidly conformist and memorize > by rote mindset. > Hm. Here there is a rather "rigidly conformist" approach, and "an extreme rationalism", though, it's not the usual. a principle of inverse supplants, subsumes, and includes a principle of non-contradiction/excluded-middle a principle of thorough reason supplants, subsumes, and includes a principle of sufficient reason a principle of implosion obviates and makes an example of a principle of explosion The about "the theory" here is one called "The A-Theory" then it's written as "theatheory" as an account of axiomless theory that then makes for axiomless geometry and axiomless arithmetic after a usual account since Hegel of the concepts Being and Nothing after the Universal and Void for Leibnitz' "fundamental question of metaphysics", providing the Euclidean geometry and Archimedean arithmetic. Then accounts of modern mathematics get involved theories-of-one-relation and there are at least three models of continuous domains, at least three models of Cantor space, at least three models of integers, at least three laws of large numbers, at least three probabilistic limit theorems, and otherwise for accounts of continuity and infinity for a "Great Atlas of Mathematical Independence". For accounts of language, is involved the Metonymy and Metaphor, or "Comenius" and "Coleridge" language, about an objective account of all the truth and an inter-subjective account of natural language. Then physics is also included in "Foundations", in this sort of paleo-classical post-modern super-theory and natural science.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-20 09:18 -0500 |
| Message-ID | <11167ff$4i7e$1@dont-email.me> |
| In reply to | #645473 |
On 6/20/2026 12:25 AM, Ross Finlayson wrote: > On 06/18/2026 12:35 PM, 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. >> This seems to be the rigidly conformist and memorize >> by rote mindset. >> > > > Hm. Here there is a rather "rigidly conformist" approach, > and "an extreme rationalism", though, it's not the usual. > > a principle of inverse > supplants, subsumes, and includes > a principle of non-contradiction/excluded-middle > Modern Logic has always simply ignored that an expression may be semantically incoherent because logic has always ignored semantics and focused on syntax. > a principle of thorough reason > supplants, subsumes, and includes > a principle of sufficient reason > With logical induction reasoning can never be airtight because inductive reasoning has the problem of induction. > a principle of implosion > obviates and makes an example of > a principle of explosion > Better than the POE yet not as sound as this: Irrelevance Logic was always a stupid idea. Disjunction introduction: P ∴ P ∨ Q is not allowed. No new premises can be inserted. This by itself prevent POE from being derived. (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Date | 2026-06-20 10:36 -0400 |
| Message-ID | <11168gv$3mga$1@dont-email.me> |
| In reply to | #645480 |
On 6/20/2026 10:18 AM, olcott wrote: > > Better than the POE yet not as sound as this: > Irrelevance Logic was always a stupid idea. > > Disjunction introduction: P ∴ P ∨ Q > is not allowed. No new premises can be inserted. > This by itself prevent POE from being derived. > > (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes > > Is the following statement true? -------------------------------------- Earth is the third planet from the sun. --------------------------------------
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-20 09:54 -0500 |
| Message-ID | <11169ih$547p$2@dont-email.me> |
| In reply to | #645484 |
On 6/20/2026 9:36 AM, dbush wrote: > On 6/20/2026 10:18 AM, olcott wrote: >> >> Better than the POE yet not as sound as this: >> Irrelevance Logic was always a stupid idea. >> >> Disjunction introduction: P ∴ P ∨ Q >> is not allowed. No new premises can be inserted. >> This by itself prevent POE from being derived. >> >> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >> >> > > Is the following statement true? > > -------------------------------------- > Earth is the third planet from the sun. > -------------------------------------- > Yes that is one element of what are now called atomic facts. True(L, X) ≡ ∃Γ ⊆ BaseFacts(L) (Γ ⊢ X) // copyright PL Olcott 2018 -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Date | 2026-06-20 10:57 -0400 |
| Message-ID | <11169oa$3mga$2@dont-email.me> |
| In reply to | #645488 |
On 6/20/2026 10:54 AM, olcott wrote: > On 6/20/2026 9:36 AM, dbush wrote: >> On 6/20/2026 10:18 AM, olcott wrote: >>> >>> Better than the POE yet not as sound as this: >>> Irrelevance Logic was always a stupid idea. >>> >>> Disjunction introduction: P ∴ P ∨ Q >>> is not allowed. No new premises can be inserted. >>> This by itself prevent POE from being derived. >>> >>> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >>> >>> >> >> Is the following statement true? >> >> -------------------------------------- >> Earth is the third planet from the sun. >> -------------------------------------- >> > > Yes that is one element of what are now called atomic facts. Good. Let's take that as a given. Is the following statement true? -------------------------------------- At least one of the following statements is true: - Earth is the third planet from the sun. - The moon is made of green cheese. --------------------------------------
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-20 10:22 -0500 |
| Message-ID | <1116b75$5kis$1@dont-email.me> |
| In reply to | #645489 |
On 6/20/2026 9:57 AM, dbush wrote: > On 6/20/2026 10:54 AM, olcott wrote: >> On 6/20/2026 9:36 AM, dbush wrote: >>> On 6/20/2026 10:18 AM, olcott wrote: >>>> >>>> Better than the POE yet not as sound as this: >>>> Irrelevance Logic was always a stupid idea. >>>> >>>> Disjunction introduction: P ∴ P ∨ Q >>>> is not allowed. No new premises can be inserted. >>>> This by itself prevent POE from being derived. >>>> >>>> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >>>> >>>> >>> >>> Is the following statement true? >>> >>> -------------------------------------- >>> Earth is the third planet from the sun. >>> -------------------------------------- >>> >> >> Yes that is one element of what are now called atomic facts. > > Good. Let's take that as a given. > > Is the following statement true? > > -------------------------------------- > At least one of the following statements is true: > - Earth is the third planet from the sun. > - The moon is made of green cheese. > -------------------------------------- > It is hypothesized that all of the empirical atomic facts are encoded. This means that what the Moon is made of is already encoded. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Date | 2026-06-20 11:23 -0400 |
| Message-ID | <1116b95$3mga$3@dont-email.me> |
| In reply to | #645490 |
On 6/20/2026 11:22 AM, olcott wrote: > On 6/20/2026 9:57 AM, dbush wrote: >> On 6/20/2026 10:54 AM, olcott wrote: >>> On 6/20/2026 9:36 AM, dbush wrote: >>>> On 6/20/2026 10:18 AM, olcott wrote: >>>>> >>>>> Better than the POE yet not as sound as this: >>>>> Irrelevance Logic was always a stupid idea. >>>>> >>>>> Disjunction introduction: P ∴ P ∨ Q >>>>> is not allowed. No new premises can be inserted. >>>>> This by itself prevent POE from being derived. >>>>> >>>>> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >>>>> >>>>> >>>> >>>> Is the following statement true? >>>> >>>> -------------------------------------- >>>> Earth is the third planet from the sun. >>>> -------------------------------------- >>>> >>> >>> Yes that is one element of what are now called atomic facts. >> >> Good. Let's take that as a given. >> >> Is the following statement true? >> >> -------------------------------------- >> At least one of the following statements is true: >> - Earth is the third planet from the sun. >> - The moon is made of green cheese. >> -------------------------------------- >> > > It is hypothesized that all of the empirical atomic facts > are encoded. This means that what the Moon is made of is > already encoded. That's not what I asked. I asked if the following statement is true: -------------------------------------- At least one of the following statements is true: - Earth is the third planet from the sun. - The moon is made of green cheese. --------------------------------------
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Date | 2026-06-20 10:44 -0500 |
| Message-ID | <1116cg8$61cv$1@dont-email.me> |
| In reply to | #645491 |
On 6/20/2026 10:23 AM, dbush wrote: > On 6/20/2026 11:22 AM, olcott wrote: >> On 6/20/2026 9:57 AM, dbush wrote: >>> On 6/20/2026 10:54 AM, olcott wrote: >>>> On 6/20/2026 9:36 AM, dbush wrote: >>>>> On 6/20/2026 10:18 AM, olcott wrote: >>>>>> >>>>>> Better than the POE yet not as sound as this: >>>>>> Irrelevance Logic was always a stupid idea. >>>>>> >>>>>> Disjunction introduction: P ∴ P ∨ Q >>>>>> is not allowed. No new premises can be inserted. >>>>>> This by itself prevent POE from being derived. >>>>>> >>>>>> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >>>>>> >>>>>> >>>>> >>>>> Is the following statement true? >>>>> >>>>> -------------------------------------- >>>>> Earth is the third planet from the sun. >>>>> -------------------------------------- >>>>> >>>> >>>> Yes that is one element of what are now called atomic facts. >>> >>> Good. Let's take that as a given. >>> >>> Is the following statement true? >>> >>> -------------------------------------- >>> At least one of the following statements is true: >>> - Earth is the third planet from the sun. >>> - The moon is made of green cheese. >>> -------------------------------------- >>> >> >> It is hypothesized that all of the empirical atomic facts >> are encoded. This means that what the Moon is made of is >> already encoded. > > That's not what I asked. I asked if the following statement is true: > > -------------------------------------- > At least one of the following statements is true: > - Earth is the third planet from the sun. > - The moon is made of green cheese. > -------------------------------------- > So you are not smart enough to understand that when the actual composition of the Moon is specified and that this composition is not green cheese that the system would report false? I will not play head sames with you on this. Instead of head games your replies will be ignored. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
[toc] | [prev] | [next] | [standalone]
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Date | 2026-06-20 11:48 -0400 |
| Message-ID | <1116cnr$3mga$4@dont-email.me> |
| In reply to | #645493 |
On 6/20/2026 11:44 AM, olcott wrote: > On 6/20/2026 10:23 AM, dbush wrote: >> On 6/20/2026 11:22 AM, olcott wrote: >>> On 6/20/2026 9:57 AM, dbush wrote: >>>> On 6/20/2026 10:54 AM, olcott wrote: >>>>> On 6/20/2026 9:36 AM, dbush wrote: >>>>>> On 6/20/2026 10:18 AM, olcott wrote: >>>>>>> >>>>>>> Better than the POE yet not as sound as this: >>>>>>> Irrelevance Logic was always a stupid idea. >>>>>>> >>>>>>> Disjunction introduction: P ∴ P ∨ Q >>>>>>> is not allowed. No new premises can be inserted. >>>>>>> This by itself prevent POE from being derived. >>>>>>> >>>>>>> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >>>>>>> >>>>>>> >>>>>> >>>>>> Is the following statement true? >>>>>> >>>>>> -------------------------------------- >>>>>> Earth is the third planet from the sun. >>>>>> -------------------------------------- >>>>>> >>>>> >>>>> Yes that is one element of what are now called atomic facts. >>>> >>>> Good. Let's take that as a given. >>>> >>>> Is the following statement true? >>>> >>>> -------------------------------------- >>>> At least one of the following statements is true: >>>> - Earth is the third planet from the sun. >>>> - The moon is made of green cheese. >>>> -------------------------------------- >>>> >>> >>> It is hypothesized that all of the empirical atomic facts >>> are encoded. This means that what the Moon is made of is >>> already encoded. >> >> That's not what I asked. I asked if the following statement is true: >> >> -------------------------------------- >> At least one of the following statements is true: >> - Earth is the third planet from the sun. >> - The moon is made of green cheese. >> -------------------------------------- >> > > So you are not smart enough to understand that > when the actual composition of the Moon is specified > and that this composition is not green cheese that > the system would report false? So you're saying the moon is not made of green cheese? So based on that, is the following statement true? -------------------------------------- At least one of the following statements is true: - Earth is the third planet from the sun. - The moon is made of green cheese. -------------------------------------- > > I will not play head sames with you on this. Instead > of head games your replies will be ignored. I am not playing head games. I am merely employing Socratic questioning. https://en.wikipedia.org/wiki/Socratic_questioning
[toc] | [prev] | [next] | [standalone]
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
|---|---|
| Date | 2026-06-20 09:45 -0700 |
| Message-ID | <duudnS_wx9s2Xqv3nZ2dnZfqn_idnZ2d@giganews.com> |
| In reply to | #645495 |
On 06/20/2026 08:48 AM, dbush wrote: > On 6/20/2026 11:44 AM, olcott wrote: >> On 6/20/2026 10:23 AM, dbush wrote: >>> On 6/20/2026 11:22 AM, olcott wrote: >>>> On 6/20/2026 9:57 AM, dbush wrote: >>>>> On 6/20/2026 10:54 AM, olcott wrote: >>>>>> On 6/20/2026 9:36 AM, dbush wrote: >>>>>>> On 6/20/2026 10:18 AM, olcott wrote: >>>>>>>> >>>>>>>> Better than the POE yet not as sound as this: >>>>>>>> Irrelevance Logic was always a stupid idea. >>>>>>>> >>>>>>>> Disjunction introduction: P ∴ P ∨ Q >>>>>>>> is not allowed. No new premises can be inserted. >>>>>>>> This by itself prevent POE from being derived. >>>>>>>> >>>>>>>> (P ∧ ¬P) ⊢ ⊥ // out of which nothing comes >>>>>>>> >>>>>>>> >>>>>>> >>>>>>> Is the following statement true? >>>>>>> >>>>>>> -------------------------------------- >>>>>>> Earth is the third planet from the sun. >>>>>>> -------------------------------------- >>>>>>> >>>>>> >>>>>> Yes that is one element of what are now called atomic facts. >>>>> >>>>> Good. Let's take that as a given. >>>>> >>>>> Is the following statement true? >>>>> >>>>> -------------------------------------- >>>>> At least one of the following statements is true: >>>>> - Earth is the third planet from the sun. >>>>> - The moon is made of green cheese. >>>>> -------------------------------------- >>>>> >>>> >>>> It is hypothesized that all of the empirical atomic facts >>>> are encoded. This means that what the Moon is made of is >>>> already encoded. >>> >>> That's not what I asked. I asked if the following statement is true: >>> >>> -------------------------------------- >>> At least one of the following statements is true: >>> - Earth is the third planet from the sun. >>> - The moon is made of green cheese. >>> -------------------------------------- >>> >> >> So you are not smart enough to understand that >> when the actual composition of the Moon is specified >> and that this composition is not green cheese that >> the system would report false? > > So you're saying the moon is not made of green cheese? So based on > that, is the following statement true? > > -------------------------------------- > At least one of the following statements is true: > - Earth is the third planet from the sun. > - The moon is made of green cheese. > -------------------------------------- > > >> >> I will not play head sames with you on this. Instead >> of head games your replies will be ignored. > > I am not playing head games. I am merely employing Socratic questioning. > > https://en.wikipedia.org/wiki/Socratic_questioning If you intend to setup "material implication" you can stop right there. Here we have quite an account of De Morgan's _laws_ of logic and direct implication quite suffices, and furthermore "material implication" and the "quasi-modal" is quite excluded from "classical logic". The "classical logic" has since Anaximander and Chrysippus the "modal, temporal, relevance logic". The Socrates was not much of a technical philosopher, not so much "what is it?" as "what's in it for me?", the sophist of the philo-sophy that's not the casuist of the philo-casuy or philo-casuistry. So, the "Platonist" and the "Epicurean" are two quite thoroughly different accounts of the world, so you better mind your p's and q's, and anybody can make a simple example showing that "material implication" is a "quasi-modal setting for fallacy". Any given day: Russell's an inconstant, hypocritical flake.
[toc] | [prev] | [next] | [standalone]
Page 5 of 18 — ← Prev page 1 … 3 4 [5] 6 7 … 18 Next page →
Back to top | Article view | sci.math
csiph-web