Category:Named Theorems/Turing

This category contains results named for Alan Mathison Turing.

English mathematician who is often considered to be the "father of modern computer science".

Famous for his role in cracking the Enigma cipher in World War II, his conception of the Turing machine and the idea of the Turing test.