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. Turings Philosophical and Logical Foundations
On Formalism Freeness: A Meditation on Gdels 1946 Princeton
Bicentennial Lecture
Juliette Kennedy Mathematics and Statistics, University of Helsinki
Turing, Church, Gdel, 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 Couldnt Pass Turings Test and When Computers Will
Patrick Henry Winston Computer Science, MIT
Whats 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 Turings 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 Turings 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).