Limit, logic, and computation
- Paper
- Sep 27, 1997
- #ComputerScience
We introduce ‘‘ultrafilter limits’’ into the
classical Turing model of computation and develop a paradigm for interpreting the problem of distinguishing the class P from NP as a log...
Show More