1. Forum
  2. Newsgroups
  3. comp.ai.philosophy
Re: Readings in (some of the) foundations of mathematics --- tree ofknowledge

By olcott on Wed Jun 24 15:26:52 2026

Latest reply by olcott on Fri Jun 26 12:22:32 2026
William T. Parry gets rid of Disjunction introduction

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

Latest reply by dbush on Fri Jun 26 12:09:47 2026
Re: Ross A. Finlayson, readings in (some of the) --- cycles indirected graphs

By olcott on Wed Jun 24 16:33:47 2026

Latest reply by olcott on Fri Jun 26 08:15:02 2026
Re: Ross A. Finlayson, readings in (some of the) foundations ofmathematics

By olcott on Tue Jun 23 09:29:55 2026

Latest reply by olcott on Fri Jun 26 08:05:38 2026
Re: Solving the Gettier cases

By olcott on Tue Jun 23 09:26:03 2026

Latest reply by Mikko on Fri Jun 26 09:12:19 2026
Proof Theoretic Semantics as a new Foundation for Mathematics, Logicand the Theory of Computation

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

Latest reply by olcott on Fri Jun 26 07:56:32 2026
Re: Readings in (some of the) foundations of mathematics ---analytic/synthetic distinction

By olcott on Tue Jun 23 09:52:35 2026

Latest reply by Mikko on Thu Jun 25 10:49:02 2026
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics

By Mikko on Wed Jun 24 12:45:51 2026

Latest reply by Mikko on Thu Jun 25 10:09:19 2026
Proof-theoretic semantics is an alternative to truth-conditionsemantics

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 --correctreasoning--

By olcott on Sun May 24 17:26:47 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 punchDestroys 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: Theatheory: super-theory and natural science

By Ross Finlayson on Mon Apr 20 11:49:53 2026

Latest reply by Ross Finlayson on Mon Jun 22 19:39:12 2026
=?UTF-8?Q?Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_has_no_?==?UTF-8?Q?meaning_in_PA?=

By olcott on Mon Apr 20 11:57:40 2026

Latest reply by olcott on Sat Jun 20 12:32:15 2026
Re: The notion of a "well founded justification tree" will be fullyelaborated (signature update)

By Tristan Wibberley on Fri Apr 24 14:15:31 2026

Latest reply by Chris M. Thomasson on Thu Jun 18 12:36:37 2026
Re: this sentence is true?

By olcott on Wed Jun 10 11:27:45 2026

Latest reply by Ross Finlayson on Sun Jun 14 09:25:00 2026
Re: this sentence is true? --- Olcott exceeds PTS

By olcott on Fri Jun 12 15:07:38 2026

Latest reply by olcott on Fri Jun 12 15:07:38 2026
Re: Best way to use LLMs to augment academic research

By dart200 on Sat Apr 18 16:25:58 2026

Latest reply by Mild Shock on Tue Jun 9 20:10:29 2026
=?UTF-8?Q?The_G=C3=B6del_number_G?=

By olcott on Fri May 29 18:11:41 2026

Latest reply by Mild Shock on Sat May 30 17:54:49 2026
Mystery company accidentally blew $500 million on Claude AI in a single month - failed to put usage limit on licenses for employees

By Pelosi Goes To prison on Sat May 30 07:43:14 2026

Latest reply by Pelosi Goes To prison on Sat May 30 07:43:14 2026
Cleaning up the bloody mess of formal sematics

By olcott on Wed May 27 14:07:09 2026

Latest reply by olcott on Wed May 27 14:07:09 2026
Re: Olcott thesis: Every element of the body of knowledge that can beexpressed in language can be expressed as relations between finite strings

By olcott on Tue May 26 09:01:05 2026

Latest reply by Mikko on Wed May 27 10:21:26 2026
Re: New signature line

By Ross Finlayson on Sat May 23 08:53:41 2026

Latest reply by Chris M. Thomasson on Sun May 24 14:26:43 2026
Re: Simplifying the Church / Turing thesis ( P(Halts) = P(Rational) )

By Ross Finlayson on Mon May 18 09:51:17 2026

Latest reply by olcott on Sat May 23 16:06:27 2026
Simplifying the Church / Turing thesis

By olcott on Fri May 8 11:58:06 2026

Latest reply by dart200 on Sat May 23 13:36:08 2026
Theatheory: modern super-classical physics (Finlayson)

By Ross Finlayson on Fri Apr 24 14:23:07 2026

Latest reply by Ross Finlayson on Sat May 23 13:01:11 2026
Using Olcott's system to prove that Trump lied about election fraud

By olcott on Tue May 19 15:26:36 2026

Latest reply by olcott on Tue May 19 15:26:36 2026
Re: Simplifying the Church / Turing thesis (algebraic geometry)

By Ross Finlayson on Fri May 15 07:46:14 2026

Latest reply by Ross Finlayson on Fri May 15 10:31:16 2026
Microsoft gives up on Xbox Copilot AI

By Microsoft India on Wed May 6 01:39:08 2026

Latest reply by yancy on Thu May 7 10:10:10 2026
Re: polcott wtf are you even arguing???

By olcott on Mon May 4 10:29:49 2026

Latest reply by Mikko on Tue May 5 11:50:12 2026
Re: The notion of a "well founded justification tree" will be fullyelaborated --- Correction

By Mikko on Sun Apr 19 11:54:21 2026

Latest reply by Mikko on Sun May 3 10:53:05 2026
[Spam] Claude-powered AI coding agent deletes entire company database in 9 seconds - backups zapped, after Cursor tool powered by Anthropic's Claude goes rogue

By Anonymous on Tue Apr 28 03:40:16 2026

Latest reply by Scott Hoge on Sun May 3 10:52:42 2026
Re: Families sue OpenAI over Canadian mass shooter's use of ChatGPT

By c186282 on Thu Apr 30 13:30:26 2026

Latest reply by c186282 on Thu Apr 30 13:30:26 2026
The notion of a "well founded justification tree" will be fullyelaborated --- Catches Liars

By olcott on Sun Apr 26 08:37:59 2026

Latest reply by Mikko on Wed Apr 29 09:51:40 2026
Re: Halting Problem within Proof Theoretic Semantics

By Mikko on Sun Apr 19 12:33:59 2026

Latest reply by Mikko on Fri Apr 24 09:50:15 2026
Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ???

By olcott on Sat Apr 18 21:28:37 2026

Latest reply by dart200 on Tue Apr 21 20:48:52 2026
Re: I will write a new paper anchoring my ideas in proof theoreticsemantics

By Mikko on Sun Apr 19 12:01:45 2026

Latest reply by Mikko on Sun Apr 19 12:01:45 2026
Love your adversaries --- do good to them that hate you

By olcott on Sun Apr 19 10:13:20 2026

Latest reply by olcott on Sun Apr 19 10:13:20 2026