Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036702781> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3036702781 endingPage "C14.P188" @default.
- W3036702781 startingPage "C14" @default.
- W3036702781 abstract "Abstract Mathematical structuralism is deeply connected with Hilbert and Bernays’s proof theory and its programmatic aim to ensure the consistency of all of mathematics. That aim was to be reached on the basis of finitist mathematics. Gödel’s second incompleteness theorem forced a step from absolute finitist to relative constructivist proof-theoretic reductions. This mathematical step was accompanied by philosophical arguments for the special nature of the grounding constructivist frameworks. Against that background, this chapter examines Bernays’s reflections on proof-theoretic reductions of mathematical structures to methodological frames via projections. However, these reflections are focused on narrowly arithmetic features of frames. Drawing on broadened meta-mathematical experience, this chapter proposes a more general characterization of frames that has ontological and epistemological significance. The characterization is given in terms of accessibility: domains of objects are accessible if their elements are inductively generated, and principles for such domains are accessible if they are grounded in our understanding of the generating processes." @default.
- W3036702781 created "2020-06-25" @default.
- W3036702781 creator A5023409888 @default.
- W3036702781 date "2020-04-30" @default.
- W3036702781 modified "2023-10-13" @default.
- W3036702781 title "Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory" @default.
- W3036702781 cites W3105133145 @default.
- W3036702781 cites W965495528 @default.
- W3036702781 doi "https://doi.org/10.1093/oso/9780190641221.003.0014" @default.
- W3036702781 hasPublicationYear "2020" @default.
- W3036702781 type Work @default.
- W3036702781 sameAs 3036702781 @default.
- W3036702781 citedByCount "1" @default.
- W3036702781 countsByYear W30367027812020 @default.
- W3036702781 crossrefType "book-chapter" @default.
- W3036702781 hasAuthorship W3036702781A5023409888 @default.
- W3036702781 hasBestOaLocation W30367027811 @default.
- W3036702781 hasConcept C108710211 @default.
- W3036702781 hasConcept C111472728 @default.
- W3036702781 hasConcept C118615104 @default.
- W3036702781 hasConcept C136119220 @default.
- W3036702781 hasConcept C138885662 @default.
- W3036702781 hasConcept C154949211 @default.
- W3036702781 hasConcept C183140480 @default.
- W3036702781 hasConcept C199343813 @default.
- W3036702781 hasConcept C202444582 @default.
- W3036702781 hasConcept C2524010 @default.
- W3036702781 hasConcept C2776436953 @default.
- W3036702781 hasConcept C2777686260 @default.
- W3036702781 hasConcept C33923547 @default.
- W3036702781 hasConcept C40238689 @default.
- W3036702781 hasConcept C41008148 @default.
- W3036702781 hasConcept C71924100 @default.
- W3036702781 hasConceptScore W3036702781C108710211 @default.
- W3036702781 hasConceptScore W3036702781C111472728 @default.
- W3036702781 hasConceptScore W3036702781C118615104 @default.
- W3036702781 hasConceptScore W3036702781C136119220 @default.
- W3036702781 hasConceptScore W3036702781C138885662 @default.
- W3036702781 hasConceptScore W3036702781C154949211 @default.
- W3036702781 hasConceptScore W3036702781C183140480 @default.
- W3036702781 hasConceptScore W3036702781C199343813 @default.
- W3036702781 hasConceptScore W3036702781C202444582 @default.
- W3036702781 hasConceptScore W3036702781C2524010 @default.
- W3036702781 hasConceptScore W3036702781C2776436953 @default.
- W3036702781 hasConceptScore W3036702781C2777686260 @default.
- W3036702781 hasConceptScore W3036702781C33923547 @default.
- W3036702781 hasConceptScore W3036702781C40238689 @default.
- W3036702781 hasConceptScore W3036702781C41008148 @default.
- W3036702781 hasConceptScore W3036702781C71924100 @default.
- W3036702781 hasLocation W30367027811 @default.
- W3036702781 hasOpenAccess W3036702781 @default.
- W3036702781 hasPrimaryLocation W30367027811 @default.
- W3036702781 hasRelatedWork W1964977425 @default.
- W3036702781 hasRelatedWork W2112459281 @default.
- W3036702781 hasRelatedWork W2117824382 @default.
- W3036702781 hasRelatedWork W2485192385 @default.
- W3036702781 hasRelatedWork W2523946629 @default.
- W3036702781 hasRelatedWork W2883788754 @default.
- W3036702781 hasRelatedWork W3036696723 @default.
- W3036702781 hasRelatedWork W4366283751 @default.
- W3036702781 hasRelatedWork W60561957 @default.
- W3036702781 hasRelatedWork W997075641 @default.
- W3036702781 isParatext "false" @default.
- W3036702781 isRetracted "false" @default.
- W3036702781 magId "3036702781" @default.
- W3036702781 workType "book-chapter" @default.