Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Next move |
| Date | 2022-05-08 10:24 +0300 |
| Organization | - |
| Message-ID | <t57r7a$dmi$1@dont-email.me> (permalink) |
| References | <20220507233807.0000226c@reddwarf.jmc> |
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
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