Foundations
Funds mathematical logic and the foundations of mathematics — proof theory, recursion theory, model theory and set theory.
This programme funds research in mathematical logic and the foundations of mathematics.
The named areas are proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Thirty awards are expected against a $2.3 million pool, which puts the typical award well under $100,000 — small by NSF standards, and characteristic of a field where the main cost is people's time rathe…
Mathematical logic and the foundations of mathematics — proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Sign up free to see the funding breakdown
Sign up free to see the industries in scope
Sign up free to see the full eligibility
Sign up free to see how to apply
Sign up free to see what you submit
Sign up free to see how they score you
Sign up free to see the timeline
Sign up free to see where teams trip up