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
8 Apr
15:57
Re: Cantor Diagonal Proof
26
Andy Walker
8 Apr
16:17
Re: Cantor Diagonal Proof
17
Richard Heathfield
8 Apr
19:44
Re: Cantor Diagonal Proof
16
Andy Walker
8 Apr
20:11
Re: Cantor Diagonal Proof
2
Richard Heathfield
8 Apr
20:38
Re: Cantor Diagonal Proof
1
Andy Walker
8 Apr
20:22
Re: Cantor Diagonal Proof
2
Fred. Zwarts
9 Apr
02:21
Re: Cantor Diagonal Proof
1
Richard Damon
9 Apr
13:25
Re: Cantor Diagonal Proof
11
wij
9 Apr
13:48
Re: Cantor Diagonal Proof
10
Richard Heathfield
9 Apr
15:31
Re: Cantor Diagonal Proof
9
wij
9 Apr
15:48
Re: Cantor Diagonal Proof
8
Richard Heathfield
9 Apr
17:08
Re: Cantor Diagonal Proof
7
wij
9 Apr
17:32
Re: Cantor Diagonal Proof
6
Richard Heathfield
9 Apr
17:45
Re: Cantor Diagonal Proof
5
wij
9 Apr
18:10
Re: Cantor Diagonal Proof
4
Richard Heathfield
9 Apr
18:30
Re: Cantor Diagonal Proof
3
wij
9 Apr
18:52
Re: Cantor Diagonal Proof
2
Richard Heathfield
10 Apr
12:35
Re: Cantor Diagonal Proof
1
wij
8 Apr
20:10
Re: Cantor Diagonal Proof
8
Andy Walker
8 Apr
23:46
Re: Cantor Diagonal Proof
5
Keith Thompson
9 Apr
15:11
Re: Cantor Diagonal Proof
4
Alan Mackenzie
9 Apr
17:17
Re: Cantor Diagonal Proof
3
Alan Mackenzie
9 Apr
17:49
Re: Cantor Diagonal Proof
2
Alan Mackenzie
9 Apr
19:07
Re: Cantor Diagonal Proof
1
Alan Mackenzie
8 Apr
23:59
Re: Cantor Diagonal Proof
2
Andy Walker
9 Apr
02:27
Re: Cantor Diagonal Proof
1
Richard Damon
4 Apr
02:27
DDD simulated by HHH cannot possibly halt (Halting Problem)
52
olcott
4 Apr
02:59
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
6
Richard Damon
4 Apr
03:06
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
5
olcott
4 Apr
04:09
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
3
Richard Damon
5 Apr
07:21
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
2
olcott
5 Apr
13:37
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
4 Apr
09:22
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Mikko
4 Apr
09:09
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Mikko
5 Apr
07:18
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
39
olcott
5 Apr
08:05
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
38
Mikko
5 Apr
17:45
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
37
olcott
6 Apr
11:27
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
36
Mikko
6 Apr
17:12
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
35
olcott
6 Apr
17:25
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
5
Richard Damon
7 Apr
05:28
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
4
olcott
7 Apr
11:51
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
3
Richard Damon
8 Apr
03:40
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
2
olcott
8 Apr
12:14
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
7 Apr
09:16
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
29
Mikko
8 Apr
05:33
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
28
olcott
8 Apr
08:45
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
21
Fred. Zwarts
8 Apr
16:13
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
20
olcott
8 Apr
16:31
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
18
Fred. Zwarts
9 Apr
18:29
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
17
olcott
9 Apr
19:58
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
15
Fred. Zwarts
9 Apr
20:20
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
3
olcott
10 Apr
03:00
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
10 Apr
09:49
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Fred. Zwarts
9 Apr
21:35
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
11
olcott
9 Apr
21:56
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
8
dbush
10 Apr
02:47
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
7
olcott
10 Apr
03:04
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
10 Apr
03:11
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
4
dbush
10 Apr
04:54
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
3
olcott
10 Apr
05:05
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
dbush
10 Apr
11:57
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
10 Apr
09:55
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Fred. Zwarts
10 Apr
08:56
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Mikko
10 Apr
09:52
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Fred. Zwarts
10 Apr
03:00
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
9 Apr
02:00
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
8 Apr
08:51
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
5
Mikko
8 Apr
16:17
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
4
olcott
8 Apr
23:53
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
3
Richard Damon
9 Apr
19:59
DD simulated by HHH cannot possibly halt (Halting Problem)
2
olcott
10 Apr
03:00
Re: DD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
8 Apr
12:16
Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
1
Richard Damon
5 Apr
21:51
Proving the: Simulating termination analyzer Principle
5
olcott
5 Apr
22:26
Re: Proving the: Simulating termination analyzer Principle
1
dbush
5 Apr
23:11
Re: Proving the: Simulating termination analyzer Principle
3
Richard Damon
6 Apr
02:15
Re: Proving the: Simulating termination analyzer Principle
2
olcott
6 Apr
03:37
Re: Proving the: Simulating termination analyzer Principle
1
Richard Damon
3 Apr
23:18
Cantor Diagonal Proof
163
Lawrence D'Oliveiro
3 Apr
23:50
Re: Cantor Diagonal Proof
2
Richard Damon
4 Apr
03:31
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
4 Apr
00:49
Re: Cantor Diagonal Proof
6
Richard Heathfield
4 Apr
03:30
Re: Cantor Diagonal Proof
5
Lawrence D'Oliveiro
4 Apr
04:47
Re: Cantor Diagonal Proof
4
Richard Heathfield
4 Apr
05:24
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
4 Apr
05:48
Re: Cantor Diagonal Proof
2
Richard Heathfield
4 Apr
05:59
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
4 Apr
02:41
Re: Cantor Diagonal Proof
109
Mike Terry
4 Apr
03:29
Re: Cantor Diagonal Proof
106
Lawrence D'Oliveiro
4 Apr
04:15
Re: Cantor Diagonal Proof
105
Mike Terry
4 Apr
04:35
Re: Cantor Diagonal Proof
96
Richard Heathfield
4 Apr
05:24
Re: Cantor Diagonal Proof
95
Lawrence D'Oliveiro
4 Apr
05:46
Re: Cantor Diagonal Proof
94
Richard Heathfield
4 Apr
06:00
Re: Cantor Diagonal Proof
93
Lawrence D'Oliveiro
4 Apr
06:16
Re: Cantor Diagonal Proof
92
Richard Heathfield
4 Apr
07:15
Re: Cantor Diagonal Proof
91
Lawrence D'Oliveiro
4 Apr
07:24
Re: Cantor Diagonal Proof
90
Richard Heathfield
4 Apr
08:21
Re: Cantor Diagonal Proof
89
Lawrence D'Oliveiro
4 Apr
08:41
Re: Cantor Diagonal Proof
88
Richard Heathfield
4 Apr
09:05
Re: Cantor Diagonal Proof
87
Lawrence D'Oliveiro
4 Apr
09:16
Re: Cantor Diagonal Proof
86
Richard Heathfield
5 Apr
08:38
Re: Cantor Diagonal Proof
85
Lawrence D'Oliveiro
5 Apr
09:07
Re: Cantor Diagonal Proof
25
Richard Heathfield
6 Apr
06:40
Re: Cantor Diagonal Proof
24
Lawrence D'Oliveiro
6 Apr
07:27
Re: Cantor Diagonal Proof
23
Richard Heathfield
6 Apr
07:43
Re: Cantor Diagonal Proof
22
Lawrence D'Oliveiro
6 Apr
08:05
Re: Cantor Diagonal Proof
3
Richard Heathfield
6 Apr
21:17
Re: Cantor Diagonal Proof
2
Lawrence D'Oliveiro
6 Apr
21:35
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr
08:15
Re: Cantor Diagonal Proof
18
wij
6 Apr
08:36
Re: Cantor Diagonal Proof
5
Richard Heathfield
6 Apr
08:49
Re: Cantor Diagonal Proof
4
wij
6 Apr
09:11
Re: Cantor Diagonal Proof
3
Richard Heathfield
6 Apr
09:23
Re: Cantor Diagonal Proof
2
wij
6 Apr
09:33
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr
11:35
Re: Cantor Diagonal Proof
12
Mikko
6 Apr
11:42
Re: Cantor Diagonal Proof
11
wij
7 Apr
09:28
Re: Cantor Diagonal Proof
10
Mikko
7 Apr
11:31
Re: Cantor Diagonal Proof
9
wij
7 Apr
11:50
Re: Cantor Diagonal Proof
3
Richard Heathfield
7 Apr
15:35
Re: Cantor Diagonal Proof
2
wij
7 Apr
17:11
Re: Cantor Diagonal Proof
1
Richard Heathfield
8 Apr
08:31
Re: Cantor Diagonal Proof
5
Mikko
8 Apr
09:29
Re: Cantor Diagonal Proof
3
Richard Heathfield
8 Apr
15:25
Re: Cantor Diagonal Proof
2
wij
8 Apr
15:54
Re: Cantor Diagonal Proof
1
Richard Heathfield
8 Apr
15:22
Re: Cantor Diagonal Proof
1
wij
5 Apr
11:40
Re: Cantor Diagonal Proof
32
Andy Walker
6 Apr
06:50
Re: Cantor Diagonal Proof
31
Lawrence D'Oliveiro
6 Apr
07:53
Re: Cantor Diagonal Proof
16
Richard Heathfield
6 Apr
23:01
Re: Cantor Diagonal Proof
15
Lawrence D'Oliveiro
6 Apr
23:38
Re: Cantor Diagonal Proof
14
Richard Heathfield
7 Apr
08:33
Re: Cantor Diagonal Proof
13
Lawrence D'Oliveiro
7 Apr
09:21
Re: Cantor Diagonal Proof
12
Richard Heathfield
7 Apr
22:24
Re: Cantor Diagonal Proof
9
Keith Thompson
7 Apr
23:32
Re: Cantor Diagonal Proof
8
Richard Heathfield
8 Apr
00:17
Re: Cantor Diagonal Proof
7
Keith Thompson
8 Apr
01:12
Re: Cantor Diagonal Proof
1
Richard Heathfield
8 Apr
01:48
Re: Cantor Diagonal Proof
5
Richard Damon
10 Apr
01:50
Re: Cantor Diagonal Proof
4
Lawrence D'Oliveiro
10 Apr
02:45
Re: Cantor Diagonal Proof
1
Richard Heathfield
10 Apr
03:00
Re: Cantor Diagonal Proof
1
Richard Damon
10 Apr
08:37
Re: Cantor Diagonal Proof
1
Mikko
10 Apr
01:47
Re: Cantor Diagonal Proof
2
Lawrence D'Oliveiro
10 Apr
02:39
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr
17:22
Re: Cantor Diagonal Proof
14
Andy Walker
6 Apr
21:18
Re: Cantor Diagonal Proof
13
Lawrence D'Oliveiro
6 Apr
21:42
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr
22:39
Re: Cantor Diagonal Proof
11
Jeff Barnett
7 Apr
08:29
Re: Cantor Diagonal Proof
10
Lawrence D'Oliveiro
7 Apr
09:10
Re: Cantor Diagonal Proof
9
Jeff Barnett
7 Apr
22:42
Re: Cantor Diagonal Proof
8
Lawrence D'Oliveiro
7 Apr
23:24
Re: Cantor Diagonal Proof
6
Richard Damon
8 Apr
22:02
Re: Cantor Diagonal Proof
5
Lawrence D'Oliveiro
8 Apr
23:57
Re: Cantor Diagonal Proof
4
Richard Damon
10 Apr
01:41
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
10 Apr
01:51
Re: Cantor Diagonal Proof
1
Richard Heathfield
10 Apr
03:00
Re: Cantor Diagonal Proof
1
Richard Damon
7 Apr
23:45
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr
11:29
Re: Cantor Diagonal Proof
27
Mikko
6 Apr
11:52
Re: Cantor Diagonal Proof
26
Richard Heathfield
6 Apr
17:24
Re: Cantor Diagonal Proof
22
Mike Terry
6 Apr
18:04
Re: Cantor Diagonal Proof
18
Richard Heathfield
6 Apr
19:37
Re: Cantor Diagonal Proof
3
Mike Terry
6 Apr
20:05
Re: Cantor Diagonal Proof
1
Richard Heathfield
7 Apr
08:34
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
6 Apr
22:39
Re: Cantor Diagonal Proof
14
Richard Damon
6 Apr
23:04
Re: Cantor Diagonal Proof
1
Richard Heathfield
7 Apr
08:36
Re: Cantor Diagonal Proof
4
Lawrence D'Oliveiro
7 Apr
11:47
Re: Cantor Diagonal Proof
3
Richard Damon
8 Apr
22:05
Re: Cantor Diagonal Proof
2
Lawrence D'Oliveiro
8 Apr
23:59
Re: Cantor Diagonal Proof
1
Richard Damon
9 Apr
00:48
Re: Cantor Diagonal Proof
8
Keith Thompson
9 Apr
02:16
Re: Cantor Diagonal Proof
1
Richard Damon
9 Apr
09:09
Re: Cantor Diagonal Proof
1
Mikko
9 Apr
09:25
Re: Cantor Diagonal Proof
1
Richard Heathfield
9 Apr
18:49
Re: Cantor Diagonal Proof
3
Mike Terry
9 Apr
23:51
Re: Cantor Diagonal Proof
1
Keith Thompson
10 Apr
02:06
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
10 Apr
01:58
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
6 Apr
21:25
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
6 Apr
21:50
Re: Cantor Diagonal Proof
1
Richard Heathfield
7 Apr
01:55
Re: Cantor Diagonal Proof
1
Mike Terry
7 Apr
09:34
Re: Cantor Diagonal Proof
3
Mikko
7 Apr
10:11
Re: Cantor Diagonal Proof
2
Richard Heathfield
8 Apr
08:46
Re: Cantor Diagonal Proof
1
Mikko
4 Apr
05:22
Re: Cantor Diagonal Proof
8
Lawrence D'Oliveiro
4 Apr
17:02
Re: Cantor Diagonal Proof
7
Mike Terry
4 Apr
20:11
Re: Cantor Diagonal Proof
6
Lawrence D'Oliveiro
5 Apr
04:26
Re: Cantor Diagonal Proof
5
Mike Terry
5 Apr
08:24
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
5 Apr
08:25
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
6 Apr
04:08
Re: Cantor Diagonal Proof
2
Mike Terry
6 Apr
06:52
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
4 Apr
06:37
Re: Cantor Diagonal Proof
2
wij
4 Apr
07:16
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
4 Apr
09:00
Re: Cantor Diagonal Proof
19
Mikko
4 Apr
09:03
Re: Cantor Diagonal Proof
18
Lawrence D'Oliveiro
4 Apr
09:20
Re: Cantor Diagonal Proof
17
Mikko
4 Apr
20:13
Re: Cantor Diagonal Proof
16
Lawrence D'Oliveiro
4 Apr
20:53
Re: Cantor Diagonal Proof
6
Richard Heathfield
4 Apr
22:52
Re: Cantor Diagonal Proof
5
Lawrence D'Oliveiro
5 Apr
00:04
Re: Cantor Diagonal Proof
4
Richard Heathfield
5 Apr
03:19
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
5 Apr
04:59
Re: Cantor Diagonal Proof
2
Richard Heathfield
6 Apr
07:40
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
5 Apr
08:10
Re: Cantor Diagonal Proof
9
Mikko
5 Apr
08:26
Re: Cantor Diagonal Proof
8
Lawrence D'Oliveiro
6 Apr
11:42
Re: Cantor Diagonal Proof
7
Mikko
7 Apr
08:36
Re: Cantor Diagonal Proof
6
Lawrence D'Oliveiro
7 Apr
09:40
Re: Cantor Diagonal Proof
4
Mikko
10 Apr
01:52
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
10 Apr
02:48
Re: Cantor Diagonal Proof
1
Richard Heathfield
10 Apr
08:51
Re: Cantor Diagonal Proof
1
Mikko
7 Apr
11:51
Re: Cantor Diagonal Proof
1
Richard Damon
4 Apr
12:47
Re: Cantor Diagonal Proof
20
Julio Di Egidio
4 Apr
22:49
Re: Cantor Diagonal Proof
8
Lawrence D'Oliveiro
5 Apr
11:36
Re: Cantor Diagonal Proof
7
Julio Di Egidio
6 Apr
06:52
Re: Cantor Diagonal Proof
3
Lawrence D'Oliveiro
6 Apr
09:11
Re: Cantor Diagonal Proof
2
Julio Di Egidio
6 Apr
09:34
Re: Cantor Diagonal Proof
1
Julio Di Egidio
7 Apr
16:16
Re: Cantor Diagonal Proof
3
Julio Di Egidio
8 Apr
14:14
Re: Cantor Diagonal Proof
2
Julio Di Egidio
9 Apr
14:15
Re: Cantor Diagonal Proof
1
Julio Di Egidio
5 Apr
00:09
Re: Cantor Diagonal Proof
11
Andy Walker
5 Apr
03:20
Re: Cantor Diagonal Proof
10
Lawrence D'Oliveiro
5 Apr
11:05
Re: Cantor Diagonal Proof
9
Andy Walker
5 Apr
11:27
Re: Cantor Diagonal Proof
2
Richard Heathfield
5 Apr
11:43
Re: Cantor Diagonal Proof
1
Andy Walker
5 Apr
21:39
Re: Cantor Diagonal Proof
6
Lawrence D'Oliveiro
5 Apr
23:10
Re: Cantor Diagonal Proof
5
Andy Walker
6 Apr
07:41
Re: Cantor Diagonal Proof
4
Lawrence D'Oliveiro
6 Apr
17:33
Re: Cantor Diagonal Proof
3
Andy Walker
6 Apr
18:13
Re: Cantor Diagonal Proof
1
Richard Heathfield
6 Apr
18:35
Re: Cantor Diagonal Proof
1
Julio Di Egidio
5 Apr
07:27
Re: Cantor Diagonal Proof --- PLO
6
olcott
5 Apr
08:36
Re: Cantor Diagonal Proof --- PLO
5
Lawrence D'Oliveiro
5 Apr
17:31
Re: Cantor Diagonal Proof --- PLO
1
olcott
5 Apr
22:40
Re: Cantor Diagonal Proof --- PLO
3
Keith Thompson
6 Apr
06:54
Re: Cantor Diagonal Proof
1
Lawrence D'Oliveiro
6 Apr
08:00
Re: Cantor Diagonal Proof --- PLO
1
wij
10 Apr
00:30
Re: neos Universal Compiler and Tree-sitter
1
candycanearter07
7 Apr
09:29
Re: AI generated code
2
Muttley
7 Apr
09:41
Re: AI generated code
1
yeti
20 Mar 25
DDD correctly emulated by HHH --- Correct Emulation Defined
496
olcott
20 Mar 25
Re: DDD correctly emulated by HHH --- Correct Emulation Defined
457
Mikko
20 Mar 25
Re: DDD correctly emulated by HHH --- Correct Emulation Defined
456
olcott
21 Mar 25
Re: DDD correctly emulated by HHH --- Correct Emulation Defined
448
Richard Damon
21 Mar 25
Re: DDD correctly emulated by HHH --- Correct Emulation Defined
447
olcott
21 Mar 25
Re: DDD correctly emulated by HHH --- Correct Emulation Defined
443
Mikko
Haut de la page
Les messages affichés proviennent d'
usenet
.
NewsPortal