Groups | Search | Server Info | Login | Register


Groups > sci.logic

sci.logic

213160 articles (numbers 131165 – 345905) — threaded view

| Advanced

Subject Author Date [asc]
Re: An afterthought about the Binary Tree wm <wolfgang.mueckenheim@tha.de> 2026-05-08 15:16 +0200
Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-08 11:58 -0500
Re: An afterthought about the Binary Tree Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-08 09:58 -0700
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> 2026-05-08 10:13 -0700
Re: An afterthought about the Binary Tree Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-08 10:16 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-08 12:35 -0500
Re: An afterthought about the Binary Tree Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-08 10:47 -0700
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> 2026-05-08 11:40 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-08 14:01 -0500
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-05-09 10:39 +0300
Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-09 10:59 +0300
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-09 11:10 +0300
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-09 11:30 +0300
Elmos Fascist Dreams of a 365 Prolog (Was: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> 2026-05-09 12:52 +0200
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-09 07:13 -0500
Even the Buddos are clueless [Did Tarau see Liliputians?] (Re: Elmos Fascist Dreams of a 365 Prolog) Mild Shock <janburse@fastmail.fm> 2026-05-09 15:19 +0200
Re: An afterthought about the Binary Tree Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-09 11:02 -0700
Re: An afterthought about the Binary Tree WM <wolfgang.mueckenheim@tha.de> 2026-05-09 23:20 +0200
Halfing the AI Laptop Budget: Ne-Meow sold out! (Re: Even the Buddos are clueless [Did Tarau see Liliputians?]) Mild Shock <janburse@fastmail.fm> 2026-05-10 09:09 +0200
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-10 10:10 +0300
Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-10 10:25 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-05-10 15:47 +0200
Re: An afterthought about the Binary Tree WM <wolfgang.mueckenheim@tha.de> 2026-05-10 15:56 +0200
Buddos Waterloo: Checkpoint McCune (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]= Mild Shock <janburse@fastmail.fm> 2026-05-10 16:18 +0200
Could ISAMORE anti-unification help? (Was: Buddos Waterloo: Checkpoint McCune) Mild Shock <janburse@fastmail.fm> 2026-05-10 16:33 +0200
Could ISAMORE anti-unification help? (Was: Buddos Waterloo: Checkpoint McCune) Mild Shock <janburse@fastmail.fm> 2026-05-10 16:43 +0200
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-10 10:27 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-10 12:38 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-10 14:06 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> 2026-05-10 13:06 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> 2026-05-10 14:12 -0600
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-10 15:17 -0500
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> 2026-05-10 21:14 -0700
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> 2026-05-10 21:15 -0700
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-11 10:24 +0300
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-05-11 10:39 +0300
Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-11 10:51 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-05-11 12:56 +0200
Re: An afterthought about the Binary Tree WM <wolfgang.mueckenheim@tha.de> 2026-05-11 13:42 +0200
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-11 06:44 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> 2026-05-12 10:05 +0300
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-05-12 10:19 +0300
Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-12 10:50 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-05-12 12:52 +0200
Re: An afterthought about the Binary Tree wm <wolfgang.mueckenheim@tha.de> 2026-05-12 13:36 +0200
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> 2026-05-12 08:32 -0500
Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> 2026-05-12 08:59 -0500
Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings dart200 <user7160@newsgrouper.org.invalid> 2026-05-12 11:03 -0700
The small LLM revolution [Timothy Chow in your Poket] (Was: ChatGPT 5.x so bad, it will give back jobs to Gen Z) Mild Shock <janburse@fastmail.fm> 2026-05-12 21:16 +0200
Re: Olcott thesis: Every element of the body of knowledge that can be expressed in language can be expressed as relations between finite strings olcott <polcott333@gmail.com> 2026-05-12 15:52 -0500

1 2 3 ... 4264 Next »


csiph-web