comp.theory

Liste des Groupes Pages :123456789101112131415161718192021222324252627282930313233
Date Sujet#  Auteur
21 Oct 25  i      i       i     `* Re: The halting problem is self-contradictory29olcott
21 Oct 25  i      i       i      `* Re: The halting problem is self-contradictory28Kaz Kylheku
21 Oct 25  i      i       i       +* Re: The halting problem is self-contradictory24olcott
21 Oct 25  i      i       i       i`* Re: The halting problem is self-contradictory23Kaz Kylheku
21 Oct 25  i      i       i       i `* Re: The halting problem is self-contradictory22olcott
21 Oct 25  i      i       i       i  `* Re: The halting problem is self-contradictory21Kaz Kylheku
21 Oct 25  i      i       i       i   `* The Halting Problem is Incoherent20olcott
21 Oct 25  i      i       i       i    +* Re: The Halting Problem is Incoherent15dbush
21 Oct 25  i      i       i       i    i+* Re: The Halting Problem is Incoherent10olcott
21 Oct 25  i      i       i       i    ii`* Re: The Halting Problem is Incoherent9dbush
21 Oct 25  i      i       i       i    ii `* Re: The Halting Problem is Incoherent8olcott
21 Oct 25  i      i       i       i    ii  `* Re: The Halting Problem is Incoherent7dbush
21 Oct 25  i      i       i       i    ii   `* Re: The Halting Problem is Incoherent6olcott
21 Oct 25  i      i       i       i    ii    `* Re: The Halting Problem is Incoherent5dbush
21 Oct 25  i      i       i       i    ii     `* Re: The Halting Problem is Incoherent4olcott
21 Oct 25  i      i       i       i    ii      `* Re: The Halting Problem is Incoherent3dbush
21 Oct 25  i      i       i       i    ii       `* Re: The Halting Problem is Incoherent2olcott
21 Oct 25  i      i       i       i    ii        `- Re: The Halting Problem is Incoherent1dbush
23 Oct 25  i      i       i       i    i`* Re: The Halting Problem is Incoherent4olcott
23 Oct 25  i      i       i       i    i `* Re: The Halting Problem is Incoherent3dbush
23 Oct 25  i      i       i       i    i  `* Re: The Halting Problem is Incoherent2olcott
23 Oct 25  i      i       i       i    i   `- Re: The Halting Problem is Incoherent1dbush
21 Oct 25  i      i       i       i    `* Re: The Halting Problem is Incoherent4Kaz Kylheku
21 Oct 25  i      i       i       i     +- Re: The Halting Problem is Incoherent1Richard Heathfield
21 Oct 25  i      i       i       i     `* Re: The Halting Problem is Incoherent2olcott
21 Oct 25  i      i       i       i      `- Re: The Halting Problem is Incoherent1Kaz Kylheku
21 Oct 25  i      i       i       `* Re: The halting problem is self-contradictory3olcott
21 Oct 25  i      i       i        `* Re: The halting problem is self-contradictory2Kaz Kylheku
21 Oct 25  i      i       i         `- Re: The halting problem is self-contradictory1olcott
20 Oct 25  i      i       `- Re: The halting problem is self-contradictory1Kaz Kylheku
20 Oct 25  i      `* Re: The halting problem is self-contradictory5Mikko
20 Oct 25  i       `* Re: The halting problem is self-contradictory4olcott
22 Oct 25  i        `* Re: The halting problem is self-contradictory3Mikko
22 Oct 25  i         `* Re: The halting problem is self-contradictory2olcott
23 Oct 25  i          `- Re: The halting problem is self-contradictory1Mikko
15 Oct 25  `- Re: The halting problem is self-contradictory1Chris M. Thomasson
22 Oct 25 * Re: Cantor Diagonal Proof2Tristan Wibberley
22 Oct 25 `- Re: Cantor Diagonal Proof1Richard Heathfield
19 Oct 25 * The Halting Problem is a Category Error6olcott
20 Oct 25 +- Re: The Halting Problem is a Category Error1olcott
21 Oct 25 `* Re: The Halting Problem is a Category Error4Mikko
21 Oct 25  +- Re: The Halting Problem is a Category Error1olcott
21 Oct 25  +- Re: The Halting Problem is a Category Error1Tristan Wibberley
22 Oct 25  `- Re: The Halting Problem is a Category Error1Mikko
22 Oct 25 o Make any sense, per-path counters?1Chris M. Thomasson
19 Oct 25 * Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination14Tristan Wibberley
19 Oct 25 `* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination13Kaz Kylheku
19 Oct 25  `* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination12Richard Heathfield
19 Oct 25   +* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination10Kaz Kylheku
19 Oct 25   i+- Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1Chris M. Thomasson
20 Oct 25   i+* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination7Tristan Wibberley
20 Oct 25   ii`* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination6Kaz Kylheku
21 Oct 25   ii +- Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1Tristan Wibberley
21 Oct 25   ii `* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination4Tristan Wibberley
21 Oct 25   ii  `* Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination3Kaz Kylheku
21 Oct 25   ii   +- Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1Richard Heathfield
22 Oct 25   ii   `- Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1olcott
20 Oct 25   i`- Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1olcott
20 Oct 25   `- Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1olcott
22 Oct 25 o Re: Olcott admits that the Halting Problem is undecidable1olcott
11 Oct 25 * polcott's hypothesis lacks effectiveness26dart200
11 Oct 25 `* Re: polcott's hypothesis lacks effectiveness25olcott
11 Oct 25  +* Re: polcott's hypothesis lacks effectiveness23dart200
11 Oct 25  i+* Re: polcott's hypothesis lacks effectiveness20olcott
11 Oct 25  ii`* Re: polcott's hypothesis lacks effectiveness19dart200
11 Oct 25  ii +* Re: polcott's hypothesis lacks effectiveness9olcott
11 Oct 25  ii i+* Re: polcott's hypothesis lacks effectiveness6dbush
11 Oct 25  ii ii+* Re: polcott's hypothesis lacks effectiveness4olcott
11 Oct 25  ii iii`* Re: polcott's hypothesis lacks effectiveness3dbush
11 Oct 25  ii iii `* Re: polcott's hypothesis lacks effectiveness2olcott
11 Oct 25  ii iii  `- Re: polcott's hypothesis lacks effectiveness1dbush
11 Oct 25  ii ii`- Re: polcott's hypothesis lacks effectiveness1Richard Heathfield
12 Oct 25  ii i`* Re: polcott's hypothesis lacks effectiveness2dart200
12 Oct 25  ii i `- Re: polcott's hypothesis lacks effectiveness1olcott
11 Oct 25  ii `* Re: polcott's hypothesis lacks effectiveness9olcott
11 Oct 25  ii  `* Re: polcott's hypothesis lacks effectiveness8dart200
11 Oct 25  ii   `* Re: polcott's hypothesis lacks effectiveness7olcott
13 Oct 25  ii    `* Re: polcott's hypothesis lacks effectiveness6Chris M. Thomasson
13 Oct 25  ii     `* Re: polcott's hypothesis lacks effectiveness5olcott
13 Oct 25  ii      `* Re: polcott's hypothesis lacks effectiveness4Chris M. Thomasson
13 Oct 25  ii       `* Re: polcott's hypothesis lacks effectiveness3olcott
13 Oct 25  ii        `* Re: polcott's hypothesis lacks effectiveness2Chris M. Thomasson
13 Oct 25  ii         `- Re: polcott's hypothesis lacks effectiveness1Chris M. Thomasson
21 Oct 25  i`* Re: polcott's hypothesis lacks effectiveness2Tristan Wibberley
21 Oct 25  i `- Re: polcott's hypothesis lacks effectiveness1olcott
12 Oct 25  `- Re: polcott's hypothesis lacks effectiveness1Mikko
16 Oct 25 * i represent a 3rd viewpoint on this forum58dart200
16 Oct 25 `* Re: i represent a 3rd viewpoint on this forum --- that might possibly work57olcott
16 Oct 25  +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work33dart200
17 Oct 25  i`* Re: i represent a 3rd viewpoint on this forum --- that might possibly work32olcott
17 Oct 25  i +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work5dart200
17 Oct 25  i i`* Re: i represent a 3rd viewpoint on this forum --- that might possibly work4Chris M. Thomasson
17 Oct 25  i i `* Re: i represent a 3rd viewpoint on this forum --- that might possibly work3dart200
18 Oct 25  i i  `* Re: i represent a 3rd viewpoint on this forum --- that might possibly work2Chris M. Thomasson
18 Oct 25  i i   `- Re: i represent a 3rd viewpoint on this forum --- that might possibly work1Chris M. Thomasson
17 Oct 25  i `* Re: i represent a 3rd viewpoint on this forum --- that might possibly work26Kaz Kylheku
17 Oct 25  i  +- Re: i represent a 3rd viewpoint on this forum --- that might possibly work1Kaz Kylheku
17 Oct 25  i  +* The Halting Problem is Incoherent7olcott
17 Oct 25  i  i`* Re: The Halting Problem is Incoherent6Kaz Kylheku
17 Oct 25  i  i `* Re: The Halting Problem is Incoherent5olcott
17 Oct 25  i  i  `* Re: The Halting Problem is Incoherent4Kaz Kylheku
17 Oct 25  i  i   `* Re: The Halting Problem is Incoherent --- human peer review3olcott
17 Oct 25  i  i    `* Re: The Halting Problem is Incoherent --- human peer review2Kaz Kylheku
17 Oct 25  i  i     `- Re: The Halting Problem is Incoherent --- human peer review1olcott
17 Oct 25  i  +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work10Tristan Wibberley
17 Oct 25  i  i`* Re: i represent a 3rd viewpoint on this forum --- that might possibly work9olcott
18 Oct 25  i  i +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work4Tristan Wibberley
18 Oct 25  i  i i`* Re: i represent a 3rd viewpoint on this forum --- that might possibly work3olcott
19 Oct 25  i  i i `* Re: i represent a 3rd viewpoint on this forum --- that might possibly work2Tristan Wibberley
20 Oct 25  i  i i  `- Re: i represent a 3rd viewpoint on this forum --- that might possibly work1olcott
18 Oct 25  i  i `* I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program4Tristan Wibberley
18 Oct 25  i  i  `* Re: I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program3olcott
18 Oct 25  i  i   +- Re: I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program1Alan Mackenzie
19 Oct 25  i  i   `- Re: I reckon that C allocation is nondeterministic and offers only finite C objects for any set of types in a program1Tristan Wibberley
18 Oct 25  i  `* The Halting Problem is Incoherent --- What is Kaz saying?7olcott
18 Oct 25  i   `* Re: The Halting Problem is Incoherent --- What is Kaz saying?6Kaz Kylheku
18 Oct 25  i    +* The halting problem is either incoherent or the proof wrong4olcott
19 Oct 25  i    i`* Re: The halting problem is either incoherent or the proof wrong3Mikko
19 Oct 25  i    i `* Re: The halting problem is either incoherent or the proof wrong2olcott
21 Oct 25  i    i  `- Re: The halting problem is either incoherent or the proof wrong1Mikko
18 Oct 25  i    `- Re: The Halting Problem is Incoherent --- What is Kaz saying?1olcott
17 Oct 25  +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work16Tristan Wibberley
17 Oct 25  i`* The Halting Problem is Incoherent15olcott
17 Oct 25  i +* Re: The Halting Problem is Incoherent5Kaz Kylheku
17 Oct 25  i i`* Re: The Halting Problem is Incoherent4olcott
17 Oct 25  i i +* Re: The Halting Problem is Incoherent2Kaz Kylheku
17 Oct 25  i i i`- Re: The Halting Problem is Incoherent1olcott
19 Oct 25  i i `- Re: The Halting Problem is Incoherent1Tristan Wibberley
19 Oct 25  i +* Re: The Halting Problem is Incoherent7Tristan Wibberley
19 Oct 25  i i+* The halting problem is either incoherent or the proof wrong5olcott
19 Oct 25  i ii`* Re: The halting problem is either incoherent or the proof wrong4Tristan Wibberley
19 Oct 25  i ii +* Re: The halting problem is either incoherent or the proof wrong2Richard Heathfield
20 Oct 25  i ii i`- Re: The halting problem is either incoherent or the proof wrong1Tristan Wibberley
20 Oct 25  i ii `- Re: The halting problem is either incoherent or the proof wrong1olcott
20 Oct 25  i i`- Re: The Halting Problem is Incoherent1olcott
19 Oct 25  i `* Re: The Halting Problem is Incoherent2Tristan Wibberley
20 Oct 25  i  `- Re: The Halting Problem is Incoherent1olcott
17 Oct 25  +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work2Richard Heathfield
18 Oct 25  i`- Re: i represent a 3rd viewpoint on this forum --- that might possibly work1Chris M. Thomasson
17 Oct 25  +- Re: i represent a 3rd viewpoint on this forum --- that might possibly work1Alan Mackenzie
18 Oct 25  +* Re: i represent a 3rd viewpoint on this forum --- that might possibly work2dart200
20 Oct 25  i`- Is the set of chatbots in comp.theory effectively computable?1Tristan Wibberley
19 Oct 25  `* Re: i represent a 3rd viewpoint on this forum --- that might possibly work2Tristan Wibberley
20 Oct 25   `- Re: i represent a 3rd viewpoint on this forum --- that might possibly work1olcott
18 Oct 25 * My two specifications are equivalent HHH(DD)==0 is correct84olcott
18 Oct 25 +* Re: My two specifications are equivalent HHH(DD)==0 is correct50vallor
18 Oct 25 i`* Re: My two specifications are equivalent HHH(DD)==0 is correct49olcott
18 Oct 25 i +* Re: My two specifications are equivalent HHH(DD)==0 is correct45vallor
18 Oct 25 i i+* Re: My two specifications are equivalent HHH(DD)==0 is correct40olcott
18 Oct 25 i ii+* Re: My two specifications are equivalent HHH(DD)==0 is correct38Kaz Kylheku
18 Oct 25 i iii+* Re: My two specifications are equivalent HHH(DD)==0 is correct7olcott
18 Oct 25 i iiii`* Re: My two specifications are equivalent HHH(DD)==0 is correct6Kaz Kylheku
18 Oct 25 i iiii +* Re: My two specifications are equivalent HHH(DD)==0 is correct4olcott
20 Oct 25 i iiii i`* Re: My two specifications are equivalent HHH(DD)==0 is correct3Tristan Wibberley
20 Oct 25 i iiii i `* Re: My two specifications are equivalent HHH(DD)==0 is correct2olcott
21 Oct 25 i iiii i  `- Re: My two specifications are equivalent HHH(DD)==0 is correct1Tristan Wibberley
19 Oct 25 i iiii `- The halting problem is either incoherent or the proof wrong1olcott
18 Oct 25 i iii`* Re: My two specifications are equivalent HHH(DD)==0 is correct30olcott
19 Oct 25 i iii +* Re: My two specifications are equivalent HHH(DD)==0 is correct19joes
19 Oct 25 i iii i+* Re: My two specifications are equivalent HHH(DD)==0 is correct14olcott
19 Oct 25 i iii ii`* Re: My two specifications are equivalent HHH(DD)==0 is correct13Kaz Kylheku
20 Oct 25 i iii ii `* Re: My two specifications are equivalent HHH(DD)==0 is correct12olcott
20 Oct 25 i iii ii  `* Re: My two specifications are equivalent HHH(DD)==0 is correct11Kaz Kylheku
20 Oct 25 i iii ii   `* Re: My two specifications are equivalent HHH(DD)==0 is correct10olcott
20 Oct 25 i iii ii    +* Re: My two specifications are equivalent HHH(DD)==0 is correct5joes
20 Oct 25 i iii ii    i+* Re: My two specifications are equivalent HHH(DD)==0 is correct3olcott
20 Oct 25 i iii ii    ii`* Re: My two specifications are equivalent HHH(DD)==0 is correct2Kaz Kylheku
20 Oct 25 i iii ii    ii `- Re: My two specifications are equivalent HHH(DD)==0 is correct1Chris M. Thomasson
20 Oct 25 i iii ii    i`- Re: My two specifications are equivalent HHH(DD)==0 is correct1Kaz Kylheku
20 Oct 25 i iii ii    +- Re: My two specifications are equivalent HHH(DD)==0 is correct1Kaz Kylheku
20 Oct 25 i iii ii    `* Re: My two specifications are equivalent HHH(DD)==0 is correct3dbush
20 Oct 25 i iii ii     `* Re: My two specifications are equivalent HHH(DD)==0 is correct2olcott
20 Oct 25 i iii ii      `- Re: My two specifications are equivalent HHH(DD)==0 is correct1dbush
19 Oct 25 i iii i`* Re: My two specifications are equivalent HHH(DD)==0 is correct4Richard Heathfield
19 Oct 25 i iii i `* Re: My two specifications are equivalent HHH(DD)==0 is correct3olcott
19 Oct 25 i iii i  `* Re: My two specifications are equivalent HHH(DD)==0 is correct2Kaz Kylheku
20 Oct 25 i iii i   `- Re: My two specifications are equivalent HHH(DD)==0 is correct1olcott
19 Oct 25 i iii `* Re: My two specifications are equivalent HHH(DD)==0 is correct10Kaz Kylheku
20 Oct 25 i iii  +* Re: My two specifications are equivalent HHH(DD)==0 is correct5Mike Terry
20 Oct 25 i iii  i`* Re: My two specifications are equivalent HHH(DD)==0 is correct4olcott
20 Oct 25 i iii  i `* Re: My two specifications are equivalent HHH(DD)==0 is correct3Kaz Kylheku
20 Oct 25 i iii  i  `* Re: My two specifications are equivalent HHH(DD)==0 is correct2olcott
20 Oct 25 i iii  i   `- Re: My two specifications are equivalent HHH(DD)==0 is correct1Kaz Kylheku
20 Oct 25 i iii  `* Re: My two specifications are equivalent HHH(DD)==0 is correct4olcott
20 Oct 25 i iii   `* Re: My two specifications are equivalent HHH(DD)==0 is correct3Kaz Kylheku
20 Oct 25 i iii    `* Re: My two specifications are equivalent HHH(DD)==0 is correct2olcott
20 Oct 25 i iii     `- Re: My two specifications are equivalent HHH(DD)==0 is correct1Kaz Kylheku
18 Oct 25 i ii`- Re: My two specifications are equivalent HHH(DD)==0 is correct1Chris M. Thomasson
19 Oct 25 i i`* Re: My two specifications are equivalent HHH(DD)==0 is correct4Tristan Wibberley
19 Oct 25 i i +- Re: My two specifications are equivalent HHH(DD)==0 is correct1olcott
19 Oct 25 i i `* Re: My two specifications are equivalent HHH(DD)==0 is correct2Keith Thompson
20 Oct 25 i i  `- Re: My two specifications are equivalent HHH(DD)==0 is correct1Tristan Wibberley
18 Oct 25 i +* Re: My two specifications are equivalent HHH(DD)==0 is correct2Kaz Kylheku
18 Oct 25 i i`- Re: My two specifications are equivalent HHH(DD)==0 is correct1olcott
18 Oct 25 i `- Re: My two specifications are equivalent HHH(DD)==0 is correct1Chris M. Thomasson
18 Oct 25 +- Re: My two specifications are equivalent HHH(DD)==0 is correct1Chris M. Thomasson
19 Oct 25 +* Re: My two specifications are equivalent HHH(DD)==0 is correct30Tristan Wibberley
19 Oct 25 i`* Re: My two specifications are equivalent HHH(DD)==0 is correct29olcott
19 Oct 25 i +- Re: My two specifications are equivalent HHH(DD)==0 is correct1dbush
20 Oct 25 i +* Re: My two specifications are equivalent HHH(DD)==0 is correct24joes
20 Oct 25 i i`* Re: My two specifications are equivalent HHH(DD)==0 is correct23olcott
20 Oct 25 i i +* Re: My two specifications are equivalent HHH(DD)==0 is correct2joes
20 Oct 25 i i i`- Re: My two specifications are equivalent HHH(DD)==0 is correct1olcott
20 Oct 25 i i `* Re: My two specifications are equivalent HHH(DD)==0 is correct20Kaz Kylheku
20 Oct 25 i i  `* HHH(DD) Input exactly matches non-halting behavior19olcott
20 Oct 25 i i   `* Re: HHH(DD) Input exactly matches non-halting behavior18Kaz Kylheku
20 Oct 25 i i    `* Re: HHH(DD) Input exactly matches non-halting behavior17olcott
20 Oct 25 i i     `* Re: HHH(DD) Input exactly matches non-halting behavior16Kaz Kylheku
20 Oct 25 i i      `* Re: HHH(DD) Input exactly matches non-halting behavior15olcott
20 Oct 25 i i       `* Re: HHH(DD) Input exactly matches non-halting behavior14Kaz Kylheku
21 Oct 25 i i        `* Re: HHH(DD) Input exactly matches non-halting behavior13olcott
21 Oct 25 i i         +- Re: HHH(DD) Input exactly matches non-halting behavior1dbush
21 Oct 25 i i         `* Re: HHH(DD) Input exactly matches non-halting behavior11Kaz Kylheku
21 Oct 25 i i          `* Re: HHH(DD) Input exactly matches non-halting behavior10olcott
21 Oct 25 i i           `* Re: HHH(DD) Input exactly matches non-halting behavior9Kaz Kylheku
21 Oct 25 i i            `* Re: HHH(DD) Input exactly matches non-halting behavior8olcott
21 Oct 25 i i             `* Re: HHH(DD) Input exactly matches non-halting behavior7Kaz Kylheku
21 Oct 25 i i              `* Re: HHH(DD) Input exactly matches non-halting behavior6olcott
21 Oct 25 i i               `* Re: HHH(DD) Input exactly matches non-halting behavior5Kaz Kylheku
21 Oct 25 i i                `* Re: HHH(DD) Input exactly matches non-halting behavior4olcott
21 Oct 25 i i                 `* Re: HHH(DD) Input exactly matches non-halting behavior3Kaz Kylheku
21 Oct 25 i i                  `* Re: HHH(DD) Input exactly matches non-halting behavior2olcott
21 Oct 25 i i                   `- Re: HHH(DD) Input exactly matches non-halting behavior1Kaz Kylheku
20 Oct 25 i `* Re: My two specifications are equivalent HHH(DD)==0 is correct3Tristan Wibberley
20 Oct 25 i  `* Re: My two specifications are equivalent HHH(DD)==0 is correct2Richard Heathfield
20 Oct 25 i   `- Re: My two specifications are equivalent HHH(DD)==0 is correct1olcott
19 Oct 25 `* Re: My two specifications are equivalent HHH(DD)==0 is correct2Mikko
19 Oct 25  `- Re: My two specifications are equivalent HHH(DD)==0 is correct1olcott
20 Oct 25 o Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1Tristan Wibberley
20 Oct 25 o Re: RDFs revenge on the AI Boom [GraphMERT] --- Bridge to LLM reliability1olcott
20 Oct 25 * Re: Eating crow --- Embarrassment --- and Zen Buddhist Anattā2Tristan Wibberley
20 Oct 25 `- Re: Eating crow --- Embarrassment --- and Zen Buddhist Anattā1olcott
19 Oct 25 * The Halting Problem is a Category Error2olcott
20 Oct 25 `- Re: The Halting Problem is a Category Error1olcott
10 Oct 25 * Re: Olcott admits that the Halting Problem is undecidable14Tristan Wibberley
10 Oct 25 +* Re: Olcott admits that the Halting Problem is undecidable9olcott
17 Oct 25 i`* Re: Olcott admits that the Halting Problem is undecidable8Tristan Wibberley
17 Oct 25 i `* Re: Olcott admits that the Halting Problem is undecidable7olcott
17 Oct 25 i  +* Re: Olcott admits that the Halting Problem is undecidable2Tristan Wibberley
17 Oct 25 i  i`- Re: Olcott admits that the Halting Problem is undecidable1Kaz Kylheku
17 Oct 25 i  `* Re: Olcott admits that the Halting Problem is undecidable4Chris M. Thomasson
17 Oct 25 i   `* Re: Olcott admits that the Halting Problem is undecidable3Chris M. Thomasson
17 Oct 25 i    +- Re: Olcott admits that the Halting Problem is undecidable1Chris M. Thomasson
19 Oct 25 i    `- Re: Olcott admits that the Halting Problem is undecidable1Tristan Wibberley
17 Oct 25 `* Re: Olcott proves that the Halting Problem is incoherent4olcott
19 Oct 25  `* Re: Olcott proves that the Halting Problem is incoherent3Tristan Wibberley
19 Oct 25   `* Re: Olcott proves that the Halting Problem is incoherent2olcott
19 Oct 25    `- Re: Olcott proves that the Halting Problem is incoherent1Chris M. Thomasson
19 Oct 25 o Re: Trustworthy LLM systems --- require citing external sources --- no more hallucination1Tristan Wibberley
5 Oct 25 * Re: church-turing actually correct?? --- Refuting Church-Turing ???179olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal