sci.logic

Liste des Groupes Pages :1234567891011121314151617
Date Sujet#  Auteur
8 Jul 25  i           `* Re: My reviewers think that halt deciders must report on the behavior of their caller3olcott
13 Jul 25  i            `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
17 Jul14:34  i             `- Re: My reviewers think that halt deciders must report on the behavior of their caller1olcott
4 Jul 25  +* Re: My reviewers think that halt deciders must report on the behavior of their caller9olcott
5 Jul 25  i+* Re: My reviewers think that halt deciders must report on the behavior of their caller5Fred. Zwarts
5 Jul 25  ii`* Re: My reviewers think that halt deciders must report on the behavior of their caller4olcott
6 Jul 25  ii `* Re: My reviewers think that halt deciders must report on the behavior of their caller3Fred. Zwarts
6 Jul 25  ii  `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
7 Jul 25  ii   `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
5 Jul 25  i`* Re: My reviewers think that halt deciders must report on the behavior of their caller3Richard Damon
5 Jul 25  i `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
6 Jul 25  i  `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
5 Jul 25  `- Re: My reviewers think that halt deciders must report on the behavior of their caller1olcott
17 Jul11:01 * Gian-Carlo Rota’s legacy and modern AI (Re: Would Poincaré miss the AI Boom?)6Mild Shock
17 Jul11:13 `* Analogy as a Core of Intelligence (Human & Artificial) (Was: Gian-Carlo Rota’s legacy and modern AI)5Mild Shock
17 Jul13:34  `* Alain Colmerauer Analogy : Rational Terms / Rational Numbers (Re: Analogy as a Core of Intelligence (Human & Artificial))4Mild Shock
17 Jul13:55   `* FYI: Peter Aczel Memorial Conference [10th September 2025] (Was: Alain Colmerauer Analogy : Rational Terms / Rational Numbers)3Mild Shock
17 Jul22:16    `* s/Coq/Rocq not found (Was: FYI: Peter Aczel Memorial Conference [10th September 2025])2Mild Shock
17 Jul22:37     `- Wonder Years are Over: Next Step Mars (Re: s/Coq/Rocq not found)1Mild Shock
10 Jul 25 * Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof31olcott
10 Jul 25 +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3joes
10 Jul 25 i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
11 Jul 25 i `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
11 Jul 25 +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof25Richard Damon
11 Jul 25 i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof24André G. Isaak
11 Jul 25 i `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof23olcott
11 Jul 25 i  +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof21André G. Isaak
11 Jul 25 i  i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof20olcott
12 Jul 25 i  i +- André G. Isaak still has not noticed his mistake1olcott
13 Jul 25 i  i `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof18Richard Damon
14 Jul20:15 i  i  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof17olcott
15 Jul03:21 i  i   `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof16Richard Damon
15 Jul04:03 i  i    +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof7olcott
15 Jul12:44 i  i    i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof6Richard Damon
15 Jul13:40 i  i    i `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof5olcott
16 Jul00:35 i  i    i  +- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1olcott
15 Jul23:39 i  i    i  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3Richard Damon
16 Jul02:47 i  i    i   `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
16 Jul12:26 i  i    i    `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
15 Jul04:23 i  i    `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof8olcott
15 Jul12:16 i  i     `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof7Richard Damon
15 Jul13:37 i  i      `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof6olcott
16 Jul00:05 i  i       `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof5Richard Damon
16 Jul02:48 i  i        `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof4olcott
16 Jul12:32 i  i         `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3Richard Damon
16 Jul16:21 i  i          `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
17 Jul03:16 i  i           `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
11 Jul 25 i  `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
15 Jul14:08 `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2Tristan Wibberley
15 Jul15:25  `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1olcott
16 Jul11:06 o L∃∀n prover does embrace AI Fusion (Was: Semantic Indexing: Scaling Proofs as Programs)1Mild Shock
10 Jul 25 * Coq/Rocq and how to completely break it5Julio Di Egidio
10 Jul 25 `* Re: Coq/Rocq and how to completely break it4Julio Di Egidio
15 Jul17:31  `* Maybe AGI should take over proving (Was: Coq/Rocq and how to completely break it)3Mild Shock
15 Jul17:34   `* Having 2544 issues is probably a bad sign (Was: Maybe AGI should take over proving)2Mild Shock
15 Jul18:01    `- The Signal Collapse gives us System Uncertainty (Was: Having 2544 issues is probably a bad sign)1Mild Shock
17 May 25 * Simple enough for every reader?215WM
18 May 25 +* Re: Simple enough for every reader?125Mikko
18 May 25 i+- Re: Simple enough for every reader?1Ross Finlayson
18 May 25 i`* Re: Simple enough for every reader?123WM
18 May 25 i +* Re: Simple enough for every reader?5Ross Finlayson
18 May 25 i i`* Re: Simple enough for every reader?4WM
19 May 25 i i `* Re: Simple enough for every reader?3Mikko
19 May 25 i i  `* Re: Simple enough for every reader?2WM
20 May 25 i i   `- Re: Simple enough for every reader?1Mikko
19 May 25 i `* Re: Simple enough for every reader?117Mikko
19 May 25 i  `* Re: Simple enough for every reader?116WM
20 May 25 i   `* Re: Simple enough for every reader?115Mikko
20 May 25 i    `* Re: Simple enough for every reader?114WM
22 May 25 i     `* Re: Simple enough for every reader?113Mikko
22 May 25 i      `* Re: Simple enough for every reader?112WM
23 May 25 i       `* Re: Simple enough for every reader?111Mikko
23 May 25 i        `* Re: Simple enough for every reader?110WM
24 May 25 i         `* Re: Simple enough for every reader?109Mikko
24 May 25 i          `* Re: Simple enough for every reader?108WM
25 May 25 i           `* Re: Simple enough for every reader?107Mikko
25 May 25 i            `* Re: Simple enough for every reader?106WM
26 May 25 i             `* Re: Simple enough for every reader?105Mikko
26 May 25 i              `* Re: Simple enough for every reader?104WM
27 May 25 i               `* Re: Simple enough for every reader?103Mikko
27 May 25 i                `* Re: Simple enough for every reader?102WM
28 May 25 i                 `* Re: Simple enough for every reader?101Mikko
28 May 25 i                  `* Re: Simple enough for every reader?100WM
29 May 25 i                   `* Re: Simple enough for every reader?99Mikko
29 May 25 i                    `* Re: Simple enough for every reader?98WM
30 May 25 i                     +* Re: Simple enough for every reader?96Mikko
30 May 25 i                     i`* Re: Simple enough for every reader?95WM
31 May 25 i                     i `* Re: Simple enough for every reader?94Mikko
31 May 25 i                     i  `* Re: Simple enough for every reader?93WM
1 Jun 25 i                     i   `* Re: Simple enough for every reader?92Mikko
1 Jun 25 i                     i    `* Re: Simple enough for every reader?91WM
3 Jun 25 i                     i     `* Re: Simple enough for every reader?90Mikko
3 Jun 25 i                     i      `* Re: Simple enough for every reader?89WM
4 Jun 25 i                     i       `* Re: Simple enough for every reader?88Mikko
4 Jun 25 i                     i        `* Re: Simple enough for every reader?87WM
5 Jun 25 i                     i         `* Re: Simple enough for every reader?86Mikko
5 Jun 25 i                     i          `* Re: Simple enough for every reader?85WM
6 Jun 25 i                     i           `* Re: Simple enough for every reader?84Mikko
6 Jun 25 i                     i            `* Re: Simple enough for every reader?83WM
8 Jun 25 i                     i             `* Re: Simple enough for every reader?82Mikko
10 Jun 25 i                     i              `* Re: Simple enough for every reader?81WM
11 Jun 25 i                     i               `* Re: Simple enough for every reader?80Mikko
11 Jun 25 i                     i                `* Re: Simple enough for every reader?79WM
12 Jun 25 i                     i                 `* Re: Simple enough for every reader?78Mikko
12 Jun 25 i                     i                  `* Re: Simple enough for every reader?77WM
13 Jun 25 i                     i                   `* Re: Simple enough for every reader?76Mikko
13 Jun 25 i                     i                    `* Re: Simple enough for every reader?75WM
14 Jun 25 i                     i                     `* Re: Simple enough for every reader?74Mikko
14 Jun 25 i                     i                      `* Re: Simple enough for every reader?73WM
15 Jun 25 i                     i                       +* Re: Simple enough for every reader?71Mikko
15 Jun 25 i                     i                       i`* Re: Simple enough for every reader?70WM
16 Jun 25 i                     i                       i `* Re: Simple enough for every reader?69Mikko
16 Jun 25 i                     i                       i  `* Re: Simple enough for every reader?68WM
17 Jun 25 i                     i                       i   +* Re: Simple enough for every reader?66Mikko
17 Jun 25 i                     i                       i   i`* Re: Simple enough for every reader?65WM
18 Jun 25 i                     i                       i   i +* Re: Simple enough for every reader?63Mikko
18 Jun 25 i                     i                       i   i i`* Re: Simple enough for every reader?62WM
19 Jun 25 i                     i                       i   i i `* Re: Simple enough for every reader?61Mikko
19 Jun 25 i                     i                       i   i i  `* Re: Simple enough for every reader?60WM
20 Jun 25 i                     i                       i   i i   `* Re: Simple enough for every reader?59Mikko
20 Jun 25 i                     i                       i   i i    `* Re: Simple enough for every reader?58WM
21 Jun 25 i                     i                       i   i i     `* Re: Simple enough for every reader?57Mikko
21 Jun 25 i                     i                       i   i i      `* Re: Simple enough for every reader?56WM
22 Jun 25 i                     i                       i   i i       `* Re: Simple enough for every reader?55Mikko
22 Jun 25 i                     i                       i   i i        `* Re: Simple enough for every reader?54WM
23 Jun 25 i                     i                       i   i i         `* Re: Simple enough for every reader?53Mikko
23 Jun 25 i                     i                       i   i i          `* Re: Simple enough for every reader?52WM
24 Jun 25 i                     i                       i   i i           `* Re: Simple enough for every reader?51Mikko
24 Jun 25 i                     i                       i   i i            `* Re: Simple enough for every reader?50WM
25 Jun 25 i                     i                       i   i i             `* Re: Simple enough for every reader?49Mikko
25 Jun 25 i                     i                       i   i i              `* Re: Simple enough for every reader?48WM
26 Jun 25 i                     i                       i   i i               `* Re: Simple enough for every reader?47Mikko
26 Jun 25 i                     i                       i   i i                `* Re: Simple enough for every reader?46WM
27 Jun 25 i                     i                       i   i i                 `* Re: Simple enough for every reader?45Mikko
27 Jun 25 i                     i                       i   i i                  `* Re: Simple enough for every reader?44WM
28 Jun 25 i                     i                       i   i i                   `* Re: Simple enough for every reader?43Mikko
28 Jun 25 i                     i                       i   i i                    `* Re: Simple enough for every reader?42WM
29 Jun 25 i                     i                       i   i i                     `* Re: Simple enough for every reader?41Mikko
30 Jun 25 i                     i                       i   i i                      `* Re: Simple enough for every reader?40WM
30 Jun 25 i                     i                       i   i i                       +* Re: Simple enough for every reader?2joes
1 Jul 25 i                     i                       i   i i                       i`- Re: Simple enough for every reader?1WM
2 Jul 25 i                     i                       i   i i                       `* Re: Simple enough for every reader?37Mikko
2 Jul 25 i                     i                       i   i i                        `* Re: Simple enough for every reader?36WM
2 Jul 25 i                     i                       i   i i                         +* Re: Simple enough for every reader?4joes
2 Jul 25 i                     i                       i   i i                         i`* Re: Simple enough for every reader?3WM
2 Jul 25 i                     i                       i   i i                         i `* Re: Simple enough for every reader?2joes
2 Jul 25 i                     i                       i   i i                         i  `- Re: Simple enough for every reader?1WM
3 Jul 25 i                     i                       i   i i                         `* Re: Simple enough for every reader?31Mikko
3 Jul 25 i                     i                       i   i i                          `* Re: Simple enough for every reader?30WM
3 Jul 25 i                     i                       i   i i                           +* Re: Simple enough for every reader?8joes
3 Jul 25 i                     i                       i   i i                           i`* Re: Simple enough for every reader?7WM
4 Jul 25 i                     i                       i   i i                           i `* Re: Simple enough for every reader?6joes
4 Jul 25 i                     i                       i   i i                           i  `* Re: Simple enough for every reader?5WM
4 Jul 25 i                     i                       i   i i                           i   `* Re: Simple enough for every reader?4joes
4 Jul 25 i                     i                       i   i i                           i    `* Re: Simple enough for every reader?3WM
4 Jul 25 i                     i                       i   i i                           i     `* Re: Simple enough for every reader?2joes
4 Jul 25 i                     i                       i   i i                           i      `- Re: Simple enough for every reader?1WM
4 Jul 25 i                     i                       i   i i                           `* Re: Simple enough for every reader?21Mikko
4 Jul 25 i                     i                       i   i i                            `* Re: Simple enough for every reader?20WM
4 Jul 25 i                     i                       i   i i                             +* Re: Simple enough for every reader?2joes
4 Jul 25 i                     i                       i   i i                             i`- Re: Simple enough for every reader?1WM
5 Jul 25 i                     i                       i   i i                             `* Re: Simple enough for every reader?17Mikko
5 Jul 25 i                     i                       i   i i                              `* Re: Simple enough for every reader?16WM
5 Jul 25 i                     i                       i   i i                               +- Re: Simple enough for every reader?1joes
6 Jul 25 i                     i                       i   i i                               `* Re: Simple enough for every reader?14Mikko
6 Jul 25 i                     i                       i   i i                                `* Re: Simple enough for every reader?13WM
7 Jul 25 i                     i                       i   i i                                 `* Re: Simple enough for every reader?12Mikko
7 Jul 25 i                     i                       i   i i                                  `* Re: Simple enough for every reader?11WM
8 Jul 25 i                     i                       i   i i                                   `* Re: Simple enough for every reader?10Mikko
8 Jul 25 i                     i                       i   i i                                    `* Re: Simple enough for every reader?9WM
8 Jul 25 i                     i                       i   i i                                     +* Re: Simple enough for every reader?3joes
9 Jul 25 i                     i                       i   i i                                     i`* Re: Simple enough for every reader?2WM
10 Jul 25 i                     i                       i   i i                                     i `- Re: Simple enough for every reader?1joes
9 Jul 25 i                     i                       i   i i                                     `* Re: Simple enough for every reader?5Mikko
9 Jul 25 i                     i                       i   i i                                      `* Re: Simple enough for every reader?4WM
10 Jul 25 i                     i                       i   i i                                       `* Re: Simple enough for every reader?3Mikko
10 Jul 25 i                     i                       i   i i                                        `* Re: Simple enough for every reader?2WM
11 Jul 25 i                     i                       i   i i                                         `- Re: Simple enough for every reader?1Mikko
24 Jun 25 i                     i                       i   i `- Re: Simple enough for every reader?1joes
24 Jun 25 i                     i                       i   `- Re: Simple enough for every reader?1joes
24 Jun 25 i                     i                       `- Re: Simple enough for every reader?1joes
24 Jun 25 i                     `- Re: Simple enough for every reader?1joes
18 May 25 `* Re: Simple enough for every reader?89Ben Bacarisse
19 May 25  +* Re: Simple enough for every reader?2olcott
19 May 25  i`- Re: Simple enough for every reader?1WM
19 May 25  `* Re: Simple enough for every reader?86WM
20 May 25   `* Re: Simple enough for every reader?85Ben Bacarisse
20 May 25    +* Re: Simple enough for every reader?3Mikko
20 May 25    i+- Re: Simple enough for every reader?1WM
21 May 25    i`- Re: Simple enough for every reader?1Ben Bacarisse
20 May 25    `* Re: Simple enough for every reader?81WM
21 May 25     `* Re: Simple enough for every reader?80Ben Bacarisse
21 May 25      `* Re: Simple enough for every reader?79WM
23 May 25       `* Re: Simple enough for every reader?78Ben Bacarisse
24 May 25        +* Re: Simple enough for every reader?27Mikko
25 May 25        i`* Re: Simple enough for every reader?26Ben Bacarisse
25 May 25        i `* Re: Simple enough for every reader?25Mikko
26 May 25        i  `* Re: Simple enough for every reader?24Ben Bacarisse
26 May 25        i   `* Re: Simple enough for every reader?23Mikko
27 May 25        i    `* Re: Simple enough for every reader?22Ben Bacarisse
27 May 25        i     `* Re: Simple enough for every reader?21Mikko
27 May 25        i      +- Re: Simple enough for every reader?1WM
28 May 25        i      `* Re: Simple enough for every reader?19Ben Bacarisse
28 May 25        i       +* Re: Simple enough for every reader?15WM
29 May 25        i       i`* Re: Simple enough for every reader?14Ben Bacarisse
29 May 25        i       i `* Re: Simple enough for every reader?13WM
30 May 25        i       i  `* Re: Simple enough for every reader?12Ben Bacarisse
30 May 25        i       i   `* Re: Simple enough for every reader?11WM
31 May 25        i       i    `* Re: Simple enough for every reader?10Ben Bacarisse
31 May 25        i       i     `* Re: Simple enough for every reader?9WM
2 Jun 25        i       i      `* Re: Simple enough for every reader?8Ben Bacarisse
2 Jun 25        i       i       `* Re: Simple enough for every reader?7WM
4 Jun 25        i       i        `* Re: Simple enough for every reader?6Ben Bacarisse
4 Jun 25        i       i         `* Re: Simple enough for every reader?5WM
5 Jun 25        i       i          `* Re: Simple enough for every reader?4Ben Bacarisse
6 Jun 25        i       i           `* Re: Simple enough for every reader?3WM
9 Jun 25        i       i            `* Re: Simple enough for every reader?2Ben Bacarisse
10 Jun 25        i       i             `- Re: Simple enough for every reader?1WM
29 May 25        i       `* Re: Simple enough for every reader?3Mikko
29 May 25        i        `* Re: Simple enough for every reader?2Ben Bacarisse
30 May 25        i         `- Re: Simple enough for every reader?1Mikko
24 May 25        `* Re: Simple enough for every reader?50WM
25 May 25         `* Re: Simple enough for every reader?49Ben Bacarisse
25 May 25          `* Re: Simple enough for every reader?48WM
26 May 25           `* Re: Simple enough for every reader?47Ben Bacarisse
26 May 25            +* Re: Simple enough for every reader?44WM
26 May 25            i+* Re: Simple enough for every reader?23Mikko
26 May 25            ii`* Re: Simple enough for every reader?22WM
27 May 25            ii `* Re: Simple enough for every reader?21Mikko
27 May 25            ii  `* Re: Simple enough for every reader?20WM
29 May 25            ii   `* Re: Simple enough for every reader?19Mikko
29 May 25            ii    `* Re: Simple enough for every reader?18WM
30 May 25            ii     `* Re: Simple enough for every reader?17Mikko
30 May 25            ii      `* Re: Simple enough for every reader?16WM
31 May 25            ii       `* Re: Simple enough for every reader?15Mikko
31 May 25            ii        `* Re: Simple enough for every reader?14WM
1 Jun 25            ii         `* Re: Simple enough for every reader?13Mikko
1 Jun 25            ii          `* Re: Simple enough for every reader?12WM
3 Jun 25            ii           `* Re: Simple enough for every reader?11Mikko
3 Jun 25            ii            `* Re: Simple enough for every reader?10WM
11 Jun 25            ii             `* Re: Simple enough for every reader?9Mikko
11 Jun 25            ii              `* Re: Simple enough for every reader?8WM
12 Jun 25            ii               `* Re: Simple enough for every reader?7Mikko
12 Jun 25            ii                `* Re: Simple enough for every reader?6WM
13 Jun 25            ii                 `* Re: Simple enough for every reader?5Mikko
13 Jun 25            ii                  `* Re: Simple enough for every reader?4WM
14 Jun 25            ii                   `* Re: Simple enough for every reader?3Mikko
14 Jun 25            ii                    `* Re: Simple enough for every reader?2WM
15 Jun 25            ii                     `- Re: Simple enough for every reader?1Mikko
27 May 25            i`* Re: Simple enough for every reader?20Ben Bacarisse

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal