1988/06/01 by Stephen G. Simpson · 3 citations
Psychology · Computer Science · Mathematics · #Philosophy and Theoretical Science #Computability, Logic, AI Algorithms #History and Theory of Mathematics #Foundations of mathematics #Mathematics #Mathematical logic #Computer science #Algebra over a field #Calculus (dental) #Pure mathematics #Discrete mathematics #Mathematics education #Algorithm
paper · doi:10.2307/2274508
openalex publication_date 1988/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/05/21
§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.