Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Single tasking: Just Say No.

tech / sci.logic / Re: Another rebuttal of Halting Problem? [Mikko]

SubjectAuthor
* Re: Another rebuttal of Halting Problem? [Mikko]olcott
+- Re: Another rebuttal of Halting Problem? [Mikko]Mikko
`- Re: Another rebuttal of Halting Problem? [Mikko]Richard Damon

1
Re: Another rebuttal of Halting Problem? [Mikko]

<uorcc6$1s1ib$4@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=7370&group=sci.logic#7370

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!i2pn.org!news.niel.me!news.gegeweb.eu!gegeweb.org!news.mb-net.net!open-news-network.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic
Subject: Re: Another rebuttal of Halting Problem? [Mikko]
Date: Wed, 24 Jan 2024 10:03:18 -0600
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <uorcc6$1s1ib$4@dont-email.me>
References: <3c547c53ca3e7ce2fa631935792d7b3f1bd89c38.camel@gmail.com>
<uol8up$lbsk$1@dont-email.me> <uom1kq$pg76$1@dont-email.me>
<uoo244$17kj9$1@dont-email.me> <uoolg6$1ankf$3@dont-email.me>
<uoqrlj$1pga2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 24 Jan 2024 16:03:19 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="66fc17ca93d8d2bd6be06d8ca85d32a7";
logging-data="1967691"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX193t9zEcpWg3tQLPzLPfOaT"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:eAsrojezrdV8ywqs/jKxDsCPYU0=
In-Reply-To: <uoqrlj$1pga2$1@dont-email.me>
Content-Language: en-US
 by: olcott - Wed, 24 Jan 2024 16:03 UTC

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.

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

Re: Another rebuttal of Halting Problem? [Mikko]

<uord7e$1scqh$1@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=7372&group=sci.logic#7372

  copy link   Newsgroups: sci.logic
Path: i2pn2.org!rocksolid2!news.neodome.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: mikko.le...@iki.fi (Mikko)
Newsgroups: sci.logic
Subject: Re: Another rebuttal of Halting Problem? [Mikko]
Date: Wed, 24 Jan 2024 18:17:50 +0200
Organization: -
Lines: 56
Message-ID: <uord7e$1scqh$1@dont-email.me>
References: <uorcc6$1s1ib$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="6612757b06394894aa37c7ee3f14fd7a";
logging-data="1979217"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18KiQGzeWtP7Meu2oQbc6qy"
User-Agent: Unison/2.2
Cancel-Lock: sha1:cgu7u11/Hu3OzIPrj8SBKWn/Nb0=
 by: Mikko - Wed, 24 Jan 2024 16:17 UTC

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

Re: Another rebuttal of Halting Problem? [Mikko]

<uosgr2$e02s$6@i2pn2.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=7400&group=sci.logic#7400

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic
Subject: Re: Another rebuttal of Halting Problem? [Mikko]
Date: Wed, 24 Jan 2024 21:25:38 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <uosgr2$e02s$6@i2pn2.org>
References: <3c547c53ca3e7ce2fa631935792d7b3f1bd89c38.camel@gmail.com>
<uol8up$lbsk$1@dont-email.me> <uom1kq$pg76$1@dont-email.me>
<uoo244$17kj9$1@dont-email.me> <uoolg6$1ankf$3@dont-email.me>
<uoqrlj$1pga2$1@dont-email.me> <uorcc6$1s1ib$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 25 Jan 2024 02:25:38 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="458844"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uorcc6$1s1ib$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
 by: Richard Damon - Thu, 25 Jan 2024 02:25 UTC

On 1/24/24 11:03 AM, olcott wrote:
> 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.
>

Then why do you lie?

WHy do you say a true proven statement can not be true?

Analytic Truth is any statment connected though a chain of correct
logical steps to the truth makers of the system, even if such a chain is
infinite in length.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor