Matches in SemOpenAlex for { <https://semopenalex.org/work/W2967953227> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2967953227 abstract "In this essay, I discuss formalist and finitist aspects of Hilbert’s proof-theoretic programme in the 1920s and 1930s. I begin by pointing out some difficulties arising from his construction of intuitive number theory in his first paper on metamathematics in the 1920s and by characterizing the nature of his metamathematics. In what follows, I argue thatHilbert’s paradigm of a transfinite axiom as well as the other “ordinary” transfinite axioms derivable from it fail to supply any formal explication of the term “infinite” or “transfinite”. On the one hand, Hilbert regards both the mathematical and the logical signs as detached from all meaning once the process of formalization of contentual mathematics has been completely carried out. On the other hand, there are several places where he characterizes the finitary or real sentences of the language of formalized arithmetic, in contrast to its transfinite or ideal sentences, expressly as meaningful. I make a proposal to explain why for Hilbert it might still be of interest to be able to rely on meaningful sentences in the language of formalized arithmetic. In section 5, I critically discuss several aspects in Hilbert and Bernays’s extension of the finitist point of view in the second volume of Foundations of Mathematics (1939). In section 6, I argue that by appreciating the distinctive character of the notion of an “approximative” consistency proof we can make good sense of the nature of the consistency proofs that Hilbert outlines both in his classical papers on proof theory in the 1920s and in the first volume of Foundations of Mathematics (1934) . I further argue that a weak version of Hilbert’s programme is compatible with Godel’s second incompleteness theorem by using only what are clearly natural provability predicates." @default.
- W2967953227 created "2019-08-22" @default.
- W2967953227 creator A5058107738 @default.
- W2967953227 date "2019-01-02" @default.
- W2967953227 modified "2023-09-23" @default.
- W2967953227 title "The Finite and the Infinite: On Hilbert’s Formalist Approach Before and After Gödel’s Incompleteness Theorems" @default.
- W2967953227 hasPublicationYear "2019" @default.
- W2967953227 type Work @default.
- W2967953227 sameAs 2967953227 @default.
- W2967953227 citedByCount "0" @default.
- W2967953227 crossrefType "journal-article" @default.
- W2967953227 hasAuthorship W2967953227A5058107738 @default.
- W2967953227 hasConcept C108710211 @default.
- W2967953227 hasConcept C111472728 @default.
- W2967953227 hasConcept C136119220 @default.
- W2967953227 hasConcept C138885662 @default.
- W2967953227 hasConcept C145420912 @default.
- W2967953227 hasConcept C147358099 @default.
- W2967953227 hasConcept C167729594 @default.
- W2967953227 hasConcept C183140480 @default.
- W2967953227 hasConcept C199343813 @default.
- W2967953227 hasConcept C202444582 @default.
- W2967953227 hasConcept C2524010 @default.
- W2967953227 hasConcept C2777686260 @default.
- W2967953227 hasConcept C2778003309 @default.
- W2967953227 hasConcept C2781374135 @default.
- W2967953227 hasConcept C33923547 @default.
- W2967953227 hasConcept C71924100 @default.
- W2967953227 hasConceptScore W2967953227C108710211 @default.
- W2967953227 hasConceptScore W2967953227C111472728 @default.
- W2967953227 hasConceptScore W2967953227C136119220 @default.
- W2967953227 hasConceptScore W2967953227C138885662 @default.
- W2967953227 hasConceptScore W2967953227C145420912 @default.
- W2967953227 hasConceptScore W2967953227C147358099 @default.
- W2967953227 hasConceptScore W2967953227C167729594 @default.
- W2967953227 hasConceptScore W2967953227C183140480 @default.
- W2967953227 hasConceptScore W2967953227C199343813 @default.
- W2967953227 hasConceptScore W2967953227C202444582 @default.
- W2967953227 hasConceptScore W2967953227C2524010 @default.
- W2967953227 hasConceptScore W2967953227C2777686260 @default.
- W2967953227 hasConceptScore W2967953227C2778003309 @default.
- W2967953227 hasConceptScore W2967953227C2781374135 @default.
- W2967953227 hasConceptScore W2967953227C33923547 @default.
- W2967953227 hasConceptScore W2967953227C71924100 @default.
- W2967953227 hasIssue "245" @default.
- W2967953227 hasLocation W29679532271 @default.
- W2967953227 hasOpenAccess W2967953227 @default.
- W2967953227 hasPrimaryLocation W29679532271 @default.
- W2967953227 hasRelatedWork W1535292954 @default.
- W2967953227 hasRelatedWork W1564824054 @default.
- W2967953227 hasRelatedWork W1594118110 @default.
- W2967953227 hasRelatedWork W1596667913 @default.
- W2967953227 hasRelatedWork W1718455073 @default.
- W2967953227 hasRelatedWork W1974551078 @default.
- W2967953227 hasRelatedWork W1993795754 @default.
- W2967953227 hasRelatedWork W2005545560 @default.
- W2967953227 hasRelatedWork W2012491547 @default.
- W2967953227 hasRelatedWork W2034443322 @default.
- W2967953227 hasRelatedWork W2068595239 @default.
- W2967953227 hasRelatedWork W2187064870 @default.
- W2967953227 hasRelatedWork W2249444510 @default.
- W2967953227 hasRelatedWork W2252519798 @default.
- W2967953227 hasRelatedWork W2255291017 @default.
- W2967953227 hasRelatedWork W2344118297 @default.
- W2967953227 hasRelatedWork W2505047206 @default.
- W2967953227 hasRelatedWork W25436543 @default.
- W2967953227 hasRelatedWork W3021843925 @default.
- W2967953227 hasRelatedWork W3110735311 @default.
- W2967953227 hasVolume "62" @default.
- W2967953227 isParatext "false" @default.
- W2967953227 isRetracted "false" @default.
- W2967953227 magId "2967953227" @default.
- W2967953227 workType "article" @default.