Turing 100

All Day
on Sunday, November 11, 2012
Location:
Photonics Center, 9th floor Colloquium Room, 8 St. Mary's Street, Room 906
Sponsored by the Center for Philosophy & History of Science Co-sponsored by Computer Science Dept/Hairi Institute for Computing 10:00am-12:00pm I. Turing's Philosophical and Logical Foundations "On Formalism Freeness: A Meditation on Godel's 1946 Princeton Bicentennial Lecture" Juliette Kennedy, Mathematics and Statistics, University of Helsinki "Turing, Church, Godel, a personal perspective" Michael Rabin, Computer Science, Harvard University "Turing and Wittgenstein" Juliet Floyd, Philosophy, Boston University 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 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