Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

HELP!!!! I'm being held prisoner in /usr/games/lib!


tech / sci.math / Re: Mathematical undecidability is an unsound notion V2

SubjectAuthor
* Mathematical undecidability is an unsound notion V2olcott
+- Re: Mathematical undecidability is an unsound notion V2Richard Damon
`* Re: Mathematical undecidability is an unsound notion V2olcott
 +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
 `* Re: Mathematical undecidability is an unsound notion V2Mike Terry
  `* Re: Mathematical undecidability is an unsound notion V2olcott
   +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
   +* Re: Mathematical undecidability is an unsound notion V2olcott
   |+- Re: Mathematical undecidability is an unsound notion V2Richard Damon
   |`* Re: Mathematical undecidability is an unsound notion V2olcott
   | +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
   | `* Re: Mathematical undecidability is an unsound notion V2olcott
   |  `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
   `* Re: Mathematical undecidability is an unsound notion V2Mike Terry
    `* Re: Mathematical undecidability is an unsound notion V2olcott
     +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
     +* Re: Mathematical undecidability is an unsound notion V2olcott
     |+- Re: Mathematical undecidability is an unsound notion V2Richard Damon
     |`* Re: Mathematical undecidability is an unsound notion V2olcott
     | +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
     | `* Re: Mathematical undecidability is an unsound notion V2olcott
     |  +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
     |  `* Re: Mathematical undecidability is an unsound notion V2olcott
     |   +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
     |   `* Re: Mathematical undecidability is an unsound notion V2olcott
     |    `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
     `* Re: Mathematical undecidability is an unsound notion V2Mike Terry
      `* Re: Mathematical undecidability is an unsound notion V2olcott
       +* Re: Mathematical undecidability is an unsound notion V2Mike Terry
       |+* Re: Mathematical undecidability is an unsound notion V2olcott
       ||`* Re: Mathematical undecidability is an unsound notion V2Mike Terry
       || +* Re: Mathematical undecidability is an unsound notion V2olcott
       || |`* Re: Mathematical undecidability is an unsound notion V2Mike Terry
       || | `* Re: Mathematical undecidability is an unsound notion V2olcott
       || |  `* Re: Mathematical undecidability is an unsound notion V2Mike Terry
       || |   +- Re: Mathematical undecidability is an unsound notion V2olcott
       || |   +* Re: Mathematical undecidability is an unsound notion V2olcott
       || |   |`- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |   `* Re: Mathematical undecidability is an unsound notion V2Jeff Barnett
       || |    `* Re: Mathematical undecidability is an unsound notion V2olcott
       || |     +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |     `* Re: Mathematical undecidability is an unsound notion V2olcott
       || |      +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |      `* Re: Mathematical undecidability is an unsound notion V2olcott
       || |       +* Re: Mathematical undecidability is an unsound notion V2olcott
       || |       |+- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |       |`* Re: Mathematical undecidability is an unsound notion V2olcott
       || |       | `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |       +- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |       `* Re: Mathematical undecidability is an unsound notion V2olcott
       || |        +* Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |        |`* Re: Mathematical undecidability is an unsound notion V2olcott
       || |        | `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || |        `* Re: Mathematical undecidability is an unsound notion V2olcott
       || |         `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       || `* Re: Mathematical undecidability is an unsound notion V2olcott
       ||  +* Re: Mathematical undecidability is an unsound notion V2Mike Terry
       ||  |`* Re: Mathematical undecidability is an unsound notion V2olcott
       ||  | `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       ||  `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       |+* Re: Mathematical undecidability is an unsound notion V2olcott
       ||`- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       |`* Re: Mathematical undecidability is an unsound notion V2olcott
       | `- Re: Mathematical undecidability is an unsound notion V2Richard Damon
       `- Re: Mathematical undecidability is an unsound notion V2Richard Damon

Pages:123
Re: Mathematical undecidability is an unsound notion V2

<uh7hef$2j8d9$3@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Mon, 23 Oct 2023 21:33:18 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh7hef$2j8d9$3@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 04:33:19 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2728361"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <uh7gfa$3li76$1@dont-email.me>
 by: Richard Damon - Tue, 24 Oct 2023 04:33 UTC

On 10/23/23 9:16 PM, olcott wrote:
> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>> On 24/10/2023 01:31, olcott wrote:
>>
>> <major snip>
>>
>>>> It provides significant evidence that I am not simply
>>>> a crackpot that can be correctly dismissed out of hand.
>>>
>>> It provides NO such evidence, because your "supporter" is not here in
>>> the thread.  Also, you are not dismissed "out of hand" - you are
>>> dismissed because your posts show you to not understand what you're
>>> talking about, and have no ability to process logical arguments or
>>> understand abstract concepts, regardless of how they're presented to
>>> you.  Many people (myself included) have carefully explained to you
>>> why you are incorrect, but it always turns out to be a waste of
>>> time!  :)
>> So why do you persist? I know it's really hard to not try to "crack" a
>> crackpot but virtue is in resisting. I hardly ever read a post by
>> Impotent Pete or Richard the Ernest since their posts are a mechanism
>> to avoid bleak lives - repetition upon repetition.
>>
>> Consider, for example, the Schopenhauer quote "Talent hits a target no
>> one else can hit; Genius hits a target no one else can see." as part
>> of the Impotent's signature: one can comment as much as you want about
>> the fact that he 1) mostly strikes out and 2) is blind. What's the
>> point? He's too stupid and non self-aware to notice the irony involved
>> - repetition upon repetition.
>
> My latest line-of-reasoning has a full PhD professor of
> computer science totally agreeing with one of my alternate
> proofs that I began in 2004. He has published several
> times in the two most prestigious computer science journals
> and has been a full professor for decades.
>
> Recently I have only been posting summarized versions
> of our shared view.
>

So what.

If you can't name him, he adds nothing to your arguement.

If you give his name, it likely adds very little, as the arguement is
still wrong, as not being able to make a program compute something does
not make the question "invalid". It would still be the fallacy of appeal
to authority.

My guess is that you are misinterpreting what he said, or what you said
to him (as you likely misused a term to mean something other than what
it actually meant to him.

Note, for you "summarized versions" is almost certainly your version
misinterpreting what was actually meant due to your numerous
deficiencies in understanding the terminology.

Re: Mathematical undecidability is an unsound notion V2

<uh8svt$2mlq$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 11:56:29 -0500
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <uh8svt$2mlq$1@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 16:56:29 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="88762"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18GFtpRFvdvJOtkbMHSo0Gk"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:KdPA7OrbCqJY7hM9PSsxSb4ffRo=
Content-Language: en-US
In-Reply-To: <uh7gfa$3li76$1@dont-email.me>
 by: olcott - Tue, 24 Oct 2023 16:56 UTC

On 10/23/2023 11:16 PM, olcott wrote:
> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>> On 24/10/2023 01:31, olcott wrote:
>>
>> <major snip>
>>
>>>> It provides significant evidence that I am not simply
>>>> a crackpot that can be correctly dismissed out of hand.
>>>
>>> It provides NO such evidence, because your "supporter" is not here in
>>> the thread.  Also, you are not dismissed "out of hand" - you are
>>> dismissed because your posts show you to not understand what you're
>>> talking about, and have no ability to process logical arguments or
>>> understand abstract concepts, regardless of how they're presented to
>>> you.  Many people (myself included) have carefully explained to you
>>> why you are incorrect, but it always turns out to be a waste of
>>> time!  :)
>> So why do you persist? I know it's really hard to not try to "crack" a
>> crackpot but virtue is in resisting. I hardly ever read a post by
>> Impotent Pete or Richard the Ernest since their posts are a mechanism
>> to avoid bleak lives - repetition upon repetition.
>>
>> Consider, for example, the Schopenhauer quote "Talent hits a target no
>> one else can hit; Genius hits a target no one else can see." as part
>> of the Impotent's signature: one can comment as much as you want about
>> the fact that he 1) mostly strikes out and 2) is blind. What's the
>> point? He's too stupid and non self-aware to notice the irony involved
>> - repetition upon repetition.
>
> My latest line-of-reasoning has a full PhD professor of
> computer science totally agreeing with one of my alternate
> proofs that I began in 2004. He has published several
> times in the two most prestigious computer science journals
> and has been a full professor for decades.
>
> Recently I have only been posting summarized versions
> of our shared view.
>

*He agrees that the halting problem is WRONG*

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

Re: Mathematical undecidability is an unsound notion V2

<uh8u3k$2ltqu$1@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 10:15:31 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh8u3k$2ltqu$1@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 17:15:33 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815838"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uh8svt$2mlq$1@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Tue, 24 Oct 2023 17:15 UTC

On 10/24/23 9:56 AM, olcott wrote:
> On 10/23/2023 11:16 PM, olcott wrote:
>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>> On 24/10/2023 01:31, olcott wrote:
>>>
>>> <major snip>
>>>
>>>>> It provides significant evidence that I am not simply
>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>
>>>> It provides NO such evidence, because your "supporter" is not here
>>>> in the thread.  Also, you are not dismissed "out of hand" - you are
>>>> dismissed because your posts show you to not understand what you're
>>>> talking about, and have no ability to process logical arguments or
>>>> understand abstract concepts, regardless of how they're presented to
>>>> you.  Many people (myself included) have carefully explained to you
>>>> why you are incorrect, but it always turns out to be a waste of
>>>> time!  :)
>>> So why do you persist? I know it's really hard to not try to "crack"
>>> a crackpot but virtue is in resisting. I hardly ever read a post by
>>> Impotent Pete or Richard the Ernest since their posts are a mechanism
>>> to avoid bleak lives - repetition upon repetition.
>>>
>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>> no one else can hit; Genius hits a target no one else can see." as
>>> part of the Impotent's signature: one can comment as much as you want
>>> about the fact that he 1) mostly strikes out and 2) is blind. What's
>>> the point? He's too stupid and non self-aware to notice the irony
>>> involved - repetition upon repetition.
>>
>> My latest line-of-reasoning has a full PhD professor of
>> computer science totally agreeing with one of my alternate
>> proofs that I began in 2004. He has published several
>> times in the two most prestigious computer science journals
>> and has been a full professor for decades.
>>
>> Recently I have only been posting summarized versions
>> of our shared view.
>>
>
> *He agrees that the halting problem is WRONG*
>

Since you don't identify the person, you are just appealing to an
"athority" who doesn't actually have any demonstrated authority.

As far as we can tell, this "authority" is just your imaginary friend
who rides the Fairy Dust Powered Magical Unicorn.

Or, you could just again be misunderstanding what they are saying.

And, just because someone says something, doesn't make it true Until you
can show how a function, that is defined for all input values, is some
how "invalid", you are just showing your self to be a LIAR.

Remember, the problem is talking about asking *IF* it is possible to
create a machine that computes the "mathematical" Halting Function,
defined as:

Halting(M,d) returns true if M(d) will Halt in a finite number of steps,
and false if M(d) will never halt in any bounded number of steps.

Halting(D,D) is defined, since your H(D,D) returns false, so the defined
D(D) will halt, so Halting(D,D) is true, ad H is proved incorrect.

Re: Mathematical undecidability is an unsound notion V2

<uh8ulr$347m$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 12:25:15 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <uh8ulr$347m$1@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 17:25:15 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="102646"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19VQcmg24ebTNjOduFQLlee"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tG3YVe3e0AKs7VtJuIfQinFXNMI=
Content-Language: en-US
In-Reply-To: <uh8svt$2mlq$1@dont-email.me>
 by: olcott - Tue, 24 Oct 2023 17:25 UTC

On 10/24/2023 11:56 AM, olcott wrote:
> On 10/23/2023 11:16 PM, olcott wrote:
>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>> On 24/10/2023 01:31, olcott wrote:
>>>
>>> <major snip>
>>>
>>>>> It provides significant evidence that I am not simply
>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>
>>>> It provides NO such evidence, because your "supporter" is not here
>>>> in the thread.  Also, you are not dismissed "out of hand" - you are
>>>> dismissed because your posts show you to not understand what you're
>>>> talking about, and have no ability to process logical arguments or
>>>> understand abstract concepts, regardless of how they're presented to
>>>> you.  Many people (myself included) have carefully explained to you
>>>> why you are incorrect, but it always turns out to be a waste of
>>>> time!  :)
>>> So why do you persist? I know it's really hard to not try to "crack"
>>> a crackpot but virtue is in resisting. I hardly ever read a post by
>>> Impotent Pete or Richard the Ernest since their posts are a mechanism
>>> to avoid bleak lives - repetition upon repetition.
>>>
>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>> no one else can hit; Genius hits a target no one else can see." as
>>> part of the Impotent's signature: one can comment as much as you want
>>> about the fact that he 1) mostly strikes out and 2) is blind. What's
>>> the point? He's too stupid and non self-aware to notice the irony
>>> involved - repetition upon repetition.
>>
>> My latest line-of-reasoning has a full PhD professor of
>> computer science totally agreeing with one of my alternate
>> proofs that I began in 2004. He has published several
>> times in the two most prestigious computer science journals
>> and has been a full professor for decades.
>>
>> Recently I have only been posting summarized versions
>> of our shared view.
>>
>
> *He agrees that the halting problem is WRONG*
>

*He agrees that the halting problem is WRONG*
How can this be misunderstood?
Mike misunderstood because Mike was not pay enough attention.

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

Re: Mathematical undecidability is an unsound notion V2

<uh8vag$347m$2@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 12:36:16 -0500
Organization: A noiseless patient Spider
Lines: 71
Message-ID: <uh8vag$347m$2@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 17:36:17 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="102646"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+MsFj3ptXOpZYpr5vV4vFr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:JEkKzdsCUUSkqEBLpPlCeZyxbkA=
In-Reply-To: <uh8ulr$347m$1@dont-email.me>
Content-Language: en-US
 by: olcott - Tue, 24 Oct 2023 17:36 UTC

On 10/24/2023 12:25 PM, olcott wrote:
> On 10/24/2023 11:56 AM, olcott wrote:
>> On 10/23/2023 11:16 PM, olcott wrote:
>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>
>>>> <major snip>
>>>>
>>>>>> It provides significant evidence that I am not simply
>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>
>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>> in the thread.  Also, you are not dismissed "out of hand" - you are
>>>>> dismissed because your posts show you to not understand what you're
>>>>> talking about, and have no ability to process logical arguments or
>>>>> understand abstract concepts, regardless of how they're presented
>>>>> to you.  Many people (myself included) have carefully explained to
>>>>> you why you are incorrect, but it always turns out to be a waste of
>>>>> time!  :)
>>>> So why do you persist? I know it's really hard to not try to "crack"
>>>> a crackpot but virtue is in resisting. I hardly ever read a post by
>>>> Impotent Pete or Richard the Ernest since their posts are a
>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>
>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>> no one else can hit; Genius hits a target no one else can see." as
>>>> part of the Impotent's signature: one can comment as much as you
>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>> What's the point? He's too stupid and non self-aware to notice the
>>>> irony involved - repetition upon repetition.
>>>
>>> My latest line-of-reasoning has a full PhD professor of
>>> computer science totally agreeing with one of my alternate
>>> proofs that I began in 2004. He has published several
>>> times in the two most prestigious computer science journals
>>> and has been a full professor for decades.
>>>
>>> Recently I have only been posting summarized versions
>>> of our shared view.
>>>
>>
>> *He agrees that the halting problem is WRONG*
>>
>
> *He agrees that the halting problem is WRONG*
> How can this be misunderstood?
> Mike misunderstood because Mike was not pay enough attention.
>

Computer science people can almost never think
outside-the-box of what they learned by rote.

*The Philosophy of Computability shows*

---
Of every H that can possibly be defined there is an
input D that makes the question:

"Does the Computation described by the input Halt?"
a self-contradictory thus incorrect question.

*The inability to correctly answer incorrect questions*
*does not place any real limit on anyone or anything*
---

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

Re: Mathematical undecidability is an unsound notion V2

<uh901l$2ltqv$3@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 10:48:36 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh901l$2ltqv$3@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 17:48:38 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815839"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uh8ulr$347m$1@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Tue, 24 Oct 2023 17:48 UTC

On 10/24/23 10:25 AM, olcott wrote:
> On 10/24/2023 11:56 AM, olcott wrote:
>> On 10/23/2023 11:16 PM, olcott wrote:
>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>
>>>> <major snip>
>>>>
>>>>>> It provides significant evidence that I am not simply
>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>
>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>> in the thread.  Also, you are not dismissed "out of hand" - you are
>>>>> dismissed because your posts show you to not understand what you're
>>>>> talking about, and have no ability to process logical arguments or
>>>>> understand abstract concepts, regardless of how they're presented
>>>>> to you.  Many people (myself included) have carefully explained to
>>>>> you why you are incorrect, but it always turns out to be a waste of
>>>>> time!  :)
>>>> So why do you persist? I know it's really hard to not try to "crack"
>>>> a crackpot but virtue is in resisting. I hardly ever read a post by
>>>> Impotent Pete or Richard the Ernest since their posts are a
>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>
>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>> no one else can hit; Genius hits a target no one else can see." as
>>>> part of the Impotent's signature: one can comment as much as you
>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>> What's the point? He's too stupid and non self-aware to notice the
>>>> irony involved - repetition upon repetition.
>>>
>>> My latest line-of-reasoning has a full PhD professor of
>>> computer science totally agreeing with one of my alternate
>>> proofs that I began in 2004. He has published several
>>> times in the two most prestigious computer science journals
>>> and has been a full professor for decades.
>>>
>>> Recently I have only been posting summarized versions
>>> of our shared view.
>>>
>>
>> *He agrees that the halting problem is WRONG*
>>
>
> *He agrees that the halting problem is WRONG*
> How can this be misunderstood?
> Mike misunderstood because Mike was not pay enough attention.
>

WHO agreed? apparently some anonymous person that you can't identify, so
their support doesn't mean anything.

And just because they said it, doesn't make it.

You are just using the fallacy of appeal to authority, but don't name
the authority, so you don't actuallly have anyone to appeal to.

This is just YOU claiming something to be true because you say it is.

That is one of the ultimate fallacies in logic.

You are just attempting a BIG LIE using disinformation while claiming to
be fighting disinformation.

It is simple to see you are wrong by the definitions, which has been
done, and you have failed to respond to those rebutals, which can be
assumed to mean that you don't HAVE a response, and accept the rebuttal
as valid, and your statements as being in error, even though you repeat
them.

You are just admitting you have nothing to base your lies on, other than
you can't stand the implications of the truth.

Re: Mathematical undecidability is an unsound notion V2

<uh907o$2ltqv$4@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 10:51:50 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh907o$2ltqv$4@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh8vag$347m$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 17:51:52 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815839"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uh8vag$347m$2@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Tue, 24 Oct 2023 17:51 UTC

On 10/24/23 10:36 AM, olcott wrote:
> On 10/24/2023 12:25 PM, olcott wrote:
>> On 10/24/2023 11:56 AM, olcott wrote:
>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>
>>>>> <major snip>
>>>>>
>>>>>>> It provides significant evidence that I am not simply
>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>
>>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>>> in the thread.  Also, you are not dismissed "out of hand" - you
>>>>>> are dismissed because your posts show you to not understand what
>>>>>> you're talking about, and have no ability to process logical
>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>> they're presented to you.  Many people (myself included) have
>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>> turns out to be a waste of time!  :)
>>>>> So why do you persist? I know it's really hard to not try to
>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read a
>>>>> post by Impotent Pete or Richard the Ernest since their posts are a
>>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>>
>>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>>> no one else can hit; Genius hits a target no one else can see." as
>>>>> part of the Impotent's signature: one can comment as much as you
>>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>>> What's the point? He's too stupid and non self-aware to notice the
>>>>> irony involved - repetition upon repetition.
>>>>
>>>> My latest line-of-reasoning has a full PhD professor of
>>>> computer science totally agreeing with one of my alternate
>>>> proofs that I began in 2004. He has published several
>>>> times in the two most prestigious computer science journals
>>>> and has been a full professor for decades.
>>>>
>>>> Recently I have only been posting summarized versions
>>>> of our shared view.
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>>
>>
>> *He agrees that the halting problem is WRONG*
>> How can this be misunderstood?
>> Mike misunderstood because Mike was not pay enough attention.
>>
>
> Computer science people can almost never think
> outside-the-box of what they learned by rote.
>
> *The Philosophy of Computability shows*
>
> ---
> Of every H that can possibly be defined there is an
> input D that makes the question:
>
> "Does the Computation described by the input Halt?"
> a self-contradictory thus incorrect question.
>
> *The inability to correctly answer incorrect questions*
> *does not place any real limit on anyone or anything*
> ---
>
>

But there IS a correct aswer to that question, for that particular input.

SO how can it be "self-contradictory"?

You are just proving your stupidity.

Maybe if you tried to use actual references, you might be able to figure
out what is actually true.

Re: Mathematical undecidability is an unsound notion V2

<uh90d8$3ftu$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!rocksolid2!news.neodome.net!news.mixmin.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 12:54:47 -0500
Organization: A noiseless patient Spider
Lines: 60
Message-ID: <uh90d8$3ftu$1@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 17:54:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="114622"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18VdPqaFFJFoGSLync+kG9r"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:b8+BVAHPHK1F8hLKgADEftMjcNE=
Content-Language: en-US
In-Reply-To: <uh8ulr$347m$1@dont-email.me>
 by: olcott - Tue, 24 Oct 2023 17:54 UTC

On 10/24/2023 12:25 PM, olcott wrote:
> On 10/24/2023 11:56 AM, olcott wrote:
>> On 10/23/2023 11:16 PM, olcott wrote:
>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>
>>>> <major snip>
>>>>
>>>>>> It provides significant evidence that I am not simply
>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>
>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>> in the thread.  Also, you are not dismissed "out of hand" - you are
>>>>> dismissed because your posts show you to not understand what you're
>>>>> talking about, and have no ability to process logical arguments or
>>>>> understand abstract concepts, regardless of how they're presented
>>>>> to you.  Many people (myself included) have carefully explained to
>>>>> you why you are incorrect, but it always turns out to be a waste of
>>>>> time!  :)
>>>> So why do you persist? I know it's really hard to not try to "crack"
>>>> a crackpot but virtue is in resisting. I hardly ever read a post by
>>>> Impotent Pete or Richard the Ernest since their posts are a
>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>
>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>> no one else can hit; Genius hits a target no one else can see." as
>>>> part of the Impotent's signature: one can comment as much as you
>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>> What's the point? He's too stupid and non self-aware to notice the
>>>> irony involved - repetition upon repetition.
>>>
>>> My latest line-of-reasoning has a full PhD professor of
>>> computer science totally agreeing with one of my alternate
>>> proofs that I began in 2004. He has published several
>>> times in the two most prestigious computer science journals
>>> and has been a full professor for decades.
>>>
>>> Recently I have only been posting summarized versions
>>> of our shared view.
>>>
>>
>> *He agrees that the halting problem is WRONG*
>>
>
> *He agrees that the halting problem is WRONG*
> How can this be misunderstood?

As always dishonest reviewers change the subject
rather than acknowledging that I proved my point.

Dishonest reviewers have no interest in any honest
dialogue and intentionally thwart the slightest
degree of closure on even one single point.

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

Re: Mathematical undecidability is an unsound notion V2

<uh914a$3ot7$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 13:07:05 -0500
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <uh914a$3ot7$1@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh8vag$347m$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 18:07:06 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="123815"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18kAPbm5HemBGyOBqtES0f3"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8bUIPCk5THKeyXxsObJP3kqQk2Y=
In-Reply-To: <uh8vag$347m$2@dont-email.me>
Content-Language: en-US
 by: olcott - Tue, 24 Oct 2023 18:07 UTC

On 10/24/2023 12:36 PM, olcott wrote:
> On 10/24/2023 12:25 PM, olcott wrote:
>> On 10/24/2023 11:56 AM, olcott wrote:
>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>
>>>>> <major snip>
>>>>>
>>>>>>> It provides significant evidence that I am not simply
>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>
>>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>>> in the thread.  Also, you are not dismissed "out of hand" - you
>>>>>> are dismissed because your posts show you to not understand what
>>>>>> you're talking about, and have no ability to process logical
>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>> they're presented to you.  Many people (myself included) have
>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>> turns out to be a waste of time!  :)
>>>>> So why do you persist? I know it's really hard to not try to
>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read a
>>>>> post by Impotent Pete or Richard the Ernest since their posts are a
>>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>>
>>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>>> no one else can hit; Genius hits a target no one else can see." as
>>>>> part of the Impotent's signature: one can comment as much as you
>>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>>> What's the point? He's too stupid and non self-aware to notice the
>>>>> irony involved - repetition upon repetition.
>>>>
>>>> My latest line-of-reasoning has a full PhD professor of
>>>> computer science totally agreeing with one of my alternate
>>>> proofs that I began in 2004. He has published several
>>>> times in the two most prestigious computer science journals
>>>> and has been a full professor for decades.
>>>>
>>>> Recently I have only been posting summarized versions
>>>> of our shared view.
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>>
>>
>> *He agrees that the halting problem is WRONG*
>> How can this be misunderstood?
>> Mike misunderstood because Mike was not pay enough attention.
>>
>
> Computer science people can almost never think
> outside-the-box of what they learned by rote.
>
> *The Philosophy of Computability shows*
>
> ---
> Of every H that can possibly be defined there is an
> input D that makes the question:
>
> "Does the Computation described by the input Halt?"
> a self-contradictory thus incorrect question.
>
> *The inability to correctly answer incorrect questions*
> *does not place any real limit on anyone or anything*
> ---

*The halting problem is CORRECT*
In that the current definition of the problem is unsatisfiable.

*The halting problem is WRONG*
In that its unsatisfiability places any limit on computation.

This is a philosophy of computability thing that is
never referenced in any pure theory of computation papers.

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

Re: Mathematical undecidability is an unsound notion V2

<uh970u$2ltqu$2@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 12:47:40 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh970u$2ltqu$2@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh8vag$347m$2@dont-email.me> <uh914a$3ot7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 19:47:42 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815838"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <uh914a$3ot7$1@dont-email.me>
 by: Richard Damon - Tue, 24 Oct 2023 19:47 UTC

On 10/24/23 11:07 AM, olcott wrote:
> On 10/24/2023 12:36 PM, olcott wrote:
>> On 10/24/2023 12:25 PM, olcott wrote:
>>> On 10/24/2023 11:56 AM, olcott wrote:
>>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>>
>>>>>> <major snip>
>>>>>>
>>>>>>>> It provides significant evidence that I am not simply
>>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>>
>>>>>>> It provides NO such evidence, because your "supporter" is not
>>>>>>> here in the thread.  Also, you are not dismissed "out of hand" -
>>>>>>> you are dismissed because your posts show you to not understand
>>>>>>> what you're talking about, and have no ability to process logical
>>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>>> they're presented to you.  Many people (myself included) have
>>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>>> turns out to be a waste of time!  :)
>>>>>> So why do you persist? I know it's really hard to not try to
>>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read
>>>>>> a post by Impotent Pete or Richard the Ernest since their posts
>>>>>> are a mechanism to avoid bleak lives - repetition upon repetition.
>>>>>>
>>>>>> Consider, for example, the Schopenhauer quote "Talent hits a
>>>>>> target no one else can hit; Genius hits a target no one else can
>>>>>> see." as part of the Impotent's signature: one can comment as much
>>>>>> as you want about the fact that he 1) mostly strikes out and 2) is
>>>>>> blind. What's the point? He's too stupid and non self-aware to
>>>>>> notice the irony involved - repetition upon repetition.
>>>>>
>>>>> My latest line-of-reasoning has a full PhD professor of
>>>>> computer science totally agreeing with one of my alternate
>>>>> proofs that I began in 2004. He has published several
>>>>> times in the two most prestigious computer science journals
>>>>> and has been a full professor for decades.
>>>>>
>>>>> Recently I have only been posting summarized versions
>>>>> of our shared view.
>>>>>
>>>>
>>>> *He agrees that the halting problem is WRONG*
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>> How can this be misunderstood?
>>> Mike misunderstood because Mike was not pay enough attention.
>>>
>>
>> Computer science people can almost never think
>> outside-the-box of what they learned by rote.
>>
>> *The Philosophy of Computability shows*
>>
>> ---
>> Of every H that can possibly be defined there is an
>> input D that makes the question:
>>
>> "Does the Computation described by the input Halt?"
>> a self-contradictory thus incorrect question.
>>
>> *The inability to correctly answer incorrect questions*
>> *does not place any real limit on anyone or anything*
>> ---
>
> *The halting problem is CORRECT*
> In that the current definition of the problem is unsatisfiable.

ILLOGICAL STATEMENT.

A FORMULA is satisfiable if there exists a combination of inputs that
makes the statement true, and is unsatisifiable if no such combination
exists.

THe Halting Problem doesn't have a "formula" that needs to be satisfied.

You are just committing a category error with that statement.

A Computation problem is called non-computable if there does not exist a
program that can give the answer, but that is still a valid question.

For a question to not be valid, there needs to not be a correct answer
for a GIVEN input.

>
> *The halting problem is WRONG*

No, YOU are wrong.

> In that its unsatisfiability places any limit on computation.

So, you think that all valid computation questons can be solved?

Why don't you then solve one of the great problems by creating the
program that solves it.

>
> This is a philosophy of computability thing that is
> never referenced in any pure theory of computation papers.
>

Because it is incorrect. And "Philosophy" doesn't have much use in a
formal system, we deal with facts, not opinions.

Re: Mathematical undecidability is an unsound notion V2

<uh9712$2ltqu$3@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 12:47:44 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh9712$2ltqu$3@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh90d8$3ftu$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 19:47:46 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815838"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uh90d8$3ftu$1@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Tue, 24 Oct 2023 19:47 UTC

On 10/24/23 10:54 AM, olcott wrote:
> On 10/24/2023 12:25 PM, olcott wrote:
>> On 10/24/2023 11:56 AM, olcott wrote:
>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>
>>>>> <major snip>
>>>>>
>>>>>>> It provides significant evidence that I am not simply
>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>
>>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>>> in the thread.  Also, you are not dismissed "out of hand" - you
>>>>>> are dismissed because your posts show you to not understand what
>>>>>> you're talking about, and have no ability to process logical
>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>> they're presented to you.  Many people (myself included) have
>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>> turns out to be a waste of time!  :)
>>>>> So why do you persist? I know it's really hard to not try to
>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read a
>>>>> post by Impotent Pete or Richard the Ernest since their posts are a
>>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>>
>>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>>> no one else can hit; Genius hits a target no one else can see." as
>>>>> part of the Impotent's signature: one can comment as much as you
>>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>>> What's the point? He's too stupid and non self-aware to notice the
>>>>> irony involved - repetition upon repetition.
>>>>
>>>> My latest line-of-reasoning has a full PhD professor of
>>>> computer science totally agreeing with one of my alternate
>>>> proofs that I began in 2004. He has published several
>>>> times in the two most prestigious computer science journals
>>>> and has been a full professor for decades.
>>>>
>>>> Recently I have only been posting summarized versions
>>>> of our shared view.
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>>
>>
>> *He agrees that the halting problem is WRONG*
>> How can this be misunderstood?
>
> As always dishonest reviewers change the subject
> rather than acknowledging that I proved my point.
>
> Dishonest reviewers have no interest in any honest
> dialogue and intentionally thwart the slightest
> degree of closure on even one single point.
>
>

You HAVEN'T "proven" your point. You just make an unsubstatiated
INCORECT claim and use a fallacy to try to justify it.

YOUR Failure to answer the errors pointed out just shows that you have
no answer to them, and are acknowledging that you are incorrect.

Re: Mathematical undecidability is an unsound notion V2

<uh98nh$5lk1$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math comp.ai.philosophy
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math,comp.ai.philosophy
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 15:16:49 -0500
Organization: A noiseless patient Spider
Lines: 70
Message-ID: <uh98nh$5lk1$1@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh90d8$3ftu$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 20:16:49 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="185985"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18+p5m5FYUf7PO+5KxfkyTs"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BYOuLeHTJG90KwJC+xTptOlUpd8=
In-Reply-To: <uh90d8$3ftu$1@dont-email.me>
Content-Language: en-US
 by: olcott - Tue, 24 Oct 2023 20:16 UTC

On 10/24/2023 12:54 PM, olcott wrote:
> On 10/24/2023 12:25 PM, olcott wrote:
>> On 10/24/2023 11:56 AM, olcott wrote:
>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>
>>>>> <major snip>
>>>>>
>>>>>>> It provides significant evidence that I am not simply
>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>
>>>>>> It provides NO such evidence, because your "supporter" is not here
>>>>>> in the thread.  Also, you are not dismissed "out of hand" - you
>>>>>> are dismissed because your posts show you to not understand what
>>>>>> you're talking about, and have no ability to process logical
>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>> they're presented to you.  Many people (myself included) have
>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>> turns out to be a waste of time!  :)
>>>>> So why do you persist? I know it's really hard to not try to
>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read a
>>>>> post by Impotent Pete or Richard the Ernest since their posts are a
>>>>> mechanism to avoid bleak lives - repetition upon repetition.
>>>>>
>>>>> Consider, for example, the Schopenhauer quote "Talent hits a target
>>>>> no one else can hit; Genius hits a target no one else can see." as
>>>>> part of the Impotent's signature: one can comment as much as you
>>>>> want about the fact that he 1) mostly strikes out and 2) is blind.
>>>>> What's the point? He's too stupid and non self-aware to notice the
>>>>> irony involved - repetition upon repetition.
>>>>
>>>> My latest line-of-reasoning has a full PhD professor of
>>>> computer science totally agreeing with one of my alternate
>>>> proofs that I began in 2004. He has published several
>>>> times in the two most prestigious computer science journals
>>>> and has been a full professor for decades.
>>>>
>>>> Recently I have only been posting summarized versions
>>>> of our shared view.
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>>
>>
>> *He agrees that the halting problem is WRONG*
>> How can this be misunderstood?
>
> As always dishonest reviewers change the subject
> rather than acknowledging that I proved my point.
>
> Dishonest reviewers have no interest in any honest
> dialogue and intentionally thwart the slightest
> degree of closure on even one single point.

In all of the cases where a computational problem cannot
be solved because it <is> isomorphic to a self-contradictory
question we reject the problem itself as incorrect.

In those cases where a computational problem cannot be solved
in finite time because it requires testing every element of
an infinite set the problem definition might not be construed
as incorrect.

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

Re: Mathematical undecidability is an unsound notion V2

<uh991b$5lk1$2@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 15:22:02 -0500
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <uh991b$5lk1$2@dont-email.me>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh90d8$3ftu$1@dont-email.me> <uh9712$2ltqu$3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 20:22:03 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ae99f76331937e7880c37be688965c7c";
logging-data="185985"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18b9Wlt0RnHf8J86HnUXe/D"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ojGmzmw/AJXDUDWKbtxhQkMIO4s=
Content-Language: en-US
In-Reply-To: <uh9712$2ltqu$3@i2pn2.org>
 by: olcott - Tue, 24 Oct 2023 20:22 UTC

On 10/24/2023 2:47 PM, Richard Damon wrote:
> On 10/24/23 10:54 AM, olcott wrote:
>> On 10/24/2023 12:25 PM, olcott wrote:
>>> On 10/24/2023 11:56 AM, olcott wrote:
>>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>>
>>>>>> <major snip>
>>>>>>
>>>>>>>> It provides significant evidence that I am not simply
>>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>>
>>>>>>> It provides NO such evidence, because your "supporter" is not
>>>>>>> here in the thread.  Also, you are not dismissed "out of hand" -
>>>>>>> you are dismissed because your posts show you to not understand
>>>>>>> what you're talking about, and have no ability to process logical
>>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>>> they're presented to you.  Many people (myself included) have
>>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>>> turns out to be a waste of time!  :)
>>>>>> So why do you persist? I know it's really hard to not try to
>>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read
>>>>>> a post by Impotent Pete or Richard the Ernest since their posts
>>>>>> are a mechanism to avoid bleak lives - repetition upon repetition.
>>>>>>
>>>>>> Consider, for example, the Schopenhauer quote "Talent hits a
>>>>>> target no one else can hit; Genius hits a target no one else can
>>>>>> see." as part of the Impotent's signature: one can comment as much
>>>>>> as you want about the fact that he 1) mostly strikes out and 2) is
>>>>>> blind. What's the point? He's too stupid and non self-aware to
>>>>>> notice the irony involved - repetition upon repetition.
>>>>>
>>>>> My latest line-of-reasoning has a full PhD professor of
>>>>> computer science totally agreeing with one of my alternate
>>>>> proofs that I began in 2004. He has published several
>>>>> times in the two most prestigious computer science journals
>>>>> and has been a full professor for decades.
>>>>>
>>>>> Recently I have only been posting summarized versions
>>>>> of our shared view.
>>>>>
>>>>
>>>> *He agrees that the halting problem is WRONG*
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>> How can this be misunderstood?
>>
>> As always dishonest reviewers change the subject
>> rather than acknowledging that I proved my point.
>>
>> Dishonest reviewers have no interest in any honest
>> dialogue and intentionally thwart the slightest
>> degree of closure on even one single point.
>>
>>
>
> You HAVEN'T "proven" your point. You just make an unsubstatiated
> INCORECT claim and use a fallacy to try to justify it.
>
> YOUR Failure to answer the errors pointed out just shows that you have
> no answer to them, and are acknowledging that you are incorrect.

I proved my point in that when
*He agrees that the halting problem is WRONG*
This cannot be misconstrued as him saying that
*the halting problem is correct*

Mike made this mistake because he skimmed the words
as a basis for artificially contriving a fake rebuttal.

Mike was not intentionally dishonest his mistake is
more accurately characterized as negligence.

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

Re: Mathematical undecidability is an unsound notion V2

<uh9a96$2ltqv$5@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math comp.ai.philosophy
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math,comp.ai.philosophy
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 13:43:17 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh9a96$2ltqv$5@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh90d8$3ftu$1@dont-email.me> <uh98nh$5lk1$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 20:43:19 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815839"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uh98nh$5lk1$1@dont-email.me>
Content-Language: en-US
 by: Richard Damon - Tue, 24 Oct 2023 20:43 UTC

On 10/24/23 1:16 PM, olcott wrote:
> On 10/24/2023 12:54 PM, olcott wrote:
>> On 10/24/2023 12:25 PM, olcott wrote:
>>> On 10/24/2023 11:56 AM, olcott wrote:
>>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>>
>>>>>> <major snip>
>>>>>>
>>>>>>>> It provides significant evidence that I am not simply
>>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>>
>>>>>>> It provides NO such evidence, because your "supporter" is not
>>>>>>> here in the thread.  Also, you are not dismissed "out of hand" -
>>>>>>> you are dismissed because your posts show you to not understand
>>>>>>> what you're talking about, and have no ability to process logical
>>>>>>> arguments or understand abstract concepts, regardless of how
>>>>>>> they're presented to you.  Many people (myself included) have
>>>>>>> carefully explained to you why you are incorrect, but it always
>>>>>>> turns out to be a waste of time!  :)
>>>>>> So why do you persist? I know it's really hard to not try to
>>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read
>>>>>> a post by Impotent Pete or Richard the Ernest since their posts
>>>>>> are a mechanism to avoid bleak lives - repetition upon repetition.
>>>>>>
>>>>>> Consider, for example, the Schopenhauer quote "Talent hits a
>>>>>> target no one else can hit; Genius hits a target no one else can
>>>>>> see." as part of the Impotent's signature: one can comment as much
>>>>>> as you want about the fact that he 1) mostly strikes out and 2) is
>>>>>> blind. What's the point? He's too stupid and non self-aware to
>>>>>> notice the irony involved - repetition upon repetition.
>>>>>
>>>>> My latest line-of-reasoning has a full PhD professor of
>>>>> computer science totally agreeing with one of my alternate
>>>>> proofs that I began in 2004. He has published several
>>>>> times in the two most prestigious computer science journals
>>>>> and has been a full professor for decades.
>>>>>
>>>>> Recently I have only been posting summarized versions
>>>>> of our shared view.
>>>>>
>>>>
>>>> *He agrees that the halting problem is WRONG*
>>>>
>>>
>>> *He agrees that the halting problem is WRONG*
>>> How can this be misunderstood?
>>
>> As always dishonest reviewers change the subject
>> rather than acknowledging that I proved my point.
>>
>> Dishonest reviewers have no interest in any honest
>> dialogue and intentionally thwart the slightest
>> degree of closure on even one single point.
>
> In all of the cases where a computational problem cannot
> be solved because it <is> isomorphic to a self-contradictory
> question we reject the problem itself as incorrect.

Nope. Show the actual "isomorphism"

The problem is that the actual question has an actual correct answer, so
it can't be "contradictory" (self or otherwise).

You just don't know what the words you are using actually mean.

>
> In those cases where a computational problem cannot be solved
> in finite time because it requires testing every element of
> an infinite set the problem definition might not be construed
> as incorrect.
>

Maybe it would be helpful to know WHAT this is in reply to.

Note, by your admission, it seems you are admitting that if the problem
CAN be solved with infinite time, then it is ok,

But IF H is allowed to process of infinite (unbounded) time, then it
would be ok for it, after that infinite time, to answer non-halting, as
then the the "pathological" input IS non-halting, as it ran for
unbounded time, and thus IS "non-halting" by the definition.

It just means that H itself failed, as the requirement is to give the
answer in finite time, so your criteria just shows that it is solvable
in unbound time, just not bounded time, so the problem is correct, but
uncomputable.

Re: Mathematical undecidability is an unsound notion V2

<uh9a9d$2ltqv$6@i2pn2.org>

  copy mid

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

  copy link   Newsgroups: comp.theory sci.logic sci.math
Path: i2pn2.org!.POSTED!not-for-mail
From: rich...@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Mathematical undecidability is an unsound notion V2
Date: Tue, 24 Oct 2023 13:43:23 -0700
Organization: i2pn2 (i2pn.org)
Message-ID: <uh9a9d$2ltqv$6@i2pn2.org>
References: <uh4gdp$2nu83$3@dont-email.me> <uh4i3l$2oeik$1@dont-email.me>
<FxicnczjN4wneaj4nZ2dnZfqnPSdnZ2d@brightview.co.uk>
<uh4q1e$2tol3$1@dont-email.me>
<JOudneG-zMvDAKv4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh6cfu$39o9o$1@dont-email.me>
<d5idnTySANfPbav4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6rjq$3dm3r$1@dont-email.me>
<0JKcnVB6lfxXZKv4nZ2dnZfqn_qdnZ2d@brightview.co.uk>
<uh6vus$3eidj$1@dont-email.me>
<q2udnctUwcpGlar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh71tn$3eslf$1@dont-email.me>
<VzydndxzrO80k6r4nZ2dnZfqnPudnZ2d@brightview.co.uk>
<uh739l$3eslf$3@dont-email.me>
<JimdncqhWqpqiar4nZ2dnZfqn_SdnZ2d@brightview.co.uk>
<uh7fne$3lak1$1@dont-email.me> <uh7gfa$3li76$1@dont-email.me>
<uh8svt$2mlq$1@dont-email.me> <uh8ulr$347m$1@dont-email.me>
<uh90d8$3ftu$1@dont-email.me> <uh9712$2ltqu$3@i2pn2.org>
<uh991b$5lk1$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 24 Oct 2023 20:43:25 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="2815839"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <uh991b$5lk1$2@dont-email.me>
 by: Richard Damon - Tue, 24 Oct 2023 20:43 UTC

On 10/24/23 1:22 PM, olcott wrote:
> On 10/24/2023 2:47 PM, Richard Damon wrote:
>> On 10/24/23 10:54 AM, olcott wrote:
>>> On 10/24/2023 12:25 PM, olcott wrote:
>>>> On 10/24/2023 11:56 AM, olcott wrote:
>>>>> On 10/23/2023 11:16 PM, olcott wrote:
>>>>>> On 10/23/2023 11:03 PM, Jeff Barnett wrote:
>>>>>>> On 10/23/2023 6:51 PM, Mike Terry wrote:
>>>>>>>> On 24/10/2023 01:31, olcott wrote:
>>>>>>>
>>>>>>> <major snip>
>>>>>>>
>>>>>>>>> It provides significant evidence that I am not simply
>>>>>>>>> a crackpot that can be correctly dismissed out of hand.
>>>>>>>>
>>>>>>>> It provides NO such evidence, because your "supporter" is not
>>>>>>>> here in the thread.  Also, you are not dismissed "out of hand" -
>>>>>>>> you are dismissed because your posts show you to not understand
>>>>>>>> what you're talking about, and have no ability to process
>>>>>>>> logical arguments or understand abstract concepts, regardless of
>>>>>>>> how they're presented to you.  Many people (myself included)
>>>>>>>> have carefully explained to you why you are incorrect, but it
>>>>>>>> always turns out to be a waste of time!  :)
>>>>>>> So why do you persist? I know it's really hard to not try to
>>>>>>> "crack" a crackpot but virtue is in resisting. I hardly ever read
>>>>>>> a post by Impotent Pete or Richard the Ernest since their posts
>>>>>>> are a mechanism to avoid bleak lives - repetition upon repetition.
>>>>>>>
>>>>>>> Consider, for example, the Schopenhauer quote "Talent hits a
>>>>>>> target no one else can hit; Genius hits a target no one else can
>>>>>>> see." as part of the Impotent's signature: one can comment as
>>>>>>> much as you want about the fact that he 1) mostly strikes out and
>>>>>>> 2) is blind. What's the point? He's too stupid and non self-aware
>>>>>>> to notice the irony involved - repetition upon repetition.
>>>>>>
>>>>>> My latest line-of-reasoning has a full PhD professor of
>>>>>> computer science totally agreeing with one of my alternate
>>>>>> proofs that I began in 2004. He has published several
>>>>>> times in the two most prestigious computer science journals
>>>>>> and has been a full professor for decades.
>>>>>>
>>>>>> Recently I have only been posting summarized versions
>>>>>> of our shared view.
>>>>>>
>>>>>
>>>>> *He agrees that the halting problem is WRONG*
>>>>>
>>>>
>>>> *He agrees that the halting problem is WRONG*
>>>> How can this be misunderstood?
>>>
>>> As always dishonest reviewers change the subject
>>> rather than acknowledging that I proved my point.
>>>
>>> Dishonest reviewers have no interest in any honest
>>> dialogue and intentionally thwart the slightest
>>> degree of closure on even one single point.
>>>
>>>
>>
>> You HAVEN'T "proven" your point. You just make an unsubstatiated
>> INCORECT claim and use a fallacy to try to justify it.
>>
>> YOUR Failure to answer the errors pointed out just shows that you have
>> no answer to them, and are acknowledging that you are incorrect.
>
> I proved my point in that when
> *He agrees that the halting problem is WRONG*
> This cannot be misconstrued as him saying that
> *the halting problem is correct*

Nope, just shows you don't know what it means to PROVE something.

You can't prove something by just quoting that someone thinks it is correct.

That is just the fallacy of appeal to authority.

>
> Mike made this mistake because he skimmed the words
> as a basis for artificially contriving a fake rebuttal.
>
> Mike was not intentionally dishonest his mistake is
> more accurately characterized as negligence.
>

No, YOU are not intelegent enough to see that you have made a fool of
yourself.

Pages:123
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor