- \n
- October 15th, 2012 | 40th Anniversary of the First Osgood Hill Conference on Quantum Gravity<\/a><\/li>\n
- November 11-12th, 2012 | Turing 100<\/a><\/li>\n
- December 7th, 2012 | How Can the History and Philosophy of Science Contribute to Contemporary U.S. Science Education?<\/a><\/li>\n
- March 22nd, 2013 | The Robert S. Cohen Forum:<\/strong><\/em> The Science of Music: 150 Years Since Helmholtz’s On the Sensations of Tone<\/i><\/a><\/li>\n
- April 11, 2013 | The Karbank Symposium in Environmental Philosophy: <\/strong><\/em>A Symposium on John Broome’s Climate Matters: Ethics in a Warming World<\/i><\/a><\/li>\n
- April 29, 2013 | The Alfred I. Tauber Forum:<\/strong><\/em> Stereotype Threat: Philosophy, Psychology, and the Self<\/a><\/li>\n<\/ul>\n
<\/p>\n
<\/a><\/p>\n
40th Anniversary of the First Osgood Hill Conference on Quantum Gravity<\/h3>\n
Co-sponsored by the Center for Einstein Studies
\nMonday, October 15
\n9:00am-5:30pm
\nBarristers Hall, Law School
\n765 Commonwealth Ave.<\/p>\n![\"Flyer](\"\/cphs\/files\/2013\/08\/Flyer-Quantum-Gravity-Oct-15-2012-443x636.jpeg\")
<\/a><\/p>\n\nMorning Session, 9:00am-12:00pm<\/strong><\/p>\n
- \n
- \n
Introduction: Forty Years After<\/p>\n
John Stachel<\/strong> Center for Einstein Studies, Boston University<\/p>\n<\/li>\n
- \n
With a special pre-recorded presentation:<\/em>
\nQuantum Gravity? Or Quantum and<\/em> Gravity from New Physics?<\/p>\nRoger Penrose<\/strong> Mathematical Institute, University of Oxford<\/p>\n<\/li>\n
- \n
The Meaning of Background Independence<\/p>\n
Tian Yu Cao<\/strong> Philosophy, Boston University<\/p>\n<\/li>\n
- \n
Quantum or Emergent Gravity?\u2014Key Issues<\/p>\n
Bei-Lok Hu<\/strong> Physics, University of Maryland<\/p>\n<\/li>\n
- \n
Simplicial Gravity and Strings<\/p>\n
John Swain<\/strong> Physics, Northeastern University<\/p>\n<\/li>\n<\/ul>\n<\/div>\n
\nAfternoon Session, 2:00pm-5:30pm<\/strong><\/p>\n
- \n
- \n
Some Features of a Good Quantum Gravity Theory<\/p>\n
George Ellis<\/strong> Mathematics, University of Capetown<\/p>\n<\/li>\n
- \n
The Problem of Space in Quantum Gravity<\/p>\n
Christian W\u00fcthrich<\/strong> Philosophy, Science Studies, UC San Diego<\/p>\n<\/li>\n
- \n
Quantum Gravity Phenomenology<\/p>\n
Giovanni Amelino-Camelia<\/strong> Physics, University of Rome La Sapienza<\/p>\n<\/li>\n
- \n
Meaning and Measurement in Quantum Gravity<\/p>\n
John Stachel<\/strong> Center for Einstein Studies, Boston University<\/p>\n<\/li>\n
- \n
Unimodular Conformal and Projective Relativity<\/p>\n
Ka\u0107a Bradonji\u0107<\/strong> Physics, Wellesley College<\/p>\n<\/li>\n<\/ul>\n<\/div>\n
<\/a><\/p>\n
Turing 100<\/h3>\n
Sunday, November 11, 10:00am-6:00pm
\nand Monday, November 12, 9:30am-6:30pm
\nPhotonics Center
\n9th floor Colloquium Room (906)
\n8 St. Mary’s Street<\/p>\n![\"Turing](\"\/cphs\/files\/2013\/08\/Turing-100-Poster-page-001-386x636.jpg\")
<\/a><\/p>\n<\/div>loading slideshow...<\/p><\/div>
![\"\"](\"\/cphs\/files\/2014\/02\/alisa-introduction-636x475.jpg\")
![\"\"](\"\/cphs\/files\/2014\/02\/minsky-and-wolfram-636x475.jpg\")
![\"\"](\"\/cphs\/files\/2014\/02\/getting-started-636x477.jpg\")
![\"\"](\"\/cphs\/files\/2014\/02\/restless-crowd-636x477.jpg\")
- 1<\/span><\/a><\/li>
- 2<\/span><\/a><\/li>
- 3<\/span><\/a><\/li>
- 4<\/span><\/a><\/li> <\/ul><\/div>
<\/a><\/a><\/div><\/div>\n\nI. Turing’s Philosophical and Logical Foundations<\/p>\n
Sunday, November 11, 10:00am- Noon<\/strong><\/p>\n
- \n
- \n
On Formalism Freeness: A Meditation on G\u00f6del’s 1946 Princeton Bicentennial Lecture<\/p>\n
Juliette Kennedy<\/strong> Mathematics and Statistics, University of Helsinki<\/p>\n
mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n
- \n
Turing, Church, G\u00f6del, a personal perspective<\/p>\n
Michael Rabin<\/strong> Computer Science, Harvard University<\/p>\n
Lecture Slides<\/a><\/p>\n<\/li>\n
- \n
Turing and Wittgenstein<\/p>\n
Juliet Floyd<\/strong> Philosophy, Boston University<\/p>\n
mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n<\/ul>\n<\/div>\n
\nII. Turing and Mathematics: Computability and Definability<\/p>\n
Sunday, November 11, 1:45pm-3:45pm<\/strong><\/p>\n
- \n
- \n
Universality is Ubiquitous<\/p>\n
Martin Davis<\/strong> Courant Institute, NYU; Mathematics, UC Berkeley<\/p>\n
mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n
- \n
Collapsing Sentences<\/p>\n
Gerald Sacks<\/strong> Mathematics, Harvard University and MIT<\/p>\n
mp3<\/a><\/p>\n<\/li>\n
- \n
The Hierarchy of Definability: An Extended Thesis<\/p>\n
Theodore Slaman<\/strong> Mathematics, UC Berkeley<\/p>\n
mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n<\/ul>\n<\/div>\n
\nIII. Turing and Cryptography<\/p>\n
Sunday, November 11, 4:00pm-6:00pm<\/strong><\/p>\n
- \n
- \n
Rational Proofs<\/p>\n
Silvio Micali<\/strong> Computer Science, MIT<\/p>\n
mp3<\/a><\/p>\n<\/li>\n
- \n
Turing and the Growth of Cryptography<\/p>\n
Ronald Rivest<\/strong> Computer Science, MIT<\/p>\n
mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n
- \n
Alan Turing and Voice Encryption<\/p>\n
Craig Bauer<\/strong> Mathematics, York College of Pennsylvania<\/p>\n
mp3<\/a><\/p>\n<\/li>\n<\/ul>\n<\/div>\n
\nIV. Turing and Artificial Intelligence<\/p>\n
Monday, November 12, 9:30am-12:15pm<\/strong><\/p>\n
- \n
- \n
Title TBA<\/p>\n
Marvin Minsky<\/strong> Media Arts and Sciences, MIT<\/p>\n<\/li>\n
- \n
Why Neanderthals Couldn’t Pass Turing’s Test and When Computers Will<\/p>\n
Patrick Henry Winston<\/strong> Computer Science, MIT<\/p>\n<\/li>\n
- \n
Embodying Computation at Higher Types<\/p>\n
S. Barry Cooper<\/strong> Mathematics, University of Leeds<\/p>\n
Lecture Slides<\/a><\/p>\n<\/li>\n<\/ul>\n<\/div>\n
\nV. The Church-Turing Thesis<\/p>\n
Monday, November 12, 2:00pm-4:00pm<\/strong><\/p>\n
- \n
- \n
Normal Forms for Puzzles: an Enigmatic Variant of Turing’s Thesis<\/p>\n
Wilfrid Sieg<\/strong> Philosophy, Carnegie Mellon University<\/p>\n
\u00a0mp3<\/a><\/p>\n<\/li>\n
- \n
Exploring the Computational Universe<\/p>\n
Stephen Wolfram<\/strong> Wolfram Research<\/p>\n
mp3<\/a><\/p>\n<\/li>\n
- \n
Is there a Church-Turing Thesis for Social Algorithms?<\/p>\n
Rohit Parikh<\/strong> Computer Science, Mathematics, Philosophy, CUNY<\/p>\n
\u00a0mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n<\/ul>\n<\/div>\n
\nVI. Turing, Physics, and Probability<\/p>\n
Monday, November 12, 4:15pm-6:30pm<\/strong><\/p>\n
- \n
- \n
Algorithmic Randomness and Turing’s Work on Normality<\/p>\n
Rod Downey<\/strong> Mathematics, Victoria University of Wellington<\/p>\n
\u00a0mp3<\/a> | Lecture Slides<\/a><\/p>\n<\/li>\n
- \n
Spacetime Physics and Non-Turing Computers<\/p>\n
Mark Hogarth<\/strong> Philosophy, Cambridge University<\/p>\n
mp3<\/a><\/p>\n<\/li>\n
- \n
The Mysterious Thesis<\/p>\n
Leonid Levin<\/strong> Computer Science, Boston University<\/p>\n
mp3<\/a> | Paper 1<\/a> | Paper 2<\/a><\/p>\n<\/li>\n<\/ul>\n
Organized in collaboration with the Department of Computer Science and the Rafik B. Hariri Institute for Computing and Computational Science & Engineering. Financial support has been provided by the Hariri Institute<\/a>.<\/p>\n
Updates about the conference and more information about Alan Turing will be posted on the conference website<\/a>, hosted by the Hariri Institute.<\/p>\n<\/div>\n
- \n
- \n
- \n
- \n
- \n
- \n
- 2<\/span><\/a><\/li>
- \n
- \n
- November 11-12th, 2012 | Turing 100<\/a><\/li>\n
![\"HPS_SciEd_Poster_Black\"](\"\/cphs\/files\/2013\/08\/HPS_SciEd_Poster_Black-386x636.jpg\")
<\/a><\/p>\n