Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #136881
| From | Kaz Kylheku <046-301-5902@kylheku.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math |
| Subject | Re: Done with Olcott. --- Kaz cannot think outside the box |
| Date | 2025-11-29 22:57 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20251129144458.747@kylheku.com> (permalink) |
| References | (7 earlier) <10gevft$3e7v9$1@dont-email.me> <20251129095348.21@kylheku.com> <10gfmmg$3njjo$1@dont-email.me> <20251129133946.921@kylheku.com> <10gfqg8$3p2df$2@dont-email.me> |
Cross-posted to 3 groups.
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. Though I'm confident I could teach them to sixth graders, evidently they are over your head. -- TXR Programming Language: http://nongnu.org/txr Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal Mastodon: @Kazinator@mstdn.ca
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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