![Computability theory / Theory of computation / Alan Turing / Turing machine / Proof theory / Undecidable problem / Machine that always halts / Decidability / Church–Turing thesis / Theoretical computer science / Mathematics / Mathematical logic Computability theory / Theory of computation / Alan Turing / Turing machine / Proof theory / Undecidable problem / Machine that always halts / Decidability / Church–Turing thesis / Theoretical computer science / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/4b543aaf12000feba1faf534ec1c0785.jpg)
| Document Date: 2014-05-31 09:18:34 Open Document File Size: 639,34 KBShare Result on Facebook
Country United Kingdom / / / Facility University of Bristol Bristol / / Organization COMS11700 Undecidability Ashley Montanaro ashley@cs.bris.ac.uk Department of Computer Science / University of Bristol Bristol / /
SocialTag |