This grant, offered by the Foundations Program, aims to support innovative research in the critical domain of mathematical logic and the broader foundations of mathematics. It is designed for scholars and researchers focused on advancing knowledge within these fundamental areas. The program specifically encourages proposals exploring diverse sub-disciplines, including proof theory, which investigates the nature of mathematical proofs; recursion theory, concerned with computability and definability; model theory, studying relationships between formal languages and their interpretations; set theory, the study of collections of objects; and infinitary combinatorics, which applies combinatorial methods to infinite sets. This funding opportunity is crucial for strengthening the theoretical underpinnings of mathematics and fostering significant advancements in abstract reasoning and formal systems.
Opportunity ID: 46299
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | PD-04-1268 |
| Funding Opportunity Title: | Foundations |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 30 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 3 |
| Posted Date: | Mar 24, 2009 |
| Last Updated Date: | Aug 20, 2010 |
| Original Closing Date for Applications: | Oct 06, 2009 Full Proposal Target Date(s): October 06, 2009 First Tuesday in October, Annually Thereafter |
| Current Closing Date for Applications: | – replaced by 10-1268 |
| Archive Date: | Aug 20, 2010 |
| Estimated Total Program Funding: | $2,300,000 |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
| Additional Information on Eligibility: | – |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| Description: | The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. |
| Link to Additional Information: | NSF Program Description 04-1268 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
| replaced by 10-1268 | Aug 20, 2010 | |
| updated to next due date | Aug 20, 2010 | |
| Nov 16, 2009 |
DISPLAYING: Synopsis 3
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | PD-04-1268 |
| Funding Opportunity Title: | Foundations |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 30 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 3 |
| Posted Date: | Mar 24, 2009 |
| Last Updated Date: | Aug 20, 2010 |
| Original Closing Date for Applications: | Oct 06, 2009 Full Proposal Target Date(s): October 06, 2009 First Tuesday in October, Annually Thereafter |
| Current Closing Date for Applications: | – replaced by 10-1268 |
| Archive Date: | Aug 20, 2010 |
| Estimated Total Program Funding: | $2,300,000 |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
| Additional Information on Eligibility: | – |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| Description: | The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. |
| Link to Additional Information: | NSF Program Description 04-1268 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
DISPLAYING: Synopsis 2
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | PD-04-1268 |
| Funding Opportunity Title: | Foundations |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 30 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 2 |
| Posted Date: | Aug 20, 2010 |
| Last Updated Date: | – |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Oct 05, 2010 Full Proposal Target Date(s): October 06, 2009 First Tuesday in October, Annually Thereafter |
| Archive Date: | – |
| Estimated Total Program Funding: | $2,300,000 |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
| Additional Information on Eligibility: | – |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| Description: | The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. |
| Link to Additional Information: | NSF Program Description 04-1268 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
DISPLAYING: Synopsis 1
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | PD-04-1268 |
| Funding Opportunity Title: | Foundations |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 30 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 1 |
| Posted Date: | Nov 16, 2009 |
| Last Updated Date: | – |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Oct 06, 2009 Full Proposal Target Date(s): October 06, 2009 First Tuesday in October, Annually Thereafter |
| Archive Date: | – |
| Estimated Total Program Funding: | $2,300,000 |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
| Additional Information on Eligibility: | – |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| Description: | The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. |
| Link to Additional Information: | NSF Program Desccription 04-1268 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
Related Documents
There are no related documents on this grant.
Packages
There are no packages on this grant.