Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
3771 articles (numbers 5379 – 9191) — threaded view
| Advanced| Subject | Author | Date [desc] |
|---|---|---|
| Re: Church-Turing and computable functions --- Python dialogue | olcott <polcott333@gmail.com> | 2026-10-14 08:28 -0500 |
| Re: Church-Turing and computable functions | Mikko <mikko.levanto@iki.fi> | 2026-10-10 11:35 +0300 |
| Re: Church-Turing and computable functions --- Python dialogue | olcott <polcott333@gmail.com> | 2026-10-09 11:25 -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-09 11:45 +0300 |
| 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: Church-Turing and computable functions --- Python dialogue | olcott <polcott333@gmail.com> | 2026-10-07 08:51 -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 --- 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-07 08:19 -0500 |
| Re: Church-Turing and computable functions | olcott <polcott333@gmail.com> | 2026-10-07 08:07 -0500 |
| Re: Church-Turing and computable functions | Mikko <mikko.levanto@iki.fi> | 2026-10-07 13:46 +0300 |
| Re: Church-Turing and computable functions | Mikko <mikko.levanto@iki.fi> | 2026-10-07 13:40 +0300 |
| The essence of all of my work in less than a paragraph | olcott <polcott333@gmail.com> | 2026-10-06 21:04 -0500 |
| Church-Turing and computable functions --- best dialogue ever | olcott <polcott333@gmail.com> | 2026-10-06 08:08 -0500 |
| Re: Tarski Undefinability Theorem is refuted | olcott <polcott333@gmail.com> | 2026-10-06 07:45 -0500 |
| Re: Church-Turing and computable functions --- best dialogue ever | olcott <polcott333@gmail.com> | 2026-10-06 07:17 -0500 |
| Re: Provability in PA | Mikko <mikko.levanto@iki.fi> | 2026-10-06 11:32 +0300 |
| Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence | Mikko <mikko.levanto@iki.fi> | 2026-10-06 10:59 +0300 |
| Re: Church-Turing and computable functions --- best dialogue ever | olcott <polcott333@gmail.com> | 2026-10-05 12:33 -0500 |
| 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-05 11:19 +0300 |
| Re: Church-Turing and computable functions --- best dialogue ever | olcott <polcott333@gmail.com> | 2026-10-04 09:14 -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 | olcott <polcott333@gmail.com> | 2026-10-04 08:22 -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: Church-Turing and computable functions --- very excellent reply | olcott <polcott333@gmail.com> | 2026-10-02 17:42 -0500 |
| 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 | Blaine <cactus_DAC@yahoo.com> | 2026-10-02 09:06 -0600 |
| Re: Church-Turing and computable functions | dbush <dbush.mobile@gmail.com> | 2026-10-02 10:59 -0400 |
| Re: Church-Turing and computable functions | olcott <polcott333@gmail.com> | 2026-10-02 09:51 -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 08:24 -0500 |
| Church-Turing and computable functions | olcott <polcott333@gmail.com> | 2026-10-02 07:54 -0500 |
| Church-Turing and computable functions | olcott <polcott333@gmail.com> | 2026-10-02 07:28 -0500 |
| 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-02 12:37 +0300 |
| Re: Provability in PA | olcott <polcott333@gmail.com> | 2026-10-01 16:25 -0500 |
| Re: Provability in PA | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> | 2026-10-02 02:38 +0800 |
| Re: Provability in PA | Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> | 2026-10-01 23:11 +0800 |
| 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 | olcott <polcott333@gmail.com> | 2026-10-01 10:04 -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 09:50 -0500 |
| 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 | olcott <polcott333@gmail.com> | 2026-10-01 09:17 -0500 |
| Re: Ross A. Finlayson, readings in (some of the) foundations of mathematics | Mild Shock <janburse@fastmail.fm> | 2026-09-28 13:12 +0200 |
| Re: Provability in PA --- UPDATE | Mikko <mikko.levanto@iki.fi> | 2026-09-24 14:27 +0300 |
| Re: Provability in PA | Mikko <mikko.levanto@iki.fi> | 2026-09-24 14:24 +0300 |
csiph-web