Matthias Baaz, Vice President Kurt Gödel Society
Kurt Gödel Society (Vienna, Austria)
This program will provide five research fellowships, granted via an open, international competition that was part of the 2006 Gödel Centenary celebration. The fellowships support original research in mathematical logic, philosophy of mathematics, meta-mathematics, and the foundations of mathematics. Selected papers will comprise a special issue of Annals of Pure and Applied Logic.
Panel of Judges:
Peter Aczel
University of Manchester (Manchester, United Kingdom)
Lev Beklemishev
Steklov Mathematical Institute, Russian Academy of Sciences (Moscow, Russia)
Utrecht University (Utrecht, Netherlands)
John Burgess
Princeton University (Princeton, New Jersey)
Harvey Friedman, Distinguished University Professor of Mathematics
Distinguished University Professor of Mathematics
Ohio State University (Columbus, Ohio)
John Harrison
Intel Corporation (Hillsboro, Oregon)
Wilfrid Hodges
Queen Mary University of London (London, United Kingdom)
Simon Kochen, Henry Burchard Fine Professor of Mathematics
Henry Burchard Fine Professor of Mathematics
Princeton University (Princeton, New Jersey)
Jan Krajícek
Mathematical Institute, Academy of Sciences of the Czech Republic (Prague, Czech Republic)
Menachem Magidor
Hebrew University (Jerusalem, Israel)
David Marker
University of Illinois at Chicago (Chicago, Illinois)
Michel Parigot
University of Paris Diderot - Paris 7 (Paris, France)
Pavel Pudlák
Mathematical Institute, Academy of Sciences of the Czech Republic (Prague, Czech Republic)
Hilary Putnam, Cogan University Professor Emeritus
Cogan University Professor Emeritus
Harvard University (Cambridge, Massachusetts)
Jeff Remmel
University of California - San Diego (La Jolla, California)
John Steel
University of California - Berkeley (Berkeley, California)
Frank Stephan
National University of Singapore (Singapore)
Albert Visser
Utrecht University (Utrecht, Netherlands)
Board of Advisors:
Sergei Artemov, Distinguished Professor
Graduate Center of the City University of New York (New York, New York)
Matthias Baaz, Head
Head Research Unit Computational Logic
Institute of Discrete Mathematics and Geometry
Vienna University of Technology (Vienna, Austria)
Hyung Choi, Visiting Fellow
Visiting Fellow
St. Edmunds College
University of Cambridge (Cambridge, United Kingdom)
Harvey Friedman, Distinguished University Professor of Mathematics
Distinguished University Professor of Mathematics
Ohio State University (Columbus, Ohio)
Anton Zeilinger
University of Vienna (Vienna, Austria)