| Subject |
Author |
Date |
|
Jacal-2a1 symbolic math system released
(2 replies — unroll)
|
yourusername <agj@alum.mit.edu> |
2026-08-16 19:30 -0400 |
|
→
Re: Jacal-2a1 symbolic math system released
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-08-17 08:16 +0800 |
|
→
Re: Jacal-2a1 symbolic math system released
|
Aubrey Jaffer <agj@alum.mit.edu> |
2026-08-19 20:43 -0400 |
| |
|
Re: Totally clueless about inductive inference?
|
olcott <polcott333@gmail.com> |
2026-07-14 14:52 -0500 |
| |
|
Ross A. Finlayson, readings in (some of the) foundations of mathematics
(190 replies — unroll, only first 100 listed — flat view)
|
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 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-23 09:29 -0500 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 11:23 +0300 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
olcott <polcott333@gmail.com> |
2026-06-24 15:19 -0500 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-25 10:09 +0300 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
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-23 09:40 -0500 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 12:45 +0300 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
olcott <polcott333@gmail.com> |
2026-06-24 15:23 -0500 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-25 10:14 +0300 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
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-23 09:47 -0500 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 12:52 +0300 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
olcott <polcott333@gmail.com> |
2026-06-24 15:25 -0500 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-25 10:18 +0300 |
|
→
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
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 |
| |
|
Within Proof Theoretic Semantics Gödel's G has no meaning in PA
(79 replies — unroll)
|
olcott <polcott333@gmail.com> |
2026-04-20 11:57 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-21 09:41 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-21 08:33 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-22 10:19 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-22 02:48 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-22 11:19 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-22 08:17 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-23 10:06 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-23 08:49 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-24 09:33 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
André G. Isaak <agisaak@gm.invalid> |
2026-04-22 17:06 -0600 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-22 20:21 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
André G. Isaak <agisaak@gm.invalid> |
2026-04-24 00:19 -0600 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
2026-04-24 21:12 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
2026-04-24 21:14 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-04-22 18:25 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-04-22 18:29 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-06-20 17:50 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-06-20 12:32 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-06-27 07:53 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-06-27 07:19 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-04-26 20:01 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-26 15:54 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Richard Damon <Richard@Damon-Family.org> |
2026-04-26 20:16 -0400 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-27 12:30 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-27 09:53 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-04-27 19:15 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-27 15:10 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Alan Mackenzie <acm@muc.de> |
2026-04-27 21:03 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-27 16:57 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-28 10:34 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-28 07:18 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-29 09:37 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-29 09:17 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-30 10:55 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-05-01 09:54 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-05-02 11:04 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-05-02 07:36 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-05-03 10:56 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Alan Mackenzie <acm@muc.de> |
2026-04-28 10:22 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-28 06:14 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Alan Mackenzie <acm@muc.de> |
2026-04-28 12:04 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-28 07:14 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-04-27 22:01 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-27 17:22 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-28 11:10 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-28 07:30 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-29 10:11 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Alan Mackenzie <acm@muc.de> |
2026-04-28 10:35 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-04-29 14:27 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Julio Di Egidio <julio@diegidio.name> |
2026-05-01 21:17 +0200 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-05-01 14:38 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-05-01 22:10 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Julio Di Egidio <julio@diegidio.name> |
2026-05-02 16:26 +0200 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-05-02 09:54 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-05-02 18:47 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
dart200 <user7160@newsgrouper.org.invalid> |
2026-05-02 12:06 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Julio Di Egidio <julio@diegidio.name> |
2026-05-06 21:37 +0200 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
phoenix <j63840576@gmail.com> |
2026-05-06 13:48 -0600 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-05-06 12:59 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-06-30 16:10 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Scott Hoge <nospam@nospam.com> |
2026-05-07 01:12 +0000 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-07-04 16:31 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-07-05 15:52 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-07-05 17:31 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-07-05 11:33 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-07-05 12:56 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-07-05 15:25 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-07-05 14:30 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-07-05 16:45 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-07-05 15:15 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-07-05 17:55 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-07-06 09:16 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-07-06 11:54 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-07-06 12:58 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-07-06 14:19 +0100 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-05-02 20:56 -0700 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-06-30 06:54 +0100 |
|
→
Re: The truth about the halting problem counter-example input
|
olcott <polcott333@gmail.com> |
2026-07-04 12:16 -0500 |
|
→
Re: The truth about the halting problem counter-example input
|
Mikko <mikko.levanto@iki.fi> |
2026-07-06 11:07 +0300 |
| |
|
Proof Theoretic Semantics as a new Foundation for Mathematics, Logic and the Theory of Computation
(1 reply — unroll)
|
olcott <polcott333@gmail.com> |
2026-06-25 09:47 -0500 |
|
→
Re: Proof Theoretic Semantics as a new Foundation for Mathematics, Logic and the Theory of Computation
|
Mikko <mikko.levanto@iki.fi> |
2026-06-26 09:10 +0300 |
| |
|
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
(11 replies — unroll)
|
olcott <polcott333@gmail.com> |
2026-06-17 13:25 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-06-17 12:16 -0700 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
olcott <polcott333@gmail.com> |
2026-06-17 15:01 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
dart200 <user7160@newsgrouper.org.invalid> |
2026-06-17 19:26 -0700 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
olcott <polcott333@gmail.com> |
2026-06-17 23:01 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
dart200 <user7160@newsgrouper.org.invalid> |
2026-06-18 19:26 -0700 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
olcott <polcott333@gmail.com> |
2026-06-18 21:43 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
2026-06-19 13:00 -0700 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
phoenix <j63840576@gmail.com> |
2026-06-21 12:28 -0600 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
2026-06-25 12:35 -0700 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-06-18 14:40 +0100 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)
|
olcott <polcott333@gmail.com> |
2026-06-18 09:02 -0500 |