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

Groups > comp.ai.philosophy

comp.ai.philosophy

34387 articles, 864 threads (numbers 331 – 34910) — flat view

| Advanced

Subject Author Date
Re: Readings in (some of the) foundations of mathematics --- tree of knowledge (80 replies — unroll) 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 Mikko <mikko.levanto@iki.fi> 2026-06-27 11:05 +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 Mikko <mikko.levanto@iki.fi> 2026-06-27 10:35 +0300
             → 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 Mikko <mikko.levanto@iki.fi> 2026-06-30 11:43 +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
 
Within Proof Theoretic Semantics Gödel's G has no meaning in PA (99 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 olcott <polcott333@gmail.com> 2026-06-29 08:29 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 11:05 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 13:16 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 12:29 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 14:08 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 13:33 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 14:47 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 14:02 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 15:06 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 14:58 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 16:10 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 15:18 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 16:39 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 16:25 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 17:38 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 17:03 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 18:36 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 17:45 -0600
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-06-29 19:37 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA André G. Isaak <agisaak@gm.invalid> 2026-06-29 19:01 -0600
                 → The simple essence of Proof Theoretic Semantics olcott <polcott333@gmail.com> 2026-06-29 20:19 -0500
                 → Re: The simple essence of Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> 2026-06-29 19:54 -0600
                 → Re: The simple essence of Proof Theoretic Semantics olcott <polcott333@gmail.com> 2026-06-29 21:17 -0500
                 → Re: The simple essence of Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> 2026-06-29 20:31 -0600
                 → Re: The simple essence of Proof Theoretic Semantics olcott <polcott333@gmail.com> 2026-06-29 21:42 -0500
                 → Re: The simple essence of Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> 2026-06-29 20:49 -0600
                 → Re: The simple essence of Proof Theoretic Semantics olcott <polcott333@gmail.com> 2026-06-29 22:06 -0500
                 → Re: The simple essence of Proof Theoretic Semantics olcott <polcott333@gmail.com> 2026-06-29 21:26 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Mikko <mikko.levanto@iki.fi> 2026-06-30 11:18 +0300
   → 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 Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-01 10:47 -0700
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-01 11:01 -0700
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-05-01 14:35 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-01 12:54 -0700
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-05-01 15:36 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA olcott <polcott333@gmail.com> 2026-05-01 15:41 -0500
                 → Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-01 19:47 -0700
                 → 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 Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-01 12:34 -0700
               → 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 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 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
 
William T. Parry gets rid of Disjunction introduction (13 replies — unroll) olcott <polcott333@gmail.com> 2026-06-25 20:32 -0500
   → Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> 2026-06-26 09:49 +0300
     → Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-06-26 07:49 -0500
       → Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> 2026-06-26 09:14 -0400
         → Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-06-26 08:17 -0500
           → Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> 2026-06-26 09:22 -0400
             → Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> 2026-06-26 09:24 -0400
               → Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> 2026-06-26 12:09 -0400
               → Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> 2026-06-27 07:18 -0700
             → Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> 2026-06-27 10:11 +0300
       → Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> 2026-06-27 10:08 +0300
         → Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> 2026-06-29 08:55 -0500
           → Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> 2026-06-29 09:59 -0400
           → Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> 2026-06-30 11:10 +0300

~Page 1 of ~149 (articles 34908–34910) Older →

csiph-web