Logic List Mailing Archive

The Kurt Gdel Society is proud to announce the winners of the 
International Research Fellowship Prize Program commemorating Kurt Gdel'
s 
100th birthday. The competition has been organized by the Kurt Gdel 
Society with support from the John Templeton Foundation.

Purpose of the fellowships is to support original research in, and areas 
surrounding, the foundations of mathematics. These fellowships are 
intended to carry forward the legacy of Kurt Gdel, whose works exemplify
 
deep insights and breakthrough discoveries in mathematical logic, with 
profound impact on the philosophy and foundations of mathematics. The 
selection has been made based upon an open, international competition. An
 
International Board of seventeen eminent Jurors chaired by Professor 
Harvey Friedman has overseen the process. Applicants were required to 
submit a curriculum vitae, a research paper, and plans for further 
research. Seventeen finalists were chosen from among the applicants and 
their submitted papers will be published in a special issue of the Annals
 
of Pure and Applied Logic. From the finalists, five winners in the 
categories PreDoc, PostDoc and Senior were chosen to receive USD 
120,000.-, USD 160,000.- and USD 120,000.-respectively.

We are convinced, that the research of the winners will have had
considerable impact on the field of logic and foundations of mathematics
forever connected to Kurt Gdel's legacy.

WINNERS:

PreDoc:=09Pavel Hrubes and David Fernandez
PostDoc: Andrey Bovykin and Peter Koellner
Senior: Thierry Coquand