1. Forum
  2. USENET
  3. sci.math
=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?= =?UTF-8?Q?as_no_meaning_in_PA?=

By Tristan Wibberley on Sat Jun 20 17:50:25 2026

Latest reply by olcott on Thu Jul 2 18:49:26 2026
Re: An afterthought about the Binary Tree

By Moebius on Sat Jun 6 04:35:09 2026

Latest reply by Chris M. Thomasson on Thu Jul 2 16:01:38 2026
Ross A. Finlayson, readings in (some of the) foundations of mathematics

By olcott on Wed Jun 17 16:14:46 2026

Latest reply by olcott on Thu Jul 2 11:47:04 2026
William T. Parry gets rid of Disjunction introduction

By olcott on Thu Jun 25 20:32:17 2026

Latest reply by dbush on Thu Jul 2 10:42:10 2026
Hopefully news.eternal-september.org will be back up

By polcott on Sat Jun 27 10:54:00 2026

Latest reply by olcott on Sat Jun 27 11:54:47 2026
Proof Theoretic Semantics as a new Foundation for Mathematics, Logic and the Theory of Computation

By olcott on Thu Jun 25 09:47:34 2026

Latest reply by Mikko on Sat Jun 27 09:57:13 2026
Re: Newton's laws

By The Starmaker on Tue Jun 23 22:41:14 2026

Latest reply by The Starmaker on Fri Jun 26 21:51:42 2026
*Proof Theoretic Semantics as a new Foundation*

By olcott on Thu Jun 25 11:23:36 2026

Latest reply by Mikko on Fri Jun 26 09:12:19 2026
Re: The notion of a "well founded justification tree" will be fully elaborated (signature update)

By Tristan Wibberley on Wed Jun 17 15:01:20 2026

Latest reply by Chris M. Thomasson on Thu Jun 25 12:35:56 2026
Proof-theoretic semantics is an alternative to truth-condition semantics

By olcott on Tue Jun 23 22:04:22 2026

Latest reply by olcott on Tue Jun 23 22:04:22 2026
Re: Undecidability based on epistemological antinomies V2 --correct reasoning--

By Richard Damon on Tue Jun 23 11:36:12 2026

Latest reply by Richard Damon on Tue Jun 23 11:36:12 2026
Re: Ross A. Finlayson, readings in (some of the) --- One-two punch Destroys Liars

By olcott on Tue Jun 23 09:38:20 2026

Latest reply by Ross Finlayson on Tue Jun 23 08:53:12 2026
Re: Solving the Gettier cases

By olcott on Sun Jun 21 18:47:46 2026

Latest reply by Mikko on Tue Jun 23 08:32:22 2026
Re: Theatheory: super-theory and natural science

By Ross Finlayson on Fri Jun 5 08:44:19 2026

Latest reply by Ross Finlayson on Mon Jun 22 19:39:12 2026
Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings

By olcott on Fri Jun 19 19:15:32 2026

Latest reply by Mikko on Sun Jun 21 12:32:23 2026
Sorry to Ross...

By Chris M. Thomasson on Thu Jun 18 05:41:21 2026

Latest reply by phoenix on Sun Jun 21 12:26:02 2026
=?UTF-8?Q?Prolog_Expert_Ginis_=28PEGs=29_on_a_Keychain_=28Re:_AI_do?= =?UTF-8?Q?oms_day_escape:_G=c3=bcttinger_Wald=29?=

By Mild Shock on Sat Jun 20 13:05:53 2026

Latest reply by Mild Shock on Sun Jun 21 05:40:43 2026
cmsg cancel <1116lvm$968f$1@dont-email.me>

By Zev Babenko on Sun Jun 21 03:41:48 2026

Latest reply by Zev Babenko on Sun Jun 21 03:41:48 2026
Re: [OT] How to post to Usenet correctly (was: Attention Tom Roberts)

By Dayron Weeber on Wed Jun 17 18:57:38 2026

Latest reply by Zev Babenko on Sat Jun 20 18:25:59 2026
cmsg cancel <10vna12$35fgp$1@dont-email.me>

