Re: "big fat ignorant liar"

On 2025-06-15 14:44:47 +0000, olcott said:

On 6/15/2025 4:19 AM, Mikko wrote:

On 2025-06-13 15:33:45 +0000, olcott said:
 

On 6/13/2025 5:37 AM, Mikko wrote:

On 2025-06-12 15:18:30 +0000, olcott said:
 

On 6/12/2025 3:23 AM, Mikko wrote:

On 2025-06-11 14:34:41 +0000, olcott said:
 

On 6/11/2025 4:19 AM, Mikko wrote:

On 2025-06-10 15:11:50 +0000, olcott said:
 

On 6/10/2025 6:15 AM, Richard Damon wrote:

On 6/9/25 8:34 PM, olcott wrote:

On 6/9/2025 7:16 PM, Richard Damon wrote:

On 6/9/25 3:16 PM, Mr Flibble wrote:

"big fat ignorant liar" -- Damon
 There are no words.
 /Flibble

 Can you show me wrong?
 Or are you complaining about me telling him the truth?

 What about this paper that I wrote?
 Severe anthropogenic climate change proven entirely with verifiable facts
 https://www.researchgate.net/ publication/336568434_Severe_anthropogenic_climate_change_proven_entirely_with_verifiable_facts  

 Which just shows you don't know the meaning of the word "prove".

 What specifically do you believe is not proven?

 The article makes no attempt to prove anything.

 That is a dishonest or stupid thing to say.

 On what page and line there is the end of the conclusion of
a proof?

 Maybe you don't know what a verified fact is?

 Irrepevant.

 That you don't know what a verified fact is, cannot
possibly be more relevant.

 Indeed, but what is more relevant is that you don't know what a fact is.
 

It means that when I conclusively
prove that you are wrong you will still think that you are
correct because you lack the basis for dividing correct
from incorrect.

 Irrelevant as long as you don't prove anything.

 When I fully proven my claim and your lack of sufficient
technical knowledge fails to understand this proof that
is not any actual rebuttal at all.

Be specific. The relevant techincal knoledge is the knowloedge
of what a proof is and how one looks like. That knowledge
I have, so I know that you have not presented any proof.
I have not failed to understand what does not exist.

Your question "What specifically do you believe is not
proven?" was about proofs, not about facts.

 Facts are the ultimate ground-of-being maximum foundational
basis of all proofs.

 No, they are not, just of proofs about the real world.

 So how many decades how you carefully studied the
philosophical foundation of analytical truth?

It doesn't take decades of study to learn that an analyitcal
truth says nothing about the real world. That is one of the
very first things teached and learned.

As you respond to my question without answering it it is
obvious that you don't see any proofs in your article.

 It is a fact that there is no actual input D to any
termination analyzer H that does the opposite of
whatever value that H derives. The key element that
all conventional HP proofs depend on cannot possibly exist.

 Nonsense is not a fact.

 After studying these things for 22 years I found
that every conventional proof of the halting problem
never provides an actual input that would do the
opposite of whatever value that its partial halt
decider (PHD) returns.

The core part of those proofs is a constructive specification
of that test case.

It is always the case that the computation the PHD
is embedded within or the function that calls the
PHD that does the opposite. It is never the input.

Doesn't matter. Those proofs prove that for any Turing machine there
is an input that proves that the decider is not a halt decider. That
is sufficient to prove that no Turing machine is a halt decider for
Turing machines.

The expression "any termination analyzer H"
does not mean anything in this context, which does not have the
definitions that would give it a meaning.

 A termination analyzer is required to report on the
sequence of state transitions that its input specifies.

An analyzer is required to report on the program that the used wants
to be analyed if that program is in the scope of the analyzer. How
the input shall be constructed to enable that must be told in the
instruction manual of the analyzer.

The key element is that in the context of all convetional HP proofs
for every decider it is possible to construct a program that halts
if the decider rejects it and does not halt if the decider rejects
it, which proves that the decider is not a halting decider.

 Yet it is not possible that this program is an input to
the PHD. Unless it is an actual input then the whole
conventional HP proof fails.

That is not true about every PHD. In particular, it is not true about
Turing machines, and the conventional proofs don't prove about anything
else.
--
Mikko