The Life and Legacy of Alan Turing

A Special Session of the 2012 Joint Mathematics Meetings

Alan Turing Year logo. 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.

Organizers

Advisors

Related Links

Confirmed Speakers

SpeakerAffiliationTitle
Craig BauerYork College of Pennsylvania
NSA Scholar-in-Residence
Alan Turing and voice encryption
Martin DavisNYU/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ägerThe Pennsylvania State University Turing's work and Hilbert's Tenth Problem
Stephen FloodUniversity of Notre Dame Computing the strength of some combinatorial theorems
Lance FortnowNorthwestern University Turing's influence on computational complexity
Andrew HodgesUniversity of Oxford, UK Alan Turing: The creative power of mathematics
Stuart KauffmanUniversity of Vermont Answering Descartes: Beyond Turing
Bonni Kealy Washington State University Vegatative Turing pattern formation: A historical perspective
Julia KnightUniversity of Notre Dame The universal Turing machine, and Turing operators
Joseph MillerUniversity of Wisconsin, Madison A small step beyond the Turing degrees
Marvin MinskyMIT The influence of Alan Turing
Grigori MintsStanford University Ordinal logics and proof theory
James MoorDartmouth University Alan Turing's philosophy of mind
Christopher PorterUniversity of Notre Dame Algorithmic randomness and pathological computable measures
Gerald SacksHarvard University and MIT E-recursion theory
Peter ShorMIT Quantum money from knots
Wilfried SiegCarnegie Mellon University Gödel's thoerems, Turing's machines, and mathematical minds
Theodore SlamanUC Berkeley The mathematics of relative definability
Rebecca SteinerGraduate Center,
City University of New York
Lown Boolean subalgebras

Donors

The session is supported by generous contributions from: