Re: Two hypothetical possibilities --- HP decision problem instance

Liste des GroupesRevenir à theory 
Sujet : Re: Two hypothetical possibilities --- HP decision problem instance
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 03. Nov 2025, 15:14:14
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10eadbm$2pl2b$4@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 26 27 28 29 30
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 28 Oct 2025 15:25:39 -0500 schrieb olcott:
On 10/28/2025 11:50 AM, Kaz Kylheku wrote:
On 2025-10-28, joes <noreply@example.org> wrote:
Am Tue, 21 Oct 2025 18:54:33 -0500 schrieb olcott:

That DD() halts depends on HHH(DD) rejecting its input.
Which it does, therefore DD halts.
 
Moreover, there cannot be a "this DD" versus "that DD".
If you're thinking about the problem in such a way that you have to
distinguish different DDs, to all which the DD name refers
simultaneously in the same scenario, you are wrong.
 
Actually that is the key computer science discovery that I made. You
have to accept the first step of my proof before you will understand the
next step:

That DD does not halt because HHH doesn’t abort?

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

Date Sujet#  Auteur
18 Oct 25 * Re: Two hypothetical possibilities --- HP decision problem instance48Mikko
18 Oct 25 `* Re: Two hypothetical possibilities --- HP decision problem instance47olcott
19 Oct 25  +* Re: Two hypothetical possibilities --- HP decision problem instance44Mikko
19 Oct 25  i`* Re: Two hypothetical possibilities --- HP decision problem instance43olcott
20 Oct 25  i `* Re: Two hypothetical possibilities --- HP decision problem instance42Mikko
20 Oct 25  i  `* Re: Two hypothetical possibilities --- HP decision problem instance41olcott
20 Oct 25  i   +* Re: Two hypothetical possibilities --- HP decision problem instance2Chris M. Thomasson
20 Oct 25  i   i`- Re: Two hypothetical possibilities --- HP decision problem instance1Chris M. Thomasson
21 Oct 25  i   `* Re: Two hypothetical possibilities --- HP decision problem instance38Mikko
22 Oct 25  i    `* Re: Two hypothetical possibilities --- HP decision problem instance37olcott
22 Oct 25  i     +* Re: Two hypothetical possibilities --- HP decision problem instance26Mikko
22 Oct 25  i     i`* Re: Two hypothetical possibilities --- HP decision problem instance25olcott
23 Oct 25  i     i `* Re: Two hypothetical possibilities --- HP decision problem instance24Mikko
23 Oct 25  i     i  +* Re: Two hypothetical possibilities --- HP decision problem instance10olcott
23 Oct 25  i     i  i+* Re: Two hypothetical possibilities --- HP decision problem instance2dbush
24 Oct 25  i     i  ii`- Re: Two hypothetical possibilities --- HP decision problem instance1Mikko
24 Oct 25  i     i  i`* Re: Two hypothetical possibilities --- HP decision problem instance7Mikko
24 Oct 25  i     i  i `* Re: Two hypothetical possibilities --- HP decision problem instance6olcott
24 Oct 25  i     i  i  +- Re: Two hypothetical possibilities --- HP decision problem instance1dbush
25 Oct 25  i     i  i  `* Re: Two hypothetical possibilities --- HP decision problem instance4Mikko
25 Oct 25  i     i  i   `* Re: Two hypothetical possibilities --- HP decision problem instance3olcott
25 Oct 25  i     i  i    +- Re: Two hypothetical possibilities --- HP decision problem instance1Chris M. Thomasson
26 Oct 25  i     i  i    `- Re: Two hypothetical possibilities --- HP decision problem instance1Mikko
23 Oct 25  i     i  `* Re: Two hypothetical possibilities --- HP decision problem instance13Chris M. Thomasson
24 Oct 25  i     i   `* Re: Two hypothetical possibilities --- HP decision problem instance12Mikko
24 Oct 25  i     i    +* Re: Two hypothetical possibilities --- HP decision problem instance3Richard Heathfield
24 Oct 25  i     i    i`* Re: Two hypothetical possibilities --- HP decision problem instance2olcott
24 Oct 25  i     i    i `- Re: Two hypothetical possibilities --- HP decision problem instance1Chris M. Thomasson
24 Oct 25  i     i    +* Re: Two hypothetical possibilities --- HP decision problem instance7olcott
25 Oct 25  i     i    i`* Re: Two hypothetical possibilities --- HP decision problem instance6Mikko
25 Oct 25  i     i    i `* Re: Two hypothetical possibilities --- HP decision problem instance5olcott
25 Oct 25  i     i    i  +- Re: Two hypothetical possibilities --- HP decision problem instance1Chris M. Thomasson
26 Oct 25  i     i    i  +- Re: Two hypothetical possibilities --- HP decision problem instance1Mikko Levanto
28 Oct 25  i     i    i  `* Re: Two hypothetical possibilities --- HP decision problem instance2joes
28 Oct 25  i     i    i   `- Re: Two hypothetical possibilities --- HP decision problem instance1olcott
25 Oct 25  i     i    `- Re: Two hypothetical possibilities --- HP decision problem instance1Chris M. Thomasson
28 Oct 25  i     `* Re: Two hypothetical possibilities --- HP decision problem instance10joes
28 Oct 25  i      +* Re: Two hypothetical possibilities --- HP decision problem instance5olcott
28 Oct 25  i      i`* Re: Two hypothetical possibilities --- HP decision problem instance4joes
28 Oct 25  i      i `* Re: Two hypothetical possibilities --- HP decision problem instance3olcott
28 Oct 25  i      i  `* Re: Two hypothetical possibilities --- HP decision problem instance2joes
28 Oct 25  i      i   `- Re: Two hypothetical possibilities --- HP decision problem instance1olcott
28 Oct 25  i      `* Re: Two hypothetical possibilities --- HP decision problem instance4Kaz Kylheku
28 Oct 25  i       `* Re: Two hypothetical possibilities --- HP decision problem instance3olcott
29 Oct 25  i        +- Re: Two hypothetical possibilities --- HP decision problem instance1Chris M. Thomasson
3 Nov 25  i        `- Re: Two hypothetical possibilities --- HP decision problem instance1joes
19 Oct 25  `* Re: Two hypothetical possibilities --- HP decision problem instance2Tristan Wibberley
19 Oct 25   `- Re: Two hypothetical possibilities --- HP decision problem instance1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal