The Life and Legacy of Alan Turing

A Special Session of the 2012 Joint Mathematics Meetings

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:

Turing machines, Turing degrees, Turing tests, etc.,
mathematical logic, computability theory, history of mathematics,
theoretical computer science, artificial intelligence, philosophy of mind,
philosophy of mathematics, cryptography, and morphogenesis.

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.

Organizers

Advisors

Confirmed Speakers

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	Low_n Boolean subalgebras

Donors

The session is supported by generous contributions from:

HOM SIGMAA The Mathematical Association of America Special Interest Group in History of Mathematics.
POM SIGMAA The Mathematical Association of America Special Interest Group in Philosophy of Mathematics.
The John Templeton Foundation (The content of the abstracts and talks of the session reflect the opinions of the authors and do not necessarily reflect the views of the John Templeton Foundation.)
Accounting support provided by Appalachian State University.