sci.logic

Liste des Groupes Pages :1234567891011121314151617181920
Date Sujet#  Auteur
21 Aug 24 i    i      i     i       i  i i i i     i    i    +* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer33Richard Damon
21 Aug 24 i    i      i     i       i  i i i i     i    i    i`* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer32olcott
22 Aug 24 i    i      i     i       i  i i i i     i    i    i +* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer3Richard Damon
22 Aug 24 i    i      i     i       i  i i i i     i    i    i i`* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer2olcott
23 Aug 24 i    i      i     i       i  i i i i     i    i    i i `- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
22 Aug 24 i    i      i     i       i  i i i i     i    i    i `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer28Mikko
22 Aug 24 i    i      i     i       i  i i i i     i    i    i  `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer27olcott
23 Aug 24 i    i      i     i       i  i i i i     i    i    i   +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
23 Aug 24 i    i      i     i       i  i i i i     i    i    i   `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer25Mikko
24 Aug 24 i    i      i     i       i  i i i i     i    i    i    `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer24olcott
24 Aug 24 i    i      i     i       i  i i i i     i    i    i     +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
28 Aug 24 i    i      i     i       i  i i i i     i    i    i     `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer22Mikko
28 Aug 24 i    i      i     i       i  i i i i     i    i    i      `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer21olcott
29 Aug 24 i    i      i     i       i  i i i i     i    i    i       +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
29 Aug 24 i    i      i     i       i  i i i i     i    i    i       `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer19Mikko
29 Aug 24 i    i      i     i       i  i i i i     i    i    i        `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer18olcott
30 Aug 24 i    i      i     i       i  i i i i     i    i    i         +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
30 Aug 24 i    i      i     i       i  i i i i     i    i    i         `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer16Mikko
30 Aug 24 i    i      i     i       i  i i i i     i    i    i          `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer15olcott
30 Aug 24 i    i      i     i       i  i i i i     i    i    i           +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Python
31 Aug 24 i    i      i     i       i  i i i i     i    i    i           `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer13Mikko
31 Aug 24 i    i      i     i       i  i i i i     i    i    i            `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer12olcott
31 Aug 24 i    i      i     i       i  i i i i     i    i    i             +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
1 Sep 24 i    i      i     i       i  i i i i     i    i    i             `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer10Mikko
1 Sep 24 i    i      i     i       i  i i i i     i    i    i              `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer9olcott
1 Sep 24 i    i      i     i       i  i i i i     i    i    i               +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
2 Sep 24 i    i      i     i       i  i i i i     i    i    i               `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer7Mikko
2 Sep 24 i    i      i     i       i  i i i i     i    i    i                `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer6olcott
2 Sep 24 i    i      i     i       i  i i i i     i    i    i                 +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
3 Sep 24 i    i      i     i       i  i i i i     i    i    i                 `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer4Mikko
3 Sep 24 i    i      i     i       i  i i i i     i    i    i                  `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer3olcott
4 Sep 24 i    i      i     i       i  i i i i     i    i    i                   +- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Richard Damon
5 Sep 24 i    i      i     i       i  i i i i     i    i    i                   `- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Mikko
21 Aug 24 i    i      i     i       i  i i i i     i    i    `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer3Mikko
21 Aug 24 i    i      i     i       i  i i i i     i    i     `* Re: This makes all Analytic(Olcott) truth computable --- truth-bearer2olcott
22 Aug 24 i    i      i     i       i  i i i i     i    i      `- Re: This makes all Analytic(Olcott) truth computable --- truth-bearer1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i    `* Re: This makes all Analytic(Olcott) truth computable9olcott
18 Aug 24 i    i      i     i       i  i i i i     i     +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
19 Aug 24 i    i      i     i       i  i i i i     i     `* Re: This makes all Analytic(Olcott) truth computable7Mikko
19 Aug 24 i    i      i     i       i  i i i i     i      `* Re: This makes all Analytic(Olcott) truth computable6olcott
19 Aug 24 i    i      i     i       i  i i i i     i       +- Re: This makes all Analytic(Olcott) truth computable1Python
20 Aug 24 i    i      i     i       i  i i i i     i       +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
20 Aug 24 i    i      i     i       i  i i i i     i       `* Re: This makes all Analytic(Olcott) truth computable3Mikko
20 Aug 24 i    i      i     i       i  i i i i     i        `* Re: This makes all Analytic(Olcott) truth computable2olcott
21 Aug 24 i    i      i     i       i  i i i i     i         `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     `* Re: This makes all Analytic(Olcott) truth computable7Mikko
18 Aug 24 i    i      i     i       i  i i i i      `* Re: This makes all Analytic(Olcott) truth computable6olcott
18 Aug 24 i    i      i     i       i  i i i i       +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
19 Aug 24 i    i      i     i       i  i i i i       `* Re: This makes all Analytic(Olcott) truth computable4Mikko
19 Aug 24 i    i      i     i       i  i i i i        `* Re: This makes all Analytic(Olcott) truth computable3olcott
19 Aug 24 i    i      i     i       i  i i i i         +- Re: This makes all Analytic(Olcott) truth computable1Python
20 Aug 24 i    i      i     i       i  i i i i         `- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
18 Aug 24 i    i      i     i       i  i i i `* Re: This makes all Analytic(Olcott) truth computable17Mikko
18 Aug 24 i    i      i     i       i  i i i  `* Re: This makes all Analytic(Olcott) truth computable16olcott
18 Aug 24 i    i      i     i       i  i i i   +* Re: This makes all Analytic(Olcott) truth computable3Richard Damon
19 Aug 24 i    i      i     i       i  i i i   i`* Re: This makes all Analytic(Olcott) truth computable2olcott
20 Aug 24 i    i      i     i       i  i i i   i `- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
19 Aug 24 i    i      i     i       i  i i i   `* Re: This makes all Analytic(Olcott) truth computable12Mikko
19 Aug 24 i    i      i     i       i  i i i    `* Re: This makes all Analytic(Olcott) truth computable11olcott
20 Aug 24 i    i      i     i       i  i i i     +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
20 Aug 24 i    i      i     i       i  i i i     `* Re: This makes all Analytic(Olcott) truth computable9Mikko
20 Aug 24 i    i      i     i       i  i i i      `* Re: This makes all Analytic(Olcott) truth computable --- ZFC8olcott
21 Aug 24 i    i      i     i       i  i i i       `* Re: This makes all Analytic(Olcott) truth computable --- ZFC7Mikko
21 Aug 24 i    i      i     i       i  i i i        `* Re: This makes all Analytic(Olcott) truth computable --- ZFC6olcott
22 Aug 24 i    i      i     i       i  i i i         +* Re: This makes all Analytic(Olcott) truth computable --- ZFC4Wasell
22 Aug 24 i    i      i     i       i  i i i         i+- Re: This makes all Analytic(Olcott) truth computable --- ZFC1Mikko
22 Aug 24 i    i      i     i       i  i i i         i`* Re: This makes all Analytic(Olcott) truth computable --- ZFC2olcott
23 Aug 24 i    i      i     i       i  i i i         i `- Re: This makes all Analytic(Olcott) truth computable --- ZFC1Richard Damon
22 Aug 24 i    i      i     i       i  i i i         `- Re: This makes all Analytic(Olcott) truth computable --- ZFC1Mikko
18 Aug 24 i    i      i     i       i  i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  i  `* Re: This makes all Analytic(Olcott) truth computable3olcott
18 Aug 24 i    i      i     i       i  i   +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
19 Aug 24 i    i      i     i       i  i   `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  `* Re: This makes all Analytic(Olcott) truth computable8Mikko
18 Aug 24 i    i      i     i       i   `* Re: This makes all Analytic(Olcott) truth computable7olcott
18 Aug 24 i    i      i     i       i    +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
19 Aug 24 i    i      i     i       i    `* Re: This makes all Analytic(Olcott) truth computable5Mikko
19 Aug 24 i    i      i     i       i     `* Re: This makes all Analytic(Olcott) truth computable4olcott
20 Aug 24 i    i      i     i       i      +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
20 Aug 24 i    i      i     i       i      `* Re: This makes all Analytic(Olcott) truth computable2Mikko
20 Aug 24 i    i      i     i       i       `- Re: This makes all Analytic(Olcott) truth computable1olcott
18 Aug 24 i    i      i     i       `* Re: This makes all Analytic(Olcott) truth computable9olcott
18 Aug 24 i    i      i     i        +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
19 Aug 24 i    i      i     i        `* Re: This makes all Analytic(Olcott) truth computable7Mikko
19 Aug 24 i    i      i     i         `* Re: This makes all Analytic(Olcott) truth computable6olcott
20 Aug 24 i    i      i     i          +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
20 Aug 24 i    i      i     i          `* Re: This makes all Analytic(Olcott) truth computable4Mikko
20 Aug 24 i    i      i     i           `* Re: This makes all Analytic(Olcott) truth computable --- True(L,x) defined3olcott
21 Aug 24 i    i      i     i            +- Re: This makes all Analytic(Olcott) truth computable --- True(L,x) defined1Richard Damon
21 Aug 24 i    i      i     i            `- Re: This makes all Analytic(Olcott) truth computable --- True(L,x) defined1Mikko
10 Aug 24 i    i      i     +- Re: True on the basis of meaning (and not any other kind)1Mikko
10 Aug 24 i    i      i     `- Re: True on the basis of meaning (and not any other kind)1Mikko
7 Aug 24 i    i      `- Re: x true. but only if it IS true.1Richard Damon
2 Aug 24 i    `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1olcott
31 Jul 24 `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue2olcott
1 Aug 24  `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Richard Damon
4 Sep 24 o The Foundation of Linguistic truth is stipulated relations between finite strings1olcott
2 Sep 24 * Is programming C still a thing?3Mild Shock
2 Sep 24 `* 12'000 above ground I saw a Penguin (Re: Is programming C still a thing?)2Mild Shock
2 Sep 24  `- Strange Noises because it was Labor Day (Was: 12'000 above ground I saw a Penguin)1Mild Shock
30 Aug 24 * Truth copyright PL Olcott 1997 and 20245olcott
30 Aug 24 +* Re: Truth copyright PL Olcott 1997 and 20242Python
31 Aug 24 i`- Re: Truth copyright PL Olcott 1997 and 20241Mikko
30 Aug 24 +- Re: Truth copyright PL Olcott 1997 and 20241Richard Damon
31 Aug 24 `- Re: Truth copyright PL Olcott 1997 and 20241Richard Damon
17 Jul 24 * Corona isn't over 202423Mild Shock
17 Jul 24 +* Re: Corona isn't over 20243Mild Shock
19 Jul 24 i`* So... new season of covid Inc? (Was: Corona isn't over 2024)2Mild Shock
19 Jul 24 i `- Re: So... new season of covid Inc? (Was: Corona isn't over 2024)1Mild Shock
20 Jul 24 +* Re: Corona isn't over 20244Mild Shock
20 Jul 24 i`* Re: Corona isn't over 20243Mild Shock
20 Jul 24 i `* Re: Corona isn't over 20242olcott
21 Jul 24 i  `- Re: Corona isn't over 20241Mild Shock
25 Jul 24 +* Post-Covid isn't a Fata Morgana (Was: Corona isn't over 2024)6Mild Shock
25 Jul 24 i+* Japan has 11th Wave of Covid (Was: Post-Covid isn't a Fata Morgana (Was: Corona isn't over 2024))4Mild Shock
26 Jul 24 ii`* COVID is NOT "just a cold." (Was: Japan has 11th Wave of Covid)3Mild Shock
27 Jul 24 ii `* China preparing for Covid-24 (Was: COVID is NOT "just a cold.")2Mild Shock
28 Jul 24 ii  `- Neurological effects and Long-Covid (Re: China preparing for Covid-24)1Mild Shock
5 Aug 24 i`- I was a NOVID — until I wasn’t [34 states likely growing] (Was: Post-Covid isn't a Fata Morgana)1Mild Shock
29 Jul 24 +* Brains Under Stress [Covid Research 2024] (Was: Corona isn't over 2024)2Mild Shock
29 Jul 24 i`- Comic Creators Come Down With Covid [San Diego, 28 Jul 2024]1Mild Shock
29 Jul 24 +* Whats the SIR-Model of Brain Loss? (Was: Corona isn't over 2024)3Mild Shock
29 Jul 24 i`* California’s COVID-19 surpassed last summer’s peak (Re: Whats the SIR-Model of Brain Loss? (Was: Corona isn't over 2024)2Mild Shock
29 Jul 24 i `- Marxist perspectives on Covid (Re: California’s COVID-19 surpassed last summer’s peak)1Mild Shock
30 Jul 24 `* What does the Sputnik V channel say? (Was: Corona isn't over 2024)4Mild Shock
30 Jul 24  +* We are back tio survival of the fittest (Re: What does the Sputnik V channel say?)2Mild Shock
5 Aug 24  i`- Long Covid Moonshot by Bernie Sanders (Re: We are back tio survival of the fittest)1Mild Shock
11 Aug 24  `- Closing Remark on Brain Plaque [Robin Williams] (Was: What does the Sputnik V channel say?)1Mild Shock
5 Aug 24 o test of posting1olcott
29 Jul 24 * I am allergic to Cantors Dust3Mild Shock
29 Jul 24 +- Re: I am allergic to Cantors Dust1Mild Shock
30 Jul 24 `- Re: I am allergic to Cantors Dust1Mikko
26 Jul 24 * Olcott should write a Book4Mild Shock
26 Jul 24 `* Re: Olcott should write a Book3olcott
26 Jul 24  `* Re: Olcott should write a Book2Mild Shock
26 Jul 24   `- Re: Olcott should write a Book1Mild Shock
24 Jul 24 * Truth Bearer or Truth Maker20Mild Shock
24 Jul 24 +* Re: Truth Bearer or Truth Maker17olcott
24 Jul 24 i`* Re: Truth Bearer or Truth Maker16Mild Shock
24 Jul 24 i +- Re: Truth Bearer or Truth Maker1Mild Shock
24 Jul 24 i `* Re: Truth Bearer or Truth Maker14olcott
24 Jul 24 i  +- Re: Truth Bearer or Truth Maker1olcott
25 Jul 24 i  `* Re: Truth Bearer or Truth Maker12Richard Damon
25 Jul 24 i   `* Re: Truth Bearer or Truth Maker11olcott
25 Jul 24 i    +* Re: Truth Bearer or Truth Maker3Richard Damon
25 Jul 24 i    i`* Re: Truth Bearer or Truth Maker2olcott
26 Jul 24 i    i `- Re: Truth Bearer or Truth Maker1Richard Damon
25 Jul 24 i    `* Re: Truth Bearer or Truth Maker7Mild Shock
25 Jul 24 i     +- Re: Truth Bearer or Truth Maker1Mild Shock
25 Jul 24 i     `* Re: Truth Bearer or Truth Maker5olcott
25 Jul 24 i      `* What is your truth maker? (Ws: Truth Bearer or Truth Maker)4Mild Shock
25 Jul 24 i       +* Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)2Mild Shock
26 Jul 24 i       i`- Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)1olcott
26 Jul 24 i       `- Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)1olcott
25 Jul 24 `* Re: Truth Bearer or Truth Maker2Mild Shock
25 Jul 24  `- Re: Truth Bearer or Truth Maker1Mild Shock
22 Jul 24 * Analytic Truth-makers52olcott
22 Jul 24 +* ""self contradictory"" (Was: Analytic Truth-makers)6Mild Shock
22 Jul 24 i`* Re: ""self contradictory"" (Was: Analytic Truth-makers)5olcott
22 Jul 24 i `* Re: ""self contradictory"" (Was: Analytic Truth-makers)4Mild Shock
22 Jul 24 i  +- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
22 Jul 24 i  `* Re: ""self contradictory"" (Was: Analytic Truth-makers)2olcott
22 Jul 24 i   `- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
23 Jul 24 +* Re: Analytic Truth-makers44Richard Damon
23 Jul 24 i`* Re: Analytic Truth-makers43olcott
23 Jul 24 i `* Re: Analytic Truth-makers42Richard Damon
23 Jul 24 i  +* Re: Analytic Truth-makers26olcott
23 Jul 24 i  i`* Re: Analytic Truth-makers25Richard Damon
23 Jul 24 i  i `* Re: Analytic Truth-makers24olcott
23 Jul 24 i  i  `* Re: Analytic Truth-makers23Richard Damon
23 Jul 24 i  i   `* Re: Analytic Truth-makers22olcott
23 Jul 24 i  i    +* Re: Analytic Truth-makers7Richard Damon
23 Jul 24 i  i    i`* Re: Analytic Truth-makers6olcott
23 Jul 24 i  i    i +* Re: Analytic Truth-makers4Mild Shock
23 Jul 24 i  i    i i+* "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)2Mild Shock
23 Jul 24 i  i    i ii`- Re: "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)1Mild Shock
24 Jul 24 i  i    i i`- Re: Analytic Truth-makers1olcott
24 Jul 24 i  i    i `- Re: Analytic Truth-makers1Richard Damon
23 Jul 24 i  i    `* Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)14Mild Shock
23 Jul 24 i  i     `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)13olcott
23 Jul 24 i  i      `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)12Mild Shock
23 Jul 24 i  i       +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2olcott
24 Jul 24 i  i       i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24 i  i       `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)9Mild Shock
23 Jul 24 i  i        +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
24 Jul 24 i  i        `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)7olcott
24 Jul 24 i  i         +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
24 Jul 24 i  i         `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)5Mild Shock
24 Jul 24 i  i          `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)4olcott
24 Jul 24 i  i           +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2Mild Shock
24 Jul 24 i  i           i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
25 Jul 24 i  i           `- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24 i  `* Re: Analytic Truth-makers15Wasell
23 Jul 24 i   `* Re: Analytic Truth-makers14olcott
24 Jul 24 i    `* Re: Analytic Truth-makers13Richard Damon
24 Jul 24 i     `* Re: Analytic Truth-makers12olcott
24 Jul 24 i      `* Re: Analytic Truth-makers11Richard Damon
24 Jul 24 i       `* Re: Analytic Truth-makers10olcott
24 Jul 24 i        `* Re: Analytic Truth-makers9Richard Damon
24 Jul 24 i         `* Re: Analytic Truth-makers8olcott
24 Jul 24 i          `* Re: Analytic Truth-makers7Richard Damon
24 Jul 24 i           `* Re: Analytic Truth-makers6olcott
25 Jul 24 i            `* Re: Analytic Truth-makers5Richard Damon
25 Jul 24 i             `* Re: Analytic Truth-makers4olcott
25 Jul 24 i              `* Re: Analytic Truth-makers3Richard Damon
25 Jul 24 i               `* Re: Analytic Truth-makers2olcott
26 Jul 24 i                `- Re: Analytic Truth-makers1Richard Damon
23 Jul 24 `- Re: Analytic Truth-makers1Mikko
10 Jul 24 * DDD correctly emulated by HHH is correctly rejected as non-halting.21olcott
10 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1olcott
10 Jul 24 +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.18Fred. Zwarts
10 Jul 24 i+* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
10 Jul 24 ii+- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
11 Jul 24 ii`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
10 Jul 24 i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.14Alan Mackenzie
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
11 Jul 24 i i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
11 Jul 24 i i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.5olcott
10 Jul 24 i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4olcott
11 Jul 24 i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3Fred. Zwarts
11 Jul 24 i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
12 Jul 24 i i   `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
21 Jul 24 i `* Tarski / Gödel and redefining the Foundation of Logic4olcott
21 Jul 24 i  +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
22 Jul 24 i  `* Re: Tarski / Gödel and redefining the Foundation of Logic2olcott
23 Jul 24 i   `- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
11 Jul 24 `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
13 Jul 24 * Who here understands that the last paragraph is Necessarily True? --- AKA a Tautology2olcott
13 Jul 24 `- Re: Who here understands that the last paragraph is Necessarily True? --- AKA a Tautology1Richard Damon
13 Jul 24 * Who here understands that the last paragraph is Necessarily true?2olcott
13 Jul 24 `- Re: Who here understands that the last paragraph is Necessarily true?1Richard Damon
12 Jul 24 * DDD correctly emulated by HHH is correctly rejected as non-halting V229olcott
12 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Fred. Zwarts
12 Jul 24 `* Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V227Richard Damon
13 Jul 24  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V226olcott
13 Jul 24   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Richard Damon
13 Jul 24   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22olcott
13 Jul 24   i `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
13 Jul 24   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V222Fred. Zwarts
13 Jul 24    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V221olcott
13 Jul 24     +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V217Fred. Zwarts
13 Jul 24     i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V216olcott
13 Jul 24     i `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V215Richard Damon
13 Jul 24     i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V214olcott
13 Jul 24     i   `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V213Richard Damon
13 Jul 24     i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V212olcott
13 Jul 24     i     `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V211Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal