|
Subject
|
Author
|
Date [desc]
|
|
Re: Jacal-2a1 symbolic math system released
|
Aubrey Jaffer <agj@alum.mit.edu> |
2026-08-19 20:43 -0400 |
|
Re: Jacal-2a1 symbolic math system released
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-08-17 08:16 +0800 |
|
Jacal-2a1 symbolic math system released
|
yourusername <agj@alum.mit.edu> |
2026-08-16 19:30 -0400 |
|
Re: Totally clueless about inductive inference?
|
olcott <polcott333@gmail.com> |
2026-07-14 14:52 -0500 |
|
Re: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction
|
Mikko <mikko.levanto@iki.fi> |
2026-07-09 10:55 +0300 |
|
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
|
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
|
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
|
Mikko <mikko.levanto@iki.fi> |
2026-07-06 12:58 +0300 |
|
Re: The truth about the halting problem counter-example input
|
Mikko <mikko.levanto@iki.fi> |
2026-07-06 11:07 +0300 |
|
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-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 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 14:30 -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 12:56 -0700 |
|
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
|
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
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-07-05 15:52 +0100 |
|
Re: The truth about the halting problem counter-example input
|
olcott <polcott333@gmail.com> |
2026-07-04 12:16 -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-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-06-30 16:10 +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-06-30 06:54 +0100 |
|
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: 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
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-06-27 07:53 +0100 |
|
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: Disjunction introduction --- new premise from out of no where
|
olcott <polcott333@gmail.com> |
2026-06-25 16:05 -0500 |
|
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
|
"Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
2026-06-25 12:54 -0700 |
|
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 |
|
Proof Theoretic Semantics as a new Foundation for Mathematics, Logic and the Theory of Computation
|
olcott <polcott333@gmail.com> |
2026-06-25 09:47 -0500 |
|
Re: Solving the Gettier cases
|
Mikko <mikko.levanto@iki.fi> |
2026-06-25 10:43 +0300 |
|
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
|
Mikko <mikko.levanto@iki.fi> |
2026-06-25 10:14 +0300 |
|
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
|
olcott <polcott333@gmail.com> |
2026-06-24 15:25 -0500 |
|
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
|
olcott <polcott333@gmail.com> |
2026-06-24 15:19 -0500 |
|
Re: Solving the Gettier cases
|
olcott <polcott333@gmail.com> |
2026-06-24 14:31 -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: Readings in (some of the) foundations of mathematics --- analytic/synthetic distinction
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 13:06 +0300 |
|
Re: Readings in (some of the) foundations of mathematics --- tree of knowledge
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 13:00 +0300 |
|
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
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 12:45 +0300 |
|
Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 11:23 +0300 |
|
Re: Solving the Gettier cases
|
Mikko <mikko.levanto@iki.fi> |
2026-06-24 11:08 +0300 |
|
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
|
olcott <polcott333@gmail.com> |
2026-06-23 13:24 -0500 |
|
Re: Ross A. Finlayson, readings in (some of the) --- cycles in directed graphs
|
olcott <polcott333@gmail.com> |
2026-06-23 13:20 -0500 |