Short works

Books : reviews

S. Barry Cooper, Andrew Hodges, eds.
The Once and Future Turing: computing the world.
CUP. 2016

Alan Turing (l9l2–l954) 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.

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.


Martin Davis. Algorithms, equations, and logic. 2016
J. M. E. Hyland. The forgotten Turing. 2016
Andrew R. Booker. Turing and the primes. 2016
Ueli Maurer. Cryptography and computation after Turing. 2016
Kanti V. Mardia, S. Barry Cooper. Alan Turing and enigmatic statistics. 2016
Stephen Wolfram. What Alan Turing might have discovered. 2016
Christof Teuscher. Designed versus intrinsic computation. 2016
Douglas R. Hofstadter. Dull Rigid Human meets Ace Mechanical Translator. 2016
Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker. Turing's theory of developmental pattern formation. 2016
Richard Gordon. Walking the tightrope: the dilemma of hierarchical instabilities in Turing's morphogenesis. 2016
Stuart A. Kauffman. Answering Descartes: beyond Turing. 2016
Scott Aaronson. The ghost in the quantum Turing machine. 2016
Solomon Feferman. Turing's 'oracle': from absolute to relative computability and back. 2016
P. D. Welch. Turing transcendent: beyond the event horizon. 2016
Roger Penrose. On attempting to model the mathematical mind. 2016

S. Barry Cooper, Mariya I. Soskova.
The Incomputable: journeys beyond the Turing barrier.
Springer. 2017

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis.

This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.