comp.theory
Liste des Groupes
Pages :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
Date
Sujet
#
Auteur
5 Apr 25
Re: Cantor Diagonal Proof
1
Andy Walker
5 Apr 25
Re: Cantor Diagonal Proof
6
Lawrence D'Oliveiro
5 Apr 25
Re: Cantor Diagonal Proof
5
Andy Walker
6 Apr 25
Re: Cantor Diagonal Proof
4
Lawrence D'Oliveiro
6 Apr 25
Re: Cantor Diagonal Proof
3
Andy Walker
6 Apr 25
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr 25
Re: Cantor Diagonal Proof
1
Julio Di Egidio
5 Apr 25
Re: Cantor Diagonal Proof --- PLO
6
olcott
5 Apr 25
Re: Cantor Diagonal Proof --- PLO
5
Lawrence D'Oliveiro
5 Apr 25
Re: Cantor Diagonal Proof --- PLO
1
olcott
5 Apr 25
Re: Cantor Diagonal Proof --- PLO
3
Keith Thompson
6 Apr 25
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
6 Apr 25
Re: Cantor Diagonal Proof --- PLO
1
wij
13 Apr 25
Re: Cantor Diagonal Proof
14
Lawrence D'Oliveiro
14 Apr 25
Re: Cantor Diagonal Proof
13
Richard Damon
14 Apr 25
Re: Cantor Diagonal Proof
12
Lawrence D'Oliveiro
15 Apr 25
Re: Cantor Diagonal Proof
11
Richard Damon
15 Apr 25
Re: Cantor Diagonal Proof
10
Lawrence D'Oliveiro
15 Apr 25
Re: Cantor Diagonal Proof
1
Richard Heathfield
15 Apr 25
Re: Cantor Diagonal Proof
1
Richard Damon
15 Apr 25
Re: Cantor Diagonal Proof
7
Mike Terry
18 Apr 25
Re: Cantor Diagonal Proof
6
Lawrence D'Oliveiro
18 Apr 25
Re: Cantor Diagonal Proof
1
Keith Thompson
18 Apr 25
Re: Cantor Diagonal Proof
1
Richard Damon
18 Apr 25
Re: Cantor Diagonal Proof
2
Mike Terry
18 Apr 25
Re: Cantor Diagonal Proof
1
Andy Walker
19 Apr 25
Re: Cantor Diagonal Proof
1
Mikko
15 Apr 25
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
18 Apr 25
Re: Unpartial Halt Deciders
2
Richard Damon
18 Apr 25
Re: Unpartial Halt Deciders
1
Richard Damon
17 Apr 25
Only C programmers tell the truth about the behavior of DD simulated by HHH
2
olcott
17 Apr 25
Re: Only C programmers tell the truth about the behavior of DD simulated by HHH
1
olcott
14 Apr 25
Do you trust Cantor's set/infinity theory?
2
wij
14 Apr 25
Re: Do you trust Cantor's set/infinity theory?
1
wij
8 Apr 25
Re: Cantor Diagonal Proof
45
Andy Walker
8 Apr 25
Re: Cantor Diagonal Proof
33
Richard Heathfield
8 Apr 25
Re: Cantor Diagonal Proof
32
Andy Walker
8 Apr 25
Re: Cantor Diagonal Proof
2
Richard Heathfield
8 Apr 25
Re: Cantor Diagonal Proof
1
Andy Walker
8 Apr 25
Re: Cantor Diagonal Proof
2
Fred. Zwarts
9 Apr 25
Re: Cantor Diagonal Proof
1
Richard Damon
9 Apr 25
Re: Cantor Diagonal Proof
27
wij
9 Apr 25
Re: Cantor Diagonal Proof
26
Richard Heathfield
9 Apr 25
Re: Cantor Diagonal Proof
25
wij
9 Apr 25
Re: Cantor Diagonal Proof
24
Richard Heathfield
9 Apr 25
Re: Cantor Diagonal Proof
23
wij
9 Apr 25
Re: Cantor Diagonal Proof
22
Richard Heathfield
9 Apr 25
Re: Cantor Diagonal Proof
21
wij
9 Apr 25
Re: Cantor Diagonal Proof
20
Richard Heathfield
9 Apr 25
Re: Cantor Diagonal Proof
19
wij
9 Apr 25
Re: Cantor Diagonal Proof
18
Richard Heathfield
10 Apr 25
Re: Cantor Diagonal Proof
17
wij
11 Apr 25
Re: Cantor Diagonal Proof
16
Keith Thompson
11 Apr 25
Re: Cantor Diagonal Proof
15
wij
11 Apr 25
Re: Cantor Diagonal Proof
8
Alan Mackenzie
11 Apr 25
Re: Cantor Diagonal Proof
7
wij
11 Apr 25
Re: Cantor Diagonal Proof
6
Richard Damon
11 Apr 25
Re: Cantor Diagonal Proof
5
wij
11 Apr 25
Re: Cantor Diagonal Proof
1
Richard Heathfield
11 Apr 25
Re: Cantor Diagonal Proof
3
Richard Damon
11 Apr 25
Re: Cantor Diagonal Proof
2
wij
11 Apr 25
Re: Cantor Diagonal Proof
1
Richard Damon
11 Apr 25
Re: Cantor Diagonal Proof
6
Keith Thompson
11 Apr 25
Re: Cantor Diagonal Proof
5
wij
11 Apr 25
Re: Cantor Diagonal Proof
2
wij
11 Apr 25
Re: Cantor Diagonal Proof
1
Richard Heathfield
11 Apr 25
Re: Cantor Diagonal Proof
1
Keith Thompson
12 Apr 25
Re: Cantor Diagonal Proof
1
Richard Heathfield
8 Apr 25
Re: Cantor Diagonal Proof
10
Andy Walker
8 Apr 25
Re: Cantor Diagonal Proof
6
Keith Thompson
9 Apr 25
Re: Cantor Diagonal Proof
4
Alan Mackenzie
9 Apr 25
Re: Cantor Diagonal Proof
3
Alan Mackenzie
9 Apr 25
Re: Cantor Diagonal Proof
2
Alan Mackenzie
9 Apr 25
Re: Cantor Diagonal Proof
1
Alan Mackenzie
11 Apr 25
Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)
1
Lawrence D'Oliveiro
8 Apr 25
Re: Cantor Diagonal Proof
3
Andy Walker
9 Apr 25
Re: Cantor Diagonal Proof
2
Richard Damon
14 Apr 25
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
11 Apr 25
Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)
1
Lawrence D'Oliveiro
10 Apr 25
Re: neos Universal Compiler and Tree-sitter
1
candycanearter07
7 Apr 25
Re: AI generated code
2
Muttley
7 Apr 25
Re: AI generated code
1
yeti
15 Mar 25
Re: neos Universal Compiler
35
Mikko
16 Mar 25
Re: neos Universal Compiler
28
Mikko
17 Mar 25
Re: neos Universal Compiler
27
Mikko
18 Mar 25
Re: neos Universal Compiler
26
Mikko
18 Mar 25
Re: neos Universal Compiler
4
Richard Heathfield
18 Mar 25
Re: neos Universal Compiler
3
Richard Heathfield
18 Mar 25
Re: neos Universal Compiler
2
Richard Heathfield
18 Mar 25
Re: neos Universal Compiler
1
Richard Heathfield
18 Mar 25
Re: neos Universal Compiler
1
Andy Walker
19 Mar 25
Re: neos Universal Compiler
20
Mikko
19 Mar 25
Re: neos Universal Compiler
4
Alan Mackenzie
19 Mar 25
Re: neos Universal Compiler
3
Mikko
20 Mar 25
Re: neos Universal Compiler
2
Alan Mackenzie
20 Mar 25
Re: neos Universal Compiler
1
Mikko
19 Mar 25
Re: neos Universal Compiler
15
Mikko
28 Mar 25
Re: neos Universal Compiler and FORTRAN IV
14
Mikko
28 Mar 25
Re: neos Universal Compiler and FORTRAN IV
5
Jeff Barnett
29 Mar 25
Re: neos Universal Compiler and FORTRAN IV
4
Jeff Barnett
29 Mar 25
Re: neos Universal Compiler and FORTRAN IV
3
Jeff Barnett
29 Mar 25
Re: neos Universal Compiler and FORTRAN IV
2
Jeff Barnett
30 Mar 25
Re: neos Universal Compiler and FORTRAN IV
1
Richard Heathfield
29 Mar 25
Re: neos Universal Compiler and FORTRAN IV
8
Mikko
29 Mar 25
Re: neos Universal Compiler and FORTRAN IV
7
Richard Heathfield
29 Mar 25
Re: neos Universal Compiler and FORTRAN IV
1
Richard Heathfield
30 Mar 25
Re: neos Universal Compiler and FORTRAN IV
3
Mikko
30 Mar 25
Re: neos Universal Compiler and FORTRAN IV
2
Richard Heathfield
31 Mar 25
Re: neos Universal Compiler and FORTRAN IV
1
Mikko
30 Mar 25
Re: neos Universal Compiler and FORTRAN IV
2
Mikko
31 Mar 25
Re: neos Universal Compiler and FORTRAN IV
1
Mikko
16 Mar 25
Re: neos Universal Compiler
2
Richard Heathfield
17 Mar 25
Re: neos Universal Compiler
1
Mikko
30 Mar 25
Re: neos Universal Compiler
4
Keith Thompson
30 Mar 25
Re: neos Universal Compiler
1
joes
30 Mar 25
Re: neos Universal Compiler
2
Mikko
31 Mar 25
Re: neos Universal Compiler
1
Mikko
31 Mar 25
Updated P!=NP proof
1
wij
25 Mar 25
Turing computable functions
39
olcott
25 Mar 25
Re: Turing computable functions
13
dbush
25 Mar 25
Re: Turing computable functions
12
olcott
25 Mar 25
Re: Turing computable functions
10
dbush
25 Mar 25
Re: Turing computable functions
9
olcott
25 Mar 25
Re: Turing computable functions
4
dbush
25 Mar 25
Re: Turing computable functions
3
olcott
25 Mar 25
Re: Turing computable functions
1
Richard Damon
26 Mar 25
Re: Turing computable functions
1
joes
25 Mar 25
Re: Turing computable functions
3
joes
25 Mar 25
Re: Turing computable functions
2
olcott
25 Mar 25
Re: Turing computable functions
1
Richard Damon
25 Mar 25
Re: Turing computable functions
1
Richard Damon
25 Mar 25
Re: Turing computable functions
1
Richard Damon
25 Mar 25
Re: Turing computable functions
11
joes
25 Mar 25
Re: Turing computable functions --- EEE(III)
10
olcott
25 Mar 25
Re: Turing computable functions --- EEE(III)
8
Richard Damon
26 Mar 25
Re: Turing computable functions --- EEE(III)
7
olcott
26 Mar 25
Re: Turing computable functions --- EEE(III)
3
joes
26 Mar 25
Re: Turing computable functions --- EEE(III)
2
olcott
27 Mar 25
Re: Turing computable functions --- EEE(III)
1
Richard Damon
26 Mar 25
Re: Turing computable functions --- EEE(III)
3
Richard Damon
26 Mar 25
Re: Turing computable functions --- EEE(III)
2
olcott
27 Mar 25
Re: Turing computable functions --- EEE(III)
1
Richard Damon
26 Mar 25
Re: Turing computable functions --- EEE(III)
1
Fred. Zwarts
25 Mar 25
Re: Turing computable functions
1
Richard Damon
26 Mar 25
Re: Turing computable functions
12
Mikko
26 Mar 25
Re: Turing computable functions
11
olcott
27 Mar 25
Re: Turing computable functions
1
Richard Damon
27 Mar 25
Re: Turing computable functions
3
Mikko
27 Mar 25
Re: Turing computable functions
2
olcott
28 Mar 25
Re: Turing computable functions
1
Mikko
27 Mar 25
Re: Turing computable functions
6
Fred. Zwarts
27 Mar 25
Re: Turing computable functions
5
olcott
27 Mar 25
Re: Turing computable functions
3
Fred. Zwarts
28 Mar 25
Re: Turing computable functions
2
olcott
28 Mar 25
Re: Turing computable functions
1
Richard Damon
28 Mar 25
Re: Turing computable functions
1
Richard Damon
26 Mar 25
Re: Turing computable functions
1
Fred. Zwarts
24 Mar 25
Correcting the definition of the halting problem --- Computable functions
75
olcott
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
69
dbush
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
68
olcott
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
dbush
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
2
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
joes
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
62
André G. Isaak
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
61
olcott
24 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
57
André G. Isaak
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
55
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
41
André G. Isaak
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
40
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
39
André G. Isaak
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
38
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
36
André G. Isaak
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
35
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
33
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
32
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
6
joes
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
5
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
2
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Mikko
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
5
Mikko
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
4
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Mikko
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
19
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
18
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
17
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
16
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
14
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
13
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
12
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
11
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
9
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
8
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
7
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
6
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
5
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
4
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
1
dbush
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
1
joes
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions ---HHH(DD)
1
Fred. Zwarts
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
10
joes
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
6
olcott
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
4
joes
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
joes
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
Fred. Zwarts
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
2
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Mikko
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
joes
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
2
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Mikko
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Richard Damon
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
4
Mikko
25 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
3
olcott
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Mikko
26 Mar 25
Re: Correcting the definition of the halting problem --- Computable functions
1
Fred. Zwarts
23 Mar 25
Halt Deciders must be computable functions --- dbush was always wrong
14
olcott
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
6
joes
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
5
olcott
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
4
Richard Damon
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
3
olcott
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
1
joes
25 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
1
Richard Damon
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
7
Mikko
24 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
6
olcott
25 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
1
Richard Damon
25 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
4
Mikko
25 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
3
olcott
26 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
1
Richard Damon
26 Mar 25
Re: Halt Deciders must be computable functions --- dbush was always wrong
1
Mikko
17 Mar 25
Why Tarski is wrong
79
olcott
17 Mar 25
Re: Why Tarski is wrong
74
Richard Damon
17 Mar 25
Re: Why Tarski is wrong
73
olcott
18 Mar 25
Re: Why Tarski is wrong
1
Richard Damon
Haut de la page
Les messages affichés proviennent d'
usenet
.
NewsPortal