Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011
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:
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.
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.
Impact of the Fellowship on the project and likelihood that the Fellowship will make the proposed new lines of research possible.
The expectation that the proposed research will be successful.
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).
More about the event at Gödel Fellowship.
2008 Winner's Lectures
The Development of Constructive Mathematics
May 20, 2011 3828 views
Observations on Arithmetic Circuits and Proofs
May 20, 2011 3727 views
Recent Unprovability Proofs
May 30, 2011 4257 views
Absolute Undecidability and Bifurcation Revisited
May 20, 2011 4723 views
Award Ceremony at the Kurt Gödel Research Prize Fellowships 2008 and 2011
May 20, 2011 3168 views
Towards a Modal Proof Theory of Topological Dynamics
May 20, 2011 3190 views
2011 Winner's Lectures
Towards a new Computational Interpretation of Sub Classical
May 20, 2011 3280 views
Proof Interpretations and Their Application to Current Mathematics
May 20, 2011 3221 views
Three Aspects of Gödel's Program: Supercompactness, Forcing axioms, Omega-logic
May 20, 2011 3808 views
Comparing Peano Arithmetic, Basic Law V, and Hume's Principle
May 20, 2011 3816 views
Comparing the Complexity of Unstable Theories
May 20, 2011 4493 views
2011 Juror's Lectures
Incompleteness as a Metaphor
May 20, 2011 3663 views
Foundational Concerns and Mathematical Concerns
May 20, 2011 6312 views
Hilbert, Gödel, and Metamathematics today
May 20, 2011 8734 views
Kurt Gödel's Legacy and the Current Trends in Logic
May 20, 2011 5026 views
On Gödel's General Philosophical Viewpoint
May 20, 2011 7182 views
Principles of Non-deductive Logical Systems
May 20, 2011 3633 views
Past, Present, and Future Directions in Foundations of Mathematics
May 23, 2011 7862 views
