Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--

Liste des GroupesRevenir à s logic 
Sujet : Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logic
Date : 08. Mar 2024, 18:09:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usfd7j$1pj42$1@dont-email.me>
References : 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
User-Agent : Mozilla Thunderbird
On 8/03/24 07:30, olcott wrote:
Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> immediately detects that is about to simulate a
copy of itself with a copy of its own input thus immediately
detects recursive simulation just like H(D,D).
 H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> immediately detects that is NOT about to simulate a
copy of itself with a copy of its own input thus immediately
rejects recursive simulation just like H1(D,D).
And what about Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> ?

Date Sujet#  Auteur
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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal