Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011

Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011

18 Lectures · Apr 28, 2011

About

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.

Related categories

Uploaded videos:

2008 Winner's Lectures

video-img
29:14

Towards a Modal Proof Theory of Topological Dynamics

David Fernandez Duque

May 20, 2011

 · 

3177 Views

Lecture
video-img
24:25

Observations on Arithmetic Circuits and Proofs

Pavel Hrubeš

May 20, 2011

 · 

3711 Views

Lecture
video-img
25:13

Recent Unprovability Proofs

Andrey Bovykin

May 30, 2011

 · 

4230 Views

Lecture
video-img
35:35

Absolute Undecidability and Bifurcation Revisited

Peter Koellner

May 20, 2011

 · 

4689 Views

Lecture
video-img
28:28

The Development of Constructive Mathematics

Thierry Coquand

May 20, 2011

 · 

3803 Views

Lecture
video-img
28:16

Award Ceremony at the Kurt Gödel Research Prize Fellowships 2008 and 2011

Barnaby Marsh,

Harvey Friedman,

Arnold Suppan

May 20, 2011

 · 

3141 Views

Best Paper

2011 Winner's Lectures

video-img
23:30

Towards a new Computational Interpretation of Sub Classical

Danko Ilik

May 20, 2011

 · 

3266 Views

Lecture
video-img
27:30

Comparing Peano Arithmetic, Basic Law V, and Hume's Principle

Sean Walsh

May 20, 2011

 · 

3797 Views

Lecture
video-img
32:56

Comparing the Complexity of Unstable Theories

Maryanthe Malliaris

May 20, 2011

 · 

4468 Views

Lecture
video-img
26:18

Three Aspects of Gödel's Program: Supercompactness, Forcing axioms, Omega-logic

Matteo Viale

May 20, 2011

 · 

3778 Views

Lecture
video-img
38:33

Proof Interpretations and Their Application to Current Mathematics

Ulrich Kohlenbach

May 20, 2011

 · 

3203 Views

Lecture

2011 Juror's Lectures

video-img
57:01

On Gödel's General Philosophical Viewpoint

Warren Goldfarb

May 20, 2011

 · 

7148 Views

Lecture
video-img
56:16

Principles of Non-deductive Logical Systems

Dov Gabbay

May 20, 2011

 · 

3616 Views

Lecture
video-img
55:16

Kurt Gödel's Legacy and the Current Trends in Logic

Sergei Artemov

May 20, 2011

 · 

5013 Views

Lecture
video-img
54:34

Incompleteness as a Metaphor

Lev Beklemishev

May 20, 2011

 · 

3639 Views

Lecture
video-img
01:09:50

Past, Present, and Future Directions in Foundations of Mathematics

Harvey Friedman

May 23, 2011

 · 

7826 Views

Lecture
video-img
01:14:49

Foundational Concerns and Mathematical Concerns

Angus Macintyre

May 20, 2011

 · 

6284 Views

Lecture
video-img
53:12

Hilbert, Gödel, and Metamathematics today

Jeremy Avigad

May 20, 2011

 · 

8702 Views

Lecture