Re: Done with Olcott. --- Kaz cannot think outside the box

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory, sci.logic, sci.math
Subject	Re: Done with Olcott. --- Kaz cannot think outside the box
Date	2025-11-29 17:24 -0600
Organization	A noiseless patient Spider
Message-ID	<10gfvb8$3r3ru$1@dont-email.me> (permalink)
References	(8 earlier) <20251129095348.21@kylheku.com> <10gfmmg$3njjo$1@dont-email.me> <20251129133946.921@kylheku.com> <10gfqg8$3p2df$2@dont-email.me> <20251129144458.747@kylheku.com>

Cross-posted to 3 groups.

Show all headers | View raw

On 11/29/2025 4:57 PM, Kaz Kylheku wrote:
> On 2025-11-29, olcott <polcott333@gmail.com> wrote:
>> On 11/29/2025 3:53 PM, Kaz Kylheku wrote:
>>> On 2025-11-29, olcott <polcott333@gmail.com> wrote:
>>>> On 11/29/2025 2:39 PM, Kaz Kylheku wrote:
>>>>> On 2025-11-29, olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/28/2025 11:52 PM, Kaz Kylheku wrote:
>>>>>>>> I have shown that the original assumptions are
>>>>>>>> incoherent just like
>>>>>>>
>>>>>>> You have not. Only that your understanding is incoherent.
>>>>>>>
>>>>>>
>>>>>> The halting problem instance is merely the Liar Paradox in disguise.
>>>>>
>>>>> No, it isn't.
>>>>>
>>>>> You're not even smart enough to keep straight in your head
>>>>> what is part of the /problem/ and what is a /result/
>>>>> of investigating the problem.
>>>>>
>>>>> The Halting Problem is literally a sentence of the form: "can
>>>>> a Turing machine calculate whether any Turing Machine halts".
>>>>>
>>>>
>>>> When the halting problem instance defines and input
>>>> that does the opposite of whatever its decider reports
>>>> this is structurally the same as the set of sentences
>>>> that are true only when they are false and false only
>>>> when they are true.
>>>
>>> Only in the mind of an imbecile who can't think outside of the box.
>>
>> Fuckheads that don't have reasoning prove
>> that they are mere fuckheads by using insults
>> instead.
> 
> The above is a thoroughly evidence-based observation.
> 
> I also have solid aguments why self-reference in halting proofs is
> different from Liar Paradox sentences.
> 

No you fucking don't or you would have provided
it years ago. I you or anyone else here has on
Gödel is bluster and presumption.

I spent years creating Olcott's Minimal
Type Theory to say this: G := (F ⊬ G)
G says of itself that it is unprovable in F.


-- 
Copyright 2025 Olcott

My 28 year goal has been to make
"true on the basis of meaning" computable.

This required establishing a new foundation
for correct reasoning.

Thread

Re: Done with Olcott. --- Kaz cannot think outside the box olcott <NoOne@NoWhere.com> - 2025-11-28 20:41 -0600
  Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 02:58 +0000
    Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-28 21:25 -0600
      Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 04:17 +0000
        Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-28 23:05 -0600
          Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 05:52 +0000
            Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 08:20 -0600
              Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 20:39 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 14:56 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:34 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 14:16 -0800
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:05 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 21:53 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 16:01 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 22:57 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 17:24 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:08 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:07 -0500

csiph-web