T for Turing

The scientific activity of Alan Mathison Turing is briefly surveyed stressing the variety of his scientific interests, which are not limited to computability and the celebrated machine that bears his name. The way in which he faced all the questions and projects, always following original paths with a strong personal involvement, make him an interpreter of our technological word. Although more than 60 years have elapsed since his death, we can still find in his work and life the key for understanding how to address in a correct way the complex problems posed by the development of our society.

[1]  James Hardy Wilkinson,et al.  Some Comments from a Numerical Analyst , 1971, JACM.

[2]  James D. Murray,et al.  Why are there no 3-headed monsters? Mathematical modeling in Biology , 2012 .

[3]  Rod Downey,et al.  Turing's legacy: developments from Turing's ideas in logic , 2014, Turing's Legacy.

[4]  P. Ball Forging patterns and making waves from biology to geology: a commentary on Turing (1952) ‘The chemical basis of morphogenesis’ , 2015, Philosophical Transactions of the Royal Society B: Biological Sciences.

[5]  P. Maddalena,et al.  Instability-induced pattern formation of photoactivated functional polymers , 2014, Proceedings of the National Academy of Sciences.

[6]  Michael Heymann,et al.  Testing Turing’s theory of morphogenesis in chemical cells , 2014, Proceedings of the National Academy of Sciences.

[7]  Lenore Blum,et al.  Alan Turing and the other theory of computation (expanded) , 2014, Turing's Legacy.

[8]  A. Church An Unsolvable Problem of Elementary Number Theory , 1936 .

[9]  S. Barry Cooper Incomputability after Alan Turing , 2013, ArXiv.

[10]  A. Turing The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[11]  Steve J. Heims,et al.  John Von Neumann and Norbert Wiener, From Mathematics to the Technologies of Life and Death , 1980 .

[12]  Lenore Blum,et al.  Computing over the Reals: Where Turing Meets Newton , 2004 .

[13]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[14]  A. Turing ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .