Next move

From	Mr Flibble <flibble@reddwarf.jmc>
Newsgroups	comp.theory
Subject	Next move
Message-ID	<20220507233807.0000226c@reddwarf.jmc> (permalink)
Organization	Jupiter Mining Corp
Date	2022-05-07 23:38 +0100

Show all headers | View raw

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.

/Flibble

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

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