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 : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 16. Nov 2024, 17:51:07
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <14e3854f191fe4b808d5efaddefa44f24b9b578a@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 : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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:

That behavior that HHH is supposed to be reporting on is
the behavior of the actual direct exectution of the program
described by the input,
>
IN OTHER WORDS YOU ARE SAYING THAT HHH SHOULD STUPIDLY
IGNORE THE FACT THAT DDD DOES SPECIFY THAT HHH MUST EMULATE
ITSELF EMULATING DDD

Your "Source Code", is NOT an axiom of the system.
WHich isn't a complete program, so a LIE to call it one.
 
I never called it a complete program and you swear your own allegiance
to the father of lies by saying that I did.
I hereby swear allegiance to the father of lies.

Which HHH does DDD call, the one that aborts?

The axioms of the system are the x86 language nitwit.
Which means that the above is an incorrect statememt.
By the "axions" you claim, the PROGRAM DDD, that comes from the Halt7.c
file, is HALTING as it calls the HHH that does some partial emulation
and returns to DDD and thus DDD returns.
The C function DDD partially or fully emulated by any HHH never reaches
its own "return" instruction final halt state.

Why doesn't the inner HHH halt?

HHH applies to axioms to its input proving that DDD emulated by HHH
cannot possibly ever reach its own "ret" instruction final halt state
no matter what any partial or compete x86 emulator HHH does.
Nope, becuase there are no axioms like that to even APPLY.
Sure there are the x86 language provides all of the axioms that requires
HHH to emulate the first four instructions of DDD then if any more
instructions are to be emulated HHH must at least begin emulating itself
emulating DDD.
The further instructions of HHH do need to be simulated as part of the
code of DDD. DDD is not done with the call until the inner HHH returns,
which we know it does as it is the same program as the outer simulator
(which shall be a decider), whereupon DDD will halt, just like if it
weren't simulated.

I hope not that is why I ask you to repent.
Do not preoccupy yourself with others' salvation.

In a court of law you must tell the truth THE WHOLE TRUTH and nothing
but the truth.  That you fail to tell the whole truth about the behavior
of DDD emulated by HHH would break this oath.
This is not a court.

I don't see how you can twist your understanding of scripture so that
you think you can get away with deceptive trollish head games.
Nobody was quoting scripture.

