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
23 May
18:23
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
7
olcott
23 May
18:54
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
5
Fred. Zwarts
23 May
19:18
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
4
olcott
23 May
19:36
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
3
Fred. Zwarts
23 May
19:42
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
olcott
23 May
19:48
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Fred. Zwarts
23 May
20:03
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
22 May
02:35
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
22 May
09:18
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
13
Mikko
22 May
23:35
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
12
olcott
23 May
00:33
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
23 May
07:56
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
10
Mikko
23 May
17:24
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
9
olcott
23 May
18:49
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
8
Fred. Zwarts
23 May
18:54
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
7
olcott
23 May
19:30
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
6
Fred. Zwarts
23 May
19:36
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
5
olcott
23 May
19:47
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
4
Fred. Zwarts
23 May
19:51
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
3
olcott
23 May
20:00
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
Fred. Zwarts
23 May
20:10
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
olcott
20 May
11:53
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
19 May
11:20
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
33
Mikko
20 May
05:24
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
28
olcott
20 May
08:13
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
26
Mikko
20 May
15:42
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
25
olcott
20 May
16:09
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
16
Richard Heathfield
20 May
16:30
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
15
olcott
20 May
16:48
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
14
Richard Heathfield
20 May
17:18
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
13
olcott
20 May
17:44
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
11
Richard Heathfield
20 May
17:46
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
10
olcott
20 May
17:58
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
4
Richard Heathfield
20 May
18:07
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
3
olcott
21 May
03:05
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
22 May
09:55
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Mikko
22 May
09:50
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
5
Mikko
22 May
23:23
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
4
olcott
23 May
00:35
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
23 May
07:58
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
Mikko
23 May
17:37
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
olcott
22 May
09:45
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Mikko
21 May
03:01
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
21 May
10:23
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
6
Mikko
21 May
10:28
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
5
Richard Heathfield
21 May
17:00
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
3
olcott
21 May
20:25
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
Fred. Zwarts
21 May
20:36
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
olcott
22 May
09:59
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Mikko
22 May
09:33
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Mikko
20 May
12:06
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
22 May
23:28
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
4
olcott
23 May
00:39
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
23 May
08:01
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
Mikko
23 May
17:47
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
olcott
18 May
19:36
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
6
olcott
18 May
20:35
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
5
Richard Damon
18 May
20:43
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
olcott
18 May
20:51
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
18 May
20:48
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
2
olcott
18 May
21:00
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
22 May
19:31
Re: Analysis of Richard Damon's Response to Flibble – 2025-05-21 (Well, let me retort)
4
olcott
23 May
07:48
Re: Analysis of Richard Damon's Response to Flibble – 2025-05-21 (Well, let me retort)
3
Mikko
23 May
17:21
Re: Analysis of Richard Damon's Response to Flibble – 2025-05-21 (Well, let me retort)
2
olcott
23 May
19:43
Re: Analysis of Richard Damon's Response to Flibble – 2025-05-21 (Well, let me retort)
1
Richard Damon
23 May
16:50
Re: Analysis of Richard Damon's Response to Flibble's Typed SHD / Neos Proposal
1
Richard Damon
14 May 25
How to write a self-referencial TM?
112
wij
14 May 25
Re: How to write a self-referencial TM?
1
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
109
olcott
14 May 25
Re: How to write a self-referencial TM?
108
wij
14 May 25
Re: How to write a self-referencial TM?
21
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
20
wij
14 May 25
Re: How to write a self-referencial TM?
19
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
18
wij
14 May 25
Re: How to write a self-referencial TM?
17
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
16
Keith Thompson
14 May 25
Re: How to write a self-referencial TM?
2
olcott
14 May 25
Re: How to write a self-referencial TM?
1
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
11
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
5
Keith Thompson
14 May 25
Re: How to write a self-referencial TM?
3
Richard Heathfield
14 May 25
Re: How to write a self-referencial TM?
2
Keith Thompson
14 May 25
Re: How to write a self-referencial TM?
1
Richard Heathfield
15 May 25
Re: How to write a self-referencial TM?
1
Mikko
15 May 25
Re: How to write a self-referencial TM?
5
Andy Walker
15 May 25
Re: How to write a self-referencial TM?
4
Keith Thompson
15 May 25
Re: How to write a self-referencial TM?
3
wij
15 May 25
Re: How to write a self-referencial TM?
2
wij
15 May 25
Re: How to write a self-referencial TM?
1
wij
15 May 25
Re: How to write a self-referencial TM?
1
Ben Bacarisse
15 May 25
Re: How to write a self-referencial TM?
1
Mikko
14 May 25
Re: How to write a self-referencial TM?
86
olcott
14 May 25
Re: How to write a self-referencial TM?
3
wij
14 May 25
Re: How to write a self-referencial TM?
2
olcott
14 May 25
Re: How to write a self-referencial TM?
1
wij
14 May 25
Re: How to write a self-referencial TM?
80
wij
15 May 25
Re: How to write a self-referencial TM?
79
Mike Terry
15 May 25
Re: How to write a self-referencial TM?
14
olcott
15 May 25
Re: How to write a self-referencial TM?
6
wij
15 May 25
Re: How to write a self-referencial TM?
5
olcott
16 May 25
Re: How to write a self-referencial TM?
4
Mikko
16 May 25
Re: How to write a self-referencial TM?
3
olcott
16 May 25
Re: How to write a self-referencial TM?
1
Richard Damon
17 May
09:58
Re: How to write a self-referencial TM?
1
Mikko
16 May 25
Re: How to write a self-referencial TM?
7
Mikko
16 May 25
Re: How to write a self-referencial TM?
6
olcott
19 May
09:21
Re: How to write a self-referencial TM?
1
Fred. Zwarts
19 May
11:39
Re: How to write a self-referencial TM?
4
Mikko
21 May
05:41
Re: How to write a self-referencial TM?
3
olcott
21 May
09:47
Re: How to write a self-referencial TM?
1
Mikko
21 May
12:11
Re: How to write a self-referencial TM?
1
Richard Damon
15 May 25
Re: How to write a self-referencial TM?
64
wij
15 May 25
Re: How to write a self-referencial TM?
8
olcott
15 May 25
Re: How to write a self-referencial TM?
4
wij
16 May 25
Re: How to write a self-referencial TM?
3
Mikko
16 May 25
Re: How to write a self-referencial TM?
2
olcott
16 May 25
Re: How to write a self-referencial TM?
1
Fred. Zwarts
16 May 25
Re: How to write a self-referencial TM?
3
Mikko
16 May 25
Re: How to write a self-referencial TM?
2
olcott
17 May
10:02
Re: How to write a self-referencial TM?
1
Mikko
16 May 25
Re: How to write a self-referencial TM?
55
Mike Terry
16 May 25
Re: How to write a self-referencial TM?
1
Richard Heathfield
16 May 25
Re: How to write a self-referencial TM?
46
wij
16 May 25
Re: How to write a self-referencial TM?
45
Mike Terry
16 May 25
Re: How to write a self-referencial TM?
44
wij
16 May 25
Re: How to write a self-referencial TM?
43
Mike Terry
16 May 25
Re: How to write a self-referencial TM?
42
wij
16 May
23:51
Re: How to write a self-referencial TM?
41
Mike Terry
17 May
04:01
Re: How to write a self-referencial TM?
40
wij
17 May
04:12
Re: How to write a self-referencial TM?
6
olcott
17 May
04:23
Re: How to write a self-referencial TM?
4
wij
17 May
04:40
Re: How to write a self-referencial TM?
3
olcott
17 May
04:49
Re: How to write a self-referencial TM?
2
wij
17 May
04:58
Re: How to write a self-referencial TM?
1
olcott
17 May
14:02
Re: How to write a self-referencial TM?
1
Richard Damon
17 May
15:45
Re: How to write a self-referencial TM?
33
Mike Terry
17 May
20:26
Re: How to write a self-referencial TM?
32
wij
17 May
20:39
Re: How to write a self-referencial TM?
28
olcott
18 May
09:20
Re: How to write a self-referencial TM?
1
Mikko
18 May
21:35
Re: How to write a self-referencial TM?
26
wij
18 May
21:57
Re: How to write a self-referencial TM?
24
olcott
18 May
22:45
Re: How to write a self-referencial TM?
1
Richard Damon
18 May
22:46
Re: How to write a self-referencial TM?
8
wij
18 May
23:09
Re: How to write a self-referencial TM?
7
olcott
18 May
23:35
Re: How to write a self-referencial TM?
1
wij
19 May
00:54
Re: How to write a self-referencial TM?
2
wij
19 May
11:52
Re: How to write a self-referencial TM?
1
Mikko
19 May
11:48
Re: How to write a self-referencial TM?
3
Mikko
21 May
05:36
Re: How to write a self-referencial TM?
2
olcott
21 May
09:56
Re: How to write a self-referencial TM?
1
Mikko
18 May
22:58
Re: How to write a self-referencial TM?
13
André G. Isaak
18 May
23:08
Re: How to write a self-referencial TM?
12
olcott
19 May
00:19
Re: How to write a self-referencial TM?
1
Richard Damon
19 May
04:21
Re: How to write a self-referencial TM?
10
André G. Isaak
19 May
05:07
Re: How to write a self-referencial TM?
9
olcott
19 May
08:54
Re: How to write a self-referencial TM?
1
Fred. Zwarts
19 May
13:29
Re: How to write a self-referencial TM?
7
Mikko
21 May
05:33
Re: How to write a self-referencial TM?
6
olcott
21 May
10:03
Re: How to write a self-referencial TM?
1
Mikko
21 May
12:16
Re: How to write a self-referencial TM?
1
Richard Damon
21 May
20:43
Re: How to write a self-referencial TM?
3
Fred. Zwarts
21 May
20:49
Re: How to write a self-referencial TM?
2
olcott
23 May
12:03
Re: How to write a self-referencial TM?
1
Fred. Zwarts
19 May
11:44
Re: How to write a self-referencial TM?
1
Mikko
19 May
11:41
Re: How to write a self-referencial TM?
1
Mikko
17 May
20:46
Re: How to write a self-referencial TM?
3
Mike Terry
17 May
20:55
Re: How to write a self-referencial TM?
2
olcott
17 May
21:07
Re: How to write a self-referencial TM?
1
Richard Damon
16 May 25
Re: How to write a self-referencial TM?
7
Andy Walker
16 May 25
Re: How to write a self-referencial TM?
6
Mike Terry
16 May 25
Re: How to write a self-referencial TM?
5
Andy Walker
16 May 25
Re: How to write a self-referencial TM?
4
olcott
16 May
22:21
Re: How to write a self-referencial TM?
3
wij
16 May
22:40
Re: How to write a self-referencial TM?
2
olcott
17 May
01:32
Re: How to write a self-referencial TM?
1
Richard Damon
16 May 25
Re: How to write a self-referencial TM?
2
Mikko
16 May 25
Re: How to write a self-referencial TM?
1
olcott
15 May 25
Re: How to write a self-referencial TM?
1
Mikko
23 May
07:44
Re: Universal Compiler and Typed SHDs
1
Mikko
23 May
00:56
Re: Analysis of Richard Damon's Response to Flibble – 2025-05-21 (Well, let me retort)
1
Richard Damon
23 May
00:41
Re: Analysis of Flibble’s Proposal: Typed SHD via neos Framework
1
Richard Damon
22 May
17:27
It's a small world
1
Richard Heathfield
22 May
09:06
Re: Analysis of Richard Damon's Responses to Flibble's Detection Argument
1
Mikko
22 May
02:21
Re: Analysis of Richard Damon's Responses to Flibble's Detection Argument
1
Richard Damon
21 May
10:08
Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion
1
Mikko
19 May
09:53
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
6
Mikko
20 May
07:51
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
5
Mikko
20 May
08:10
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
4
Richard Heathfield
20 May
16:34
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
3
olcott
21 May
02:22
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
1
Richard Damon
21 May
08:55
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
1
Mikko
21 May
08:52
Re: On infinite recursion, SHDs and the halting problem
1
Mikko
20 May
22:51
Re: We'd like to welcome you back
1
Keith Thompson
20 May
20:16
Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion
1
olcott
18 May
20:19
Re: Analysis of Richard Damon’s Responses to Flibble
12
Richard Damon
18 May
20:49
Re: Analysis of Richard Damon’s Responses to Flibble
11
Richard Damon
18 May
21:03
Re: Analysis of Richard Damon’s Responses to Flibble
10
Richard Damon
18 May
21:18
Re: Analysis of Richard Damon’s Responses to Flibble
5
Richard Damon
18 May
22:29
Re: Analysis of Richard Damon’s Responses to Flibble
4
Richard Damon
18 May
23:59
Re: Analysis of Richard Damon’s Responses to Flibble
3
Richard Damon
20 May
01:59
Re: Analysis of Richard Damon’s Responses to Flibble
1
Richard Damon
20 May
07:54
Re: Analysis of Richard Damon’s Responses to Flibble
1
Mikko
18 May
21:21
Re: Analysis of Richard Damon’s Responses to Flibble
1
Richard Damon
19 May
10:12
Re: Analysis of Richard Damon’s Responses to Flibble
3
Mikko
19 May
13:23
Re: Analysis of Richard Damon’s Responses to Flibble
2
Andy Walker
19 May
13:53
Re: Analysis of Richard Damon’s Responses to Flibble
1
Richard Heathfield
18 May
19:58
Re: Analysis of Richard Damon’s Responses to Flibble
5
Alan Mackenzie
18 May
20:12
Re: Analysis of Richard Damon’s Responses to Flibble
3
olcott
18 May
20:22
Re: Analysis of Richard Damon’s Responses to Flibble
2
olcott
19 May
10:07
Re: Analysis of Richard Damon’s Responses to Flibble
1
Mikko
18 May
20:36
Re: Analysis of Richard Damon’s Responses to Flibble
1
Richard Damon
19 May
09:57
Re: Analysis of Richard Damon’s Responses to Flibble
1
Mikko
18 May
12:00
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
3
Richard Damon
18 May
20:20
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
1
Richard Damon
19 May
09:55
Re: Analysis of Flibble’s New Take on Simulating Halt Deciders and Pathological Input
1
Mikko
18 May
20:19
Re: Analysis of Richard Damon’s Responses to Flibble
1
Richard Damon
12 May 25
How the requirements that Professor Sipser agreed to are exactly met
211
olcott
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
79
dbush
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
48
olcott
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
46
dbush
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
45
olcott
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
44
dbush
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
43
dbush
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
42
olcott
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
41
dbush
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
40
olcott
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
39
dbush
12 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
38
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
36
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
35
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
34
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
33
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
31
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
30
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
29
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
28
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
27
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
26
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
13
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
1
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
10
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
9
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
1
dbush
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
6
Richard Heathfield
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
5
olcott
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
2
joes
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
1
Richard Heathfield
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
1
Richard Damon
13 May 25
Re: How the requirements that Professor Sipser agreed to are exactly met
1
dbush
Haut de la page
Les messages affichés proviennent d'
usenet
.
NewsPortal