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

Groups > comp.theory > #49844

Re: On Strachey

From Mr Flibble <flibble@reddwarf.jmc>
Newsgroups comp.theory
Subject Re: On Strachey
Message-ID <20220506145647.00005eb2@reddwarf.jmc> (permalink)
References (4 earlier) <20220505225335.00007d75@reddwarf.jmc> <t51ig5$t3s$4@dont-email.me> <87czgrmok4.fsf@bsb.me.uk> <20220506025943.00006c94@reddwarf.jmc> <87y1zf9xx5.fsf@bsb.me.uk>
Organization Jupiter Mining Corp
Date 2022-05-06 14:56 +0100

Show all headers | View raw

On Fri, 06 May 2022 03:50:46 +0100
Ben <ben.usenet@bsb.me.uk> wrote:

> Mr Flibble <flibble@reddwarf.jmc> writes:
> 
> > On Fri, 06 May 2022 02:34:35 +0100
> > Ben <ben.usenet@bsb.me.uk> wrote:
> >    
> >> Two people who have not read the paper have persuaded themselves
> >> that someone who has must be wrong about it.  Is there any need
> >> for facts?
> >> 
> >> Turing's 1936 paper is not about halting.    
> >
> > [Wikipedia, 2022] disagrees with you:
> >
> > "Alan Turing proved in 1936 that a general algorithm to solve the
> > halting problem for all possible program-input pairs cannot exist."
> >
> > https://en.wikipedia.org/wiki/Halting_problem  
> 
> And?  People like you write wikipedia articles.

Most Wikipedia articles crowd source peer review by multiple experts in
their field: who should I trust? Those experts or random guy on
Usenet? I think the answer is obvious.

If you think the Wikipedia is incorrect then either correct it and have
your corrections peer reviewed or shut the fuck up.

/Flibble

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

Thread

On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 20:45 +0100
  Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 16:30 -0500
    Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 22:39 +0100
      Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 16:48 -0500
        Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 22:53 +0100
          Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 17:18 -0500
            Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-06 02:34 +0100
              Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 20:40 -0500
                Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-06 03:53 +0100
              Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 02:59 +0100
                Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-06 03:50 +0100
                Re: On Strachey Jeff Barnett <jbb@notatt.com> - 2022-05-05 23:01 -0600
                Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 15:42 +0100
                Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 14:56 +0100
                Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 11:58 -0500
                Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 01:11 +0100
                Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 19:31 -0500
                Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 02:07 +0100
                Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 20:34 -0500
                Re: On Strachey Richard Damon <Richard@Damon-Family.org> - 2022-05-06 23:08 -0400
                Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 23:47 +0100
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 18:14 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 16:35 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 19:19 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 17:48 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 20:08 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 18:26 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 21:20 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 19:36 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 10:31 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 09:02 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 11:05 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 09:30 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 11:39 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 09:52 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 12:18 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 10:26 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 15:17 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 13:27 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 15:51 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 13:59 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 16:19 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 14:30 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:24 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 15:56 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:13 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 16:44 -0700
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:52 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:50 -0400
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 14:51 -0700
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 14:53 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:18 -0500
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 15:34 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:44 -0500
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 15:53 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:03 -0500
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 16:11 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:19 -0500
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 16:23 -0700
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:30 -0500
                Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 16:42 -0700
                Re: On Strachey [ How nuts is that? ][ proof that I am correct ] olcott <NoOne@NoWhere.com> - 2022-05-10 07:16 -0500
                Re: On Strachey [ How nuts is that? ][ proof that I am correct ] Richard Damon <Richard@Damon-Family.org> - 2022-05-10 19:23 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 20:02 -0400
                Re: On Strachey [ How nuts is that? ] Jeff Barnett <jbb@notatt.com> - 2022-05-09 16:12 -0600
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:36 -0500
                Re: On Strachey [ How nuts is that? ] Jeff Barnett <jbb@notatt.com> - 2022-05-09 20:13 -0600
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 23:39 -0400
                Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 22:22 -0500
                Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 20:48 -0700
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:43 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:40 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:39 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:37 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-07 21:09 -0400
                Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-07 21:22 -0400
                Re: On Strachey [ How nuts is that? ] Ben <ben.usenet@bsb.me.uk> - 2022-05-08 00:46 +0100
                Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 00:58 +0100
  Re: On Strachey Mikko <mikko.levanto@iki.fi> - 2022-05-06 16:09 +0300
    Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 14:59 +0100
      Re: On Strachey Mikko <mikko.levanto@iki.fi> - 2022-05-06 19:16 +0300
        Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 11:49 -0500
      Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 12:10 -0500
    Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 12:34 -0500

csiph-web