Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.ai.philosophy

comp.ai.philosophy

35068 articles (numbers 331 – 35591) — threaded view

| Advanced

Subject Author Date [asc]
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 Mikko <mikko.levanto@iki.fi> 2026-10-05 11:19 +0300
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence Mikko <mikko.levanto@iki.fi> 2026-10-05 11:27 +0300
Tarski Undefinability Theorem is refuted olcott <polcott333@gmail.com> 2026-10-05 08:28 -0500
Re: Church-Turing and computable functions --- best dialogue ever olcott <polcott333@gmail.com> 2026-10-05 10:29 -0500
Re: Church-Turing and computable functions --- best dialogue ever olcott <polcott333@gmail.com> 2026-10-05 11:44 -0500
Re: Theatheory (not Re: Olcott's system (not Hobbes)) (not Wittgenstein) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-05 10:14 -0700
Re: Church-Turing and computable functions --- best dialogue ever olcott <polcott333@gmail.com> 2026-10-05 13:25 -0500
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence Mikko <mikko.levanto@iki.fi> 2026-10-06 10:59 +0300
Re: Tarski Undefinability Theorem is refuted Mikko <mikko.levanto@iki.fi> 2026-10-06 11:20 +0300
Re: Provability in PA Mikko <mikko.levanto@iki.fi> 2026-10-06 11:32 +0300
Re: Church-Turing and computable functions --- best dialogue ever olcott <polcott333@gmail.com> 2026-10-06 07:17 -0500
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence olcott <polcott333@gmail.com> 2026-10-06 07:32 -0500
Re: Tarski Undefinability Theorem is refuted olcott <polcott333@gmail.com> 2026-10-06 07:45 -0500
Church-Turing and computable functions --- best dialogue ever olcott <polcott333@gmail.com> 2026-10-06 08:08 -0500
Re: Theatheory: super-theory and natural science Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-06 11:02 -0700
Re: Theatheory: super-theory and natural science Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-06 11:07 -0700
The essence of all of my work in less than a paragraph olcott <polcott333@gmail.com> 2026-10-06 21:04 -0500
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence Mikko <mikko.levanto@iki.fi> 2026-10-07 11:49 +0300
Re: Church-Turing and computable functions Mikko <mikko.levanto@iki.fi> 2026-10-07 13:40 +0300
Re: Church-Turing and computable functions Mikko <mikko.levanto@iki.fi> 2026-10-07 13:46 +0300
Re: Church-Turing and computable functions polcott <polcott333@gmail.com> 2026-10-07 07:25 -0500
Re: Church-Turing and computable functions --- Python dialogue polcott <polcott333@gmail.com> 2026-10-07 07:45 -0500
Re: Church-Turing and computable functions --- Python dialogue Python <python@cccp.invalid> 2026-10-07 12:51 +0000
Re: Church-Turing and computable functions olcott <polcott333@gmail.com> 2026-10-07 08:07 -0500
Re: Provability in PA --- Cycle detected in directed graph of evaluation sequence polcott <polcott333@gmail.com> 2026-10-07 08:10 -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 --- Peter Linz Proof with Olcott Notation Conventions olcott <polcott333@gmail.com> 2026-10-07 08:25 -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 --- 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:54 -0500
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-07 09:17 -0500
Re: Church-Turing and computable functions --- Peter Linz Proof with Olcott Notation Conventions olcott <polcott333@gmail.com> 2026-10-07 09:52 -0500
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-07 10:13 -0500
Re: Church-Turing and computable functions --- Peter Linz Proof with Olcott Notation Conventions olcott <polcott333@gmail.com> 2026-10-07 10:25 -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
The latest slew of prompted lemmas, "almost-quite" (verum/certum) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-07 10:25 -0700
Re: The latest slew of prompted lemmas, "almost-quite" (verum/certum) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-07 10:27 -0700
Sentencing thrown out for man who shot and killed man in Chandler during road rage incident in 2021 "Leroy N. Soetoro" <leroysoetoro@americans-first.com> 2026-10-07 17:46 +0000
Re: Church-Turing and computable functions --- Python dialogue "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> 2026-10-07 12:27 -0700
I took the money I spiked your drink Blaine <cactus_DAC@yahoo.com> 2026-10-07 14:56 -0600
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-07 16:14 -0500
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-07 17:04 -0500
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-07 18:29 -0500
Re: The latest slew of prompted lemmas, "almost-quite" (verum/certum) sobriquet <dohduhdah@yahoo.com> 2026-10-08 04:20 +0200
Re: The latest slew of prompted lemmas, "almost-quite" (verum/certum) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-07 20:21 -0700
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-08 07:41 -0500
Re: The latest slew of prompted lemmas, "almost-quite" (verum/certum) sobriquet <dohduhdah@yahoo.com> 2026-10-08 15:24 +0200
Re: The latest slew of prompted lemmas, "almost-quite" (verum/certum) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-10-08 06:54 -0700
Re: Church-Turing and computable functions --- Python dialogue olcott <polcott333@gmail.com> 2026-10-08 10:37 -0500

1 2 3 ... 702 Next »

csiph-web