| Subject |
Author |
Date |
|
Church-Turing and computable functions
(16 replies — unroll)
|
olcott <polcott333@gmail.com> |
2026-10-02 07:28 -0500 |
|
→
Re: Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-02 08:24 -0500 |
|
→
Re: Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-02 09:15 -0500 |
|
→
Re: Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-02 09:51 -0500 |
|
→
Re: Church-Turing and computable functions
|
dbush <dbush.mobile@gmail.com> |
2026-10-02 10:59 -0400 |
|
→
Re: Church-Turing and computable functions
|
Blaine <cactus_DAC@yahoo.com> |
2026-10-02 09:06 -0600 |
|
→
Re: Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-02 17:28 -0500 |
|
→
Re: Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-02 17:24 -0500 |
|
→
Re: Church-Turing and computable functions --- very excellent reply
|
olcott <polcott333@gmail.com> |
2026-10-02 17:42 -0500 |
|
→
Re: Church-Turing and computable functions
|
Mikko <mikko.levanto@iki.fi> |
2026-10-07 13:46 +0300 |
|
→
Re: Church-Turing and computable functions --- Python dialogue
|
olcott <polcott333@gmail.com> |
2026-10-07 08:19 -0500 |
|
→
Re: Church-Turing and computable functions --- Python dialogue
|
olcott <polcott333@gmail.com> |
2026-10-07 08:51 -0500 |
|
→
Re: Church-Turing and computable functions
|
Mikko <mikko.levanto@iki.fi> |
2026-10-07 13:40 +0300 |
|
→
Re: Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-07 08:07 -0500 |
|
→
Re: Church-Turing and computable functions --- Peter Linz Proof with Olcott Notation Conventions
|
olcott <polcott333@gmail.com> |
2026-10-07 08:32 -0500 |
|
→
Re: Church-Turing and computable functions
|
Mikko <mikko.levanto@iki.fi> |
2026-10-10 11:35 +0300 |
|
→
Re: Church-Turing and computable functions --- Peter Linz Proof with Olcott Notation Conventions
|
olcott <polcott333@gmail.com> |
2026-10-07 08:25 -0500 |
| |
|
Re: Church-Turing and computable functions --- Python dialogue
|
olcott <polcott333@gmail.com> |
2026-10-09 11:25 -0500 |
| |
|
Provability in PA
(32 replies — unroll)
|
olcott <polcott333@gmail.com> |
2026-09-22 10:01 -0500 |
|
→
Re: Provability in PA
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-09-22 23:32 +0800 |
|
→
Re: Provability in PA
|
olcott <polcott333@gmail.com> |
2026-09-22 19:14 -0500 |
|
→
Re: Provability in PA
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-09-24 03:32 +0800 |
|
→
Re: Provability in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-09-23 12:45 +0300 |
|
→
Re: Provability in PA
|
olcott <polcott333@gmail.com> |
2026-09-23 08:39 -0500 |
|
→
Re: Provability in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-09-24 14:24 +0300 |
|
→
Re: Provability in PA
|
olcott <polcott333@gmail.com> |
2026-10-01 09:17 -0500 |
|
→
Re: Provability in PA
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-10-01 23:03 +0800 |
|
→
Re: Provability in PA
|
olcott <polcott333@gmail.com> |
2026-10-01 10:04 -0500 |
|
→
Re: Provability in PA
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-10-02 02:38 +0800 |
|
→
Re: Provability in PA
|
olcott <polcott333@gmail.com> |
2026-10-01 16:25 -0500 |
|
→
Re: Provability in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-10-06 11:32 +0300 |
|
→
Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
olcott <polcott333@gmail.com> |
2026-10-01 09:47 -0500 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-10-01 23:05 +0800 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-02 12:37 +0300 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
olcott <polcott333@gmail.com> |
2026-10-02 06:55 -0500 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-04 14:30 +0300 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
olcott <polcott333@gmail.com> |
2026-10-04 08:22 -0500 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Blaine <cactus_DAC@yahoo.com> |
2026-10-04 08:00 -0600 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-06 10:59 +0300 |
|
→
Church-Turing and computable functions --- best dialogue ever
|
olcott <polcott333@gmail.com> |
2026-10-06 08:08 -0500 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-09 11:50 +0300 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-05 11:27 +0300 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-09 11:45 +0300 |
|
→
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence
|
Mikko <mikko.levanto@iki.fi> |
2026-10-05 11:19 +0300 |
|
→
Re: Tarski Undefinability Theorem is refuted
|
olcott <polcott333@gmail.com> |
2026-10-06 07:45 -0500 |
|
→
The essence of all of my work in less than a paragraph
|
olcott <polcott333@gmail.com> |
2026-10-06 21:04 -0500 |
|
→
Re: The essence of all of my work in less than a paragraph
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-10-07 09:53 -0700 |
|
→
Re: Provability in PA
|
olcott <polcott333@gmail.com> |
2026-10-01 09:50 -0500 |
|
→
Re: Provability in PA
|
Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> |
2026-10-01 23:11 +0800 |
|
→
Re: Provability in PA --- UPDATE
|
olcott <polcott333@gmail.com> |
2026-09-23 08:49 -0500 |
|
→
Re: Provability in PA --- UPDATE
|
Mikko <mikko.levanto@iki.fi> |
2026-09-24 14:27 +0300 |
| |
|
Re: Church-Turing and computable functions --- best dialogue ever
(2 replies — unroll)
|
olcott <polcott333@gmail.com> |
2026-10-04 09:14 -0500 |
|
→
Re: Church-Turing and computable functions --- best dialogue ever
|
olcott <polcott333@gmail.com> |
2026-10-05 12:33 -0500 |
|
→
Re: Church-Turing and computable functions --- best dialogue ever
|
olcott <polcott333@gmail.com> |
2026-10-06 07:17 -0500 |
| |
|
Church-Turing and computable functions
|
olcott <polcott333@gmail.com> |
2026-10-02 07:54 -0500 |
| |
|
Ross A. Finlayson, readings in (some of the) foundations of mathematics
(191 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 |
| |
|
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 |