Print current pagePrint this page

Kurt Gödel Research Prize Fellowship 2010

(Organized by the Kurt Gödel Society with support from the John Templeton Foundation)

The Kurt Gödel Society is proud to announce the commencement of the second round of the Kurt Gödel Research Prize Fellowships Program.

NEWS: The Fellowship finalists and winners have been determined, please see the results page.

The Research Fellowship Prize Program is sponsored by the John Templeton Foundation and will offer:

  • two Ph.D. (pre-doctoral) fellowships of EUR 50,000 per annum for two years
  • two post-doctoral fellowships of EUR 50,000 per annum for two years
  • one unrestricted fellowship of EUR 50,000 per annum for two years.

One International Board of Jurors will be in charge of evaluating the applications and determining up to twenty finalists whose papers will be published in a special issue of the Annals of Pure and Applied Logic (APAL), and another international Board of Jurors will be in charge of determining the winners. Both Boards will be chaired by Prof. Harvey Friedman, Ohio State University (USA).

Goal and Criteria of Merit

The purpose of these fellowships is to support original research in, and areas surrounding, the foundations of mathematics. (See Scope below for more details.) These fellowships are intended to carry forward the legacy of Kurt Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic, with profound impact on the philosophy and foundations of mathematics. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications:

  1. Intellectual merit, scientific rigor and originality of the submitted paper and work plan. The paper and research plans should combine visionary thinking with academic and scientific excellence.
  2. Potential for significant contribution to basic fundamental issues of wide interest, and the likelihood for opening new, seminal lines of inquiry that bear on such issues.
  3. Impact of the Fellowship on the project and likelihood that the Fellowship will make the proposed new lines of research possible.
  4. The expectation that the proposed research will be successful.
  5. Qualifications of the applicants will be evaluated on the basis of all available information including CV, research paper, research plans, research accomplishments, and letters of recommendation (recommendation letters are not required for senior applications).

Winners' Model Projects

Model Questions

These questions were prepared by Matthias Baaz and Harvey Friedman in accordance with Hyung Choi's questions' catalogue.


Original fellowship proposals in the areas of
  • set theory
  • recursion theory
  • proof theory/intuitionism
  • model theory
  • computer assisted reasoning
  • philosophy of mathematics

All fellowship proposals, regardless of subject area, will be judged according to

  • the relevance and resemblance of the research (finished and proposed) to the great insights and originality of Kurt Gödel
  • its general interest and clarity of motivation
  • its rigorous scientific quality and depth.


October 1,2009. Pre-announcement
November 15, 2010. Submissions deadline
November 22, 2010, 24:00 CET. Extended submission deadline
February 28, 2011. Jury decision on the papers for publication (at most 20)
March 6, 2011. Jury decision on winners due
March 15, 2011. Final versions due
April 28-30, 2011*: Conference and the Award Ceremony
June-October, 2011. Commencement of the Fellowships