TY - BOOK ID - 110915516 TI - The once and future Turing : computing the world AU - Cooper, S. B. AU - Hodges, Andrew PY - 2016 SN - 1316589935 1316590313 1316590127 1316591077 0511863195 1316588602 9780511863196 9781316591079 9781316590881 1316590887 0521282500 9780521282505 9781107010833 1107010837 9780521282505 PB - Cambridge : Cambridge University Press, DB - UniCat KW - Computer science KW - Mathematicians KW - History. KW - Turing, Alan Mathison, KW - Scientists KW - Informatics KW - Science KW - Turing, Alan M. KW - Turing, A. M. UR - https://www.unicat.be/uniCat?func=search&query=sysid:110915516 AB - 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 Maurer, Kanti V. Mardia, S. Barry Cooper, Stephen Wolfram, Christof Teuscher, Douglas Richard Hofstadter, Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker, Richard Gordon, Stuart Kauffman, Scott Aaronson, Solomon Feferman, P. D. Welch and Roger Penrose. These specially commissioned essays will provoke and engross the reader who wishes to understand better the lasting significance of one of the twentieth century's deepest thinkers. ER -