Turing meeting at Boston University

Turing 100
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

“The Mysterious Thesis”
Leonid Levin Computer Science, Boston University