|
Start Year |
Title | Grantee | Grant Amount | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2004 |
Water for Life
|
Ellipsis Enterprises, Inc. (Flemington, New Jersey) |
$302,850 | |||||||||
| 2006 |
FQXi: Foundational Questions in Physics and Cosmology
|
Massachusetts Institute of Technology (Cambridge, MA) University of California Santa Cruz (Santa Cruz, CA) |
$8,812,078 | |||||||||
| 2006 |
Gödel Centenary Research Prize Fellowship
|
Kurt Gödel Society (Vienna, Austria) |
$1,408,480 | |||||||||
| 2007 |
New Vision 400: Engaging Big Questions in Astronomy and Cosmology Four Hundred Years after the Invention of the Telescope
|
University of Chicago (Chicago, Illinois) |
$1,819,480 | |||||||||
| 2007 |
Exploring the Infinite (RFP Program)
|
Jeremy Avigad, Carnegie Mellon University, The Infinite in Combinatorics and Number Theory Alexandre Borovik, University of Manchester, A Dialogue of Infinity Andrey Bovykin, University of Bristol, The Study of Unprovability Lorenzo Carlucci, University of Rome, Shadows of Inifinty Laura Crosilla, Universita delgi Studi di Firenze, Infinity in Constructive Mathematics Kirsten Eisentrager, Pennsylvania State University, Extensions of Hilbert's Tenth Problem William Ewald, University of Pennsylvania, Cantor, Hilbert, and the Infinite Su Gao, University of North Texas, Classifying Infinity Denis Hirschfeldt, University of Chicago, Effective Mathematics of the Uncountable Peter Koellner, Harvard University, Prospects for Resolving the Continuum Hypothesis: Inner Model Theory and the Structure Theory of L Jan Krajicek, Charles University, Prague, Proof Complexity and Infinite Structures Steffen Lempp, University of Wisconsin, Exploring the Infinte by Finitary Means Florian Pop, University of Pennsylvania, Exploring the Infinite: Discrete versus Non-Discrete and Beyond Thomas Scanlon, University of California, Berkeley, Boundedness, Finiteness, and Infinity in Diophantine Geometry Alexandra Shlapentokh, East Carolina University, Defining Integrality at Infinitely Many Primes and Other Infinite Problems Connected to Diophantine Definability and Decidability Richard Shore, Cornell University, Computability, Provability, and Infinity Stephen G. Simpson, Pennsylvania State University, Degree Theory: A New Beginning Theodore Slaman, University of California, Berkeley, Randomness and the Infinite John Steel, University of California, Berkeley, Exploring the Infinite: Mathematics and Mathematical Logic Andreas Weiermann, Ghent University, Phase Transitions in Logic and Combinatorics (PTLC) Phillip Welch, University of Bristol, Philosophical Theories of Truth, Transfinite Computation, and Infinite Games |
$1,167,706 | |||||||||
| 2009 |
Boundaries of the Knowable: A Web-Based Video Series
|
Open University (Milton Keynes, United Kingdom) | $38,732 | |||||||||
| 2011 |
Celebrating the Genius of Turing - Mind, Mechanism and Mathematics
|
The University of Manchester (Manchester, United Kingdom) The University of Leeds (Leeds, United Kingdom) |
$1,613,805 | |||||||||
| 2011 |
Quantum reality: physics and the human quest for sense
|
Louisiana State University | $51,750 | |||||||||
| 2011 |
Undecidability in a mathematical universe
|
Theiss Research | $68,082 | |||||||||
| 2011 |
The Unfolding Program, Explicit Mathematics, Open-Ended Axiomatization of Mathematics, and Conceptual Structuralism
|
Stanford University | $274,678 | |||||||||
| 2011 |
Quantum Field Theory, Causality, and Astrophysical Observations
|
Brown University | $51,750 | |||||||||
| 2011 |
Limits of Theorem Proving
|
Leibniz University Hanover | $127,689 | |||||||||
| 2011 |
Toward a Markedly More Accurate Geography of Minds, Machines, and Math
|
Rensselaer Polytechnic Institute | $250,000 | |||||||||
| 2011 |
Towards a Conceptual Integration of Artificial Intelligence, Game Theory, and Decision Theory
|
The Romanian Institute of Science and Technology | $73,691 | |||||||||
| 2011 |
Quanto-Metric
|
Aristotle University of Thessaloniki | $87,943 | |||||||||
| 2011 |
Embodied Cognition, Communities, and Foundational Issues in AI and Mathematics
|
International Computer Science Institute | $250,000 | |||||||||
| 2011 |
The scope and limits of mathematical knowledge
|
Dept. of Mathematics, University of Bristol, Bristol, BS8 1TW | $73,992 | |||||||||
| 2011 |
That the World Can Be Shaped: Quantum Bayesianism, Counterfactuals, Free Will
|
Perimeter Institute for Theoretical Physics | $50,000 | |||||||||
| 2011 |
Non-Linearity and Quantum Mechanics: Quest for a Rogue Wave Mechanics
|
Centre for Quantum Dynamics, Griffith University | $20,500 | |||||||||
| 2011 |
Entanglement, quantum nonlocality, and the human observer
|
University of Illinois at Urbana/Champaign | $242,000 |