Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets

Liste des GroupesRevenir à c theory 
Sujet : Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory
Date : 30. May 2024, 18:58:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3aenk$1ptlh$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
User-Agent : Mozilla Thunderbird
On 30/05/24 15:11, olcott wrote:
On 5/30/2024 4:11 AM, joes wrote:
Am Wed, 29 May 2024 22:48:45 -0500 schrieb olcott:
*A deciders compute the mapping*
FROM ITS INPUTS
*to it own accept or reject state*
>
*Deciders cannot take*
ACTUAL TURING MACHINES AS INPUTS
>
*Deciders can only take*
FINITE STRINGS AS INPUTS
Poetic.
What is an „actual Turing machine”?
>
 *Formalizing the Linz Proof structure*
∃H  ∈ Turing_Machines
∀x  ∈ Turing_Machine_Descriptions
∀y  ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
 Every H is an actual Turing_Machine
 Every x is a Turing_Machine_Description
thus not an actual Turing_Machine
 
∃H  ∈ Turing_Machines
∀x  ∈ Turing_Machines
∀y  ∈ Finite_Strings
such that H(DescriptionOf(x),y) = Halts(x,y)

Date Sujet#  Auteur
28 May 24 * D correctly simulated by H cannot possibly halt --- templates and infinite sets360olcott
29 May 24 +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets307Richard Damon
29 May 24 i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets306olcott
29 May 24 i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets305Richard Damon
29 May 24 i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets304olcott
29 May 24 i   +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets26Mikko
29 May 24 i   i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets25olcott
30 May 24 i   i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets24Richard Damon
30 May 24 i   i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets23olcott
30 May 24 i   i   `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets22Richard Damon
30 May 24 i   i    `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets21olcott
30 May 24 i   i     `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets20Richard Damon
30 May 24 i   i      `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets19olcott
30 May 24 i   i       `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets18Richard Damon
30 May 24 i   i        `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets17olcott
30 May 24 i   i         `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets16Richard Damon
30 May 24 i   i          `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets15olcott
30 May 24 i   i           `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets14Richard Damon
30 May 24 i   i            `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets13olcott
30 May 24 i   i             `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets12Richard Damon
30 May 24 i   i              `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets11olcott
30 May 24 i   i               +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets4joes
30 May 24 i   i               i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets3olcott
30 May 24 i   i               i +- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1immibis
31 May 24 i   i               i `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 i   i               +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets5immibis
30 May 24 i   i               i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets4Richard Damon
31 May 24 i   i               i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets3Mikko
31 May 24 i   i               i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets2immibis
31 May 24 i   i               i   `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Mikko
30 May 24 i   i               `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
29 May 24 i   `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets277Richard Damon
29 May 24 i    `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets276olcott
29 May 24 i     +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets274Alan Mackenzie
29 May 24 i     i+* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets7olcott
29 May 24 i     ii+* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets5Mike Terry
29 May 24 i     iii+* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets2olcott
30 May 24 i     iiii`- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
29 May 24 i     iii`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets2olcott
30 May 24 i     iii `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 i     ii`- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
29 May 24 i     i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets266Ben Bacarisse
29 May 24 i     i `* Two dozen people were simply wrong265olcott
29 May 24 i     i  +* Re: Two dozen people were simply wrong4Alan Mackenzie
29 May 24 i     i  i`* Re: Two dozen people were simply wrong3olcott
29 May 24 i     i  i `* Re: Two dozen people were simply wrong2Python
29 May 24 i     i  i  `- Re: Two dozen people were simply wrong1olcott
30 May 24 i     i  +* Re: Two dozen people were simply wrong (including Olcott)233Richard Damon
30 May 24 i     i  i`* Re: Two dozen people were simply wrong --- Try to prove otherwise232olcott
30 May 24 i     i  i +* Re: Two dozen people were simply wrong --- Try to prove otherwise230Richard Damon
30 May 24 i     i  i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise229olcott
30 May 24 i     i  i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise228Richard Damon
30 May 24 i     i  i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise227olcott
30 May 24 i     i  i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise226Richard Damon
30 May 24 i     i  i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise225olcott
30 May 24 i     i  i i     +* Re: Two dozen people were simply wrong --- Try to prove otherwise15Richard Damon
30 May 24 i     i  i i     i+* Re: Two dozen people were simply wrong --- Try to prove otherwise2olcott
30 May 24 i     i  i i     ii`- Re: Two dozen people were simply wrong --- Try to prove otherwise1Richard Damon
30 May 24 i     i  i i     i`* Re: Two dozen people were simply wrong --- Try to prove otherwise12olcott
30 May 24 i     i  i i     i `* Re: Two dozen people were simply wrong --- Try to prove otherwise11Richard Damon
30 May 24 i     i  i i     i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise10olcott
30 May 24 i     i  i i     i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise5Richard Damon
30 May 24 i     i  i i     i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise4olcott
30 May 24 i     i  i i     i   i `* Re: Olcott was simply wrong --- Try to prove otherwise3Richard Damon
30 May 24 i     i  i i     i   i  `* Re: Olcott was simply wrong --- Try to prove otherwise2olcott
31 May 24 i     i  i i     i   i   `- Re: Olcott was simply wrong --- Try to prove otherwise1Richard Damon
30 May 24 i     i  i i     i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise4joes
30 May 24 i     i  i i     i    +- Re: Two dozen people were simply wrong --- Try to prove otherwise1olcott
31 May 24 i     i  i i     i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise2Mikko
31 May 24 i     i  i i     i     `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- Mike Terry1olcott
30 May 24 i     i  i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise209Mikko
30 May 24 i     i  i i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise208olcott
31 May 24 i     i  i i       +* Re: Two dozen people were simply wrong --- Try to prove otherwise205Richard Damon
31 May 24 i     i  i i       i`* Re: Two dozen people were simply wrong --- Try to prove otherwise204olcott
31 May 24 i     i  i i       i +* Re: Two dozen people were simply wrong --- Try to prove otherwise195Richard Damon
31 May 24 i     i  i i       i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise194olcott
31 May 24 i     i  i i       i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise193Richard Damon
31 May 24 i     i  i i       i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise192olcott
31 May 24 i     i  i i       i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise191Richard Damon
31 May 24 i     i  i i       i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise190olcott
31 May 24 i     i  i i       i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise189Richard Damon
31 May 24 i     i  i i       i i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down188olcott
31 May 24 i     i  i i       i i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down187Richard Damon
1 Jun 24 i     i  i i       i i        `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down186olcott
1 Jun 24 i     i  i i       i i         `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down185Richard Damon
1 Jun 24 i     i  i i       i i          `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down184olcott
1 Jun 24 i     i  i i       i i           +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down182Richard Damon
1 Jun 24 i     i  i i       i i           i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down181olcott
1 Jun 24 i     i  i i       i i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down111Richard Damon
1 Jun 24 i     i  i i       i i           i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down110olcott
1 Jun 24 i     i  i i       i i           i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down108Richard Damon
1 Jun 24 i     i  i i       i i           i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down107olcott
1 Jun 24 i     i  i i       i i           i i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down105Richard Damon
1 Jun 24 i     i  i i       i i           i i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down104olcott
1 Jun 24 i     i  i i       i i           i i i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down103Richard Damon
1 Jun 24 i     i  i i       i i           i i i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down102olcott
1 Jun 24 i     i  i i       i i           i i i i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down92Richard Damon
1 Jun 24 i     i  i i       i i           i i i i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down91olcott
1 Jun 24 i     i  i i       i i           i i i i   i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down13Fred. Zwarts
1 Jun 24 i     i  i i       i i           i i i i   i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down12olcott
1 Jun 24 i     i  i i       i i           i i i i   i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down11Fred. Zwarts
1 Jun 24 i     i  i i       i i           i i i i   i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down74Richard Damon
1 Jun 24 i     i  i i       i i           i i i i   i +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i     i  i i       i i           i i i i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down2joes
2 Jun 24 i     i  i i       i i           i i i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down9Mikko
1 Jun 24 i     i  i i       i i           i i i `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i     i  i i       i i           i i `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
1 Jun 24 i     i  i i       i i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down50Wasell
1 Jun 24 i     i  i i       i i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down16Fred. Zwarts
1 Jun 24 i     i  i i       i i           i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down3joes
1 Jun 24 i     i  i i       i i           `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
31 May 24 i     i  i i       i `* Re: Two dozen people were simply wrong --- Try to prove otherwise8Mikko
31 May 24 i     i  i i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise2Mikko
30 May 24 i     i  i `- Re: H is an incorrect x86 emulator1immibis
30 May 24 i     i  +- Re: Two dozen people were simply wrong1immibis
1 Jun 24 i     i  `* Re: Two dozen people were simply wrong26Mikko
30 May 24 i     `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets --- deciders38olcott
31 May 24 `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets14Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal