Alan Turing Centenary Conference TURING 100

Nov 11

I Turing’s Philosophical and Logical Foundations
• Juliette Kennedy “On Formalism Freeness: A Meditation on Gödel’s 1946 Princeton Bicentennial Lecture ”
• Michael Rabin “Turing, Church, Gödel, a personal perspective ”
• Juliet Floyd “Turing and Wittgenstein”

II. Turing and Mathematics: Computability and Definability
• Martin Davis “Universality is Ubiquitous”
• Gerald Sacks “Collapsing Sentences”
• Theodore Slaman “The Hierarchy of Definability: An Extended Thesis”

III. Turing and Cryptography
• Silvio Micali “Rational Proofs”
• Ronald Rivest “Turing and the Growth of Cryptography”
• Craig Bauer “Alan Turing and Voice Encryption”

Nov 12

IV. Turing and AI
• Patrick Henry Winston “Why Neanderthals Couldn’t Pass Turing’s Test and When Computers Will”
• Matthias Scheutz “What’s Wrong with the Moral Turing Test?”
• S. Barry Cooper “Embodying Computation at Higher Types”

V. The Church-Turing Thesis
• Wilfrid Sieg “Normal Forms for Puzzles: an Enigmatic Variant of Turing’s Thesis”
• Rohit Parikh “Is there a Church-Turing Thesis for Social Algorithms?”

VI. Turing, Physics, and Probability
• Rod Downey “Algorithmic Randomness and Turing’s Work on Normality”
• Mark Hogarth “Spacetime Physics and Non-Turing Computers”