On 2024-03-04 19:53:05 +0000, olcott said:

> On 3/4/2024 3:22 AM, Mikko wrote:
>> On 2024-03-03 18:47:29 +0000, olcott said:
>>
>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>
>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>
>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>> actual very deep understanding of these things.
>>>>>>
>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>
>>>>>
>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>
>>>> That does not demonstrate any understanding, even shallow.
>>>>
>>>
>>> The first thing that it does is agree that Hehner's
>>> "Carol's question" (augmented by Richards critique)
>>> is an example of the Liar Paradox.
>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>
>>> It ends up concluding that myself, professor Hehner and
>>> professor Stoddart are all correct in that there is
>>> something wrong with the halting problem.
>>
>> None of that demonstrates any understanding.
>>
>>> My persistent focus on these ideas gives me an increasingly
>>> deeper understanding thus my latest position is that the
>>> halting problem proofs do not actually show that halting
>>> is not computable.
>>
>> Your understanding is still defective and shallow.
>>
>
> If it really was shallow then a gap in my reasoning
> could be pointed out.

Gaps in your reasons are pointed out every day.

--
Mikko

On 2024-03-04 19:31:40 +0000, olcott said:

> If there is a physical machine that can solve problems that a Turing
> machine cannot solve then we are only pretending that the limits of
> computation are the limits of computers.

However, we have no idea how such machine could be constructed.
Although that machine might solve the halting problem of Turing
machines it would also create a new halting problem that it
cannot solve.

--
Mikko

