|
 |
 |
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.
Contributions
The program will containTalks 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 chair
Gaisi Takeuti, University of Illinois, Urbana-Champaign, US; President, Kurt Gödel Society, Vienna, ATInvited Presentation
Andrei Voronkov, University of Manchester, Oxford, UKSpecial Guest Speaker at Gala Dinner (invited)
Garry Kasparov, Kasparov Foundation, Moscow, RUGala Dinner
There 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 Competition
A 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.
Posters
Accepted 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.
Exhibition
An 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.