Liste des Groupes | Revenir à theory |
Am Wed, 04 Dec 2024 13:14:20 -0600 schrieb olcott:It is impossibly too difficult to understand unless weOn 12/4/2024 9:32 AM, joes wrote:For that it seems relevant what HHH does. Ok, it simulates some numberAm Tue, 03 Dec 2024 17:08:34 -0600 schrieb olcott:We have not begun to get to that point of the conversation yet. We haveOn 12/3/2024 3:03 AM, joes wrote:>Am Mon, 02 Dec 2024 20:48:49 -0600 schrieb olcott:On 11/28/2024 1:48 PM, joes wrote:Am Thu, 28 Nov 2024 11:35:16 -0600 schrieb olcott:On 11/28/2024 11:32 AM, joes wrote:Am Thu, 28 Nov 2024 11:07:16 -0600 schrieb olcott:On 11/28/2024 10:51 AM, joes wrote:Am Thu, 28 Nov 2024 10:47:10 -0600 schrieb olcott:On 11/28/2024 10:27 AM, joes wrote:Am Thu, 28 Nov 2024 10:16:15 -0600 schrieb olcott:On 11/28/2024 4:04 AM, joes wrote:Am Wed, 27 Nov 2024 19:15:41 -0600 schrieb olcott:On 11/27/2024 8:03 AM, Richard Damon wrote:On 11/27/24 8:28 AM, olcott wrote:On 11/27/2024 6:14 AM, Richard Damon wrote:olcott <NoOne@NoWhere.com> wrote:I'm not changing the subject. HHH is a decider, right?Please try and explain how you are not dishonest what you try toWe know that HHH halts. It doesn't simulate itself halting.You said:The code proves that HHH aborts.The code proves that HHH does emulate itself emulating DDD whyYes, HHH can't simulate itself.If HHH halts at all, it needs to return that HHH halts.DDD emulated by any HHH cannot possibly halt.
You can fail to understand that, you can lie about that, it
remains immutably a verified fact none-the-less.
lie?
>>> HHH can't simulate itself.
That is WRONG !!!
HHH DOES EMULATE ITSELF PROVING THAT IT CAN EMULATE ITSELF.
change the subject from my rebuttal of your statement:
>>> HHH can't simulate itself.
That HHH does emulate itself emulating DDD proves THAT IT CAN DO THIS.
only been talking about the emulation of DDD by HHH for three months.
of steps of its input, potentially forever?
*We must go though my proof ONE-STEP-AT-A-TIME*Only you must. Why? Just give me the full thing, if you have it.
Les messages affichés proviennent d'usenet.