Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mr Flibble <flibble@reddwarf.jmc> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Next move |
| Message-ID | <20220509183409.0000652d@reddwarf.jmc> (permalink) |
| References | <20220507233807.0000226c@reddwarf.jmc> <t57r7a$dmi$1@dont-email.me> <sdydnYbI-KSNquT_nZ2dnUU7_83NnZ2d@giganews.com> |
| Organization | Jupiter Mining Corp |
| Date | 2022-05-09 18:34 +0100 |
On Mon, 9 May 2022 10:45:19 -0500 olcott <NoOne@NoWhere.com> wrote: > On 5/8/2022 2:24 AM, Mikko wrote: > > On 2022-05-07 22:38:07 +0000, Mr Flibble said: > > > >> What's the next move? We have established [Turing, 1936] as > >> elaborated by [Strachey, 1965] is a nonsense so we now need a > >> general algorithm to establish if a program and its inputs halt. > >> > >> First up: functional requirements. > > > > You havn't established anything. Your bluff about the category error > > is too easy to expose. You should try equivocation error instead. > > Then you can claim a longer chain of equivocations if nothing else > > helps. > > > > Mikko > > > > Flibble's idea of a category error is a brilliant new insight. > It covers most pathological self-reference error. Did you not read my retraction? I was in error: there is no category error as there is no infinite recursion. /Flibble
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Next move Mr Flibble <flibble@reddwarf.jmc> - 2022-05-07 23:38 +0100
Re: Next move Mikko <mikko.levanto@iki.fi> - 2022-05-08 10:24 +0300
Re: Next move olcott <NoOne@NoWhere.com> - 2022-05-09 10:45 -0500
Re: Next move Mr Flibble <flibble@reddwarf.jmc> - 2022-05-09 18:34 +0100
Re: Next move olcott <NoOne@NoWhere.com> - 2022-05-09 12:43 -0500
Re: Next move Richard Damon <Richard@Damon-Family.org> - 2022-05-09 20:21 -0400
Re: Next move Mr Flibble <flibble@reddwarf.jmc> - 2022-05-09 00:03 +0100
Re: Next move olcott <NoOne@NoWhere.com> - 2022-05-08 21:12 -0500
Re: Next move Python <python@example.invalid> - 2022-05-09 04:28 +0200
Re: Next move [ truth itself is broken ] olcott <NoOne@NoWhere.com> - 2022-05-08 22:20 -0500
Re: Next move [ truth itself is broken ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 07:05 -0400
Re: Next move Ben <ben.usenet@bsb.me.uk> - 2022-05-09 14:30 +0100
Re: Next move Richard Damon <Richard@Damon-Family.org> - 2022-05-08 22:38 -0400
csiph-web