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

Liste des GroupesRevenir à s logic 
Sujet : Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 30. May 2024, 03:25:01
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v38khd$2foi0$16@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 5/29/24 9:12 PM, olcott wrote:
On 5/29/2024 8:02 PM, Richard Damon wrote:
On 5/29/24 8:53 PM, olcott wrote:
On 5/29/2024 7:47 PM, Richard Damon wrote:
On 5/29/24 8:21 PM, olcott wrote:
On 5/29/2024 7:09 PM, Richard Damon wrote:
On 5/29/24 8:01 PM, olcott wrote:
On 5/29/2024 6:47 PM, Richard Damon wrote:
*Formalizing the Linz Proof structure*
∃H  ∈ Turing_Machines
∀x  ∈ Turing_Machines_Descriptions
∀y  ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
>
>
And since NO H, can get right the H^ built to contradict IT, that claim is proven false.
>
>
YOU KEEP TRYING TO GET AWAY WITH CHANGING THE SUBJECT
THE ABOVE FORMALIZATION IS CORRECT
>
>
How?
>
>
The above is the question that Linz asks and the he gets
an answer of no, no such H exists.
>
>
>
So, you now agree with Linz. Good.
>
>
I said that Linz says that. The point is that the Linz
template examines an infinite set of Turing Machine / input
pairs the same way my H/D template references an infinite set
of C function / input pairs.
>
>
The difference is, In Linz's formulation, each machine is INDIVIDUALLY EVALUTED with its inputs,
  *No that is never the case*
Of course it is.

 When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
 The entire category of every decider/input pair is examined ALL AT ONCE.
No one is dumb enough to look at each element of an infinite set
one at a time because they know this takes literally forever.
 
Why do you say that?
How do you run ALL the machines at once?
Maybe you can think of all of them running INDIVIDUALLY in parrallel, but each machine does what that machine does with the input that THAT machine was given.
You just don't understand what you are talking about.

Date Sujet#  Auteur
28 May 24 * D correctly simulated by H cannot possibly halt --- templates and infinite sets253olcott
29 May 24 +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets214Richard Damon
29 May 24 i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets213olcott
29 May 24 i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets212Richard Damon
29 May 24 i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets211olcott
29 May 24 i   +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets194Richard Damon
29 May 24 i   i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets193olcott
29 May 24 i   i +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets191Alan Mackenzie
29 May 24 i   i i+- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1olcott
29 May 24 i   i i`* Two dozen people were simply wrong189olcott
29 May 24 i   i i +* Re: Two dozen people were simply wrong3Alan Mackenzie
29 May 24 i   i i i+- Re: Two dozen people were simply wrong1olcott
29 May 24 i   i i i`- Re: Two dozen people were simply wrong1olcott
30 May 24 i   i i +* Re: Two dozen people were simply wrong (including Olcott)178Richard Damon
30 May 24 i   i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise177olcott
30 May 24 i   i i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise176Richard Damon
30 May 24 i   i i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise175olcott
30 May 24 i   i i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise174Richard Damon
30 May 24 i   i i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise173olcott
30 May 24 i   i i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise172Richard Damon
30 May 24 i   i i i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise171olcott
30 May 24 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 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 otherwise8olcott
30 May 24 i   i i i       i `* Re: Two dozen people were simply wrong --- Try to prove otherwise7Richard Damon
30 May 24 i   i i i       i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise6olcott
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    `* Re: Two dozen people were simply wrong --- Try to prove otherwise4olcott
30 May 24 i   i i i       i     `* Re: Olcott was simply wrong --- Try to prove otherwise3Richard Damon
30 May 24 i   i i i       i      `* Re: Olcott was simply wrong --- Try to prove otherwise2olcott
31 May 24 i   i i i       i       `- Re: Olcott was simply wrong --- Try to prove otherwise1Richard Damon
31 May 24 i   i i i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise159olcott
31 May 24 i   i i i        +* Re: Two dozen people were simply wrong --- Try to prove otherwise157Richard Damon
31 May 24 i   i i i        i`* Re: Two dozen people were simply wrong --- Try to prove otherwise156olcott
31 May 24 i   i i i        i `* Re: Two dozen people were simply wrong --- Try to prove otherwise155Richard Damon
31 May 24 i   i i i        i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise154olcott
31 May 24 i   i i i        i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise153Richard Damon
31 May 24 i   i i i        i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise152olcott
31 May 24 i   i i i        i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise151Richard Damon
31 May 24 i   i i i        i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down150olcott
31 May 24 i   i i i        i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down149Richard Damon
1 Jun 24 i   i i i        i        `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down148olcott
1 Jun 24 i   i i i        i         `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down147Richard Damon
1 Jun 24 i   i i i        i          `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down146olcott
1 Jun 24 i   i i i        i           +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down144Richard Damon
1 Jun 24 i   i i i        i           i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down143olcott
1 Jun 24 i   i i i        i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down104Richard Damon
1 Jun 24 i   i i i        i           i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down103olcott
1 Jun 24 i   i i i        i           i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down101Richard Damon
1 Jun 24 i   i i i        i           i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down100olcott
1 Jun 24 i   i i i        i           i i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down98Richard 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 down97olcott
1 Jun 24 i   i i i        i           i i i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down96Richard 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 down95olcott
1 Jun 24 i   i i i        i           i i i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down94Richard 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 down93olcott
1 Jun 24 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`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down10olcott
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 down9Fred. Zwarts
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 down8olcott
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 down7Fred. Zwarts
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 down6olcott
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 down5Fred. Zwarts
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 down4olcott
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 down3Fred. Zwarts
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 down2olcott
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 down1Richard 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 down78Richard 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 down77olcott
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 down76Richard 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 down75olcott
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 down73Richard 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 down72olcott
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 down71Richard 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 down70olcott
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 down8Richard Damon
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 down7olcott
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 down6Richard Damon
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 down5olcott
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 down1immibis
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 down3Richard Damon
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 down2olcott
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 down1Richard 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 down61Fred. 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 down60olcott
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 down50Richard Damon
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 down49olcott
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 down48Richard Damon
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 down47olcott
2 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 down45Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down44olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down43Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down42olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1wij
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1wij
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down37Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down36olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down35Richard Damon
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down34olcott
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   i   +* Re: Olcott is simply wrong --- Try to prove otherwise --- pinned down32Richard Damon
3 Jun 24 i   i i i        i           i i i i     i   i     i   i   i   `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Mikko
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1wij
2 Jun 24 i   i i i        i           i i i i     i   i     i   i   `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
2 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 down1Fred. Zwarts
2 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 down9Fred. Zwarts
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 down1immibis
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 i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down2joes
1 Jun 24 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 `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
1 Jun 24 i   i i i        i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down26Wasell
1 Jun 24 i   i i i        i           i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down12Fred. Zwarts
1 Jun 24 i   i i i        i           `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
4 Jun 24 i   i i i        `- Re: Two dozen people were simply wrong --- Try to prove otherwise1olcott
30 May 24 i   i i +- Re: Two dozen people were simply wrong1immibis
1 Jun 24 i   i i `* Re: Two dozen people were simply wrong -- Only basis for rebuttal in the last 3 years6olcott
30 May 24 i   i `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 i   `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets16olcott
30 May 24 `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets --- deciders38olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal