|
Start Year |
Title | Grantee | Grant Amount | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 |
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 |