June 23, 2012 is the one hundredth anniversary of the birth of Alan Turing, and numerous observations are being planned for 2012. A calendar of events can be found on the Alan Turing Year web page, which can be accessed by clicking on the picture of Turing to the right. As part of the celebration, the AMS (American Mathematical Society) and the ASL (Association for Symbolic Logic) are sponsoring a joint special session on The Life and Legacy of Alan Turing on January 4-5 at the Joint Mathematics Meetings in Boston Massachusetts. This session will address Turing's impact on the mathematical sciences and related areas including:
Many of the talks in the session will be appropriate for a general audience and of interest to students and professionals in mathematics, logic, and related areas.
Speaker | Affiliation | Title |
Craig Bauer | York College of Pennsylvania NSA Scholar-in-Residence |
Alan Turing and voice encryption |
Martin Davis | NYU/Courant and UC Berkeley | A survey of Alan Turing's contributions to logic, to the invention of general purpose computers, and to theoretical computer science |
Kirsten Eisenträger | The Pennsylvania State University | Turing's work and Hilbert's Tenth Problem |
Stephen Flood | University of Notre Dame | Computing the strength of some combinatorial theorems |
Lance Fortnow | Northwestern University | Turing's influence on computational complexity |
Andrew Hodges | University of Oxford, UK | Alan Turing: The creative power of mathematics |
Stuart Kauffman | University of Vermont | Answering Descartes: Beyond Turing |
Bonni Kealy | Washington State University | Vegatative Turing pattern formation: A historical perspective |
Julia Knight | University of Notre Dame | The universal Turing machine, and Turing operators |
Joseph Miller | University of Wisconsin, Madison | A small step beyond the Turing degrees |
Marvin Minsky | MIT | The influence of Alan Turing |
Grigori Mints | Stanford University | Ordinal logics and proof theory |
James Moor | Dartmouth University | Alan Turing's philosophy of mind |
Christopher Porter | University of Notre Dame | Algorithmic randomness and pathological computable measures |
Gerald Sacks | Harvard University and MIT | E-recursion theory |
Peter Shor | MIT | Quantum money from knots |
Wilfried Sieg | Carnegie Mellon University | Gödel's thoerems, Turing's machines, and mathematical minds |
Theodore Slaman | UC Berkeley | The mathematics of relative definability |
Rebecca Steiner | Graduate Center, City University of New York |
Lown Boolean subalgebras |
The session is supported by generous contributions from: