sci.logic
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
Date
Sujet
#
Auteur
28 Apr 24
Re: Can D simulated by H terminate normally?
94
Richard Damon
28 Apr 24
Re: Can D simulated by H terminate normally?
93
olcott
29 Apr 24
Re: Can D simulated by H terminate normally?
92
Richard Damon
29 Apr 24
Re: Can D simulated by H terminate normally?
91
olcott
29 Apr 24
Re: Can D simulated by H terminate normally?
90
Richard Damon
29 Apr 24
Re: Can D simulated by H terminate normally?
89
olcott
30 Apr 24
Re: Can D simulated by H terminate normally?
88
Richard Damon
30 Apr 24
Re: Can D simulated by H terminate normally?
87
olcott
30 Apr 24
Re: Can D simulated by H terminate normally?
86
Richard Damon
30 Apr 24
Re: Can D simulated by H terminate normally?
85
olcott
1 May 24
Re: Can D simulated by H terminate normally?
84
Richard Damon
1 May 24
Re: Can D simulated by H terminate normally?
83
olcott
1 May 24
Re: Can D simulated by H terminate normally?
82
Richard Damon
1 May 24
Re: Can D simulated by H terminate normally?
81
olcott
2 May 24
Re: Can D simulated by H terminate normally?
80
Richard Damon
2 May 24
Re: Can D simulated by H terminate normally?
6
olcott
2 May 24
Re: Can D simulated by H terminate normally?
5
Richard Damon
2 May 24
Re: Can D simulated by H terminate normally?
4
olcott
2 May 24
Re: Can D simulated by H terminate normally?
3
Richard Damon
2 May 24
Re: Can D simulated by H terminate normally?
2
olcott
2 May 24
Re: Can D simulated by H terminate normally?
1
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally?
1
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message-ID provided
4
olcott
18 May 24
Re: Can D simulated by H terminate normally? --- Message-ID provided
3
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message-ID provided
2
olcott
18 May 24
Re: Can D simulated by H terminate normally? --- Message-ID provided
1
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
7
olcott
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
3
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
olcott
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
3
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
olcott
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
31
olcott
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
30
Richard Damon
18 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
olcott
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
27
olcott
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
26
Richard Damon
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
25
olcott
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
24
Richard Damon
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
23
olcott
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
15
immibis
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
9
olcott
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
8
immibis
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
7
olcott
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
3
immibis
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
olcott
21 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
3
Richard Damon
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
olcott
21 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
5
olcott
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
3
immibis
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
olcott
21 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
7
Richard Damon
19 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
6
olcott
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
5
Richard Damon
20 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
4
olcott
21 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
Richard Damon
21 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
2
immibis
21 May 24
Re: Can D simulated by H terminate normally? --- Message_ID Provided
1
olcott
20 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
30
olcott
20 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
29
Richard Damon
20 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
22
olcott
20 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
21
Richard Damon
20 May 24
Every D correctly simulated by H cannot possible reach its own line 06 and halt
17
olcott
20 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
16
Richard Damon
20 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
15
olcott
21 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
14
Richard Damon
21 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
13
olcott
21 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
12
Richard Damon
21 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
11
olcott
21 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
10
Richard Damon
21 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
9
olcott
22 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
8
Richard Damon
22 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
7
olcott
22 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
3
Richard Damon
22 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
2
olcott
22 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
1
Richard Damon
22 May 24
Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt
1
Fred. Zwarts
23 May 24
Re: Every D correctly simulated by H remains stuck in recursive simulation
2
olcott
23 May 24
Re: Every D correctly simulated by H remains stuck in recursive simulation
1
Richard Damon
20 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
3
immibis
20 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
2
olcott
21 May 24
Re: Can D simulated by H terminate normally? Message_ID Provided V2
1
Richard Damon
20 May 24
Every D correctly simulated by H cannot possible reach its own line 06 and halt
6
olcott
20 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
5
Richard Damon
20 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
4
olcott
20 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
3
Richard Damon
20 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
2
olcott
21 May 24
Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt
1
Richard Damon
29 Apr 24
Re: Can D simulated by H terminate normally?
5
Alan Mackenzie
5 May 24
Re: Can D simulated by H terminate normally?
2
olcott
5 May 24
Re: Can D simulated by H terminate normally?
1
Richard Damon
6 May 24
Re: Can D simulated by H terminate normally?
2
olcott
7 May 24
Re: Can D simulated by H terminate normally?
1
Richard Damon
14 May 24
Is Richard a Liar?
2
olcott
15 May 24
Re: Olcott is a Liar!
1
Richard Damon
28 Apr 24
Re: Can D simulated by H terminate normally?
2
olcott
28 Apr 24
Re: Can D simulated by H terminate normally?
1
Richard Damon
28 Apr 24
Re: Can D simulated by H terminate normally?
22
olcott
28 Apr 24
Re: Can D simulated by H terminate normally?
21
Richard Damon
28 Apr 24
Re: Can D simulated by H terminate normally?
20
olcott
28 Apr 24
Re: Can D simulated by H terminate normally?
19
Richard Damon
28 Apr 24
Re: Can D simulated by H terminate normally?
18
olcott
29 Apr 24
Re: Can D simulated by H terminate normally?
17
Richard Damon
29 Apr 24
Re: Can D simulated by H terminate normally?
16
olcott
29 Apr 24
Re: Can D simulated by H terminate normally?
15
Richard Damon
29 Apr 24
Re: Can D simulated by H terminate normally?
14
olcott
30 Apr 24
Re: Can D simulated by H terminate normally?
13
Richard Damon
30 Apr 24
Re: Can D simulated by H terminate normally?
12
olcott
30 Apr 24
Re: Can D simulated by H terminate normally?
11
Richard Damon
30 Apr 24
Re: Can D simulated by H terminate normally?
10
olcott
1 May 24
Re: Can D simulated by H terminate normally?
9
Richard Damon
1 May 24
Re: Can D simulated by H terminate normally?
8
olcott
1 May 24
Re: Can D simulated by H terminate normally?
7
Richard Damon
1 May 24
Re: Can D simulated by H terminate normally?
6
olcott
2 May 24
Re: Can D simulated by H terminate normally?
5
Richard Damon
2 May 24
Re: Can D simulated by H terminate normally?
4
olcott
2 May 24
Re: Can D simulated by H terminate normally?
3
Richard Damon
2 May 24
Re: Can D simulated by H terminate normally?
2
olcott
2 May 24
Re: Can D simulated by H terminate normally?
1
Richard Damon
17 May 24
Every D correctly simulated by H never reaches its final state and halts
14
olcott
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
3
Richard Damon
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
2
olcott
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
1
Richard Damon
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
9
Fred. Zwarts
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
6
olcott
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
4
Mikko
17 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
3
olcott
18 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
1
Richard Damon
18 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
1
joes
18 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
1
Richard Damon
19 May 24
Re: Every D correctly simulated by H never reaches its final state and halts --- Admitted Liar
2
olcott
19 May 24
Re: Every D correctly simulated by H never reaches its final state and halts --- Olcott is an Admitted Liar
1
Richard Damon
18 May 24
Re: Every D correctly simulated by H never reaches its final state and halts
1
immibis
19 May 24
Re: universal quantification, because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how
1
Ross Finlayson
11 May 24
Termination analyzer defined
48
olcott
11 May 24
Re: Termination analyzer defined
17
olcott
11 May 24
Re: Termination analyzer defined
16
Richard Damon
11 May 24
Re: Termination analyzer defined
15
olcott
11 May 24
Re: Termination analyzer defined
14
Richard Damon
11 May 24
Re: Termination analyzer defined
7
olcott
11 May 24
Re: Termination analyzer defined
6
Richard Damon
11 May 24
Re: Termination analyzer defined
2
olcott
11 May 24
Re: Termination analyzer defined
1
Richard Damon
11 May 24
Re: Termination analyzer defined
3
olcott
11 May 24
Re: Termination analyzer defined
1
olcott
11 May 24
Re: Termination analyzer defined
1
Richard Damon
11 May 24
Re: Termination analyzer defined
6
olcott
11 May 24
Re: Termination analyzer defined
5
Richard Damon
11 May 24
Re: Termination analyzer defined
2
olcott
11 May 24
Re: Termination analyzer defined
1
Richard Damon
11 May 24
Re: Termination analyzer defined
2
olcott
11 May 24
Re: Termination analyzer defined
1
Richard Damon
11 May 24
Re: Termination analyzer defined
9
Richard Damon
11 May 24
Re: Termination analyzer defined
8
olcott
11 May 24
Re: Termination analyzer defined
7
Richard Damon
11 May 24
Re: Termination analyzer defined
6
olcott
11 May 24
Re: Termination analyzer defined
5
Richard Damon
11 May 24
Re: Termination analyzer defined
4
olcott
11 May 24
Re: Termination analyzer defined
3
Richard Damon
11 May 24
Re: Termination analyzer defined
2
olcott
11 May 24
Re: Termination analyzer defined
1
Richard Damon
11 May 24
Re: Termination analyzer defined
3
Fred. Zwarts
11 May 24
Re: Termination analyzer defined
2
olcott
11 May 24
Re: Termination analyzer defined
1
Richard Damon
11 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
17
olcott
11 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
1
Richard Damon
12 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
15
olcott
12 May 24
Re: Termination analyzer defined ---OLCOTT IS WRONG !!!
1
Richard Damon
13 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
7
olcott
15 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
6
olcott
16 May 24
Re: Termination analyzer defined ---OLCOTT IS WRONG !!!
1
Richard Damon
16 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
4
olcott
18 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
3
immibis
18 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
2
olcott
18 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
1
Richard Damon
14 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
6
olcott
15 May 24
Re: Termination analyzer defined ---OLCOTT IS A LIAR !!!
1
Richard Damon
15 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
4
olcott
16 May 24
Re: Termination analyzer defined ---OLCOTT IS WRONG !!!
1
Richard Damon
16 May 24
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
2
olcott
17 May 24
Re: Termination analyzer defined ---OLCOTT IS WRONG !!!
1
Richard Damon
13 May 24
Re: Termination analyzer defined
1
immibis
12 May 24
A computable function that reports on the behavior of its actual self is not allowed
42
olcott
12 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
12 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
19
olcott
12 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
18
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
17
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
16
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
6
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
5
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
4
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
3
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
2
olcott
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
9
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
5
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
4
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
3
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
2
olcott
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
3
joes
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
2
olcott
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Mikko
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
19
Fred. Zwarts
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
18
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
9
Fred. Zwarts
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
8
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
6
Fred. Zwarts
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
5
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
4
Fred. Zwarts
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
3
olcott
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
2
Fred. Zwarts
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
olcott
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
7
immibis
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
6
olcott
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
4
immibis
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed +++
3
olcott
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed +++
1
wij
14 May 24
Re: A computable function that reports on the behavior of its actual self *is* allowed +++
1
Richard Damon
14 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
Richard Damon
13 May 24
Re: A computable function that reports on the behavior of its actual self is not allowed
1
olcott
10 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
12
olcott
11 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
11
olcott
11 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
2
Mike Terry
11 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry](apology)
1
olcott
11 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
5
Richard Damon
11 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
4
olcott
11 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
2
olcott
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
1
Richard Damon
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
1
Richard Damon
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
3
Mikko
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
2
olcott
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
1
Richard Damon
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
2
olcott
12 May 24
Re: Linz's proofs and other undecidable decision problems [LP as basis] [Mike Terry]
1
Richard Damon
11 May 24
Unconventional termination analyzer D correctly reports halt status of HP input
2
olcott
12 May 24
Re: Unconventional termination analyzer D correctly reports halt status of HP input
1
Richard Damon
11 May 24
Unconventional termination analyzer H correctly reports halt status of HP input
2
olcott
12 May 24
Re: Unconventional termination analyzer H correctly reports halt status of HP input
1
Richard Damon
18 Apr 24
Undecidability based on epistemological antinomies V2
323
olcott
18 Apr 24
Re: Undecidability based on epistemological antinomies V2
262
Richard Damon
Haut de la page
Les messages affichés proviennent d'
usenet
.
NewsPortal