By Wesley Kozlowski on Sat Jun 20 06:14:33 2026

Latest reply by Wesley Kozlowski on Sat Jun 20 06:14:33 2026
cmsg cancel <10vrsaf$cm3s$1@dont-email.me>

By Chadd Babaitsev on Sat Jun 20 06:14:33 2026

Latest reply by Chadd Babaitsev on Sat Jun 20 06:14:33 2026
cmsg cancel <1103vl9$2immv$1@dont-email.me>

By Inocencio =?iso-8859-1?q?G=F3rski?= on Sat Jun 20 06:14:33 2026

Latest reply by Inocencio =?iso-8859-1?q?G=F3rski?= on Sat Jun 20 06:14:33 2026
cmsg cancel <10vmjim$2u6ur$3@dont-email.me>

By Ifrain Ustilovsky on Sat Jun 20 06:14:32 2026

Latest reply by Ifrain Ustilovsky on Sat Jun 20 06:14:32 2026
cmsg cancel <10vmj0p$2u6ur$1@dont-email.me>

By Rommel Barakov on Sat Jun 20 06:14:32 2026

Latest reply by Rommel Barakov on Sat Jun 20 06:14:32 2026
cmsg cancel <10vmj82$2u6ur$2@dont-email.me>

By Hugo Babarin on Sat Jun 20 06:14:32 2026

Latest reply by Hugo Babarin on Sat Jun 20 06:14:32 2026
cmsg cancel <1113j1s$3cg05$1@dont-email.me>

By Kendrick Jelezov on Sat Jun 20 06:14:22 2026

Latest reply by Kendrick Jelezov on Sat Jun 20 06:14:22 2026
cmsg cancel <11039pc$2cklp$1@dont-email.me>

By Abner Ustinovich on Sat Jun 20 06:14:21 2026

Latest reply by Abner Ustinovich on Sat Jun 20 06:14:21 2026
cmsg cancel <10vpe9e$3naji$2@dont-email.me>

By Jimmy =?iso-8859-2?q?Kami=F1ski?= on Sat Jun 20 06:14:21 2026

Latest reply by Jimmy =?iso-8859-2?q?Kami=F1ski?= on Sat Jun 20 06:14:21 2026
cmsg cancel <1100v41$1ptoq$1@dont-email.me>

By Troyonta Funakoshi on Sat Jun 20 06:14:21 2026

Latest reply by Troyonta Funakoshi on Sat Jun 20 06:14:21 2026
cmsg cancel <110jkpd$2uklf$1@dont-email.me>

By Marcelo Morozov on Sat Jun 20 06:14:21 2026

Latest reply by Marcelo Morozov on Sat Jun 20 06:14:21 2026
cmsg cancel <10vpe41$3naji$1@dont-email.me>

By Deshawn Wronski on Sat Jun 20 06:14:21 2026

Latest reply by Deshawn Wronski on Sat Jun 20 06:14:21 2026
cmsg cancel <10vq224$3v2br$1@dont-email.me>

By Emmitt Kefalas on Sat Jun 20 06:14:21 2026

Latest reply by Emmitt Kefalas on Sat Jun 20 06:14:21 2026
cmsg cancel <10vrp51$bo7n$1@dont-email.me>

By Callum Balabuev on Sat Jun 20 06:14:21 2026

Latest reply by Callum Balabuev on Sat Jun 20 06:14:21 2026
cmsg cancel <11094br$156d$2@dont-email.me>

By Halsey =?iso-8859-1?q?G=F3rski?= on Fri Jun 19 07:49:33 2026

Latest reply by Halsey =?iso-8859-1?q?G=F3rski?= on Fri Jun 19 07:49:33 2026
cmsg cancel <11063o2$34l1g$1@dont-email.me>

By Newton =?iso-8859-1?q?Gr=FCnewald?= on Fri Jun 19 07:49:33 2026

Latest reply by Newton =?iso-8859-1?q?Gr=FCnewald?= on Fri Jun 19 07:49:33 2026
cmsg cancel <11093gk$156d$1@dont-email.me>

By Raymundo Nishikawa on Fri Jun 19 07:49:33 2026

