Re: How the requirements that Professor Sipser agreed to are exactly met

Liste des GroupesRevenir à c theory 
Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 13. May 2025, 10:02:20
Autres entêtes
Organisation : Fix this later
Message-ID : <vvv1qs$1mjcr$2@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 : Mozilla Thunderbird
On 13/05/2025 09:44, joes wrote:
Am Tue, 13 May 2025 00:22:15 -0500 schrieb olcott:
On 5/13/2025 12:11 AM, Richard Heathfield wrote:
On 13/05/2025 03:01, olcott wrote:
 
this requires testing against every element of the set of natural
numbers an infinite computation.
>
Only if it's true. So if it's true, the testing program will never
halt.
But if it's false, the tester will eventually find the counter-example,
print it, and stop.
So a program that can tell whether another program will halt can tell
us whether Goldbach's conjecture is true.
It would be the short cut that you say doesn't exist.
>
I am refuting the key halting problem proof, I am not refuting the
halting problem.
As soon as it is understood that I am correct that HHH(DD) computes the
mapping from its input to recursive emulation. Then in a few small steps
it will be know that I refuted the conventional Halting Problem proofs.
Cool! What are those steps?
Step 1: convince comp.theory that he's not talking bollocks.
That could take a while.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Date Sujet#  Auteur
12 May 25 * How the requirements that Professor Sipser agreed to are exactly met211olcott
12 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met79dbush
12 May 25 i+* Re: How the requirements that Professor Sipser agreed to are exactly met48olcott
12 May 25 ii+* Re: How the requirements that Professor Sipser agreed to are exactly met46dbush
12 May 25 iii`* Re: How the requirements that Professor Sipser agreed to are exactly met45olcott
12 May 25 iii `* Re: How the requirements that Professor Sipser agreed to are exactly met44dbush
12 May 25 iii  `* Re: How the requirements that Professor Sipser agreed to are exactly met43dbush
12 May 25 iii   `* Re: How the requirements that Professor Sipser agreed to are exactly met42olcott
12 May 25 iii    `* Re: How the requirements that Professor Sipser agreed to are exactly met41dbush
12 May 25 iii     `* Re: How the requirements that Professor Sipser agreed to are exactly met40olcott
12 May 25 iii      `* Re: How the requirements that Professor Sipser agreed to are exactly met39dbush
12 May 25 iii       `* Re: How the requirements that Professor Sipser agreed to are exactly met38olcott
13 May 25 iii        +* Re: How the requirements that Professor Sipser agreed to are exactly met36dbush
13 May 25 iii        i`* Re: How the requirements that Professor Sipser agreed to are exactly met35olcott
13 May 25 iii        i `* Re: How the requirements that Professor Sipser agreed to are exactly met34dbush
13 May 25 iii        i  `* Re: How the requirements that Professor Sipser agreed to are exactly met33olcott
13 May 25 iii        i   +* Re: How the requirements that Professor Sipser agreed to are exactly met31dbush
13 May 25 iii        i   i`* Re: How the requirements that Professor Sipser agreed to are exactly met30olcott
13 May 25 iii        i   i `* Re: How the requirements that Professor Sipser agreed to are exactly met29dbush
13 May 25 iii        i   i  `* Re: How the requirements that Professor Sipser agreed to are exactly met28dbush
13 May 25 iii        i   i   `* Re: How the requirements that Professor Sipser agreed to are exactly met27olcott
13 May 25 iii        i   i    `* Re: How the requirements that Professor Sipser agreed to are exactly met26dbush
13 May 25 iii        i   i     +* Re: How the requirements that Professor Sipser agreed to are exactly met13olcott
13 May 25 iii        i   i     i+- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iii        i   i     i+* Re: How the requirements that Professor Sipser agreed to are exactly met10dbush
13 May 25 iii        i   i     ii`* Re: How the requirements that Professor Sipser agreed to are exactly met9olcott
13 May 25 iii        i   i     ii +- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iii        i   i     ii +- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   i     ii `* Re: How the requirements that Professor Sipser agreed to are exactly met6Richard Heathfield
13 May 25 iii        i   i     ii  `* Re: How the requirements that Professor Sipser agreed to are exactly met5olcott
13 May 25 iii        i   i     ii   +* Re: How the requirements that Professor Sipser agreed to are exactly met2joes
13 May 25 iii        i   i     ii   i`- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Heathfield
13 May 25 iii        i   i     ii   +- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   i     ii   `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iii        i   i     i`- Re: How the requirements that Professor Sipser agreed to are exactly met1joes
13 May 25 iii        i   i     `* Re: How the requirements that Professor Sipser agreed to are exactly met12olcott
13 May 25 iii        i   i      +* Re: How the requirements that Professor Sipser agreed to are exactly met10dbush
13 May 25 iii        i   i      i`* Re: How the requirements that Professor Sipser agreed to are exactly met9olcott
13 May 25 iii        i   i      i +* Re: How the requirements that Professor Sipser agreed to are exactly met4dbush
13 May 25 iii        i   i      i i`* Re: How the requirements that Professor Sipser agreed to are exactly met3olcott
13 May 25 iii        i   i      i i +- Re: How the requirements that Professor Sipser agreed to are exactly met1Fred. Zwarts
13 May 25 iii        i   i      i i `- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   i      i `* Re: How the requirements that Professor Sipser agreed to are exactly met4Richard Damon
13 May 25 iii        i   i      i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure3olcott
13 May 25 iii        i   i      i   +- Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure1Fred. Zwarts
13 May 25 iii        i   i      i   `- Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure1Richard Damon
13 May 25 iii        i   i      `- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iii        i   `- Re: How the requirements that Professor Sipser agreed to are exactly met1joes
13 May 25 iii        `- Re: How the requirements that Professor Sipser agreed to are exactly met1Mikko
13 May 25 ii`- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
14 May 25 i+* Re: How the requirements that Professor Sipser agreed to are exactly met +++25olcott
14 May 25 ii`* Re: How the requirements that Professor Sipser agreed to are exactly met +++24dbush
14 May 25 ii `* Re: How the requirements that Professor Sipser agreed to are exactly met +++23olcott
14 May 25 ii  +* Re: How the requirements that Professor Sipser agreed to are exactly met +++3Fred. Zwarts
14 May 25 ii  i`* Re: How the requirements that Professor Sipser agreed to are exactly met +++2olcott
15 May 25 ii  i `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Fred. Zwarts
14 May 25 ii  +* Re: How the requirements that Professor Sipser agreed to are exactly met +++8Richard Damon
14 May 25 ii  i`* Re: How the requirements that Professor Sipser agreed to are exactly met +++7olcott
14 May 25 ii  i +- Re: How the requirements that Professor Sipser agreed to are exactly met +++1dbush
15 May 25 ii  i +- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Richard Damon
15 May 25 ii  i `* Re: How the requirements that Professor Sipser agreed to are exactly met +++4Mikko
16 May 25 ii  i  `* Re: How the requirements that Professor Sipser agreed to are exactly met +++3olcott
16 May 25 ii  i   +- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Mikko
16 May 25 ii  i   `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1Richard Damon
14 May 25 ii  `* Re: How the requirements that Professor Sipser agreed to are exactly met +++11dbush
14 May 25 ii   `* Re: How the requirements that Professor Sipser agreed to are exactly met +++10olcott
14 May 25 ii    `* Re: How the requirements that Professor Sipser agreed to are exactly met +++9dbush
14 May 25 ii     `* Re: How the requirements that Professor Sipser agreed to are exactly met +++8olcott
14 May 25 ii      +* Re: How the requirements that Professor Sipser agreed to are exactly met +++5dbush
14 May 25 ii      i`* Re: How the requirements that Professor Sipser agreed to are exactly met +++4olcott
14 May 25 ii      i `* Re: How the requirements that Professor Sipser agreed to are exactly met +++3dbush
14 May 25 ii      i  `* Re: How the requirements that Professor Sipser agreed to are exactly met +++2olcott
15 May 25 ii      i   `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1dbush
15 May 25 ii      `* Re: How the requirements that Professor Sipser agreed to are exactly met +++2Mikko
16 May 25 ii       `- Re: How the requirements that Professor Sipser agreed to are exactly met +++1olcott
14 May 25 i`* Re: How the requirements that Professor Sipser agreed to are exactly met5olcott
14 May 25 i +* Re: How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
14 May 25 i i`* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
14 May 25 i i `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
14 May 25 i `- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met109Richard Damon
13 May 25 i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH108olcott
13 May 25 i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH107Richard Damon
13 May 25 i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH106olcott
13 May 25 i   +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3Fred. Zwarts
14 May 25 i   i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
14 May 25 i   i `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
13 May 25 i   `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH102Richard Damon
13 May 25 i    `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH101olcott
13 May 25 i     +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH6joes
13 May 25 i     i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH5olcott
13 May 25 i     i +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
14 May 25 i     i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3joes
14 May 25 i     i  `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH2olcott
15 May 25 i     i   `- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Fred. Zwarts
13 May 25 i     +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
14 May 25 i     `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH93dbush
14 May 25 i      `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH92olcott
14 May 25 i       +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH87dbush
14 May 25 i       i`* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH86olcott
14 May 25 i       i +* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH7dbush
14 May 25 i       i `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH78Richard Damon
14 May 25 i       +- Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH1Richard Damon
14 May 25 i       `* Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH3joes
13 May 25 +* Re: How the requirements that Professor Sipser agreed to are exactly met15olcott
14 May 25 `* Re: How the requirements that Professor Sipser agreed to are exactly met7olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal