On 2024-01-24 16:03:18 +0000, olcott said:
On 1/24/2024 5:18 AM, Mikko wrote:
On 2024-01-23 15:20:38 +0000, olcott said:
On 1/23/2024 3:49 AM, Mikko wrote:
On 2024-01-22 15:29:28 +0000, olcott said:
On 1/22/2024 2:28 AM, Mikko wrote:
On 2024-01-21 19:22:22 +0000, wij said:
I just found an article about the Halting Problem.
https://arxiv.org/pdf/1906.05340.pdf
In the conclusion section:
The idea of a universal halting test seems reasonable, but cannot be >>>>>>> for-
malised as a consistent specification. It has no model and does not >>>>>>> exist as
a conceptual object. Assuming its conceptual existence leads to a >>>>>>> paradox.
The halting problem is universally used in university courses on >>>>>>> Computer
Science to illustrate the limits of computation. Hehner claims the >>>>>>> halting
problem is misconceived......
It looks like what olcott now is claiming. Am I missing something? >>>>>>
The error in the article is the claim that an "inconsistent"
specification is somehow invalid. But it is not.
So if I asked you: What time is it (yes or no)?
the type mismatch error doesn't prevent you from
providing a correct answer?
I doesn't prevent me from providing an answer that I regard correct.
Whether you can accept it as a correct answer is your problem, not mine. >>>>
Mikko
That is not the way that truth really works.
The question was not about how truth works.
It was about how I work.
Mikko
I am only talking about how analytic truth works.
Did you already tell what analytic thruth is and whether there is any?
Mikko
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)