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

Groups > comp.theory > #106630

Re: Proof that DD correctly simulated by HH provides the correct halt status criteria

From Mikko <mikko.levanto@iki.fi>
Newsgroups comp.theory
Subject Re: Proof that DD correctly simulated by HH provides the correct halt status criteria
Date 2024-06-08 08:53 +0300
Organization -
Message-ID <v40rl0$2g7gn$1@dont-email.me> (permalink)
References <v3vv8a$287qb$1@dont-email.me>

Show all headers | View raw

On 2024-06-07 21:48:57 +0000, olcott said:

> *That no counter-example to the following exists proves that it is true*

Not wihout a proof that no counter-example exists.

-- 
Mikko

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

Thread

Proof that DD correctly simulated by HH provides the correct halt status criteria olcott <polcott333@gmail.com> - 2024-06-07 16:48 -0500
  Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Python <python@invalid.org> - 2024-06-07 23:59 +0200
    Re: Proof that DD correctly simulated by HH provides the correct halt status criteria olcott <polcott333@gmail.com> - 2024-06-07 17:20 -0500
  Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Richard Damon <richard@damon-family.org> - 2024-06-07 18:15 -0400
  Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Mikko <mikko.levanto@iki.fi> - 2024-06-08 08:53 +0300
    Re: Proof that DD correctly simulated by HH provides the correct halt status criteria olcott <polcott333@gmail.com> - 2024-06-08 07:27 -0500
      Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Richard Damon <richard@damon-family.org> - 2024-06-08 09:01 -0400
      Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Mikko <mikko.levanto@iki.fi> - 2024-06-09 10:23 +0300
        Re: Proof that DD correctly simulated by HH provides the correct halt status criteria olcott <polcott333@gmail.com> - 2024-06-09 07:49 -0500
          Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Mikko <mikko.levanto@iki.fi> - 2024-06-09 18:01 +0300
          Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Richard Damon <richard@damon-family.org> - 2024-06-09 14:08 -0400
  Re: Proof that DD correctly simulated by HH provides the correct halt status criteria "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-08 10:46 +0200
    Re: Proof that DD correctly simulated by HH provides the correct halt status criteria olcott <polcott333@gmail.com> - 2024-06-08 07:23 -0500
      Re: Proof that DD correctly simulated by HH provides the correct halt status criteria Richard Damon <richard@damon-family.org> - 2024-06-08 09:02 -0400

csiph-web