Godel Editorial Project
{'Code': '08080301', 'Directorate': {'Abbreviation': 'BIO', 'LongName': 'Direct For Biological Sciences'}, 'Division': {'Abbreviation': 'DBI', 'LongName': 'Div Of Biological Infrastructure'}}
{'SignBlockName': 'Ronald J. Overmann', 'PO_EMAI': None, 'PO_PHON': None}
In 1931, Kurt Godel published an article which ended nearly a                   century of attempts to establish axioms which would provide a                   rigorous basis for all of mathematics.  He proved that within any               rigidly logical mathematical system, there are propositions that                cannot be proved or disproved on the basis of the axioms of that                system. Thus, the search for a demonstration of the self-                       consistency of mathematics was dealt a shattering blow.  If                     mathematics is actually consistent, Godel showed that the fact of               this consistency cannot be proved within the rules of mathematics               itself.  Mathematicians can never be certain that the basic                     axioms of arithmetic will not give rise to contradictions and                   the foundations of mathematics must ultimately always remain a                  mystery.  Godel went on from this brilliant start to make                       contributions which would profoundly affect logic, physics,                     philosophy, the foundations of computer science, and other                      aspects of the foundations of mathematics.  The purpose of this                 project is to publish the works of Kurt Godel and make them                     available to a wider audience of mathematicians, philosophers and               historians.                                                                                                                                                     Under previous NSF grants, Professor Feferman and his editorial                 staff have published the first volume of what is now projected to               be a four volume collection of the papers of the mathematician                  and logician, Kurt Godel.  Volume one contains Godel's collected                publications of 1929-1936.  Volume two, which is currently being                finished, contains his publications form 1936 to 1974.  Under                   this new grant, Godel's notes from his courses, letters,                        lectures, scientific notebooks and drafts of unpublished                        manuscripts will be prepared for publication.  These papers will                be published in an additional two volumes. The editorial work                   includes translations of many documents from the German to                      English and the preparation of introductions and notes to the                   documents in order to make these materials of maximum scientific,               historical and philosophical significance.
{'FirstName': 'Solomon', 'LastName': 'Feferman', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Solomon Feferman', 'EmailAddress': 'sf@csli.standford.edu', 'NSF_ID': '000462915', 'StartDate': '01/06/1994', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Association For Symbolic Logic', 'CityName': 'STORRS MANSFIELD', 'ZipCode': '062691009', 'PhoneNumber': '8604863989', 'StreetAddress': '341 MANSFIELD RD', 'StreetAddress2': 'UNIT 1009', 'CountryName': 'United States', 'StateName': 'Connecticut', 'StateCode': 'CT', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'CT02', 'ORG_UEI_NUM': 'PD2YBJBZFQJ6', 'ORG_LGL_BUS_NAME': 'ASSOCIATION FOR SYMBOLIC LOGIC', 'ORG_PRNT_UEI_NUM': None}
{'Name': 'Association For Symbolic Logic', 'CityName': 'STORRS MANSFIELD', 'StateCode': 'CT', 'ZipCode': '062691009', 'StreetAddress': '341 MANSFIELD RD', 'CountryCode': 'US', 'CountryName': 'United States', 'StateName': 'Connecticut', 'CountryFlag': '1', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_PERF': 'CT02'}
[{'Code': '1268', 'Text': 'FOUNDATIONS'}, {'Code': '1353', 'Text': 'Hist & Philosophy of SET'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8822167.xml'}