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
21 Oct 25
Re: The halting problem is self-contradictory
29
olcott
21 Oct 25
Re: The halting problem is self-contradictory
28
Kaz Kylheku
21 Oct 25
Re: The halting problem is self-contradictory
24
olcott
21 Oct 25
Re: The halting problem is self-contradictory
23
Kaz Kylheku
21 Oct 25
Re: The halting problem is self-contradictory
22
olcott
21 Oct 25
Re: The halting problem is self-contradictory
21
Kaz Kylheku
21 Oct 25
The Halting Problem is Incoherent
20
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
15
dbush
21 Oct 25
Re: The Halting Problem is Incoherent
10
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
9
dbush
21 Oct 25
Re: The Halting Problem is Incoherent
8
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
7
dbush
21 Oct 25
Re: The Halting Problem is Incoherent
6
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
5
dbush
21 Oct 25
Re: The Halting Problem is Incoherent
4
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
3
dbush
21 Oct 25
Re: The Halting Problem is Incoherent
2
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
1
dbush
23 Oct 25
Re: The Halting Problem is Incoherent
4
olcott
23 Oct 25
Re: The Halting Problem is Incoherent
3
dbush
23 Oct 25
Re: The Halting Problem is Incoherent
2
olcott
23 Oct 25
Re: The Halting Problem is Incoherent
1
dbush
21 Oct 25
Re: The Halting Problem is Incoherent
4
Kaz Kylheku
21 Oct 25
Re: The Halting Problem is Incoherent
1
Richard Heathfield
21 Oct 25
Re: The Halting Problem is Incoherent
2
olcott
21 Oct 25
Re: The Halting Problem is Incoherent
1
Kaz Kylheku
21 Oct 25
Re: The halting problem is self-contradictory
3
olcott
21 Oct 25
Re: The halting problem is self-contradictory
2
Kaz Kylheku
21 Oct 25
Re: The halting problem is self-contradictory
1
olcott
20 Oct 25
Re: The halting problem is self-contradictory
1
Kaz Kylheku
20 Oct 25
Re: The halting problem is self-contradictory
5
Mikko
20 Oct 25
Re: The halting problem is self-contradictory
4
olcott
22 Oct 25
Re: The halting problem is self-contradictory
3
Mikko
22 Oct 25
Re: The halting problem is self-contradictory
2
olcott
23 Oct 25
Re: The halting problem is self-contradictory
1
Mikko
15 Oct 25
Re: The halting problem is self-contradictory
1
Chris M. Thomasson
22 Oct 25
Re: Cantor Diagonal Proof
2
Tristan Wibberley
22 Oct 25
Re: Cantor Diagonal Proof
1
Richard Heathfield
19 Oct 25
The Halting Problem is a Category Error
6
olcott
20 Oct 25
Re: The Halting Problem is a Category Error
1
olcott
21 Oct 25
Re: The Halting Problem is a Category Error
4
Mikko
21 Oct 25
Re: The Halting Problem is a Category Error
1
olcott
21 Oct 25
Re: The Halting Problem is a Category Error
1
Tristan Wibberley
22 Oct 25
Re: The Halting Problem is a Category Error
1
Mikko
22 Oct 25
Make any sense, per-path counters?
1
Chris M. Thomasson
19 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
14
Tristan Wibberley
19 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
13
Kaz Kylheku
19 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
12
Richard Heathfield
19 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
10
Kaz Kylheku
19 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
Chris M. Thomasson
20 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
7
Tristan Wibberley
20 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
6
Kaz Kylheku
21 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
Tristan Wibberley
21 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
4
Tristan Wibberley
21 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
3
Kaz Kylheku
21 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
Richard Heathfield
22 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
olcott
20 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
olcott
20 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
olcott
22 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
1
olcott
11 Oct 25
polcott's hypothesis lacks effectiveness
26
dart200
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
25
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
23
dart200
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
20
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
19
dart200
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
9
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
6
dbush
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
4
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
3
dbush
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
2
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
1
dbush
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
1
Richard Heathfield
12 Oct 25
Re: polcott's hypothesis lacks effectiveness
2
dart200
12 Oct 25
Re: polcott's hypothesis lacks effectiveness
1
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
9
olcott
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
8
dart200
11 Oct 25
Re: polcott's hypothesis lacks effectiveness
7
olcott
13 Oct 25
Re: polcott's hypothesis lacks effectiveness
6
Chris M. Thomasson
13 Oct 25
Re: polcott's hypothesis lacks effectiveness
5
olcott
13 Oct 25
Re: polcott's hypothesis lacks effectiveness
4
Chris M. Thomasson
13 Oct 25
Re: polcott's hypothesis lacks effectiveness
3
olcott
13 Oct 25
Re: polcott's hypothesis lacks effectiveness
2
Chris M. Thomasson
13 Oct 25
Re: polcott's hypothesis lacks effectiveness
1
Chris M. Thomasson
21 Oct 25
Re: polcott's hypothesis lacks effectiveness
2
Tristan Wibberley
21 Oct 25
Re: polcott's hypothesis lacks effectiveness
1
olcott
12 Oct 25
Re: polcott's hypothesis lacks effectiveness
1
Mikko
16 Oct 25
i represent a 3rd viewpoint on this forum
58
dart200
16 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
57
olcott
16 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
33
dart200
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
32
olcott
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
5
dart200
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
4
Chris M. Thomasson
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
3
dart200
18 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
2
Chris M. Thomasson
18 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
1
Chris M. Thomasson
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
26
Kaz Kylheku
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
1
Kaz Kylheku
17 Oct 25
The Halting Problem is Incoherent
7
olcott
17 Oct 25
Re: The Halting Problem is Incoherent
6
Kaz Kylheku
17 Oct 25
Re: The Halting Problem is Incoherent
5
olcott
17 Oct 25
Re: The Halting Problem is Incoherent
4
Kaz Kylheku
17 Oct 25
Re: The Halting Problem is Incoherent --- human peer review
3
olcott
17 Oct 25
Re: The Halting Problem is Incoherent --- human peer review
2
Kaz Kylheku
17 Oct 25
Re: The Halting Problem is Incoherent --- human peer review
1
olcott
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
10
Tristan Wibberley
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
9
olcott
18 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
4
Tristan Wibberley
18 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
3
olcott
19 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
2
Tristan Wibberley
20 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
1
olcott
18 Oct 25
I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program
4
Tristan Wibberley
18 Oct 25
Re: I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program
3
olcott
18 Oct 25
Re: I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program
1
Alan Mackenzie
19 Oct 25
Re: I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program
1
Tristan Wibberley
18 Oct 25
The Halting Problem is Incoherent --- What is Kaz saying?
7
olcott
18 Oct 25
Re: The Halting Problem is Incoherent --- What is Kaz saying?
6
Kaz Kylheku
18 Oct 25
The halting problem is either incoherent or the proof wrong
4
olcott
19 Oct 25
Re: The halting problem is either incoherent or the proof wrong
3
Mikko
19 Oct 25
Re: The halting problem is either incoherent or the proof wrong
2
olcott
21 Oct 25
Re: The halting problem is either incoherent or the proof wrong
1
Mikko
18 Oct 25
Re: The Halting Problem is Incoherent --- What is Kaz saying?
1
olcott
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
16
Tristan Wibberley
17 Oct 25
The Halting Problem is Incoherent
15
olcott
17 Oct 25
Re: The Halting Problem is Incoherent
5
Kaz Kylheku
17 Oct 25
Re: The Halting Problem is Incoherent
4
olcott
17 Oct 25
Re: The Halting Problem is Incoherent
2
Kaz Kylheku
17 Oct 25
Re: The Halting Problem is Incoherent
1
olcott
19 Oct 25
Re: The Halting Problem is Incoherent
1
Tristan Wibberley
19 Oct 25
Re: The Halting Problem is Incoherent
7
Tristan Wibberley
19 Oct 25
The halting problem is either incoherent or the proof wrong
5
olcott
19 Oct 25
Re: The halting problem is either incoherent or the proof wrong
4
Tristan Wibberley
19 Oct 25
Re: The halting problem is either incoherent or the proof wrong
2
Richard Heathfield
20 Oct 25
Re: The halting problem is either incoherent or the proof wrong
1
Tristan Wibberley
20 Oct 25
Re: The halting problem is either incoherent or the proof wrong
1
olcott
20 Oct 25
Re: The Halting Problem is Incoherent
1
olcott
19 Oct 25
Re: The Halting Problem is Incoherent
2
Tristan Wibberley
20 Oct 25
Re: The Halting Problem is Incoherent
1
olcott
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
2
Richard Heathfield
18 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
1
Chris M. Thomasson
17 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
1
Alan Mackenzie
18 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
2
dart200
20 Oct 25
Is the set of chatbots in comp.theory effectively computable?
1
Tristan Wibberley
19 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
2
Tristan Wibberley
20 Oct 25
Re: i represent a 3rd viewpoint on this forum --- that might possibly work
1
olcott
18 Oct 25
My two specifications are equivalent HHH(DD)==0 is correct
84
olcott
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
50
vallor
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
49
olcott
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
45
vallor
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
40
olcott
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
38
Kaz Kylheku
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
7
olcott
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
6
Kaz Kylheku
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
4
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
Tristan Wibberley
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
olcott
21 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Tristan Wibberley
19 Oct 25
The halting problem is either incoherent or the proof wrong
1
olcott
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
30
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
19
joes
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
14
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
13
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
12
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
11
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
10
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
5
joes
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Chris M. Thomasson
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
dbush
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
dbush
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
4
Richard Heathfield
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
10
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
5
Mike Terry
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
4
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
4
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Kaz Kylheku
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Chris M. Thomasson
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
4
Tristan Wibberley
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
Keith Thompson
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Tristan Wibberley
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
Kaz Kylheku
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
olcott
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Chris M. Thomasson
18 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
Chris M. Thomasson
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
30
Tristan Wibberley
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
29
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
dbush
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
24
joes
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
23
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
joes
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
olcott
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
20
Kaz Kylheku
20 Oct 25
HHH(DD) Input exactly matches non-halting behavior
19
olcott
20 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
18
Kaz Kylheku
20 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
17
olcott
20 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
16
Kaz Kylheku
20 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
15
olcott
20 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
14
Kaz Kylheku
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
13
olcott
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
1
dbush
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
11
Kaz Kylheku
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
10
olcott
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
9
Kaz Kylheku
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
8
olcott
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
7
Kaz Kylheku
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
6
olcott
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
5
Kaz Kylheku
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
4
olcott
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
3
Kaz Kylheku
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
2
olcott
21 Oct 25
Re: HHH(DD) Input exactly matches non-halting behavior
1
Kaz Kylheku
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
3
Tristan Wibberley
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
Richard Heathfield
20 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
olcott
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
2
Mikko
19 Oct 25
Re: My two specifications are equivalent HHH(DD)==0 is correct
1
olcott
20 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
Tristan Wibberley
20 Oct 25
Re: RDFs revenge on the AI Boom [GraphMERT] --- Bridge to LLM reliability
1
olcott
20 Oct 25
Re: Eating crow --- Embarrassment --- and Zen Buddhist Anattā
2
Tristan Wibberley
20 Oct 25
Re: Eating crow --- Embarrassment --- and Zen Buddhist Anattā
1
olcott
19 Oct 25
The Halting Problem is a Category Error
2
olcott
20 Oct 25
Re: The Halting Problem is a Category Error
1
olcott
10 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
14
Tristan Wibberley
10 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
9
olcott
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
8
Tristan Wibberley
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
7
olcott
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
2
Tristan Wibberley
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
1
Kaz Kylheku
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
4
Chris M. Thomasson
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
3
Chris M. Thomasson
17 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
1
Chris M. Thomasson
19 Oct 25
Re: Olcott admits that the Halting Problem is undecidable
1
Tristan Wibberley
17 Oct 25
Re: Olcott proves that the Halting Problem is incoherent
4
olcott
19 Oct 25
Re: Olcott proves that the Halting Problem is incoherent
3
Tristan Wibberley
19 Oct 25
Re: Olcott proves that the Halting Problem is incoherent
2
olcott
19 Oct 25
Re: Olcott proves that the Halting Problem is incoherent
1
Chris M. Thomasson
19 Oct 25
Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination
1
Tristan Wibberley
5 Oct 25
Re: church-turing actually correct?? --- Refuting Church-Turing ???
179
olcott
Haut de la page
Les messages affichés proviennent d'
usenet
.
NewsPortal