Horizons of Truth
Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge
Gödel Centenary 2006
An International Symposium Celebrating the 100th Birthday of Kurt Gödel
27.-29. April 2006
Festsaal of the University of Vienna
Organized by the Kurt Gödel Society with the support of the John Templeton Foundation. Co-organized by the University of Vienna, the Institute for Experimental Physics, the Kurt Gödel Research Center, the Institute Vienna Circle, and the Vienna University of Technology.
The purpose of the Symposium is to commemorate the life, work, and foundational views of Kurt Gödel, perhaps the greatest logician of the twentieth century. In the spirit of Gödel's work, the Symposium will also explore current research advances and ideas for future possibilities in the fields of the foundations of mathematics and logic. The symposium intends to put Gödel's ideas and works into a more general context in the light of current understanding and perception. The symposium will also present various implications of his work for other areas of intellectual endeavor such as artificial intelligence, cosmology, philosophy, and theology.
The Symposium will take place 27-29 April in the Celebration Hall of the University of Vienna, famous for its architectural beauty and the murals of Klimt. More than 20 lectures by eminent scientists in the fields of logics, mathematics, philosophy, physics, and theology will provide new insights into the life and work of Kurt Gödel and their implications for future generations.
ContributionsThe program will contain
Talks by the invited speakers
John D. Barrow,
Cambridge University, UK
Paul Cohen, Stanford University, US
Jack Copeland, University of Canterbury, NZ
Solomon Feferman, Stanford University, US
Harvey Friedman,, Ohio State University, Columbus, US
Ivor Grattan-Guinness, Middlesex University, London, UK
Petr Hajek, Academy of Sciences of the Czech Republic, Prague, CZ
Juliette Kennedy, University of Helsinki, FI
Ulrich Kohlenbach, Darmstadt University of Technology, DE
Georg Kreisel, Stanford University and Royal Society, London, UK
Angus J. Macintyre, Queen Mary University and Royal Society, London, UK
Piergiorgio Odifreddi, University of Torino, IT (other webpage here)
Christos H. Papadimitiriou, University of California, Berkeley, US
Roger Penrose, University of Oxford, UK
Hilary Putnam, Harvard University, Cambridge, UK
Wolfgang Rindler, University of Texas, Dallas, US
Dana Scott, Carnegie Mellon University, Pittsburgh, US
Denys Turner, Yale University, New Haven, US
Avi Wigderson, Institute for Advanced Study, Princeton, US
Hugh Woodin, University of California, Berkeley, US
Honorary chairGaisi Takeuti, University of Illinois, Urbana-Champaign, US; President, Kurt Gödel Society, Vienna, AT
Invited PresentationAndrei Voronkov, University of Manchester, Oxford, UK
Special Guest Speaker at Gala Dinner (invited)Garry Kasparov, Kasparov Foundation, Moscow, RU
Gala DinnerThere will be a Gala diner at the famous Belvedere Palace, with special guest speaker Garry Kasparov, Kasparov Foundation, Moscow. (The dinner is not included in the conference fee.)
Awards ceremony of the Young Scholar's CompetitionA Young Scholar's Competition has been held that allows 10 young researchers to present their projects at the conference to a board of juries. The awards will be presented by Mr. Garry Kasparov, The Kasparov Foundation. The prize ceremony will be held at the Gala dinner in Belvedere Palace, on 28 April, Kurt Gödel's 100th birthday. More details can be found on the Young Scholars' Competition page.
PostersAccepted posters will be displayed on Friday and Saturday (28.-29. April 2006) in the small Celebration Hall, and the Senate Hall of the University of Vienna. A poster volume will be published in the series Collegium Logicum of the Kurt Gödel Society and sent to all authors upon the completion of the Symposium.
ExhibitionAn exhibition commemorating the life of Kurt Gödel will take place parallel to the symposium in the Aula of the University and the University's library, where many important original publications, including the original theses of KurtGödel are exhibited.