Latest reply by Raymundo Nishikawa on Fri Jun 19 07:49:33 2026
cmsg cancel <110f94j$1obi0$2@dont-email.me>

By King Baikalov on Fri Jun 19 07:49:33 2026

Latest reply by King Baikalov on Fri Jun 19 07:49:33 2026
cmsg cancel <11094kg$156d$3@dont-email.me>

By Reginald Giulia on Fri Jun 19 07:49:33 2026

Latest reply by Reginald Giulia on Fri Jun 19 07:49:33 2026
cmsg cancel <110f8ms$1obi0$1@dont-email.me>

By Khalil Kabakov on Fri Jun 19 07:49:33 2026

Latest reply by Khalil Kabakov on Fri Jun 19 07:49:33 2026
cmsg cancel <110uqn1$22nj4$2@dont-email.me>

By Dayron Weeber on Fri Jun 19 07:49:33 2026

Latest reply by Dayron Weeber on Fri Jun 19 07:49:33 2026
cmsg cancel <110uqde$22nj4$1@dont-email.me>

By Ilya Bakhusoff on Fri Jun 19 07:49:33 2026

Latest reply by Ilya Bakhusoff on Fri Jun 19 07:49:33 2026
Cantor pairing... For Moebius...

By Chris M. Thomasson on Tue Jun 9 15:33:19 2026

Latest reply by Chris M. Thomasson on Thu Jun 18 05:34:07 2026
Re: The Relativity of Inertia

By Ilya Bakhusoff on Wed Jun 17 18:52:31 2026

Latest reply by Ilya Bakhusoff on Wed Jun 17 18:52:31 2026
Interacting with LLMs is like...

By olcott on Tue Jun 16 22:30:18 2026

Latest reply by olcott on Tue Jun 16 22:30:18 2026
finger information service

By Daniel on Mon Jun 15 22:45:08 2026

Latest reply by Daniel on Mon Jun 15 22:45:08 2026
Okay, Let's do the math...

By The Starmaker on Thu Jun 11 09:02:58 2026

Latest reply by The Starmaker on Mon Jun 15 09:09:20 2026
Re: Nobody understands relativity

By Inocencio =?iso-8859-1?q?G=F3rski?= on Sun Jun 7 14:36:26 2026

Latest reply by marika on Sun Jun 14 05:01:27 2026
Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed

By Ross Finlayson on Wed Jun 3 00:22:58 2026

Latest reply by marika on Sun Jun 14 04:40:59 2026
Re: polcott wtf are you even arguing???

By Tristan Wibberley on Thu Jun 11 22:17:37 2026

Latest reply by olcott on Fri Jun 12 11:03:47 2026
In 2028 BYD sells B100 performant laptop? (Re: Could ISAMORE anti-unification help?)

By Mild Shock on Tue Jun 9 20:13:54 2026

Latest reply by Mild Shock on Tue Jun 9 20:13:54 2026
Re: Stellar aberration - again

By Deshawn Wronski on Wed Jun 3 14:35:46 2026

Latest reply by Raymundo Nishikawa on Tue Jun 9 13:12:53 2026
Re: what-would-it-take-for-aliens-to-reach-earth

By Thomas 'PointedEars' Lahn on Tue Jun 2 22:11:51 2026

Latest reply by Brennus on Mon Jun 8 20:38:24 2026
=?UTF-8?Q?Consistent_posting_isn=e2=80=99t_enough._Here=e2=80=99s_w?= =?UTF-8?Q?hat_actually_leads_to_visibility?=

By phoenix on Mon Jun 8 07:40:02 2026

Latest reply by phoenix on Mon Jun 8 07:40:02 2026
[Spam] California: The high-tech society that can't (or won't) count ballots

By Johnny on Fri Jun 5 23:48:03 2026

Latest reply by Johnny on Fri Jun 5 23:48:03 2026
Re: The notion of a "well founded justification tree" will be fully elaborated

By Ross Finlayson on Wed Jun 3 00:19:26 2026

Latest reply by Chris M. Thomasson on Wed Jun 3 14:25:24 2026