--
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
27 Oct 24 * The philosophy of computation reformulates existing ideas on a new basis ---588olcott
27 Oct 24 `* Re: The philosophy of computation reformulates existing ideas on a new basis ---587Richard Damon
28 Oct 24  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---586olcott
28 Oct 24   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---585Richard Damon
28 Oct 24    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---584olcott
28 Oct 24     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---583Richard Damon
28 Oct 24      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---582olcott
29 Oct 24       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---581Richard Damon
29 Oct 24        +* Re: The philosophy of computation reformulates existing ideas on a new basis ---466olcott
29 Oct 24        i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
29 Oct 24        i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---464Mikko
29 Oct 24        i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---270olcott
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---242Andy Walker
29 Oct 24        i ii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
29 Oct 24        i iii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---7joes
29 Oct 24        i iiii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---6olcott
30 Oct 24        i iiii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5Richard Damon
30 Oct 24        i iiii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i iiii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i iiii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i iiii     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i iii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---232Jeff Barnett
30 Oct 24        i ii +* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i ii i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i ii i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii i  `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---227Andy Walker
30 Oct 24        i ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii  i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
31 Oct 24        i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---224Mikko
31 Oct 24        i ii   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
1 Nov 24        i ii   i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii   i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
31 Oct 24        i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---220Andy Walker
31 Oct 24        i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---219olcott
1 Nov 24        i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---218Richard Damon
1 Nov 24        i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---217olcott
1 Nov 24        i ii       +* Re: The philosophy of computation reformulates existing ideas on a new basis ---207olcott
1 Nov 24        i ii       i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---205Mikko
1 Nov 24        i ii       ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---204olcott
2 Nov 24        i ii       ii +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---202Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---187Andy Walker
2 Nov 24        i ii       ii  i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       ii  ii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii  i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---183Mikko
3 Nov 24        i ii       ii  i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---15olcott
3 Nov 24        i ii       ii  i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---12Mike Terry
3 Nov 24        i ii       ii  i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---11olcott
3 Nov 24        i ii       ii  i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Richard Damon
3 Nov 24        i ii       ii  i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
3 Nov 24        i ii       ii  i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---8Richard Damon
3 Nov 24        i ii       ii  i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---7olcott
4 Nov 24        i ii       ii  i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---6Richard Damon
4 Nov 24        i ii       ii  i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5olcott
4 Nov 24        i ii       ii  i ii       +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3joes
5 Nov 24        i ii       ii  i ii        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
5 Nov 24        i ii       ii  i ii         `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
4 Nov 24        i ii       ii  i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---167Andy Walker
4 Nov 24        i ii       ii  i  +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1olcott
4 Nov 24        i ii       ii  i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---165Mikko
5 Nov 24        i ii       ii  i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---164Andy Walker
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
5 Nov 24        i ii       ii  i    i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
5 Nov 24        i ii       ii  i    i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Mikko
6 Nov 24        i ii       ii  i    i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---2Andy Walker
6 Nov 24        i ii       ii  i    i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
6 Nov 24        i ii       ii  i    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---157Alan Mackenzie
6 Nov 24        i ii       ii  i     +* Re: The philosophy of logic reformulates existing ideas on a new basis ---155olcott
6 Nov 24        i ii       ii  i     i+* Re: The philosophy of logic reformulates existing ideas on a new basis ---150Alan Mackenzie
7 Nov 24        i ii       ii  i     ii`* Re: The philosophy of logic reformulates existing ideas on a new basis ---149olcott
8 Nov 24        i ii       ii  i     ii `* Re: The philosophy of logic reformulates existing ideas on a new basis ---148Alan Mackenzie
8 Nov 24        i ii       ii  i     ii  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---147olcott
8 Nov 24        i ii       ii  i     ii   +* Re: The philosophy of logic reformulates existing ideas on a new basis ---145Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---144olcott
8 Nov 24        i ii       ii  i     ii   i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---140Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---139olcott
8 Nov 24        i ii       ii  i     ii   i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---137Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---136olcott
8 Nov 24        i ii       ii  i     ii   i i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---128Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---127olcott
8 Nov 24        i ii       ii  i     ii   i i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---126Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---125olcott
8 Nov 24        i ii       ii  i     ii   i i i i   `* Re: The philosophy of logic reformulates existing ideas on a new basis ---124Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i    `* Re: The philosophy of logic reformulates existing ideas on a new basis ---123olcott
9 Nov 24        i ii       ii  i     ii   i i i i     `* Re: The philosophy of logic reformulates existing ideas on a new basis ---122Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i      `* Re: The philosophy of logic reformulates existing ideas on a new basis ---121olcott
9 Nov 24        i ii       ii  i     ii   i i i i       +* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---3olcott
9 Nov 24        i ii       ii  i     ii   i i i i       i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i  `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
9 Nov 24        i ii       ii  i     ii   i i i i       `* Re: The philosophy of logic reformulates existing ideas on a new basis ---116joes
9 Nov 24        i ii       ii  i     ii   i i i i        `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct115olcott
9 Nov 24        i ii       ii  i     ii   i i i i         +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct104Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8joes
10 Nov 24        i ii       ii  i     ii   i i i i         `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko
8 Nov 24        i ii       ii  i     ii   i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---7Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
8 Nov 24        i ii       ii  i     ii   i +- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Richard Damon
8 Nov 24        i ii       ii  i     ii   i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2joes
9 Nov 24        i ii       ii  i     ii   `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
7 Nov 24        i ii       ii  i     i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
7 Nov 24        i ii       ii  i     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---12olcott
4 Nov 24        i ii       ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9Mikko
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---16joes
30 Oct 24        i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Mikko
29 Oct 24        i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---193olcott
29 Oct 24        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---114olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal