Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #141098
| From | dart200 <user7160@newsgrouper.org.invalid> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, sci.math.symbolic |
| Subject | Re: polcott wtf are you even arguing??? |
| Date | 2026-05-02 11:59 -0700 |
| Organization | A noiseless patient Spider |
| Message-ID | <10t5hid$2c8h4$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> <10t4qt6$25jf2$1@dont-email.me> |
Cross-posted to 4 groups.
On 5/2/26 5:32 AM, olcott wrote: > 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. > but we know DD halts so it's obliviously not "outside the body of knowledge", it's just outside what HHH can coherent return... -- arising us out of the computing dark ages, please excuse my pseudo-pyscript, ~ the lil crank that could
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
polcott wtf are you even arguing??? dart200 <user7160@newsgrouper.org.invalid> - 2026-05-01 14:06 -0700
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-05 11:11 -0500
Re: polcott wtf are you even arguing??? Mikko <mikko.levanto@iki.fi> - 2026-05-06 11:09 +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??? olcott <polcott333@gmail.com> - 2026-05-07 09:13 -0500
Re: polcott wtf are you even arguing??? Mikko <mikko.levanto@iki.fi> - 2026-05-08 10:27 +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
Re: polcott wtf are you even arguing??? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 22:12 +0100
Re: polcott wtf are you even arguing??? olcott <polcott333@gmail.com> - 2026-06-11 17:17 -0500
csiph-web