First Page | Document Content | |
---|---|---|
![]() Date: 2002-06-25 12:30:48Computability theory Mathematics Alan Turing Turing machine Church–Turing thesis Computability Halting problem Algorithm Super-recursive algorithm Computer science Theory of computation Theoretical computer science | Add to Reading List |