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
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC
5
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC
3
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC
2
olcott
11 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC
1
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC
1
Richard Damon
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
3
immibis
11 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
olcott
11 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
3
Mikko
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
olcott
11 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Mikko
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
Richard Damon
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Richard Damon
9 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
11
olcott
9 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
9
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
8
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
6
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
5
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
3
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Richard Damon
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Richard Damon
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Richard Damon
9 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
5
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
4
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
immibis
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Richard Damon
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
olcott
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Richard Damon
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
3
Mikko
10 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
2
olcott
11 Mar 24
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
1
Mikko
9 Mar 24
A paradox about Cantor's set theory
9
wij
10 Mar 24
Re: A paradox about Cantor's set theory
6
wij
10 Mar 24
Re: A paradox about Cantor's set theory
5
Mike Terry
11 Mar 24
Re: A paradox about Cantor's set theory
3
wij
11 Mar 24
Re: A paradox about Cantor's set theory
2
wij
11 Mar 24
Re: A paradox about Cantor's set theory
1
wij
12 Mar 24
Re: A paradox about Cantor's set theory
1
WM
10 Mar 24
Re: A paradox about Cantor's set theory
2
WM
10 Mar 24
Re: A paradox about Cantor's set theory
1
Mikko
8 Mar 24
Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
55
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
35
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
34
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
24
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
23
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
22
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
21
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
20
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
19
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
18
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
17
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
16
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
15
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
14
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
13
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
12
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
11
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
9
immibis
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
8
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
5
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
4
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
3
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
2
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
2
immibis
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
9
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
8
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
7
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
6
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
5
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
4
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
3
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
2
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
19
immibis
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
18
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
9
immibis
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
8
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
6
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
5
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
4
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
olcott
10 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
2
olcott
10 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
immibis
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
8
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
7
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
6
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
5
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
2
Richard Damon
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
olcott
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
2
immibis
9 Mar 24
Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
1
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
28
immibis
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
27
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
26
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
25
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
23
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
22
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
21
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
20
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
19
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
14
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
13
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
12
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
11
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
10
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
9
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
9 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
6
immibis
9 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
5
olcott
9 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
3
immibis
9 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
2
olcott
9 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
9 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
4
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
3
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
2
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--
1
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
12
Richard Damon
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
11
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
10
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
9
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
2
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
6
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
5
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
4
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--
3
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--
2
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--
1
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
10
immibis
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
6
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
5
immibis
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
4
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
3
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
2
olcott
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
3
Mike Terry
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
2
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
8 Mar 24
Re: How do we know that ChatGPT 4.0 correctly evaluated my ideas?
2
olcott
8 Mar 24
Re: How do we know that ChatGPT 4.0 correctly evaluated my ideas?
1
Richard Damon
7 Mar 24
Re: Olcott machines (now fully defined) might be more powerful than Turing Machines
5
immibis
7 Mar 24
Re: Olcott machines (now fully defined) might be more powerful than Turing Machines
4
olcott
7 Mar 24
Re: Olcott machines (now fully defined) might be more powerful than Turing Machines
1
Richard Damon
8 Mar 24
Re: Olcott machines (now fully defined) might be more powerful than Turing Machines
2
immibis
8 Mar 24
Re: Olcott machines (now fully defined) might be more powerful than Turing Machines
1
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
4
immibis
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
3
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
1
Richard Damon
8 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
1
immibis
7 Mar 24
Re: Linz's proofs. --- Good catch !
4
olcott
7 Mar 24
Re: Linz's proofs. --- Good catch !
3
olcott
7 Mar 24
Re: Linz's proofs. --- Good catch !
2
olcott
7 Mar 24
Re: Linz's proofs. --- Good catch !
1
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
6
Ben Bacarisse
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
5
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
3
immibis
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
2
olcott
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
Richard Damon
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05
1
Richard Damon
7 Mar 24
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
1
olcott
7 Mar 24
Re: Why can large natural numbers not been hit straight away?
1
WM
Haut de la page
Les messages affichés proviennent d'
usenet
.
NewsPortal