On 3/4/24 10:55 PM, olcott wrote:
> On 3/4/2024 9:02 PM, Richard Damon wrote:
>> On 3/4/24 9:28 PM, olcott wrote:
>>> On 3/4/2024 7:31 PM, Richard Damon wrote:
>>>> On 3/4/24 2:31 PM, olcott wrote:
>>>>> On 3/4/2024 6:40 AM, Richard Damon wrote:
>>>>>> On 3/3/24 11:58 PM, olcott wrote:
>>>>>>> On 3/3/2024 10:25 PM, Richard Damon wrote:
>>>>>>>> On 3/3/24 9:39 PM, olcott wrote:
>>>>>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>>>>>> On 3/3/24 11:19 AM, olcott wrote:
>>>>>>>>>>> On 3/3/2024 6:15 AM, Richard Damon wrote:
>>>>>>>>>>>> On 3/2/24 9:09 PM, olcott wrote:
>>>>>>>>>>>>> On 3/2/2024 7:46 PM, Richard Damon wrote:
>>>>>>>>>>>>>> On 3/2/24 8:38 PM, olcott wrote:
>>>>>>>>>>>>>>> On 3/2/2024 7:30 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 3/2/24 8:08 PM, olcott wrote:
>>>>>>>>>>>>>>>>> On 3/2/2024 6:47 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 3/2/24 6:01 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 3/2/2024 4:54 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>> On 3/2/24 5:28 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> The reason that people assume that H1(D,D) must get
>>>>>>>>>>>>>>>>>>>>> the same result as H(D,D) is that they make sure
>>>>>>>>>>>>>>>>>>>>> to ignore the reason why they get a different result.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Namely that you are lying that H and H1 are actually
>>>>>>>>>>>>>>>>>>>> the same computation.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> It turns out that the only reason that H1(D,D)
>>>>>>>>>>>>>>>>>>>>> derives a
>>>>>>>>>>>>>>>>>>>>> different result than H(D,D) is that H is at a
>>>>>>>>>>>>>>>>>>>>> different
>>>>>>>>>>>>>>>>>>>>> physical machine address than H1.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Which means that H and H1 are not computations, and
>>>>>>>>>>>>>>>>>>>> you have been just an ignorant pathological liar all
>>>>>>>>>>>>>>>>>>>> this time.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> D calls 00001522 // machine address of H
>>>>>>>>>>>>>>>>>>>>> thus D does call 00001422 // machine address of H1
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Since this <is> the empirically determined deciding
>>>>>>>>>>>>>>>>>>>>> factor I don't think that it can be correctly ignored.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Right, but since the algorithm for H/H1 uses the
>>>>>>>>>>>>>>>>>>>> address of the decider, which isn't defined as an
>>>>>>>>>>>>>>>>>>>> "input" to it, we see that you have been lying that
>>>>>>>>>>>>>>>>>>>> this code is a computation. Likely because you have
>>>>>>>>>>>>>>>>>>>> made yourself ignorant of what a computation
>>>>>>>>>>>>>>>>>>>> actually is,
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Thus you have made yourself into an Ignorant
>>>>>>>>>>>>>>>>>>>> Pathological Lying Idiot.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Any physically implemented Turing machine must exist
>>>>>>>>>>>>>>>>>>>>> at some physical memory location.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Nope.
>>>>>>>>>>>>>>>>>>> Any *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>> must exist at some physical memory location.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Try and explain the details of how it can be otherwise.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> And description of a Turing Machine (or a Computation)
>>>>>>>>>>>>>>>>>> that needs to reference atributes of Modern Electronic
>>>>>>>>>>>>>>>>>> Computers is just WRONG as they predate the
>>>>>>>>>>>>>>>>>> development of such a thing.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Virtual Machines that are exactly Turing Machines
>>>>>>>>>>>>>>>>> except for unlimited memory can and do exist.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> They necessarily must be implemented in physical memory
>>>>>>>>>>>>>>>>> and cannot possibly be implemented any other way.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> So?
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Doesn't let a "Computation" change its answer based on
>>>>>>>>>>>>>>>> its memory address.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>> halts
>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>> does not halt
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> We ourselves can see that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by
>>>>>>>>>>>>>>> Ĥ.H cannot possibly terminate unless Ĥ.H aborts its
>>>>>>>>>>>>>>> simulation.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> We ourselves can also see that when Ĥ.H applied to ⟨Ĥ⟩ ⟨Ĥ⟩
>>>>>>>>>>>>>>> does abort its simulation then Ĥ will halt.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> That no computer will ever achieve this degree of
>>>>>>>>>>>>>>> understanding is directly contradicted by this:
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> ChatGPT 4.0 dialogue.
>>>>>>>>>>>>>>> https://www.liarparadox.org/ChatGPT_HP.pdf
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> No COMPUTATION can solve it, because it has been proved
>>>>>>>>>>>>>> impossible.
>>>>>>>>>>>>>
>>>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>>>
>>>>>>>>>>>> Do computers actually UNDERSTAND?
>>>>>>>>>>>
>>>>>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>>>>> Demonstrates the functional equivalent of deep understanding.
>>>>>>>>>>> The first thing that it does is categorize Carol's question
>>>>>>>>>>> as equivalent to the Liar Paradox.
>>>>>>>>>>
>>>>>>>>>> Nope, doesn't show what you claim, just that it has been
>>>>>>>>>> taught by "rote memorization" that the answer to a question
>>>>>>>>>> put the way you did is the answer it gave.
>>>>>>>>>>
>>>>>>>>>> You are just showing that YOU don't understand what the word
>>>>>>>>>> UNDERSTAND actually means.
>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> This proves that the artifice of the human notion of
>>>>>>>>>>>>> computation is more limiting than actual real computers.
>>>>>>>>>>>>
>>>>>>>>>>>> In other words, you reject the use of definitions to define
>>>>>>>>>>>> words.
>>>>>>>>>>>>
>>>>>>>>>>>> I guess to you, nothing means what others have said it means,
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> I have found that it is the case that some definitions of
>>>>>>>>>>> technical terms sometimes boxes people into misconceptions
>>>>>>>>>>> such that alternative views are inexpressible within the
>>>>>>>>>>> technical language.
>>>>>>>>>>> https://en.wikipedia.org/wiki/Linguistic_relativity
>>>>>>>>>>
>>>>>>>>>> In other words, you are admtting that when you claim to be
>>>>>>>>>> working in a technical field and using the words as that field
>>>>>>>>>> means, you are just being a out and out LIAR.
>>>>>>>>>
>>>>>>>>> Not all all. When working with any technical definition I never
>>>>>>>>> simply assume that it is coherent. I always assume that it is
>>>>>>>>> possibly incoherent until proven otherwise.
>>>>>>>>
>>>>>>>> In other words, you ADMIT that you ignore technical definitions
>>>>>>>> and thus you comments about working in the field is just an
>>>>>>>> ignorant pathological lie.
>>>>>>>>
>>>>>>>>>
>>>>>>>>> If there are physically existing machines that can answer
>>>>>>>>> questions
>>>>>>>>> that are not Turing computable only because these machine can
>>>>>>>>> access
>>>>>>>>> their own machine address then these machines would be strictly
>>>>>>>>> more
>>>>>>>>> powerful than Turing Machines on these questions.
>>>>>>>>
>>>>>>>> Nope.
>>>>>>>
>>>>>>>
>>>>>>> If machine M can solve problems that machine N
>>>>>>> cannot solve then for these problems M is more
>>>>>>> powerful than N.
>>>>>>
>>>>>> But your H1 doesn't actually SOLVE the problem, as it fails on the
>>>>>> input (H1^) (H1^)
>>>>>>
>>>>>
>>>>> I am not even talking about that.
>>>>> In this new thread I am only talking about the generic case of:
>>>>> *Actual limits of computations != actual limits of computers*
>>>>> *with unlimited memory*
>>>>>
>>>>>> Note, I realise I misspoke a bit. Any "Non-computation"
>>>>>> sub-program can be turned into a Computation, just by being honest
>>>>>> and declairing as inputs the "Hidden Data" that it is using
>>>>>>
>>>>>>>
>>>>>>>>
>>>>>>>> But you just admitted you are too ignorant of the actual meaning
>>>>>>>> to make a reasoned statement and too dishonest to conceed that,
>>>>>>>> even after admitting it,
>>>>>>>>
>>>>>>>>>
>>>>>>>>> If computability only means can't be done in a certain
>>>>>>>>> artificially
>>>>>>>>> limited way and not any actual limit on what computers can
>>>>>>>>> actually
>>>>>>>>> do then computability would seem to be nonsense.
>>>>>>>>>
>>>>>>>
>>>>>>> Try and explain how this would not be nonsense.
>>>>>>
>>>>>> First, it ISN'T "Artificial", it is a natural outcome of the sorts
>>>>>> of problems we actuallly want to solve.
>>>>>>
>>>>>
>>>>> If there is a physical machine that can solve problems that a Turing
>>>>> machine cannot solve then we are only pretending that the limits of
>>>>> computation are the limits of computers.
>>>>
>>>> But there isn't.
>>>>
>>>> At least not problems that can be phrased as a computation
>>>
>>> If (hypothetically) there are physical computers that can
>>> solve decision problems that Turing machines cannot solve
>>> then the notion of computability is not any actual real
>>> limit it is merely a fake limit.
>>
>> Except that it has been shown that there isn't such a thing, so your
>> hypthetical is just a trip into fantasy land.
>>
>
> This <is> such a virtual machine knows its own machine
> address.
>
> u32 H(ptr P, ptr I)
> {
>   u32 Address_of_H = (u32)H;
>
> Either Turing machines can accomplish the equivalent
> of this or they cannot.
>
> If they cannot and this prevents Turing machines
> from knowing that they have been called in recursive
> simulation and that prevents them from solving even
> a single instance of machine / input then that makes
> Turing machines less powerful on this machine/input pair.

On 3/4/24 11:52 PM, olcott wrote:
> On 3/4/2024 8:17 PM, Richard Damon wrote:
>> On 3/4/24 7:48 PM, olcott wrote:
>>> On 3/4/2024 6:21 PM, Richard Damon wrote:
>>>> On 3/4/24 3:14 PM, olcott wrote:
>>>>> On 3/4/2024 6:31 AM, Richard Damon wrote:
>>>>>> On 3/3/24 11:37 PM, olcott wrote:
>>>>>>> On 3/3/2024 10:25 PM, Richard Damon wrote:
>>>>>>>> On 3/3/24 10:32 PM, olcott wrote:
>>>>>>>>> On 3/3/2024 8:24 PM, Richard Damon wrote:
>>>>>>>>>> On 3/3/24 9:13 PM, olcott wrote:
>>>>>>>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>>>>>>>> On 3/3/24 1:47 PM, olcott wrote:
>>>>>>>>>>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>>>>>>>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>>>>>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> That does not demonstrate any understanding, even shallow.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> The first thing that it does is agree that Hehner's
>>>>>>>>>>>>> "Carol's question" (augmented by Richards critique)
>>>>>>>>>>>>> is an example of the Liar Paradox.
>>>>>>>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>>>>>>>
>>>>>>>>>>>>> It ends up concluding that myself, professor Hehner and
>>>>>>>>>>>>> professor Stoddart are all correct in that there is
>>>>>>>>>>>>> something wrong with the halting problem.
>>>>>>>>>>>>
>>>>>>>>>>>> Which since it is proven that Chat GPT doesn't actually know
>>>>>>>>>>>> what is a fact, and has been proven to lie,
>>>>>>>>>>>
>>>>>>>>>>> The first thing that it figured out on its own is that
>>>>>>>>>>> Carol's question is isomorphic to the Liar Paradox.
>>>>>>>>>>>
>>>>>>>>>>> It eventually agreed with the same conclusion that
>>>>>>>>>>> myself and professors Hehner and Stoddart agreed to.
>>>>>>>>>>> It took 34 pages of dialog to understand this. I
>>>>>>>>>>> finally have a good PDF of this.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> It didn't "Figure it out". it pattern matched it to previous
>>>>>>>>>> input it has been given.
>>>>>>>>>>
>>>>>>>>>> If it took 34 pages to argee with your conclusion, then it
>>>>>>>>>> really didn't agree with you initially, but you finally
>>>>>>>>>> trained it to your version of reality.
>>>>>>>>>
>>>>>>>>> *HERE IS ITS AGREEMENT*
>>>>>>>>> When an input, such as the halting problem's pathological input
>>>>>>>>> D, is
>>>>>>>>> designed to contradict every value that the halting decider H
>>>>>>>>> returns,
>>>>>>>>> it creates a self-referential paradox that prevents H from
>>>>>>>>> providing a
>>>>>>>>> consistent and correct response. In this context, D can be seen as
>>>>>>>>> posing an incorrect question to H, as its contradictory nature
>>>>>>>>> undermines the possibility of a meaningful and accurate answer.
>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>> Which means NOTHING as LLM will tell non-truths if feed
>>>>>>>> misleading information.
>>>>>>>
>>>>>>> The above paragraph is proven to be completely true entirely
>>>>>>> on the basis of the meaning of its words as these words were
>>>>>>> defined in the dialogue that precedes them.
>>>>>>>
>>>>>>
>>>>>> Nope, the problem is you gave it incorrect implications on the
>>>>>> meaning of the wrods.
>>>>>
>>>>> *ChatGPT 4.0 final analysis of everything that preceded it*
>>>>> When an input, such as the halting problem's pathological input D, is
>>>>> designed to contradict every value that the halting decider H returns,
>>>>> it creates a self-referential paradox that prevents H from providing a
>>>>> consistent and correct response. In this context, D can be seen as
>>>>> posing an incorrect question to H, as its contradictory nature
>>>>> undermines the possibility of a meaningful and accurate answer.
>>>>>
>>>>> Within my definitions of my terms the above paragraph written by
>>>>> Chat GPT 4.0 necessarily follows. This proves that the Chat GPT
>>>>> 4.0 analysis is sound.
>>>>>
>>>>> *People are not free to disagree with stipulative definitions*
>>>>>
>>>>> A stipulative definition is a type of definition in which a new or
>>>>> currently existing term is given a new specific meaning for the
>>>>> purposes
>>>>> of argument or discussion in a given context. When the term already
>>>>> exists, this definition may, but does not necessarily, contradict the
>>>>> dictionary (lexical) definition of the term.
>>>>> https://en.wikipedia.org/wiki/Stipulative_definition
>>>>>
>>>>>
>>>>>
>>>>
>>>>
>>>> Right, and by that EXACT SAME RULE, when you "stipulate" a
>>>> definition different then that stipulated by a field, you place
>>>> yourself outside that field, and if you still claim to be working in
>>>> it, you are just admitting to being a bald-face LIAR.
>>>>
>>>
>>> Not exactly. When I stipulate a definition that shows the
>>> incoherence of the conventional definitions then I am working
>>> at the foundational level above this field.
>>
>> Nope, if you change the definition of the field, you are in a new field.
>>
>> Just like ZFC Set Theory isn't Naive Set Theory, if you change the
>> basis, you are in a new field.
>
> Yes that is exactly what I am doing, good call !
>
> ZFC corrected the error of Naive Set Theory. I am correcting
> the error of the conventional foundation of computability.

So, just admit that you aren't doing "Compuputation Theory", and thus
can't say you are refute Linz or any one else that WAS doing Computation
Theory.

Just admit you are doing POOP theory.
>
>>>
>>>> And, no, CHAT GPT's analysis is NOT "Sound", at least not in the
>>>> field you claim to be working, as that has definition that must be
>>>> followed, which you don't.
>>>>
>>>
>>> It is perfectly sound within my stipulated definitions.
>>> Or we could say that it is perfectly valid when one take
>>> my definitions as its starting premises.
>>
>> And not when you look at the field you claim to be in.
>>
>
> OK then the field that I am in is the field of the
> *correction to the foundational notions of computability*
> Just like ZFC corrected Naive Set Theory.

On 3/5/24 12:54 AM, olcott wrote:
> On 3/4/2024 8:23 PM, Richard Damon wrote:
>> On 3/4/24 8:03 PM, olcott wrote:
>>> On 3/4/2024 6:22 PM, Richard Damon wrote:
>>>> On 3/4/24 2:53 PM, olcott wrote:
>>>>> On 3/4/2024 3:22 AM, Mikko wrote:
>>>>>> On 2024-03-03 18:47:29 +0000, olcott said:
>>>>>>
>>>>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>>>>
>>>>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>>>>
>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>
>>>>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>>>>
>>>>>>>> That does not demonstrate any understanding, even shallow.
>>>>>>>>
>>>>>>>
>>>>>>> The first thing that it does is agree that Hehner's
>>>>>>> "Carol's question" (augmented by Richards critique)
>>>>>>> is an example of the Liar Paradox.
>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>
>>>>>>> It ends up concluding that myself, professor Hehner and
>>>>>>> professor Stoddart are all correct in that there is
>>>>>>> something wrong with the halting problem.
>>>>>>
>>>>>> None of that demonstrates any understanding.
>>>>>>
>>>>>>> My persistent focus on these ideas gives me an increasingly
>>>>>>> deeper understanding thus my latest position is that the
>>>>>>> halting problem proofs do not actually show that halting
>>>>>>> is not computable.
>>>>>>
>>>>>> Your understanding is still defective and shallow.
>>>>>>
>>>>>
>>>>> If it really was shallow then a gap in my reasoning
>>>>> could be pointed out. The actual case is that because
>>>>> I have focused on the same problem based on the Linz
>>>>> proof for such a long time I noticed things that no
>>>>> one every noticed before. *Post from 2004*
>>>>
>>>> It has been.
>>>>
>>>> You are just too stupid to understand.
>>>>
>>>> You can't fix intentional stupid.
>>>>
>>>
>>> You can't see outside of the box of the incorrect foundation
>>> of the notion of analytic truth.
>>>
>>> Because hardly anyone knows that the Liar Paradox is not a truth bearer,
>>> even fewer people understand that epistemological antinomies are not
>>> truth bearers.
>>>
>>> All the people that do not understand that epistemological antinomies
>>> are not truth bearers cannot understand that asking question about the
>>> truth value of an epistemological antinomy is mistake.
>>>
>>> These people lack the basis to understand the decision problem/input
>>> pairs that are asking about the truth value of an epistemological
>>> antinomy is a mistake.
>>
>> If the foundation is so bad, why are you still in it?
>
> When I explain what is wrong with the foundation I am
> not within this same foundation that I am rebuking.

You can't rebuke a statement that isn't in the system you are working!

You are just admitting you don't understand how logic works and are
nothing other than an ignorant pathological lying idiot.

>
> There are some aspects of the notion of analytical
> truth that are incorrect and others that are not.

So, you can build you new system on what you think is still good, but
you need to build up from the ground, or you are just admitting that you
are still using and accepting what you claim to be wrong, and thus just
confirm that you are nothing but a liar.

>
>> You are effectively proving you can't do better by staying.
>>
>>>
>>> People lacking these prerequisite understandings simply write off what
>>> they do not understand as nonsense.
>>>
>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn     // Ĥ applied to ⟨Ĥ⟩ does not halt
>>>
>>> Simulating termination analyzer Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must transition
>>> to Ĥ.Hqn or fail to halt.
>>
>> And thus you LIE that you are working on the Halting Problem, by using
>> the wrong criteria.
>>
>
> When the "right" criteria cause Ĥ.H to never halt
> then these "right" criteria are wrong.

Not in the real computation theory, so until you actually develop you
alternat theory, you are just admitting to lying.

>
>>>
>>> When its sole criterion measure is to always say NO to every input
>>> that would prevent it from halting then it must say NO to ⟨Ĥ⟩ ⟨Ĥ⟩.
>>>
>>
>> Which makes it a LIE to claim you are working on the Halting Problem
>>
>
> If the only way that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can correctly determine that
> it must abort its simulation requires Ĥ to know its own machine
> address then I expanded the scope of the halting problem to
> include RASP machines where every P knows its own address.

In other words, you are admitting to using bad logic.

You are just admitting you are a stupid ignorant pathological lying idiot.

>
>>> When H ⟨Ĥ⟩ ⟨Ĥ⟩ correctly uses this exact same criterion measure
>>> then the "abort simulation" criteria <is not> met thus providing
>>> the correct basis for a different answer.
>>>
>>
>>
>> Which just proves you are a PATHOLOGICAL LIAR since you keep on
>> insisting that you are working on the Halting problem when you are
>> using the wrong criteria.
>>
>
> As long as Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can correctly determine that it must abort its
> simulation then I am merely showing that the conventional halting
> problem does not prove that a halt decider does not exist.

Nope. you are proving that you beleive that Strawman arguments are
valid, and thus are just a stupid ignorant pathological lying idiot.

>
> That you admitted that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must transition to Ĥ.Hqn
> to prevent its own infinite execution and you admitted
> that this makes Ĥ ⟨Ĥ⟩ halt then that proves that when
> H ⟨Ĥ⟩ ⟨Ĥ⟩ transitions to H.qy *THIS IS THE CORRECT ANSWER*

Except that having H (H^) (H^) go to qy while H^.H (H^) (H^) goes to qn
is just admitting that you havve lied about H and H^.H, thus proving you
are a catagorically stupid and ignorant pathalogical liar.
>
> You already know that all of that is correct, you
> *simply don't believe that H can figure out how to do that*

No, I know you have proven yourself unable to deal with the truth.

>
>> The right answer to the wrong question is not a right answer, since it
>> is the question that matters, and to say otherwise is just a LIE.
>

On 3/5/2024 3:28 AM, Mikko wrote:
> On 2024-03-04 20:14:34 +0000, olcott said:
>
>> *People are not free to disagree with stipulative definitions*
>
> People are free to disgree whether your stipulative definitions
> are useful or sensible.
Yes.

> They are not free to disagree with any
> correct inferences from those definitions
Yes.

> nor to agree with any incorrect inferences.
I don't think that there any of these.

The huge advantage of the dialogue with ChatGPT is that
its algorithm seemed to be able to spot any and all gaps
in reasoning. This enabled ChatGPT to provide feedback
so that I could make my definitions airtight.

> They may disagree about the relevance of
> any conclusions based on such definitions.

When a subset of undecidable decision problem/input
pairs are objectively determined to simply be wrong
then this conclusion seems to have no correct rebuttal.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/5/2024 3:33 AM, Mikko wrote:
> On 2024-03-04 19:53:05 +0000, olcott said:
>
>> On 3/4/2024 3:22 AM, Mikko wrote:
>>> On 2024-03-03 18:47:29 +0000, olcott said:
>>>
>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>
>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>
>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>> actual very deep understanding of these things.
>>>>>>>
>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>
>>>>>>
>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>
>>>>> That does not demonstrate any understanding, even shallow.
>>>>>
>>>>
>>>> The first thing that it does is agree that Hehner's
>>>> "Carol's question" (augmented by Richards critique)
>>>> is an example of the Liar Paradox.
>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>
>>>> It ends up concluding that myself, professor Hehner and
>>>> professor Stoddart are all correct in that there is
>>>> something wrong with the halting problem.
>>>
>>> None of that demonstrates any understanding.
>>>
>>>> My persistent focus on these ideas gives me an increasingly
>>>> deeper understanding thus my latest position is that the
>>>> halting problem proofs do not actually show that halting
>>>> is not computable.
>>>
>>> Your understanding is still defective and shallow.
>>>
>>
>> If it really was shallow then a gap in my reasoning
>> could be pointed out.
>
> Gaps in your reasons are pointed out every day.
>

There are no actual gaps in my reasoning. The closest that
anyone showed any actual gaps in my reasoning was merely
their presumption that there are gaps.

Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt

It is true that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must transition to Ĥ.Hqn to prevent
its own infinite execution. It is true that this makes Ĥ ⟨Ĥ⟩ halt.
This entails that H ⟨Ĥ⟩ ⟨Ĥ⟩ would be correct to transition to H.qy.

No one can point to any gaps in the reasoning. The best
that Richard can do is simply disbelieve that H is not
smart enough to do that when both H ⟨Ĥ⟩ ⟨Ĥ⟩ and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩
apply this same criterion measure:

Both H and Ĥ.H transition to their NO state when a correct and
complete simulation of their input would cause their own infinite
execution and otherwise transition to their YES state.

We can also see that if both H ⟨Ĥ⟩ ⟨Ĥ⟩ and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ do correctly
apply the above criterion measure that they would have the behavior
that I specified.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/03/24 02:29, olcott wrote:
> On 3/2/2024 6:53 PM, Richard Damon wrote:
>> Note, Computers, as generally viewed, especiailly for "Compuation
>> Theory" have the limitation of being deterministic, whcih DOES make
>> them less powerful than the human mind, which has free will.
>
> LLMs have contradicted that. They are inherently stochastic.

Incorrect. That they use a random number generator as part of their
algorithm does not make them special. You can use a true random number
generator, which must be counted as an input to the computation, or you
can use a pseudo-random number generator which is deterministic. This is
no different from a computerized game of Blackjack.

On 3/5/2024 3:54 AM, Mikko wrote:
> On 2024-03-04 19:31:40 +0000, olcott said:
>
>> If there is a physical machine that can solve problems that a Turing
>> machine cannot solve then we are only pretending that the limits of
>> computation are the limits of computers.
>
> However, we have no idea how such machine could be constructed.

The x86 language is already sufficiently isomorphic.

> Although that machine might solve the halting problem of Turing
> machines it would also create a new halting problem that it
> cannot solve.

The halting problem is already specified in the x86
isomorphism to a RASP machine where every P knows
its own machine address.

u32 H(ptr P, ptr I)
{ u32 Address_of_H = (u32)H;

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/5/2024 10:57 AM, immibis wrote:
> On 3/03/24 02:29, olcott wrote:
>> On 3/2/2024 6:53 PM, Richard Damon wrote:
>>> Note, Computers, as generally viewed, especiailly for "Compuation
>>> Theory" have the limitation of being deterministic, whcih DOES make
>>> them less powerful than the human mind, which has free will.
>>
>> LLMs have contradicted that. They are inherently stochastic.
>
> Incorrect. That they use a random number generator as part of their
> algorithm does not make them special. You can use a true random number
> generator, which must be counted as an input to the computation, or you
> can use a pseudo-random number generator which is deterministic. This is
> no different from a computerized game of Blackjack.

Paradoxical Yes/No Dilemma June 17, 2023
My copyright notice is at the bottom showing that this is my dialogue
https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b

*This was written by ChaGPT summing up its complete agreement*
When an input, such as the halting problem's pathological input D, is
designed to contradict every value that the halting decider H returns,
it creates a self-referential paradox that prevents H from providing a
consistent and correct response. In this context, D can be seen as
posing an incorrect question to H, as its contradictory nature
undermines the possibility of a meaningful and accurate answer.

The key most important aspect of this is that this conclusion
is perfectly and correctly semantically entailed by the definitions
of the meaning of these terms in the prior dialogue. I had to
progressively refine these definitions in this 34 page dialogue.

[1] E C R Hehner. Objective and Subjective Specifications
WST Workshop on Termination, Oxford. 2018 July 18.
See https://www.cs.toronto.edu/~hehner/OSS.pdf

[2] Bill Stoddart. The Halting Paradox
20 December 2017
https://arxiv.org/abs/1906.05340
arXiv:1906.05340 [cs.LO]

[3] E C R Hehner. Problems with the Halting Problem, COMPUTING2011
Symposium on 75 years of Turing Machine and Lambda-Calculus, Karlsruhe
Germany, invited, 2011 October 20-21; Advances in Computer Science and
Engineering v.10 n.1 p.31-60, 2013
https://www.cs.toronto.edu/~hehner/PHP.pdf

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/5/2024 5:33 AM, Richard Damon wrote:
> On 3/4/24 10:55 PM, olcott wrote:
>> On 3/4/2024 9:02 PM, Richard Damon wrote:
>>> On 3/4/24 9:28 PM, olcott wrote:
>>>> On 3/4/2024 7:31 PM, Richard Damon wrote:
>>>>> On 3/4/24 2:31 PM, olcott wrote:
>>>>>> On 3/4/2024 6:40 AM, Richard Damon wrote:
>>>>>>> On 3/3/24 11:58 PM, olcott wrote:
>>>>>>>> On 3/3/2024 10:25 PM, Richard Damon wrote:
>>>>>>>>> On 3/3/24 9:39 PM, olcott wrote:
>>>>>>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>>>>>>> On 3/3/24 11:19 AM, olcott wrote:
>>>>>>>>>>>> On 3/3/2024 6:15 AM, Richard Damon wrote:
>>>>>>>>>>>>> On 3/2/24 9:09 PM, olcott wrote:
>>>>>>>>>>>>>> On 3/2/2024 7:46 PM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 3/2/24 8:38 PM, olcott wrote:
>>>>>>>>>>>>>>>> On 3/2/2024 7:30 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> On 3/2/24 8:08 PM, olcott wrote:
>>>>>>>>>>>>>>>>>> On 3/2/2024 6:47 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>> On 3/2/24 6:01 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>>> On 3/2/2024 4:54 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>> On 3/2/24 5:28 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>> The reason that people assume that H1(D,D) must get
>>>>>>>>>>>>>>>>>>>>>> the same result as H(D,D) is that they make sure
>>>>>>>>>>>>>>>>>>>>>> to ignore the reason why they get a different result.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Namely that you are lying that H and H1 are
>>>>>>>>>>>>>>>>>>>>> actually the same computation.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> It turns out that the only reason that H1(D,D)
>>>>>>>>>>>>>>>>>>>>>> derives a
>>>>>>>>>>>>>>>>>>>>>> different result than H(D,D) is that H is at a
>>>>>>>>>>>>>>>>>>>>>> different
>>>>>>>>>>>>>>>>>>>>>> physical machine address than H1.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Which means that H and H1 are not computations, and
>>>>>>>>>>>>>>>>>>>>> you have been just an ignorant pathological liar
>>>>>>>>>>>>>>>>>>>>> all this time.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> D calls 00001522 // machine address of H
>>>>>>>>>>>>>>>>>>>>>> thus D does call 00001422 // machine address of H1
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Since this <is> the empirically determined deciding
>>>>>>>>>>>>>>>>>>>>>> factor I don't think that it can be correctly
>>>>>>>>>>>>>>>>>>>>>> ignored.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Right, but since the algorithm for H/H1 uses the
>>>>>>>>>>>>>>>>>>>>> address of the decider, which isn't defined as an
>>>>>>>>>>>>>>>>>>>>> "input" to it, we see that you have been lying that
>>>>>>>>>>>>>>>>>>>>> this code is a computation. Likely because you have
>>>>>>>>>>>>>>>>>>>>> made yourself ignorant of what a computation
>>>>>>>>>>>>>>>>>>>>> actually is,
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Thus you have made yourself into an Ignorant
>>>>>>>>>>>>>>>>>>>>> Pathological Lying Idiot.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Any physically implemented Turing machine must exist
>>>>>>>>>>>>>>>>>>>>>> at some physical memory location.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Nope.
>>>>>>>>>>>>>>>>>>>> Any *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> must exist at some physical memory location.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Try and explain the details of how it can be otherwise.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> And description of a Turing Machine (or a
>>>>>>>>>>>>>>>>>>> Computation) that needs to reference atributes of
>>>>>>>>>>>>>>>>>>> Modern Electronic Computers is just WRONG as they
>>>>>>>>>>>>>>>>>>> predate the development of such a thing.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Virtual Machines that are exactly Turing Machines
>>>>>>>>>>>>>>>>>> except for unlimited memory can and do exist.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> They necessarily must be implemented in physical memory
>>>>>>>>>>>>>>>>>> and cannot possibly be implemented any other way.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> So?
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Doesn't let a "Computation" change its answer based on
>>>>>>>>>>>>>>>>> its memory address.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>>> halts
>>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>>> does not halt
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> We ourselves can see that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by
>>>>>>>>>>>>>>>> Ĥ.H cannot possibly terminate unless Ĥ.H aborts its
>>>>>>>>>>>>>>>> simulation.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> We ourselves can also see that when Ĥ.H applied to ⟨Ĥ⟩ ⟨Ĥ⟩
>>>>>>>>>>>>>>>> does abort its simulation then Ĥ will halt.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> That no computer will ever achieve this degree of
>>>>>>>>>>>>>>>> understanding is directly contradicted by this:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> ChatGPT 4.0 dialogue.
>>>>>>>>>>>>>>>> https://www.liarparadox.org/ChatGPT_HP.pdf
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> No COMPUTATION can solve it, because it has been proved
>>>>>>>>>>>>>>> impossible.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>>>>
>>>>>>>>>>>>> Do computers actually UNDERSTAND?
>>>>>>>>>>>>
>>>>>>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>>>>>> Demonstrates the functional equivalent of deep understanding.
>>>>>>>>>>>> The first thing that it does is categorize Carol's question
>>>>>>>>>>>> as equivalent to the Liar Paradox.
>>>>>>>>>>>
>>>>>>>>>>> Nope, doesn't show what you claim, just that it has been
>>>>>>>>>>> taught by "rote memorization" that the answer to a question
>>>>>>>>>>> put the way you did is the answer it gave.
>>>>>>>>>>>
>>>>>>>>>>> You are just showing that YOU don't understand what the word
>>>>>>>>>>> UNDERSTAND actually means.
>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> This proves that the artifice of the human notion of
>>>>>>>>>>>>>> computation is more limiting than actual real computers.
>>>>>>>>>>>>>
>>>>>>>>>>>>> In other words, you reject the use of definitions to define
>>>>>>>>>>>>> words.
>>>>>>>>>>>>>
>>>>>>>>>>>>> I guess to you, nothing means what others have said it means,
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> I have found that it is the case that some definitions of
>>>>>>>>>>>> technical terms sometimes boxes people into misconceptions
>>>>>>>>>>>> such that alternative views are inexpressible within the
>>>>>>>>>>>> technical language.
>>>>>>>>>>>> https://en.wikipedia.org/wiki/Linguistic_relativity
>>>>>>>>>>>
>>>>>>>>>>> In other words, you are admtting that when you claim to be
>>>>>>>>>>> working in a technical field and using the words as that
>>>>>>>>>>> field means, you are just being a out and out LIAR.
>>>>>>>>>>
>>>>>>>>>> Not all all. When working with any technical definition I never
>>>>>>>>>> simply assume that it is coherent. I always assume that it is
>>>>>>>>>> possibly incoherent until proven otherwise.
>>>>>>>>>
>>>>>>>>> In other words, you ADMIT that you ignore technical definitions
>>>>>>>>> and thus you comments about working in the field is just an
>>>>>>>>> ignorant pathological lie.
>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> If there are physically existing machines that can answer
>>>>>>>>>> questions
>>>>>>>>>> that are not Turing computable only because these machine can
>>>>>>>>>> access
>>>>>>>>>> their own machine address then these machines would be
>>>>>>>>>> strictly more
>>>>>>>>>> powerful than Turing Machines on these questions.
>>>>>>>>>
>>>>>>>>> Nope.
>>>>>>>>
>>>>>>>>
>>>>>>>> If machine M can solve problems that machine N
>>>>>>>> cannot solve then for these problems M is more
>>>>>>>> powerful than N.
>>>>>>>
>>>>>>> But your H1 doesn't actually SOLVE the problem, as it fails on
>>>>>>> the input (H1^) (H1^)
>>>>>>>
>>>>>>
>>>>>> I am not even talking about that.
>>>>>> In this new thread I am only talking about the generic case of:
>>>>>> *Actual limits of computations != actual limits of computers*
>>>>>> *with unlimited memory*
>>>>>>
>>>>>>> Note, I realise I misspoke a bit. Any "Non-computation"
>>>>>>> sub-program can be turned into a Computation, just by being
>>>>>>> honest and declairing as inputs the "Hidden Data" that it is using
>>>>>>>
>>>>>>>>
>>>>>>>>>
>>>>>>>>> But you just admitted you are too ignorant of the actual
>>>>>>>>> meaning to make a reasoned statement and too dishonest to
>>>>>>>>> conceed that, even after admitting it,
>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> If computability only means can't be done in a certain
>>>>>>>>>> artificially
>>>>>>>>>> limited way and not any actual limit on what computers can
>>>>>>>>>> actually
>>>>>>>>>> do then computability would seem to be nonsense.
>>>>>>>>>>
>>>>>>>>
>>>>>>>> Try and explain how this would not be nonsense.
>>>>>>>
>>>>>>> First, it ISN'T "Artificial", it is a natural outcome of the
>>>>>>> sorts of problems we actuallly want to solve.
>>>>>>>
>>>>>>
>>>>>> If there is a physical machine that can solve problems that a Turing
>>>>>> machine cannot solve then we are only pretending that the limits of
>>>>>> computation are the limits of computers.
>>>>>
>>>>> But there isn't.
>>>>>
>>>>> At least not problems that can be phrased as a computation
>>>>
>>>> If (hypothetically) there are physical computers that can
>>>> solve decision problems that Turing machines cannot solve
>>>> then the notion of computability is not any actual real
>>>> limit it is merely a fake limit.
>>>
>>> Except that it has been shown that there isn't such a thing, so your
>>> hypthetical is just a trip into fantasy land.
>>>
>>
>> This <is> such a virtual machine knows its own machine
>> address.
>>
>> u32 H(ptr P, ptr I)
>> {
>>    u32 Address_of_H = (u32)H;
>>
>> Either Turing machines can accomplish the equivalent
>> of this or they cannot.
>>
>> If they cannot and this prevents Turing machines
>> from knowing that they have been called in recursive
>> simulation and that prevents them from solving even
>> a single instance of machine / input then that makes
>> Turing machines less powerful on this machine/input pair.
>
> In other words, you are admitting you don't understand what a
> computation is or a mathematical function.

On 3/5/2024 5:33 AM, Richard Damon wrote:
> On 3/4/24 10:55 PM, olcott wrote:
>> On 3/4/2024 9:02 PM, Richard Damon wrote:
>>> On 3/4/24 9:28 PM, olcott wrote:
>>>> On 3/4/2024 7:31 PM, Richard Damon wrote:
>>>>> On 3/4/24 2:31 PM, olcott wrote:
>>>>>> On 3/4/2024 6:40 AM, Richard Damon wrote:
>>>>>>> On 3/3/24 11:58 PM, olcott wrote:
>>>>>>>> On 3/3/2024 10:25 PM, Richard Damon wrote:
>>>>>>>>> On 3/3/24 9:39 PM, olcott wrote:
>>>>>>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>>>>>>> On 3/3/24 11:19 AM, olcott wrote:
>>>>>>>>>>>> On 3/3/2024 6:15 AM, Richard Damon wrote:
>>>>>>>>>>>>> On 3/2/24 9:09 PM, olcott wrote:
>>>>>>>>>>>>>> On 3/2/2024 7:46 PM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 3/2/24 8:38 PM, olcott wrote:
>>>>>>>>>>>>>>>> On 3/2/2024 7:30 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> On 3/2/24 8:08 PM, olcott wrote:
>>>>>>>>>>>>>>>>>> On 3/2/2024 6:47 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>> On 3/2/24 6:01 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>>> On 3/2/2024 4:54 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>> On 3/2/24 5:28 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>> The reason that people assume that H1(D,D) must get
>>>>>>>>>>>>>>>>>>>>>> the same result as H(D,D) is that they make sure
>>>>>>>>>>>>>>>>>>>>>> to ignore the reason why they get a different result.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Namely that you are lying that H and H1 are
>>>>>>>>>>>>>>>>>>>>> actually the same computation.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> It turns out that the only reason that H1(D,D)
>>>>>>>>>>>>>>>>>>>>>> derives a
>>>>>>>>>>>>>>>>>>>>>> different result than H(D,D) is that H is at a
>>>>>>>>>>>>>>>>>>>>>> different
>>>>>>>>>>>>>>>>>>>>>> physical machine address than H1.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Which means that H and H1 are not computations, and
>>>>>>>>>>>>>>>>>>>>> you have been just an ignorant pathological liar
>>>>>>>>>>>>>>>>>>>>> all this time.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> D calls 00001522 // machine address of H
>>>>>>>>>>>>>>>>>>>>>> thus D does call 00001422 // machine address of H1
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Since this <is> the empirically determined deciding
>>>>>>>>>>>>>>>>>>>>>> factor I don't think that it can be correctly
>>>>>>>>>>>>>>>>>>>>>> ignored.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Right, but since the algorithm for H/H1 uses the
>>>>>>>>>>>>>>>>>>>>> address of the decider, which isn't defined as an
>>>>>>>>>>>>>>>>>>>>> "input" to it, we see that you have been lying that
>>>>>>>>>>>>>>>>>>>>> this code is a computation. Likely because you have
>>>>>>>>>>>>>>>>>>>>> made yourself ignorant of what a computation
>>>>>>>>>>>>>>>>>>>>> actually is,
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Thus you have made yourself into an Ignorant
>>>>>>>>>>>>>>>>>>>>> Pathological Lying Idiot.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Any physically implemented Turing machine must exist
>>>>>>>>>>>>>>>>>>>>>> at some physical memory location.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Nope.
>>>>>>>>>>>>>>>>>>>> Any *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> *physically implemented Turing machine*
>>>>>>>>>>>>>>>>>>>> must exist at some physical memory location.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Try and explain the details of how it can be otherwise.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> And description of a Turing Machine (or a
>>>>>>>>>>>>>>>>>>> Computation) that needs to reference atributes of
>>>>>>>>>>>>>>>>>>> Modern Electronic Computers is just WRONG as they
>>>>>>>>>>>>>>>>>>> predate the development of such a thing.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> Virtual Machines that are exactly Turing Machines
>>>>>>>>>>>>>>>>>> except for unlimited memory can and do exist.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> They necessarily must be implemented in physical memory
>>>>>>>>>>>>>>>>>> and cannot possibly be implemented any other way.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> So?
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Doesn't let a "Computation" change its answer based on
>>>>>>>>>>>>>>>>> its memory address.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>>> halts
>>>>>>>>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩
>>>>>>>>>>>>>>>> does not halt
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> We ourselves can see that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by
>>>>>>>>>>>>>>>> Ĥ.H cannot possibly terminate unless Ĥ.H aborts its
>>>>>>>>>>>>>>>> simulation.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> We ourselves can also see that when Ĥ.H applied to ⟨Ĥ⟩ ⟨Ĥ⟩
>>>>>>>>>>>>>>>> does abort its simulation then Ĥ will halt.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> That no computer will ever achieve this degree of
>>>>>>>>>>>>>>>> understanding is directly contradicted by this:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> ChatGPT 4.0 dialogue.
>>>>>>>>>>>>>>>> https://www.liarparadox.org/ChatGPT_HP.pdf
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> No COMPUTATION can solve it, because it has been proved
>>>>>>>>>>>>>>> impossible.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>>>>
>>>>>>>>>>>>> Do computers actually UNDERSTAND?
>>>>>>>>>>>>
>>>>>>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>>>>>> Demonstrates the functional equivalent of deep understanding.
>>>>>>>>>>>> The first thing that it does is categorize Carol's question
>>>>>>>>>>>> as equivalent to the Liar Paradox.
>>>>>>>>>>>
>>>>>>>>>>> Nope, doesn't show what you claim, just that it has been
>>>>>>>>>>> taught by "rote memorization" that the answer to a question
>>>>>>>>>>> put the way you did is the answer it gave.
>>>>>>>>>>>
>>>>>>>>>>> You are just showing that YOU don't understand what the word
>>>>>>>>>>> UNDERSTAND actually means.
>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> This proves that the artifice of the human notion of
>>>>>>>>>>>>>> computation is more limiting than actual real computers.
>>>>>>>>>>>>>
>>>>>>>>>>>>> In other words, you reject the use of definitions to define
>>>>>>>>>>>>> words.
>>>>>>>>>>>>>
>>>>>>>>>>>>> I guess to you, nothing means what others have said it means,
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> I have found that it is the case that some definitions of
>>>>>>>>>>>> technical terms sometimes boxes people into misconceptions
>>>>>>>>>>>> such that alternative views are inexpressible within the
>>>>>>>>>>>> technical language.
>>>>>>>>>>>> https://en.wikipedia.org/wiki/Linguistic_relativity
>>>>>>>>>>>
>>>>>>>>>>> In other words, you are admtting that when you claim to be
>>>>>>>>>>> working in a technical field and using the words as that
>>>>>>>>>>> field means, you are just being a out and out LIAR.
>>>>>>>>>>
>>>>>>>>>> Not all all. When working with any technical definition I never
>>>>>>>>>> simply assume that it is coherent. I always assume that it is
>>>>>>>>>> possibly incoherent until proven otherwise.
>>>>>>>>>
>>>>>>>>> In other words, you ADMIT that you ignore technical definitions
>>>>>>>>> and thus you comments about working in the field is just an
>>>>>>>>> ignorant pathological lie.
>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> If there are physically existing machines that can answer
>>>>>>>>>> questions
>>>>>>>>>> that are not Turing computable only because these machine can
>>>>>>>>>> access
>>>>>>>>>> their own machine address then these machines would be
>>>>>>>>>> strictly more
>>>>>>>>>> powerful than Turing Machines on these questions.
>>>>>>>>>
>>>>>>>>> Nope.
>>>>>>>>
>>>>>>>>
>>>>>>>> If machine M can solve problems that machine N
>>>>>>>> cannot solve then for these problems M is more
>>>>>>>> powerful than N.
>>>>>>>
>>>>>>> But your H1 doesn't actually SOLVE the problem, as it fails on
>>>>>>> the input (H1^) (H1^)
>>>>>>>
>>>>>>
>>>>>> I am not even talking about that.
>>>>>> In this new thread I am only talking about the generic case of:
>>>>>> *Actual limits of computations != actual limits of computers*
>>>>>> *with unlimited memory*
>>>>>>
>>>>>>> Note, I realise I misspoke a bit. Any "Non-computation"
>>>>>>> sub-program can be turned into a Computation, just by being
>>>>>>> honest and declairing as inputs the "Hidden Data" that it is using
>>>>>>>
>>>>>>>>
>>>>>>>>>
>>>>>>>>> But you just admitted you are too ignorant of the actual
>>>>>>>>> meaning to make a reasoned statement and too dishonest to
>>>>>>>>> conceed that, even after admitting it,
>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> If computability only means can't be done in a certain
>>>>>>>>>> artificially
>>>>>>>>>> limited way and not any actual limit on what computers can
>>>>>>>>>> actually
>>>>>>>>>> do then computability would seem to be nonsense.
>>>>>>>>>>
>>>>>>>>
>>>>>>>> Try and explain how this would not be nonsense.
>>>>>>>
>>>>>>> First, it ISN'T "Artificial", it is a natural outcome of the
>>>>>>> sorts of problems we actuallly want to solve.
>>>>>>>
>>>>>>
>>>>>> If there is a physical machine that can solve problems that a Turing
>>>>>> machine cannot solve then we are only pretending that the limits of
>>>>>> computation are the limits of computers.
>>>>>
>>>>> But there isn't.
>>>>>
>>>>> At least not problems that can be phrased as a computation
>>>>
>>>> If (hypothetically) there are physical computers that can
>>>> solve decision problems that Turing machines cannot solve
>>>> then the notion of computability is not any actual real
>>>> limit it is merely a fake limit.
>>>
>>> Except that it has been shown that there isn't such a thing, so your
>>> hypthetical is just a trip into fantasy land.
>>>
>>
>> This <is> such a virtual machine knows its own machine
>> address.
>>
>> u32 H(ptr P, ptr I)
>> {
>>    u32 Address_of_H = (u32)H;
>>
>> Either Turing machines can accomplish the equivalent
>> of this or they cannot.
>>
>> If they cannot and this prevents Turing machines
>> from knowing that they have been called in recursive
>> simulation and that prevents them from solving even
>> a single instance of machine / input then that makes
>> Turing machines less powerful on this machine/input pair.
>
> In other words, you are admitting you don't understand what a
> computation is or a mathematical function.
>
> And, you are just a stupid ignorant pathological lying idiot.
>
>>
>>> So, maybe in your mythological worlds with Computers that exceed the
>>> computability of current machines (something like being able to make
>>> an infinite number of decisions in a finite period of time) could do
>>> that, but since they don't exist, THAT is a "Fake Ability".
>>>
>>>>
>>>>>>
>>>>>>> Second, as I just mentioned, you can turn a "non-computation"
>>>>>>> into a computation by just being honest and declaring the
>>>>>>> "hidden" input as an actual input.
>>>>>>
>>>>>> The specific case is machines that can correctly determine their
>>>>>> own machine address relative to machines that cannot do this.
>>>>>> An x86 based virtual machine can determine its own machine address.
>>>>>>
>>>>>> u32 H(ptr P, ptr I)
>>>>>> {
>>>>>>    u32 Address_of_H = (u32)H;
>>>>>
>>>>> But what COMPUTATION are you trying to do.
>>>>
>>>> When a halt decider can easily tell that it is calling
>>>> itself with its same inputs then it has a very simple
>>>> "abort simulation" criteria.
>>>
>>> Except that the thing being decided on is supposed to be a seperate
>>> program running in its own memory space, so that "address match"
>>> trick doesn't work.
>>>
>>
>> Sure it does.
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
>>
>> When Ĥ.H knows the machine address of Ĥ then it can see
>> that it is simulating a identical copy its own machine
>> with an identical copy of its own input. It can determine
>> this by ordinary string comparison.
>
> To What?
>
> Turing machines don't have a unique description, so you don't know what
> to compare to.
>

On 3/5/2024 5:33 AM, Richard Damon wrote:
> On 3/4/24 11:52 PM, olcott wrote:
>> On 3/4/2024 8:17 PM, Richard Damon wrote:
>>> On 3/4/24 7:48 PM, olcott wrote:
>>>> On 3/4/2024 6:21 PM, Richard Damon wrote:
>>>>> On 3/4/24 3:14 PM, olcott wrote:
>>>>>> On 3/4/2024 6:31 AM, Richard Damon wrote:
>>>>>>> On 3/3/24 11:37 PM, olcott wrote:
>>>>>>>> On 3/3/2024 10:25 PM, Richard Damon wrote:
>>>>>>>>> On 3/3/24 10:32 PM, olcott wrote:
>>>>>>>>>> On 3/3/2024 8:24 PM, Richard Damon wrote:
>>>>>>>>>>> On 3/3/24 9:13 PM, olcott wrote:
>>>>>>>>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>>>>>>>>> On 3/3/24 1:47 PM, olcott wrote:
>>>>>>>>>>>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>>>>>>>>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>>>>>>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> That does not demonstrate any understanding, even shallow.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> The first thing that it does is agree that Hehner's
>>>>>>>>>>>>>> "Carol's question" (augmented by Richards critique)
>>>>>>>>>>>>>> is an example of the Liar Paradox.
>>>>>>>>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> It ends up concluding that myself, professor Hehner and
>>>>>>>>>>>>>> professor Stoddart are all correct in that there is
>>>>>>>>>>>>>> something wrong with the halting problem.
>>>>>>>>>>>>>
>>>>>>>>>>>>> Which since it is proven that Chat GPT doesn't actually
>>>>>>>>>>>>> know what is a fact, and has been proven to lie,
>>>>>>>>>>>>
>>>>>>>>>>>> The first thing that it figured out on its own is that
>>>>>>>>>>>> Carol's question is isomorphic to the Liar Paradox.
>>>>>>>>>>>>
>>>>>>>>>>>> It eventually agreed with the same conclusion that
>>>>>>>>>>>> myself and professors Hehner and Stoddart agreed to.
>>>>>>>>>>>> It took 34 pages of dialog to understand this. I
>>>>>>>>>>>> finally have a good PDF of this.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> It didn't "Figure it out". it pattern matched it to previous
>>>>>>>>>>> input it has been given.
>>>>>>>>>>>
>>>>>>>>>>> If it took 34 pages to argee with your conclusion, then it
>>>>>>>>>>> really didn't agree with you initially, but you finally
>>>>>>>>>>> trained it to your version of reality.
>>>>>>>>>>
>>>>>>>>>> *HERE IS ITS AGREEMENT*
>>>>>>>>>> When an input, such as the halting problem's pathological
>>>>>>>>>> input D, is
>>>>>>>>>> designed to contradict every value that the halting decider H
>>>>>>>>>> returns,
>>>>>>>>>> it creates a self-referential paradox that prevents H from
>>>>>>>>>> providing a
>>>>>>>>>> consistent and correct response. In this context, D can be
>>>>>>>>>> seen as
>>>>>>>>>> posing an incorrect question to H, as its contradictory nature
>>>>>>>>>> undermines the possibility of a meaningful and accurate answer.
>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Which means NOTHING as LLM will tell non-truths if feed
>>>>>>>>> misleading information.
>>>>>>>>
>>>>>>>> The above paragraph is proven to be completely true entirely
>>>>>>>> on the basis of the meaning of its words as these words were
>>>>>>>> defined in the dialogue that precedes them.
>>>>>>>>
>>>>>>>
>>>>>>> Nope, the problem is you gave it incorrect implications on the
>>>>>>> meaning of the wrods.
>>>>>>
>>>>>> *ChatGPT 4.0 final analysis of everything that preceded it*
>>>>>> When an input, such as the halting problem's pathological input D, is
>>>>>> designed to contradict every value that the halting decider H
>>>>>> returns,
>>>>>> it creates a self-referential paradox that prevents H from
>>>>>> providing a
>>>>>> consistent and correct response. In this context, D can be seen as
>>>>>> posing an incorrect question to H, as its contradictory nature
>>>>>> undermines the possibility of a meaningful and accurate answer.
>>>>>>
>>>>>> Within my definitions of my terms the above paragraph written by
>>>>>> Chat GPT 4.0 necessarily follows. This proves that the Chat GPT
>>>>>> 4.0 analysis is sound.
>>>>>>
>>>>>> *People are not free to disagree with stipulative definitions*
>>>>>>
>>>>>> A stipulative definition is a type of definition in which a new or
>>>>>> currently existing term is given a new specific meaning for the
>>>>>> purposes
>>>>>> of argument or discussion in a given context. When the term already
>>>>>> exists, this definition may, but does not necessarily, contradict the
>>>>>> dictionary (lexical) definition of the term.
>>>>>> https://en.wikipedia.org/wiki/Stipulative_definition
>>>>>>
>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>> Right, and by that EXACT SAME RULE, when you "stipulate" a
>>>>> definition different then that stipulated by a field, you place
>>>>> yourself outside that field, and if you still claim to be working
>>>>> in it, you are just admitting to being a bald-face LIAR.
>>>>>
>>>>
>>>> Not exactly. When I stipulate a definition that shows the
>>>> incoherence of the conventional definitions then I am working
>>>> at the foundational level above this field.
>>>
>>> Nope, if you change the definition of the field, you are in a new field.
>>>
>>> Just like ZFC Set Theory isn't Naive Set Theory, if you change the
>>> basis, you are in a new field.
>>
>> Yes that is exactly what I am doing, good call !
>>
>> ZFC corrected the error of Naive Set Theory. I am correcting
>> the error of the conventional foundation of computability.
>
> So, just admit that you aren't doing "Compuputation Theory", and thus
> can't say you are refute Linz or any one else that WAS doing Computation
> Theory.
>
> Just admit you are doing POOP theory.

On 3/03/24 02:08, olcott wrote:
> Virtual Machines that are exactly Turing Machines
> except for unlimited memory can and do exist.
>
> They necessarily must be implemented in physical memory
> and cannot possibly be implemented any other way.
>
> TM, The Turing Machine Interpreter
> David S. Woodruff
> http://www2.lns.mit.edu/~dsw/turing/turing.html
>
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
>
> The states of a Turing machine <are> essentially
> memory locations.
>
> They have a perfect analogue in finite state machines

Good! Finite state machines cannot give different results just because
you store them in different places, either.

On 3/03/24 02:38, olcott wrote:
> ChatGPT 4.0 dialogue.
> https://www.liarparadox.org/ChatGPT_HP.pdf

You must understand that ChatGPT is a professional liar.

On 3/03/24 00:25, olcott wrote:
> On 3/2/2024 5:15 PM, immibis wrote:
>> On 2/03/24 23:28, olcott wrote:
>>> The reason that people assume that H1(D,D) must get
>>> the same result as H(D,D) is that they make sure
>>> to ignore the reason why they get a different result.
>>>
>>> It turns out that the only reason that H1(D,D) derives a
>>> different result than H(D,D) is that H is at a different
>>> physical machine address than H1.
>>
>> Incorrect - the reason that H1(D,D) derives a different result is that
>> H *looks for* a different physical machine address than H1.
>
> _D()
> [00001cf2] 55         push ebp
> [00001cf3] 8bec       mov ebp,esp
> [00001cf5] 51         push ecx
> [00001cf6] 8b4508     mov eax,[ebp+08]
> [00001cf9] 50         push eax
> [00001cfa] 8b4d08     mov ecx,[ebp+08]
> [00001cfd] 51         push ecx
> [00001cfe] e81ff8ffff call 00001522 ; call to H
> ...
>
> *That is factually incorrect*
> H and H1 simulate the actual code of D which actually
> calls H at machine address 00001522 and does not call
> H1 at machine address 00001422.

H stores a memory that if the executed program calls machine address
00001522 with the same parameters, it should abort the simulation.

H1 stores a memory that if the executed program calls machine address
00001422 with the same parameters, it should abort the simulation.

On 4/03/24 05:37, olcott wrote:
> On 3/3/2024 10:25 PM, Richard Damon wrote:
>> On 3/3/24 10:32 PM, olcott wrote:
>>> On 3/3/2024 8:24 PM, Richard Damon wrote:
>>>> On 3/3/24 9:13 PM, olcott wrote:
>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>> On 3/3/24 1:47 PM, olcott wrote:
>>>>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>>>>
>>>>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>>>>
>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>
>>>>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>>>>
>>>>>>>> That does not demonstrate any understanding, even shallow.
>>>>>>>>
>>>>>>>
>>>>>>> The first thing that it does is agree that Hehner's
>>>>>>> "Carol's question" (augmented by Richards critique)
>>>>>>> is an example of the Liar Paradox.
>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>
>>>>>>> It ends up concluding that myself, professor Hehner and
>>>>>>> professor Stoddart are all correct in that there is
>>>>>>> something wrong with the halting problem.
>>>>>>
>>>>>> Which since it is proven that Chat GPT doesn't actually know what
>>>>>> is a fact, and has been proven to lie,
>>>>>
>>>>> The first thing that it figured out on its own is that
>>>>> Carol's question is isomorphic to the Liar Paradox.
>>>>>
>>>>> It eventually agreed with the same conclusion that
>>>>> myself and professors Hehner and Stoddart agreed to.
>>>>> It took 34 pages of dialog to understand this. I
>>>>> finally have a good PDF of this.
>>>>>
>>>>
>>>> It didn't "Figure it out". it pattern matched it to previous input
>>>> it has been given.
>>>>
>>>> If it took 34 pages to argee with your conclusion, then it really
>>>> didn't agree with you initially, but you finally trained it to your
>>>> version of reality.
>>>
>>> *HERE IS ITS AGREEMENT*
>>> When an input, such as the halting problem's pathological input D, is
>>> designed to contradict every value that the halting decider H returns,
>>> it creates a self-referential paradox that prevents H from providing a
>>> consistent and correct response. In this context, D can be seen as
>>> posing an incorrect question to H, as its contradictory nature
>>> undermines the possibility of a meaningful and accurate answer.
>>>
>>>
>>
>> Which means NOTHING as LLM will tell non-truths if feed misleading
>> information.
>
> The above paragraph is proven to be completely true entirely
> on the basis of the meaning of its words as these words were
> defined in the dialogue that precedes them.
>

no it isn't.

On 5/03/24 17:48, olcott wrote:
> On 3/5/2024 3:33 AM, Mikko wrote:
>> On 2024-03-04 19:53:05 +0000, olcott said:
>>
>>> On 3/4/2024 3:22 AM, Mikko wrote:
>>>> On 2024-03-03 18:47:29 +0000, olcott said:
>>>>
>>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>>
>>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>>
>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>
>>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>>
>>>>>>>
>>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>>
>>>>>> That does not demonstrate any understanding, even shallow.
>>>>>>
>>>>>
>>>>> The first thing that it does is agree that Hehner's
>>>>> "Carol's question" (augmented by Richards critique)
>>>>> is an example of the Liar Paradox.
>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>
>>>>> It ends up concluding that myself, professor Hehner and
>>>>> professor Stoddart are all correct in that there is
>>>>> something wrong with the halting problem.
>>>>
>>>> None of that demonstrates any understanding.
>>>>
>>>>> My persistent focus on these ideas gives me an increasingly
>>>>> deeper understanding thus my latest position is that the
>>>>> halting problem proofs do not actually show that halting
>>>>> is not computable.
>>>>
>>>> Your understanding is still defective and shallow.
>>>>
>>>
>>> If it really was shallow then a gap in my reasoning
>>> could be pointed out.
>>
>> Gaps in your reasons are pointed out every day.
>>
>
> There are no actual gaps in my reasoning.

Gap in your reasoning: when you think that a copy of a Turing machine
can possibly give any different result from the original.

On 5/03/24 18:21, olcott wrote:
> Not at all. The key thing that I do not know is whether
> a Turing Machine can somehow accomplish the same function
> result so that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can correctly determine that
> itself would never halt unless it transitions to Ĥ.Hqn.
>
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
>
> I know that a RASP machine where every P knows its own address can
> easily do this. I am still trying to work out how a TM can do this.

It cannot. The only way it can know is if you tell it. And if you have
to tell it, then you can just lie to it, also that is extra input not
specified in the halting problem so it doesn't solve the halting problem.

On 5/03/24 17:58, olcott wrote:
> On 3/5/2024 3:54 AM, Mikko wrote:
>> On 2024-03-04 19:31:40 +0000, olcott said:
>>
>>> If there is a physical machine that can solve problems that a Turing
>>> machine cannot solve then we are only pretending that the limits of
>>> computation are the limits of computers.
>>
>> However, we have no idea how such machine could be constructed.
>
> The x86 language is already sufficiently isomorphic.

As long as the Turing machine doesn't use more than 2^32 bytes of memory
it is possible to translate a Turing machine into x86. However, most x86
instructions aren't equivalent to Turing machine instructions, so you
have to be careful when going the other way. For example, you could use
a relative call instruction to allow an x86 program to discover its own
address. Turing machines don't have relative call instructions, or
addresses. Anything that uses addresses might not be isomorphic to a
Turing machine.

>
>> Although that machine might solve the halting problem of Turing
>> machines it would also create a new halting problem that it
>> cannot solve.
>
> The halting problem is already specified in the x86
> isomorphism to a RASP machine where every P knows
> its own machine address.
>
> u32 H(ptr P, ptr I)
> {
>   u32 Address_of_H = (u32)H;
>

If you show me a RASP function, is it possible for me to create another
function that returns the same thing the first function returns, even if
my function isn't at the same address?

On 5/03/24 18:10, olcott wrote:
> On 3/5/2024 10:57 AM, immibis wrote:
>> On 3/03/24 02:29, olcott wrote:
>>> On 3/2/2024 6:53 PM, Richard Damon wrote:
>>>> Note, Computers, as generally viewed, especiailly for "Compuation
>>>> Theory" have the limitation of being deterministic, whcih DOES make
>>>> them less powerful than the human mind, which has free will.
>>>
>>> LLMs have contradicted that. They are inherently stochastic.
>>
>> Incorrect. That they use a random number generator as part of their
>> algorithm does not make them special. You can use a true random number
>> generator, which must be counted as an input to the computation, or
>> you can use a pseudo-random number generator which is deterministic.
>> This is no different from a computerized game of Blackjack.
>
> Paradoxical Yes/No Dilemma  June 17, 2023
> My copyright notice is at the bottom showing that this is my dialogue
> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>
> *This was written by ChaGPT summing up its complete agreement*

ChatGPT tells you what you want to hear. It predicts the most probable
next word.

On 3/5/2024 7:49 PM, immibis wrote:
> On 3/03/24 02:38, olcott wrote:
>> ChatGPT 4.0 dialogue.
>> https://www.liarparadox.org/ChatGPT_HP.pdf
>
> You must understand that ChatGPT is a professional liar.
>

This occurs because ChatGPT has no basis to determine fact from fiction
https://en.wikipedia.org/wiki/Hallucination_(artificial_intelligence)

When we are only analyzing the validity of ChatGPT then it
scored perfectly on this paragraph:

When an input, such as the halting problem's pathological input D, is
designed to contradict every value that the halting decider H returns,
it creates a self-referential paradox that prevents H from providing a
consistent and correct response. In this context, D can be seen as
posing an incorrect question to H, as its contradictory nature
undermines the possibility of a meaningful and accurate answer.

The above paragraph perfectly semantically follows from its
preceding (34 page) dialogue that progressively refines the
meaning of my terms.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/5/2024 7:51 PM, immibis wrote:
> On 3/03/24 00:25, olcott wrote:
>> On 3/2/2024 5:15 PM, immibis wrote:
>>> On 2/03/24 23:28, olcott wrote:
>>>> The reason that people assume that H1(D,D) must get
>>>> the same result as H(D,D) is that they make sure
>>>> to ignore the reason why they get a different result.
>>>>
>>>> It turns out that the only reason that H1(D,D) derives a
>>>> different result than H(D,D) is that H is at a different
>>>> physical machine address than H1.
>>>
>>> Incorrect - the reason that H1(D,D) derives a different result is
>>> that H *looks for* a different physical machine address than H1.
>>
>> _D()
>> [00001cf2] 55         push ebp
>> [00001cf3] 8bec       mov ebp,esp
>> [00001cf5] 51         push ecx
>> [00001cf6] 8b4508     mov eax,[ebp+08]
>> [00001cf9] 50         push eax
>> [00001cfa] 8b4d08     mov ecx,[ebp+08]
>> [00001cfd] 51         push ecx
>> [00001cfe] e81ff8ffff call 00001522 ; call to H
>> ...
>>
>> *That is factually incorrect*
>> H and H1 simulate the actual code of D which actually
>> calls H at machine address 00001522 and does not call
>> H1 at machine address 00001422.
>
> H stores a memory that if the executed program calls machine address
> 00001522 with the same parameters, it should abort the simulation.
>
> H1 stores a memory that if the executed program calls machine address
> 00001422 with the same parameters, it should abort the simulation.
>

*Good job! Richard could never get this*

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/5/2024 7:53 PM, immibis wrote:
> On 4/03/24 05:37, olcott wrote:
>> On 3/3/2024 10:25 PM, Richard Damon wrote:
>>> On 3/3/24 10:32 PM, olcott wrote:
>>>> On 3/3/2024 8:24 PM, Richard Damon wrote:
>>>>> On 3/3/24 9:13 PM, olcott wrote:
>>>>>> On 3/3/2024 2:40 PM, Richard Damon wrote:
>>>>>>> On 3/3/24 1:47 PM, olcott wrote:
>>>>>>>> On 3/3/2024 11:48 AM, Mikko wrote:
>>>>>>>>> On 2024-03-03 15:08:17 +0000, olcott said:
>>>>>>>>>
>>>>>>>>>> On 3/3/2024 4:54 AM, Mikko wrote:
>>>>>>>>>>> On 2024-03-03 02:09:22 +0000, olcott said:
>>>>>>>>>>>
>>>>>>>>>>>> None-the-less actual computers do actually demonstrate
>>>>>>>>>>>> actual very deep understanding of these things.
>>>>>>>>>>>
>>>>>>>>>>> Not very deep, just deeper that you can achieve.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> Chat GPT 4.0 agreed that my reasoning is sound.
>>>>>>>>>
>>>>>>>>> That does not demonstrate any understanding, even shallow.
>>>>>>>>>
>>>>>>>>
>>>>>>>> The first thing that it does is agree that Hehner's
>>>>>>>> "Carol's question" (augmented by Richards critique)
>>>>>>>> is an example of the Liar Paradox.
>>>>>>>> https://chat.openai.com/share/5607ac4d-2973-49f4-a335-31783bae899b
>>>>>>>>
>>>>>>>> It ends up concluding that myself, professor Hehner and
>>>>>>>> professor Stoddart are all correct in that there is
>>>>>>>> something wrong with the halting problem.
>>>>>>>
>>>>>>> Which since it is proven that Chat GPT doesn't actually know what
>>>>>>> is a fact, and has been proven to lie,
>>>>>>
>>>>>> The first thing that it figured out on its own is that
>>>>>> Carol's question is isomorphic to the Liar Paradox.
>>>>>>
>>>>>> It eventually agreed with the same conclusion that
>>>>>> myself and professors Hehner and Stoddart agreed to.
>>>>>> It took 34 pages of dialog to understand this. I
>>>>>> finally have a good PDF of this.
>>>>>>
>>>>>
>>>>> It didn't "Figure it out". it pattern matched it to previous input
>>>>> it has been given.
>>>>>
>>>>> If it took 34 pages to argee with your conclusion, then it really
>>>>> didn't agree with you initially, but you finally trained it to your
>>>>> version of reality.
>>>>
>>>> *HERE IS ITS AGREEMENT*
>>>> When an input, such as the halting problem's pathological input D, is
>>>> designed to contradict every value that the halting decider H returns,
>>>> it creates a self-referential paradox that prevents H from providing a
>>>> consistent and correct response. In this context, D can be seen as
>>>> posing an incorrect question to H, as its contradictory nature
>>>> undermines the possibility of a meaningful and accurate answer.
>>>>
>>>>
>>>
>>> Which means NOTHING as LLM will tell non-truths if feed misleading
>>> information.
>>
>> The above paragraph is proven to be completely true entirely
>> on the basis of the meaning of its words as these words were
>> defined in the dialogue that precedes them.
>>
>
> no it isn't.

I am not saying the meanings that you think that the words have.
I am saying the meaning of these words that I progressively refined
within a 34 page dialogue.

When we take my meanings as the premises then the ChatGPT paragraph
is perfectly valid on the basis of these meanings.

ChatGPT was able to build something like a knowledge ontology of
these meanings thus close all ambiguity gaps. People get too
overwhelmed with this degree of detail.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

On 3/5/2024 7:55 PM, immibis wrote:
> On 5/03/24 18:21, olcott wrote:
>> Not at all. The key thing that I do not know is whether
>> a Turing Machine can somehow accomplish the same function
>> result so that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can correctly determine that
>> itself would never halt unless it transitions to Ĥ.Hqn.
>>
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
>>
>> I know that a RASP machine where every P knows its own address can
>> easily do this. I am still trying to work out how a TM can do this.
>
> It cannot. The only way it can know is if you tell it. And if you have
> to tell it, then you can just lie to it, also that is extra input not
> specified in the halting problem so it doesn't solve the halting problem.

A RASP machine P only needs to ask its interpreter what its
own machine address is.

Unlike the UTM, the RASP model has two sets of instructions – the state
machine table of instructions (the "interpreter") and the "program" in
the holes.
https://en.wikipedia.org/wiki/Random-access_stored-program_machine

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer