### Turing meeting at Boston University

#### by Yang Liu

**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