Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT

Liste des GroupesRevenir à theory 
Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 16. Nov 2024, 22:55:31
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <e8822390d78515292eeee28517f75aaff5bd85fb@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 11/16/24 4:16 PM, olcott wrote:
On 11/16/2024 12:31 PM, joes wrote:
Am Sat, 16 Nov 2024 11:18:33 -0600 schrieb olcott:
On 11/16/2024 10:51 AM, joes wrote:
Am Sat, 16 Nov 2024 09:17:21 -0600 schrieb olcott:
On 11/16/2024 8:26 AM, Richard Damon wrote:
On 11/16/24 9:09 AM, olcott wrote:
On 11/16/2024 6:36 AM, Richard Damon wrote:
On 11/15/24 11:17 PM, olcott wrote:
On 11/15/2024 10:10 PM, Richard Damon wrote:
On 11/15/24 10:57 PM, olcott wrote:
On 11/15/2024 9:39 PM, Richard Damon wrote:
On 11/15/24 10:32 PM, olcott wrote:
On 11/15/2024 9:18 PM, Richard Damon wrote:
On 11/15/24 7:34 PM, olcott wrote:
On 11/14/2024 8:49 PM, Richard Damon wrote:
On 11/14/24 9:38 PM, olcott wrote:
On 11/14/2024 2:33 PM, Richard Damon wrote:
On 11/14/24 3:28 PM, olcott wrote:
On 11/14/2024 2:22 PM, Alan Mackenzie wrote:
joes <noreply@example.org> wrote:
>
Which HHH does DDD call, the one that aborts?
This has never made any damn difference.
It absolutely does. If the inner HHH aborts, the outer doesn't need to,
because DDD halts.
>
That I have to keep telling you this seems to indicate that you are a
liar.
You don't need to. I am talking about the inner H called by D, not the
outermost H simulating D.
>
 *We are not talking any and damn H nitwit*
We are talking about the behavior of DDD emulated
by any possible encoding of HHH at any level of
recursive emulation.
But the behavior of DDD emulated by HHH isn't a valid semantic property, so you are just talking gibberish.

 (a) HHH must report on the behavior of its input DDD
it is ridiculously stupid to think otherwise.
And that behavior is DEFINED as the behavior of an unbounded emulation of that input, which must be the representation of a FULL program, NOT the partial emulaiton done by HHH.
So, you are just shown to be an idiot spouting gibberish, and your criteria is invalid as is what you want to call your input.

 int sum(int x, int y) { return x + y; }
is only allowed to return 5 for sum(3,2).
Right, and HHH is only allowed to report on the behavior of DDD run, or by equivalence, the behaviof of UTM(DDD).

 (b) The behavior of DDD emulated by any HHH no matter
how it is encoded or at whatever level of emulation no
matter how deep IS ALWAYS EXACTLY THE SAME IN THAT IT
CANNOT POSSIBLY REACH ITS OWN "return" FINAL HALT STATE.
 
But the emulation done by HHH of DDD is NOT the behavior of the input, and isn't even a valid semantic property of it.
Your input also isn't a correct input, so you are just showing how stupid you are.

Date Sujet#  Auteur
11 Nov 24 * Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?86joes
11 Nov 24 `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?85olcott
11 Nov 24  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?4Richard Damon
12 Nov 24  i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?3olcott
12 Nov 24  i +- Re: The philosophy of computation reformulates existing ideas on a new basis ---Olcott is a liar!1Richard Damon
12 Nov 24  i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1joes
12 Nov 24  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?80joes
12 Nov 24   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?79olcott
12 Nov 24    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?8joes
12 Nov 24    i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?7olcott
12 Nov 24    i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?5joes
12 Nov 24    i i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?4olcott
12 Nov 24    i i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?2joes
12 Nov 24    i i i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1olcott
13 Nov 24    i i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon
13 Nov 24    i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon
13 Nov 24    +- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon
13 Nov 24    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?69Mikko
14 Nov 24     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?68olcott
14 Nov 24      +- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon
14 Nov 24      +* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?49joes
14 Nov 24      i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT48olcott
14 Nov 24      i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT44Richard Damon
14 Nov 24      i i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT43olcott
14 Nov 24      i i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT42Richard Damon
14 Nov 24      i i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT41olcott
14 Nov 24      i i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT40Richard Damon
14 Nov 24      i i    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT39olcott
14 Nov 24      i i     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT38Richard Damon
14 Nov 24      i i      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT37olcott
14 Nov 24      i i       +* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT33joes
14 Nov 24      i i       i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1olcott
14 Nov 24      i i       i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT31Alan Mackenzie
14 Nov 24      i i       i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT30olcott
14 Nov 24      i i       i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT29Richard Damon
15 Nov 24      i i       i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT28olcott
15 Nov 24      i i       i    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT27Richard Damon
16 Nov 24      i i       i     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT26olcott
16 Nov 24      i i       i      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT25Richard Damon
16 Nov 24      i i       i       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT24olcott
16 Nov 24      i i       i        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT23Richard Damon
16 Nov 24      i i       i         `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT22olcott
16 Nov 24      i i       i          `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT21Richard Damon
16 Nov 24      i i       i           `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT20olcott
16 Nov 24      i i       i            `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT19Richard Damon
16 Nov 24      i i       i             `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT18olcott
16 Nov 24      i i       i              `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT17Richard Damon
16 Nov 24      i i       i               `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT16olcott
16 Nov 24      i i       i                +- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
16 Nov 24      i i       i                `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT14joes
16 Nov 24      i i       i                 `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT13olcott
16 Nov 24      i i       i                  +- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
16 Nov 24      i i       i                  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT11joes
16 Nov 24      i i       i                   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT6olcott
16 Nov 24      i i       i                   i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT5Richard Damon
16 Nov 24      i i       i                   i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT4olcott
16 Nov 24      i i       i                   i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT3Richard Damon
16 Nov 24      i i       i                   i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT2olcott
17 Nov 24      i i       i                   i    `- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
16 Nov 24      i i       i                   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT2olcott
16 Nov 24      i i       i                   i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
17 Nov 24      i i       i                   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT2olcott
17 Nov 24      i i       i                    `- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
14 Nov 24      i i       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT3Richard Damon
14 Nov 24      i i        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT2olcott
14 Nov 24      i i         `- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
14 Nov 24      i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT3joes
14 Nov 24      i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT2olcott
14 Nov 24      i   `- Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT1Richard Damon
14 Nov 24      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?17Mikko
15 Nov 24       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?16olcott
15 Nov 24        +- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon
15 Nov 24        +* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?11Mikko
16 Nov 24        i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?10olcott
16 Nov 24        i +- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon
16 Nov 24        i +- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1wij
16 Nov 24        i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?7Mikko
16 Nov 24        i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY6olcott
16 Nov 24        i   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY4Richard Damon
16 Nov 24        i   i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY2olcott
16 Nov 24        i   ii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY1Richard Damon
17 Nov 24        i   i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY1Mikko
17 Nov 24        i   `- Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY1Mikko
15 Nov 24        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?3joes
16 Nov 24         `* Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?2olcott
16 Nov 24          `- Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar?1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal