Alan Turing (1912-1954) made seminal contributions to mathematical
logic, computation, computer science, artificial intelligence,
cryptography and theoretical biology. In this volume, outstanding
scientific thinkers take a fresh look at the great range of
Turing's contributions, on how the subjects have developed since
his time, and how they might develop still further. The
contributors include Martin Davis, J. M. E. Hyland, Andrew R.
Booker, Ueli... more...