Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996065564> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1996065564 endingPage "363" @default.
- W1996065564 startingPage "349" @default.
- W1996065564 abstract "§0. Introduction. What follows is a write-up of my contribution to the symposium “Hilbert's Program Sixty Years Later” which was sponsored jointly by the American Philosophical Association and the Association for Symbolic Logic. The symposium was held on December 29,1985 in Washington, D. C. The panelists were Solomon Feferman, Dag Prawitz and myself. The moderator was Wilfried Sieg. The research which I discuss here was partially supported by NSF Grant DMS-8317874. I am grateful to the organizers of this timely symposium on an important topic. As a mathematician I particularly value the opportunity to address an audience consisting largely of philosophers. It is true that I was asked to concentrate on the mathematical aspects of Hilbert's program. But since Hilbert's program is concerned solely with the foundations of mathematics, the restriction to mathematical aspects is really no restriction at all. Hilbert assigned a special role to a certain restricted kind of mathematical reasoning known as finitistic. The essence of Hilbert's program was to justify all of set-theoretical mathematics by means of a reduction to finitism. It is now well known that this task cannot be carried out. Any such possibility is refuted by Gödel's theorem. Nevertheless, recent research has revealed the feasibility of a significant partial realization of Hilbert's program. Despite Gödel's theorem, one can give a finitistic reduction for a substantial portion of infinitistic mathematics including many of the best-known nonconstructive theorems. My purpose here is to call attention to these modern developments." @default.
- W1996065564 created "2016-06-24" @default.
- W1996065564 creator A5026802191 @default.
- W1996065564 date "1988-06-01" @default.
- W1996065564 modified "2023-10-16" @default.
- W1996065564 title "Partial realizations of Hilbert's program" @default.
- W1996065564 cites W1027937706 @default.
- W1996065564 cites W1522998756 @default.
- W1996065564 cites W1525064220 @default.
- W1996065564 cites W2019293792 @default.
- W1996065564 cites W2038447110 @default.
- W1996065564 cites W2042690899 @default.
- W1996065564 cites W2087408122 @default.
- W1996065564 cites W2563011196 @default.
- W1996065564 cites W4230494338 @default.
- W1996065564 cites W4232166111 @default.
- W1996065564 cites W4255132490 @default.
- W1996065564 doi "https://doi.org/10.1017/s0022481200028309" @default.
- W1996065564 hasPublicationYear "1988" @default.
- W1996065564 type Work @default.
- W1996065564 sameAs 1996065564 @default.
- W1996065564 citedByCount "88" @default.
- W1996065564 countsByYear W19960655642012 @default.
- W1996065564 countsByYear W19960655642013 @default.
- W1996065564 countsByYear W19960655642014 @default.
- W1996065564 countsByYear W19960655642015 @default.
- W1996065564 countsByYear W19960655642016 @default.
- W1996065564 countsByYear W19960655642017 @default.
- W1996065564 countsByYear W19960655642018 @default.
- W1996065564 countsByYear W19960655642019 @default.
- W1996065564 countsByYear W19960655642020 @default.
- W1996065564 countsByYear W19960655642021 @default.
- W1996065564 countsByYear W19960655642022 @default.
- W1996065564 crossrefType "journal-article" @default.
- W1996065564 hasAuthorship W1996065564A5026802191 @default.
- W1996065564 hasConcept C11413529 @default.
- W1996065564 hasConcept C118615104 @default.
- W1996065564 hasConcept C136119220 @default.
- W1996065564 hasConcept C145420912 @default.
- W1996065564 hasConcept C183140480 @default.
- W1996065564 hasConcept C199343813 @default.
- W1996065564 hasConcept C202444582 @default.
- W1996065564 hasConcept C2777686260 @default.
- W1996065564 hasConcept C33923547 @default.
- W1996065564 hasConcept C41008148 @default.
- W1996065564 hasConcept C47884741 @default.
- W1996065564 hasConcept C71924100 @default.
- W1996065564 hasConceptScore W1996065564C11413529 @default.
- W1996065564 hasConceptScore W1996065564C118615104 @default.
- W1996065564 hasConceptScore W1996065564C136119220 @default.
- W1996065564 hasConceptScore W1996065564C145420912 @default.
- W1996065564 hasConceptScore W1996065564C183140480 @default.
- W1996065564 hasConceptScore W1996065564C199343813 @default.
- W1996065564 hasConceptScore W1996065564C202444582 @default.
- W1996065564 hasConceptScore W1996065564C2777686260 @default.
- W1996065564 hasConceptScore W1996065564C33923547 @default.
- W1996065564 hasConceptScore W1996065564C41008148 @default.
- W1996065564 hasConceptScore W1996065564C47884741 @default.
- W1996065564 hasConceptScore W1996065564C71924100 @default.
- W1996065564 hasIssue "2" @default.
- W1996065564 hasLocation W19960655641 @default.
- W1996065564 hasOpenAccess W1996065564 @default.
- W1996065564 hasPrimaryLocation W19960655641 @default.
- W1996065564 hasRelatedWork W1557945163 @default.
- W1996065564 hasRelatedWork W1912064545 @default.
- W1996065564 hasRelatedWork W1985218657 @default.
- W1996065564 hasRelatedWork W2064847051 @default.
- W1996065564 hasRelatedWork W2096753949 @default.
- W1996065564 hasRelatedWork W2742285599 @default.
- W1996065564 hasRelatedWork W2963341196 @default.
- W1996065564 hasRelatedWork W3099641547 @default.
- W1996065564 hasRelatedWork W3124205579 @default.
- W1996065564 hasRelatedWork W4249580765 @default.
- W1996065564 hasVolume "53" @default.
- W1996065564 isParatext "false" @default.
- W1996065564 isRetracted "false" @default.
- W1996065564 magId "1996065564" @default.
- W1996065564 workType "article" @default.