comp.theory

Liste des Groupes Pages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
5 Apr 25 i   i`- Re: Cantor Diagonal Proof1Andy Walker
5 Apr 25 i   `* Re: Cantor Diagonal Proof6Lawrence D'Oliveiro
5 Apr 25 i    `* Re: Cantor Diagonal Proof5Andy Walker
6 Apr 25 i     `* Re: Cantor Diagonal Proof4Lawrence D'Oliveiro
6 Apr 25 i      `* Re: Cantor Diagonal Proof3Andy Walker
6 Apr 25 i       +- Re: Cantor Diagonal Proof1Richard Heathfield
6 Apr 25 i       `- Re: Cantor Diagonal Proof1Julio Di Egidio
5 Apr 25 +* Re: Cantor Diagonal Proof --- PLO6olcott
5 Apr 25 i`* Re: Cantor Diagonal Proof --- PLO5Lawrence D'Oliveiro
5 Apr 25 i +- Re: Cantor Diagonal Proof --- PLO1olcott
5 Apr 25 i `* Re: Cantor Diagonal Proof --- PLO3Keith Thompson
6 Apr 25 i  +- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro
6 Apr 25 i  `- Re: Cantor Diagonal Proof --- PLO1wij
13 Apr 25 +* Re: Cantor Diagonal Proof14Lawrence D'Oliveiro
14 Apr 25 i`* Re: Cantor Diagonal Proof13Richard Damon
14 Apr 25 i `* Re: Cantor Diagonal Proof12Lawrence D'Oliveiro
15 Apr 25 i  `* Re: Cantor Diagonal Proof11Richard Damon
15 Apr 25 i   `* Re: Cantor Diagonal Proof10Lawrence D'Oliveiro
15 Apr 25 i    +- Re: Cantor Diagonal Proof1Richard Heathfield
15 Apr 25 i    +- Re: Cantor Diagonal Proof1Richard Damon
15 Apr 25 i    `* Re: Cantor Diagonal Proof7Mike Terry
18 Apr 25 i     `* Re: Cantor Diagonal Proof6Lawrence D'Oliveiro
18 Apr 25 i      +- Re: Cantor Diagonal Proof1Keith Thompson
18 Apr 25 i      +- Re: Cantor Diagonal Proof1Richard Damon
18 Apr 25 i      +* Re: Cantor Diagonal Proof2Mike Terry
18 Apr 25 i      i`- Re: Cantor Diagonal Proof1Andy Walker
19 Apr 25 i      `- Re: Cantor Diagonal Proof1Mikko
15 Apr 25 `- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro
18 Apr 25 * Re: Unpartial Halt Deciders2Richard Damon
18 Apr 25 `- Re: Unpartial Halt Deciders1Richard Damon
17 Apr 25 * Only C programmers tell the truth about the behavior of DD simulated by HHH2olcott
17 Apr 25 `- Re: Only C programmers tell the truth about the behavior of DD simulated by HHH1olcott
14 Apr 25 * Do you trust Cantor's set/infinity theory?2wij
14 Apr 25 `- Re: Do you trust Cantor's set/infinity theory?1wij
8 Apr 25 * Re: Cantor Diagonal Proof45Andy Walker
8 Apr 25 +* Re: Cantor Diagonal Proof33Richard Heathfield
8 Apr 25 i`* Re: Cantor Diagonal Proof32Andy Walker
8 Apr 25 i +* Re: Cantor Diagonal Proof2Richard Heathfield
8 Apr 25 i i`- Re: Cantor Diagonal Proof1Andy Walker
8 Apr 25 i +* Re: Cantor Diagonal Proof2Fred. Zwarts
9 Apr 25 i i`- Re: Cantor Diagonal Proof1Richard Damon
9 Apr 25 i `* Re: Cantor Diagonal Proof27wij
9 Apr 25 i  `* Re: Cantor Diagonal Proof26Richard Heathfield
9 Apr 25 i   `* Re: Cantor Diagonal Proof25wij
9 Apr 25 i    `* Re: Cantor Diagonal Proof24Richard Heathfield
9 Apr 25 i     `* Re: Cantor Diagonal Proof23wij
9 Apr 25 i      `* Re: Cantor Diagonal Proof22Richard Heathfield
9 Apr 25 i       `* Re: Cantor Diagonal Proof21wij
9 Apr 25 i        `* Re: Cantor Diagonal Proof20Richard Heathfield
9 Apr 25 i         `* Re: Cantor Diagonal Proof19wij
9 Apr 25 i          `* Re: Cantor Diagonal Proof18Richard Heathfield
10 Apr 25 i           `* Re: Cantor Diagonal Proof17wij
11 Apr 25 i            `* Re: Cantor Diagonal Proof16Keith Thompson
11 Apr 25 i             `* Re: Cantor Diagonal Proof15wij
11 Apr 25 i              +* Re: Cantor Diagonal Proof8Alan Mackenzie
11 Apr 25 i              i`* Re: Cantor Diagonal Proof7wij
11 Apr 25 i              i `* Re: Cantor Diagonal Proof6Richard Damon
11 Apr 25 i              i  `* Re: Cantor Diagonal Proof5wij
11 Apr 25 i              i   +- Re: Cantor Diagonal Proof1Richard Heathfield
11 Apr 25 i              i   `* Re: Cantor Diagonal Proof3Richard Damon
11 Apr 25 i              i    `* Re: Cantor Diagonal Proof2wij
11 Apr 25 i              i     `- Re: Cantor Diagonal Proof1Richard Damon
11 Apr 25 i              `* Re: Cantor Diagonal Proof6Keith Thompson
11 Apr 25 i               `* Re: Cantor Diagonal Proof5wij
11 Apr 25 i                +* Re: Cantor Diagonal Proof2wij
11 Apr 25 i                i`- Re: Cantor Diagonal Proof1Richard Heathfield
11 Apr 25 i                +- Re: Cantor Diagonal Proof1Keith Thompson
12 Apr 25 i                `- Re: Cantor Diagonal Proof1Richard Heathfield
8 Apr 25 +* Re: Cantor Diagonal Proof10Andy Walker
8 Apr 25 i+* Re: Cantor Diagonal Proof6Keith Thompson
9 Apr 25 ii+* Re: Cantor Diagonal Proof4Alan Mackenzie
9 Apr 25 iii`* Re: Cantor Diagonal Proof3Alan Mackenzie
9 Apr 25 iii `* Re: Cantor Diagonal Proof2Alan Mackenzie
9 Apr 25 iii  `- Re: Cantor Diagonal Proof1Alan Mackenzie
11 Apr 25 ii`- Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)1Lawrence D'Oliveiro
8 Apr 25 i`* Re: Cantor Diagonal Proof3Andy Walker
9 Apr 25 i `* Re: Cantor Diagonal Proof2Richard Damon
14 Apr 25 i  `- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro
11 Apr 25 `- Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)1Lawrence D'Oliveiro
10 Apr 25 o Re: neos Universal Compiler and Tree-sitter1candycanearter07
7 Apr 25 * Re: AI generated code2Muttley
7 Apr 25 `- Re: AI generated code1yeti
15 Mar 25 * Re: neos Universal Compiler35Mikko
16 Mar 25 +* Re: neos Universal Compiler28Mikko
17 Mar 25 i`* Re: neos Universal Compiler27Mikko
18 Mar 25 i `* Re: neos Universal Compiler26Mikko
18 Mar 25 i  +* Re: neos Universal Compiler4Richard Heathfield
18 Mar 25 i  i`* Re: neos Universal Compiler3Richard Heathfield
18 Mar 25 i  i `* Re: neos Universal Compiler2Richard Heathfield
18 Mar 25 i  i  `- Re: neos Universal Compiler1Richard Heathfield
18 Mar 25 i  +- Re: neos Universal Compiler1Andy Walker
19 Mar 25 i  `* Re: neos Universal Compiler20Mikko
19 Mar 25 i   +* Re: neos Universal Compiler4Alan Mackenzie
19 Mar 25 i   i`* Re: neos Universal Compiler3Mikko
20 Mar 25 i   i `* Re: neos Universal Compiler2Alan Mackenzie
20 Mar 25 i   i  `- Re: neos Universal Compiler1Mikko
19 Mar 25 i   `* Re: neos Universal Compiler15Mikko
28 Mar 25 i    `* Re: neos Universal Compiler and FORTRAN IV14Mikko
28 Mar 25 i     +* Re: neos Universal Compiler and FORTRAN IV5Jeff Barnett
29 Mar 25 i     i`* Re: neos Universal Compiler and FORTRAN IV4Jeff Barnett
29 Mar 25 i     i `* Re: neos Universal Compiler and FORTRAN IV3Jeff Barnett
29 Mar 25 i     i  `* Re: neos Universal Compiler and FORTRAN IV2Jeff Barnett
30 Mar 25 i     i   `- Re: neos Universal Compiler and FORTRAN IV1Richard Heathfield
29 Mar 25 i     `* Re: neos Universal Compiler and FORTRAN IV8Mikko
29 Mar 25 i      `* Re: neos Universal Compiler and FORTRAN IV7Richard Heathfield
29 Mar 25 i       +- Re: neos Universal Compiler and FORTRAN IV1Richard Heathfield
30 Mar 25 i       +* Re: neos Universal Compiler and FORTRAN IV3Mikko
30 Mar 25 i       i`* Re: neos Universal Compiler and FORTRAN IV2Richard Heathfield
31 Mar 25 i       i `- Re: neos Universal Compiler and FORTRAN IV1Mikko
30 Mar 25 i       `* Re: neos Universal Compiler and FORTRAN IV2Mikko
31 Mar 25 i        `- Re: neos Universal Compiler and FORTRAN IV1Mikko
16 Mar 25 +* Re: neos Universal Compiler2Richard Heathfield
17 Mar 25 i`- Re: neos Universal Compiler1Mikko
30 Mar 25 `* Re: neos Universal Compiler4Keith Thompson
30 Mar 25  +- Re: neos Universal Compiler1joes
30 Mar 25  `* Re: neos Universal Compiler2Mikko
31 Mar 25   `- Re: neos Universal Compiler1Mikko
31 Mar 25 o Updated P!=NP proof1wij
25 Mar 25 * Turing computable functions39olcott
25 Mar 25 +* Re: Turing computable functions13dbush
25 Mar 25 i`* Re: Turing computable functions12olcott
25 Mar 25 i +* Re: Turing computable functions10dbush
25 Mar 25 i i`* Re: Turing computable functions9olcott
25 Mar 25 i i +* Re: Turing computable functions4dbush
25 Mar 25 i i i`* Re: Turing computable functions3olcott
25 Mar 25 i i i +- Re: Turing computable functions1Richard Damon
26 Mar 25 i i i `- Re: Turing computable functions1joes
25 Mar 25 i i +* Re: Turing computable functions3joes
25 Mar 25 i i i`* Re: Turing computable functions2olcott
25 Mar 25 i i i `- Re: Turing computable functions1Richard Damon
25 Mar 25 i i `- Re: Turing computable functions1Richard Damon
25 Mar 25 i `- Re: Turing computable functions1Richard Damon
25 Mar 25 +* Re: Turing computable functions11joes
25 Mar 25 i`* Re: Turing computable functions --- EEE(III)10olcott
25 Mar 25 i +* Re: Turing computable functions --- EEE(III)8Richard Damon
26 Mar 25 i i`* Re: Turing computable functions --- EEE(III)7olcott
26 Mar 25 i i +* Re: Turing computable functions --- EEE(III)3joes
26 Mar 25 i i i`* Re: Turing computable functions --- EEE(III)2olcott
27 Mar 25 i i i `- Re: Turing computable functions --- EEE(III)1Richard Damon
26 Mar 25 i i `* Re: Turing computable functions --- EEE(III)3Richard Damon
26 Mar 25 i i  `* Re: Turing computable functions --- EEE(III)2olcott
27 Mar 25 i i   `- Re: Turing computable functions --- EEE(III)1Richard Damon
26 Mar 25 i `- Re: Turing computable functions --- EEE(III)1Fred. Zwarts
25 Mar 25 +- Re: Turing computable functions1Richard Damon
26 Mar 25 +* Re: Turing computable functions12Mikko
26 Mar 25 i`* Re: Turing computable functions11olcott
27 Mar 25 i +- Re: Turing computable functions1Richard Damon
27 Mar 25 i +* Re: Turing computable functions3Mikko
27 Mar 25 i i`* Re: Turing computable functions2olcott
28 Mar 25 i i `- Re: Turing computable functions1Mikko
27 Mar 25 i `* Re: Turing computable functions6Fred. Zwarts
27 Mar 25 i  `* Re: Turing computable functions5olcott
27 Mar 25 i   +* Re: Turing computable functions3Fred. Zwarts
28 Mar 25 i   i`* Re: Turing computable functions2olcott
28 Mar 25 i   i `- Re: Turing computable functions1Richard Damon
28 Mar 25 i   `- Re: Turing computable functions1Richard Damon
26 Mar 25 `- Re: Turing computable functions1Fred. Zwarts
24 Mar 25 * Correcting the definition of the halting problem --- Computable functions75olcott
24 Mar 25 +* Re: Correcting the definition of the halting problem --- Computable functions69dbush
24 Mar 25 i`* Re: Correcting the definition of the halting problem --- Computable functions68olcott
24 Mar 25 i +* Re: Correcting the definition of the halting problem --- Computable functions3dbush
24 Mar 25 i i`* Re: Correcting the definition of the halting problem --- Computable functions2olcott
25 Mar 25 i i `- Re: Correcting the definition of the halting problem --- Computable functions1joes
24 Mar 25 i +* Re: Correcting the definition of the halting problem --- Computable functions62André G. Isaak
24 Mar 25 i i`* Re: Correcting the definition of the halting problem --- Computable functions61olcott
24 Mar 25 i i +* Re: Correcting the definition of the halting problem --- Computable functions57André G. Isaak
25 Mar 25 i i i+* Re: Correcting the definition of the halting problem --- Computable functions55olcott
25 Mar 25 i i ii+* Re: Correcting the definition of the halting problem --- Computable functions41André G. Isaak
25 Mar 25 i i iii`* Re: Correcting the definition of the halting problem --- Computable functions40olcott
25 Mar 25 i i iii `* Re: Correcting the definition of the halting problem --- Computable functions39André G. Isaak
25 Mar 25 i i iii  `* Re: Correcting the definition of the halting problem --- Computable functions38olcott
25 Mar 25 i i iii   +* Re: Correcting the definition of the halting problem --- Computable functions36André G. Isaak
25 Mar 25 i i iii   i`* Re: Correcting the definition of the halting problem --- Computable functions35olcott
25 Mar 25 i i iii   i +* Re: Correcting the definition of the halting problem --- Computable functions33dbush
25 Mar 25 i i iii   i i`* Re: Correcting the definition of the halting problem --- Computable functions32olcott
25 Mar 25 i i iii   i i +* Re: Correcting the definition of the halting problem --- Computable functions6joes
25 Mar 25 i i iii   i i i`* Re: Correcting the definition of the halting problem --- Computable functions5olcott
25 Mar 25 i i iii   i i i +* Re: Correcting the definition of the halting problem --- Computable functions3dbush
25 Mar 25 i i iii   i i i i`* Re: Correcting the definition of the halting problem --- Computable functions2olcott
26 Mar 25 i i iii   i i i i `- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
26 Mar 25 i i iii   i i i `- Re: Correcting the definition of the halting problem --- Computable functions1Mikko
25 Mar 25 i i iii   i i +* Re: Correcting the definition of the halting problem --- Computable functions5Mikko
25 Mar 25 i i iii   i i i`* Re: Correcting the definition of the halting problem --- Computable functions4olcott
26 Mar 25 i i iii   i i i +- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
26 Mar 25 i i iii   i i i +- Re: Correcting the definition of the halting problem --- Computable functions1Mikko
26 Mar 25 i i iii   i i i `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
25 Mar 25 i i iii   i i +- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
25 Mar 25 i i iii   i i `* Re: Correcting the definition of the halting problem --- Computable functions19dbush
25 Mar 25 i i iii   i i  `* Re: Correcting the definition of the halting problem --- Computable functions18olcott
25 Mar 25 i i iii   i i   `* Re: Correcting the definition of the halting problem --- Computable functions17dbush
25 Mar 25 i i iii   i i    `* Re: Correcting the definition of the halting problem --- Computable functions16olcott
25 Mar 25 i i iii   i i     +* Re: Correcting the definition of the halting problem --- Computable functions14dbush
25 Mar 25 i i iii   i i     i`* Re: Correcting the definition of the halting problem --- Computable functions13olcott
25 Mar 25 i i iii   i i     i `* Re: Correcting the definition of the halting problem --- Computable functions12dbush
25 Mar 25 i i iii   i i     i  `* Re: Correcting the definition of the halting problem --- Computable functions11olcott
25 Mar 25 i i iii   i i     i   +* Re: Correcting the definition of the halting problem --- Computable functions9dbush
25 Mar 25 i i iii   i i     i   i`* Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)8olcott
25 Mar 25 i i iii   i i     i   i `* Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)7dbush
25 Mar 25 i i iii   i i     i   i  `* Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)6olcott
25 Mar 25 i i iii   i i     i   i   `* Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)5dbush
25 Mar 25 i i iii   i i     i   i    `* Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)4olcott
25 Mar 25 i i iii   i i     i   i     +- Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)1dbush
25 Mar 25 i i iii   i i     i   i     +- Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)1joes
26 Mar 25 i i iii   i i     i   i     `- Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)1Fred. Zwarts
26 Mar 25 i i iii   i i     i   `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
26 Mar 25 i i iii   i i     `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
25 Mar 25 i i iii   i `- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
25 Mar 25 i i iii   `- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
25 Mar 25 i i ii+* Re: Correcting the definition of the halting problem --- Computable functions10joes
25 Mar 25 i i iii+* Re: Correcting the definition of the halting problem --- Computable functions6olcott
25 Mar 25 i i iiii+* Re: Correcting the definition of the halting problem --- Computable functions4joes
25 Mar 25 i i iiiii`* Re: Correcting the definition of the halting problem --- Computable functions3olcott
26 Mar 25 i i iiiii +- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
26 Mar 25 i i iiiii `- Re: Correcting the definition of the halting problem --- Computable functions1joes
26 Mar 25 i i iiii`- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
25 Mar 25 i i iii`* Re: Correcting the definition of the halting problem --- Computable functions3olcott
26 Mar 25 i i iii +- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
26 Mar 25 i i iii `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
25 Mar 25 i i ii`* Re: Correcting the definition of the halting problem --- Computable functions3Fred. Zwarts
25 Mar 25 i i ii `* Re: Correcting the definition of the halting problem --- Computable functions2olcott
26 Mar 25 i i ii  `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
25 Mar 25 i i i`- Re: Correcting the definition of the halting problem --- Computable functions1Mikko
25 Mar 25 i i `* Re: Correcting the definition of the halting problem --- Computable functions3joes
25 Mar 25 i i  `* Re: Correcting the definition of the halting problem --- Computable functions2olcott
26 Mar 25 i i   `- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
25 Mar 25 i +- Re: Correcting the definition of the halting problem --- Computable functions1Mikko
25 Mar 25 i `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
25 Mar 25 +- Re: Correcting the definition of the halting problem --- Computable functions1Richard Damon
25 Mar 25 `* Re: Correcting the definition of the halting problem --- Computable functions4Mikko
25 Mar 25  `* Re: Correcting the definition of the halting problem --- Computable functions3olcott
26 Mar 25   +- Re: Correcting the definition of the halting problem --- Computable functions1Mikko
26 Mar 25   `- Re: Correcting the definition of the halting problem --- Computable functions1Fred. Zwarts
23 Mar 25 * Halt Deciders must be computable functions --- dbush was always wrong14olcott
24 Mar 25 +* Re: Halt Deciders must be computable functions --- dbush was always wrong6joes
24 Mar 25 i`* Re: Halt Deciders must be computable functions --- dbush was always wrong5olcott
24 Mar 25 i `* Re: Halt Deciders must be computable functions --- dbush was always wrong4Richard Damon
24 Mar 25 i  `* Re: Halt Deciders must be computable functions --- dbush was always wrong3olcott
24 Mar 25 i   +- Re: Halt Deciders must be computable functions --- dbush was always wrong1joes
25 Mar 25 i   `- Re: Halt Deciders must be computable functions --- dbush was always wrong1Richard Damon
24 Mar 25 `* Re: Halt Deciders must be computable functions --- dbush was always wrong7Mikko
24 Mar 25  `* Re: Halt Deciders must be computable functions --- dbush was always wrong6olcott
25 Mar 25   +- Re: Halt Deciders must be computable functions --- dbush was always wrong1Richard Damon
25 Mar 25   `* Re: Halt Deciders must be computable functions --- dbush was always wrong4Mikko
25 Mar 25    `* Re: Halt Deciders must be computable functions --- dbush was always wrong3olcott
26 Mar 25     +- Re: Halt Deciders must be computable functions --- dbush was always wrong1Richard Damon
26 Mar 25     `- Re: Halt Deciders must be computable functions --- dbush was always wrong1Mikko
17 Mar 25 * Why Tarski is wrong79olcott
17 Mar 25 +* Re: Why Tarski is wrong74Richard Damon
17 Mar 25 i`* Re: Why Tarski is wrong73olcott
18 Mar 25 i +- Re: Why Tarski is wrong1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal