Turing 100: A Celebration of the Life and Legacy of Alan Turing

Sunday, November 11, and Monday, November 12

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
  • Title TBA
    Stephen Wolfram, Wolfram Research
  • “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).