First Page | Document Content | |
---|---|---|
![]() Date: 2014-05-29 21:49:28Computability theory Models of computation Theory of computation Formal methods A New Kind of Science Turing machine Rudy Rucker Halting problem Quantum computer Theoretical computer science Applied mathematics Mathematics | Add to Reading List |