11-12 Nov 2012
Boston MA, U.S.A.
Turing 100: A Celebration of the Life and Legacy of Alan Turing
Sunday, November 11 and Monday, November 12
http://www.bu.edu/hic/turing100/
Photonics Center, 9th floor Colloquium Room
8 St. Mary's Street, Room 906
Sunday, 10:00am-12:00pm
I. Turing�s Philosophical and Logical Foundations
�On Formalism Freeness: A Meditation on G�del�s 1946 Princeton
Bicentennial Lecture �
Juliette Kennedy Mathematics and Statistics, University of Helsinki
�Turing, Church, G�del, a personal perspective �
Michael Rabin Computer Science, Harvard University
�Turing and Wittgenstein�
Juliet Floyd Philosophy, Boston University
Sunday, 1:45pm-3:45pm
II. Turing and Mathematics: Computability and Definability
�Universality is Ubiquitous�
Martin Davis Courant Institute, NYU; Mathematics, UC Berkeley
�Collapsing Sentences�
Gerald Sacks Mathematics, Harvard University and MIT
�The Hierarchy of Definability: An Extended Thesis�
Theodore Slaman Mathematics, UC Berkeley
Sunday, 4:00pm-6:00pm
III. Turing and Cryptography
�Rational Proofs�
Silvio Micali Computer Science, MIT
�Turing and the Growth of Cryptography�
Ronald Rivest Computer Science, MIT
�Alan Turing and Voice Encryption�
Craig Bauer Mathematics, York College of Pennsylvania
Monday, 9:30am-12:15pm
IV. Turing and AI
Title TBA
Marvin Minsky Media Arts and Sciences, MIT
�Why Neanderthals Couldn�t Pass Turing�s Test and When Computers Will�
Patrick Henry Winston Computer Science, MIT
�What�s Wrong with the Moral Turing Test?�
Matthias Scheutz Computer Science, Tufts University
�Embodying Computation at Higher Types�
S. Barry Cooper Mathematics, University of Leeds
Monday, 2:00pm-4:00pm
V. The Church-Turing Thesis
�Normal Forms for Puzzles: an Enigmatic Variant of Turing�s Thesis�
Wilfrid Sieg Philosophy, Carnegie Mellon University
�Logical Egg or Computational Chicken?�
Jaakko Hintikka Philosophy, Boston University
�Is there a Church-Turing Thesis for Social Algorithms?�
Rohit Parikh Computer Science, Mathematics, Philosophy, CUNY
Monday, 4:15pm-6:30pm
VI. Turing, Physics, and Probability
�Algorithmic Randomness and Turing�s Work on Normality�
Rod Downey Mathematics, Victoria University of Wellington
�Spacetime Physics and Non-Turing Computers�
Mark Hogarth Philosophy, Cambridge University
Title TBA
Leonid Levin Computer Science, Boston University
Organized in collaboration with the Department of Computer Science and the
Center for Philosophy and the History of Science. Financial support has
been provided by the Hariri Institute (http://www.bu.edu/hic).