Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, sci.math.symbolic |
| Subject | Re: polcott wtf are you even arguing??? |
| Date | 2026-05-02 07:32 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10t4qt6$25jf2$1@dont-email.me> (permalink) |
| References | <10t34km$1mil2$5@dont-email.me> <10t35dm$1nc25$1@dont-email.me> <10t36vv$1mil2$6@dont-email.me> <sdidnfQ4QM2B62j0nZ2dnZfqnPSdnZ2d@giganews.com> |
Cross-posted to 4 groups.
On 5/1/2026 10:57 PM, Ross Finlayson wrote: > On 05/01/2026 02:46 PM, dart200 wrote: >> On 5/1/26 2:19 PM, olcott wrote: >>> On 5/1/2026 4:06 PM, dart200 wrote: >>>> you seem to agree the halting problem isn't solvable, >>>> >>> >>> If you would fucking pay close attention: >>> The halting problem is unsolvable for the same >>> reason that the question: What time is it (yes or no)? >>> is unsolvable. >>> >>> Maybe if you would repeat that to yourself >>> 10,000 times you would bother to notice that >>> I said this at least once. >> >> ok. i don't necessarily disagree, the particular input is undecidable >> due to the form of the input itself... >> >> the problem i'm have with ur proposals is: >> >> _why do i care_ ??? >> >> can we further our ability in any way shape or form with this >> understanding??? >> >>> >>>> so u seem to agree with consensus on the matter, >>>> >>>> yet you're going on and on about them being wrong about why??? >>>> >>>> thing is: why do i care??? >>>> >>>> what _new abilities_ does ur supposed novel understanding actually >>>> unlock??? >>>> >>>> can we _do_ anything more it with it??? >>>> >>>> cause to me it seems ur proposing a new explanation, for the _same_ >>>> limitations, >>>> >>>> and that is _not at all_ exciting to think about. >>>> >>>> why would i care about a "new" explanation for the _same_ >>>> limitations??? >>>> >>> >> > > That's the wrong question word when the answer is "what time", > the "when" interrogative only has temporal-type relations, > not Boolean relations, except for concurrence in times, > like "it'll happen when it happens". > > Interrogatives are also indicators, adverbial after copulas. > > The question: "What time is it (yes or no)?" is an incorrect question because it is a type mismatch error. It turns out that all of undecidability has only been a misconception. It has only ever actually been: (a) Incorrect questions. (b) Outside of the body of knowledge. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. This required establishing a new foundation
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-01 16:19 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 14:46 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-01 16:53 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 16:13 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-01 18:20 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 16:27 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-01 18:36 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 17:51 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-01 20:23 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 20:13 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-01 22:56 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 01:21 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 07:45 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 12:09 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 14:49 -0500
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 15:10 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 13:27 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 15:52 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 20:12 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 23:00 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 21:23 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-03 08:59 -0500
Re: polcott wtf are you even arguing??? Mikko <mikko.levanto@iki.fi> - 2026-05-04 09:21 +0300
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-04 10:29 -0500
Re: polcott wtf are you even arguing??? Mikko <mikko.levanto@iki.fi> - 2026-05-05 11:50 +0300
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-06 08:54 -0500
Re: polcott wtf are you even arguing??? Mikko <mikko.levanto@iki.fi> - 2026-05-07 10:09 +0300
Re: polcott wtf are you even arguing??? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-14 02:14 -0700
Re: polcott wtf are you even arguing??? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-01 19:07 -0700
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 20:14 -0700
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 20:16 -0700
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 20:21 -0700
Re: polcott wtf are you even arguing??? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 22:17 +0100
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-06-11 17:19 -0500
Re: polcott wtf are you even arguing??? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-12 15:28 +0100
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-06-12 11:03 -0500
Re: polcott wtf are you even arguing??? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-01 20:57 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 07:32 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 11:59 -0700
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 12:08 -0700
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 14:48 -0500
Re: polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 13:20 -0700
Re: polcott wtf are you even arguing??? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-02 20:50 -0700
Re: polcott wtf are you even arguing??? Mr Flibble <flibble@red-dwarf.jmc.corp> - 2026-05-02 15:50 +0000
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-05-02 11:02 -0500
csiph-web