Advertisement
Guest User

Untitled

a guest
Apr 21st, 2017
113
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
LLVM 0.74 KB | None | 0 0
  1. Writing a program that solves the halting problem is trivially(?) impossible.
  2.  
  3. However, writing a program that solves the halting problem for some input programs and input inputs, but will sometimes answer "I don't know", is trivially possible.  (For instance, the most trivial solution answers "I don't know" to everything.)
  4.  
  5. What is the upper bound on how many programs+inputs a program of this sort can give non-"I don't know" answers to?  Specifically, for all Turing machines of length n, consider the function T(n), which is the maximum number of Turing machines that a pseudo-Halting-detector could give non-"I don't know" answers for.  (Essentially, that machines "accuracy").  Is T computable, and can you write an algorithm that computes it?
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement