sci.logic

Liste des GroupesPages :123456789101112131415161718192021222324
Date Sujet#  Auteur
10 Mar 24 iii i       i   i    `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC5olcott
10 Mar 24 iii i       i   i     +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC3immibis
10 Mar 24 iii i       i   i     i`* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC2olcott
11 Mar 24 iii i       i   i     i `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC1immibis
10 Mar 24 iii i       i   i     `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC1Richard Damon
10 Mar 24 iii i       i   `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior3immibis
11 Mar 24 iii i       i    `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2olcott
11 Mar 24 iii i       i     `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1immibis
10 Mar 24 iii i       `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior3Mikko
10 Mar 24 iii i        `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2olcott
11 Mar 24 iii i         `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Mikko
10 Mar 24 iii `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2Richard Damon
10 Mar 24 iii  `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1olcott
10 Mar 24 ii`- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Richard Damon
9 Mar 24 i`* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior11olcott
9 Mar 24 i +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior9immibis
10 Mar 24 i i`* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior8olcott
10 Mar 24 i i +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior6immibis
10 Mar 24 i i i`* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior5olcott
10 Mar 24 i i i +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior3immibis
10 Mar 24 i i i i`* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2olcott
10 Mar 24 i i i i `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1immibis
10 Mar 24 i i i `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Richard Damon
10 Mar 24 i i `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Richard Damon
10 Mar 24 i `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Richard Damon
9 Mar 24 +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior5immibis
10 Mar 24 i`* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior4olcott
10 Mar 24 i +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2immibis
10 Mar 24 i i`- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1olcott
10 Mar 24 i `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Richard Damon
10 Mar 24 +* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2olcott
10 Mar 24 i`- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Richard Damon
10 Mar 24 `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior3Mikko
10 Mar 24  `* Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior2olcott
11 Mar 24   `- Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior1Mikko
9 Mar 24 * A paradox about Cantor's set theory9wij
10 Mar 24 +* Re: A paradox about Cantor's set theory6wij
10 Mar 24 i`* Re: A paradox about Cantor's set theory5Mike Terry
11 Mar 24 i +* Re: A paradox about Cantor's set theory3wij
11 Mar 24 i i`* Re: A paradox about Cantor's set theory2wij
11 Mar 24 i i `- Re: A paradox about Cantor's set theory1wij
12 Mar 24 i `- Re: A paradox about Cantor's set theory1WM
10 Mar 24 `* Re: A paradox about Cantor's set theory2WM
10 Mar 24  `- Re: A paradox about Cantor's set theory1Mikko
8 Mar 24 * Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn55olcott
9 Mar 24 +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn35olcott
9 Mar 24 i`* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn34olcott
9 Mar 24 i +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn24olcott
9 Mar 24 i i`* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn23olcott
9 Mar 24 i i `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn22Richard Damon
9 Mar 24 i i  `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn21olcott
9 Mar 24 i i   `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn20Richard Damon
9 Mar 24 i i    `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn19olcott
9 Mar 24 i i     `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn18Richard Damon
9 Mar 24 i i      `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn17olcott
9 Mar 24 i i       `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn16Richard Damon
9 Mar 24 i i        `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn15olcott
9 Mar 24 i i         `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn14olcott
9 Mar 24 i i          `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn13olcott
9 Mar 24 i i           `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn12Richard Damon
9 Mar 24 i i            `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn11olcott
9 Mar 24 i i             +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn9immibis
9 Mar 24 i i             i`* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn8olcott
9 Mar 24 i i             i +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn5Richard Damon
9 Mar 24 i i             i i`* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn4olcott
9 Mar 24 i i             i i `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn3Richard Damon
9 Mar 24 i i             i i  `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn2olcott
9 Mar 24 i i             i i   `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1olcott
9 Mar 24 i i             i `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn2immibis
9 Mar 24 i i             i  `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1olcott
9 Mar 24 i i             `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1Richard Damon
9 Mar 24 i `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn9olcott
9 Mar 24 i  `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn8olcott
9 Mar 24 i   `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn7olcott
9 Mar 24 i    `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn6Richard Damon
9 Mar 24 i     `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn5olcott
9 Mar 24 i      `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn4Richard Damon
9 Mar 24 i       `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn3olcott
9 Mar 24 i        `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn2Richard Damon
9 Mar 24 i         `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1olcott
9 Mar 24 `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn19immibis
9 Mar 24  `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn18olcott
9 Mar 24   +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn9immibis
9 Mar 24   i`* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn8olcott
9 Mar 24   i +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn6Richard Damon
9 Mar 24   i i`* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn5olcott
9 Mar 24   i i `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn4Richard Damon
9 Mar 24   i i  +- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1olcott
10 Mar 24   i i  `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn2olcott
10 Mar 24   i i   `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1Richard Damon
9 Mar 24   i `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1immibis
9 Mar 24   `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn8Richard Damon
9 Mar 24    `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn7olcott
9 Mar 24     `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn6Richard Damon
9 Mar 24      `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn5olcott
9 Mar 24       +* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn2Richard Damon
9 Mar 24       i`- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1olcott
9 Mar 24       `* Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn2immibis
9 Mar 24        `- Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn1olcott
7 Mar 24 * Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--28immibis
7 Mar 24 `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--27olcott
8 Mar 24  `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--26immibis
8 Mar 24   `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--25olcott
8 Mar 24    +- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1immibis
8 Mar 24    `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--23Richard Damon
8 Mar 24     `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--22olcott
8 Mar 24      `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--21Richard Damon
8 Mar 24       `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--20olcott
8 Mar 24        `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--19olcott
8 Mar 24         +* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--14olcott
8 Mar 24         i`* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--13olcott
8 Mar 24         i `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--12immibis
8 Mar 24         i  `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--11olcott
8 Mar 24         i   `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--10immibis
8 Mar 24         i    `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--9olcott
8 Mar 24         i     +- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
8 Mar 24         i     +- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
9 Mar 24         i     `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--6immibis
9 Mar 24         i      `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--5olcott
9 Mar 24         i       +* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--3immibis
9 Mar 24         i       i`* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--2olcott
9 Mar 24         i       i `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
9 Mar 24         i       `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
8 Mar 24         `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--4immibis
8 Mar 24          `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--3olcott
8 Mar 24           `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--2immibis
8 Mar 24            `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--1olcott
7 Mar 24 * Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--12Richard Damon
7 Mar 24 `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--11olcott
8 Mar 24  `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--10Richard Damon
8 Mar 24   `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--9olcott
8 Mar 24    +* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--2Richard Damon
8 Mar 24    i`- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1olcott
8 Mar 24    `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--6immibis
8 Mar 24     `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--5olcott
8 Mar 24      `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--4immibis
8 Mar 24       `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--3olcott
8 Mar 24        `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--2immibis
8 Mar 24         `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --closure yet?--1olcott
7 Mar 24 * Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--10immibis
7 Mar 24 +* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--6olcott
8 Mar 24 i`* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--5immibis
8 Mar 24 i `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--4olcott
8 Mar 24 i  `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--3Richard Damon
8 Mar 24 i   `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--2olcott
8 Mar 24 i    `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
7 Mar 24 `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--3Mike Terry
7 Mar 24  `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--2olcott
7 Mar 24   `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
8 Mar 24 * Re: How do we know that ChatGPT 4.0 correctly evaluated my ideas?2olcott
8 Mar 24 `- Re: How do we know that ChatGPT 4.0 correctly evaluated my ideas?1Richard Damon
7 Mar 24 * Re: Olcott machines (now fully defined) might be more powerful than Turing Machines5immibis
7 Mar 24 `* Re: Olcott machines (now fully defined) might be more powerful than Turing Machines4olcott
7 Mar 24  +- Re: Olcott machines (now fully defined) might be more powerful than Turing Machines1Richard Damon
8 Mar 24  `* Re: Olcott machines (now fully defined) might be more powerful than Turing Machines2immibis
8 Mar 24   `- Re: Olcott machines (now fully defined) might be more powerful than Turing Machines1olcott
7 Mar 24 * Re: Refutation of the Peter Linz Halting Problem proof 2024-03-054immibis
7 Mar 24 `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-053olcott
7 Mar 24  +- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-051Richard Damon
8 Mar 24  `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-051immibis
7 Mar 24 * Re: Linz's proofs. --- Good catch !4olcott
7 Mar 24 `* Re: Linz's proofs. --- Good catch !3olcott
7 Mar 24  `* Re: Linz's proofs. --- Good catch !2olcott
7 Mar 24   `- Re: Linz's proofs. --- Good catch !1olcott
7 Mar 24 * Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--6Ben Bacarisse
7 Mar 24 `* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--5olcott
7 Mar 24  +* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--3immibis
7 Mar 24  i`* Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--2olcott
7 Mar 24  i `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
7 Mar 24  `- Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1Richard Damon
7 Mar 24 o Re: Refutation of the Peter Linz Halting Problem proof 2024-03-051Richard Damon
7 Mar 24 o Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--1olcott
7 Mar 24 o Re: Why can large natural numbers not been hit straight away?1WM

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal