<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-10-13 20:16:43Turing machine Computability theory Models of computation Alan Turing Halting problem Computational complexity theory Computability Quantum computer Machine that always halts Theoretical computer science Applied mathematics Computer science |
Add to Reading List |
arXiv:1310.3225v1 [quant-ph] 11 Oct 2013 | MCS 441 – Theory of Computation I Spring 2016 Problem Set 4 Lev Reyzin Due: at the beginning of classDocID: 1qHmw - View Document |
| Computational Irreducibility and Computational AnalogyDocID: 1oSWH - View Document |
| COMS11700 Undecidability Ashley Montanaro Department of Computer Science, University of BristolDocID: 11yi2 - View Document |
| CAN A TURING PLAYER IDENTIFY ITSELF? DAVID K. LEVINE AND AND BALÁZS SZENTES A BSTRACT. We show that the problem of whether two Turing Machines are functionally equivalent is undecidable and explain why this is significaDocID: Snst - View Document |
| arXiv:1310.3225v1 [quant-ph] 11 Oct 2013DocID: IP4f - View Document |