1. Forum
  2. Usenet
  3. COMP.THEORY

  • Re: All halt deciders are clairvoyant

    From immibis@21:1/5 to Mikko on Sun Mar 17 18:40:24 2024
    On 17/03/24 14:46, Mikko wrote:

    Requiring H to be clairvoyant is an unreasonable requirement.
    *The criteria shown below eliminate the requirement of clairvoyance*

    You can call it unreasonable but it is what it is.

    Olcott will never be able to answer this.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)