Groups | Search | Server Info | Login | Register

Groups > sci.logic

sci.logic

213155 articles, 390 threads (numbers 131165 – 345900) — flat view

| Advanced

Subject Author Date
An afterthought about the Binary Tree (16 replies) WM <wolfgang.mueckenheim@tha.de> 2026-05-07 22:48 +0200
   → Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-08 10:58 +0300
     → Re: An afterthought about the Binary Tree wm <wolfgang.mueckenheim@tha.de> 2026-05-08 14:46 +0200
       → Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-09 10:59 +0300
         → Re: An afterthought about the Binary Tree WM <wolfgang.mueckenheim@tha.de> 2026-05-09 23:20 +0200
           → Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-10 10:25 +0300
             → Re: An afterthought about the Binary Tree WM <wolfgang.mueckenheim@tha.de> 2026-05-10 15:56 +0200
               → Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-11 10:51 +0300
                 → Re: An afterthought about the Binary Tree WM <wolfgang.mueckenheim@tha.de> 2026-05-11 13:42 +0200
                 → Re: An afterthought about the Binary Tree Mikko <mikko.levanto@iki.fi> 2026-05-12 10:50 +0300
                 → Re: An afterthought about the Binary Tree wm <wolfgang.mueckenheim@tha.de> 2026-05-12 13:36 +0200
     → Re: An afterthought about the Binary Tree Moebius <invalid@example.invalid> 2026-05-08 14:57 +0200
       → Re: An afterthought about the Binary Tree wm <wolfgang.mueckenheim@tha.de> 2026-05-08 15:16 +0200
       → Re: An afterthought about the Binary Tree Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-08 10:16 -0700
         → 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 Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-08 09:58 -0700
       → Re: An afterthought about the Binary Tree Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-08 10:47 -0700
 
Prolog totally missed the AI Boom (161 replies, showing first 100 — browse in flat view) Mild Shock <janburse@fastmail.fm> 2025-02-22 13:07 +0100
   → Auto-Encoders as Prolog Fact Stores (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> 2025-02-22 22:54 +0100
     → Ignorance in ILP circles confirmed (Was: Auto-Encoders as Prolog Fact Stores) Mild Shock <janburse@fastmail.fm> 2025-02-23 18:34 +0100
     → Neuro infused logic programming [NILP] (Re: Auto-Encoders as Prolog Fact Stores) Mild Shock <janburse@fastmail.fm> 2025-03-19 21:00 +0100
   → Looks like sorting of rational trees needs an existential type (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> 2025-07-23 13:58 +0200
     → LLMs / Autoencoders could profit for Bisimulation Quotienting (Was: Looks like sorting of rational trees needs an existential type) Mild Shock <janburse@fastmail.fm> 2025-07-23 14:02 +0200
       → Are you Geh? From bi-simulation to bi-similarity (Re: LLMs / Autoencoders could profit for Bisimulation Quotienting) Mild Shock <janburse@fastmail.fm> 2025-07-23 15:19 +0200
         → Quite vibrant logic history one can experience right now! (Was: Are you Geh? From bi-simulation to bi-similarity) Mild Shock <janburse@fastmail.fm> 2025-07-23 19:13 +0200
   → The Prolog Community is extremly embarrassing (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> 2025-07-25 21:28 +0200
     → Non-Wellfounded and Russell Paradox, what is your opinion? (Re: The Prolog Community is extremly embarrassing) Mild Shock <janburse@fastmail.fm> 2025-07-25 21:37 +0200
       → Unfinished Bimbo Stuff: 4.1. Trees as terms (Was: Non-Wellfounded and Russell Paradox, what is your opinion?) Mild Shock <janburse@fastmail.fm> 2025-07-25 23:03 +0200
         → Gold medal waiting for the crankiest of cranks (Re: Unfinished Bimbo Stuff: 4.1. Trees as terms) Mild Shock <janburse@fastmail.fm> 2025-07-26 16:12 +0200
           → Old School Logicians waste time with compare/3 ? (Was: Gold medal waiting for the crankiest of cranks) Mild Shock <janburse@fastmail.fm> 2025-07-26 16:18 +0200
             → RIs compare/3 a sunflower study subject? (e: Old School Logicians waste time with compare/3 ?) Mild Shock <janburse@fastmail.fm> 2025-07-26 16:37 +0200
     → Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation] (Re: The Prolog Community is extremly embarrassing (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> 2025-10-04 15:47 +0200
       → Swift AI versus Apertus AI: David against Goliath (Was: Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation]) Mild Shock <janburse@fastmail.fm> 2025-10-04 16:03 +0200
         → AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-20 16:41 +0100
           → Re: AI understands where 99 % of mathematicians fail Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> 2026-03-20 19:06 +0000
             → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-03-20 22:57 +0100
           → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-21 11:42 +0200
             → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-03-21 13:47 +0100
               → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-22 11:13 +0200
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-22 14:00 +0100
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-23 11:52 +0200
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-23 16:33 +0100
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-24 10:33 +0200
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-03-24 20:29 +0100
                 → Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> 2026-03-24 21:44 +0000
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-03-24 19:31 -0700
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-03-24 19:32 -0700
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-03-24 20:07 -0700
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-03-25 14:04 -0700
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> 2026-04-04 20:54 +0100
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) wm <wolfgang.mueckenheim@tha.de> 2026-03-25 18:17 +0100
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Alan Mackenzie <acm@muc.de> 2026-03-25 17:55 +0000
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Moebius <invalid@example.invalid> 2026-04-30 04:43 +0200
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-04-30 09:10 -0700
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Mikko <mikko.levanto@iki.fi> 2026-05-01 11:55 +0300
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> 2026-05-01 09:47 -0700
                 → Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) wm <wolfgang.mueckenheim@tha.de> 2026-05-01 15:20 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-25 10:44 +0200
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-03-25 18:31 +0100
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-26 10:18 +0200
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-26 17:21 +0100
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-27 11:52 +0200
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-03-27 19:04 +0100
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-28 11:20 +0200
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-03-28 17:03 +0100
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-29 12:02 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-29 14:44 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-30 11:49 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-30 12:39 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-31 12:33 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-29 16:45 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-30 11:58 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-30 12:38 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-03-31 12:51 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-03-31 18:34 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-01 11:12 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-01 13:59 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-02 10:35 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-02 20:29 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-03 10:10 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-04 17:54 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-05 10:22 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-05 17:15 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-06 11:12 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-06 19:55 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-07 11:07 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-07 16:07 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-08 10:14 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-08 12:51 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-09 12:35 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-09 17:44 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-10 11:01 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-10 13:01 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-11 10:54 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-11 17:05 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-12 12:49 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-12 13:50 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-13 10:16 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-13 12:54 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-14 09:16 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-14 20:38 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-15 10:18 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-15 16:20 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-16 11:41 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-16 16:26 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-17 10:08 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-17 15:10 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-18 12:52 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-18 14:40 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-19 12:55 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-19 12:55 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-20 12:34 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-20 13:21 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-21 10:25 +0300
                 → Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> 2026-04-21 12:46 +0200
                 → Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> 2026-04-22 11:03 +0300
                 → Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> 2026-04-22 15:21 +0200

~Page 1 of ~416 (articles 345899–345900) Older →

csiph-web