ロード中...
The Once and Future Turing: Computing the World
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 subj...
| 第一著者: | |
|---|---|
| フォーマット: | Printed Book |
| 出版事項: |
Cambridge University Press
2016
|
| 版: | 1 |
| 主題: |
| LEADER | 01564nam a22001577a 4500 | ||
|---|---|---|---|
| 020 | |a 9781107010833 | ||
| 082 | |a 510.92 ONC | ||
| 100 | |a S. Barry Cooper and Andrew Hodges,ed. | ||
| 245 | |a The Once and Future Turing: Computing the World | ||
| 250 | |a 1 | ||
| 260 | |b Cambridge University Press |c 2016 | ||
| 520 | |a 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. | ||
| 650 | |a Turing, Alan Mathison, -- 1912-1954. Mathematics -- Great Britain -- History -- 20th century. Computer science -- Great Britain -- History -- 20th century. | ||
| 942 | |c BK | ||
| 999 | |c 29580 |d 29580 | ||
| 952 | |0 0 |1 0 |4 0 |6 510_920000000000000_ONC |7 0 |9 32330 |a DCB |b DCB |d 2017-01-25 |l 0 |o 510.92 ONC |p DCB3020 |r 2017-01-25 |w 2017-01-25 |y BK | ||