Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.theory > #141070

Re: polcott wtf are you even arguing???

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-01 14:46 -0700
Organization A noiseless patient Spider
Message-ID <10t36vv$1mil2$6@dont-email.me> (permalink)
References <10t34km$1mil2$5@dont-email.me> <10t35dm$1nc25$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw


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???
>>
> 

-- 
arising us out of the computing dark ages,
please excuse my pseudo-pyscript,
~ the lil crank that could

Back to comp.theory | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


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