Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313554570> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4313554570 abstract "The previous Part I of the paper (https://doi.org/10.33774/coe-2022-wlr02) discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter." @default.
- W4313554570 created "2023-01-06" @default.
- W4313554570 creator A5078620575 @default.
- W4313554570 date "2023-01-05" @default.
- W4313554570 modified "2023-09-25" @default.
- W4313554570 title "Gödel mathematics versus Hilbert mathematics. II Logicism and Hilbert mathematics, the identification of logic and set theory, and Gödel’s “completeness paper” (1930)" @default.
- W4313554570 doi "https://doi.org/10.33774/coe-2023-m1rck" @default.
- W4313554570 hasPublicationYear "2023" @default.
- W4313554570 type Work @default.
- W4313554570 citedByCount "0" @default.
- W4313554570 crossrefType "posted-content" @default.
- W4313554570 hasAuthorship W4313554570A5078620575 @default.
- W4313554570 hasBestOaLocation W43135545701 @default.
- W4313554570 hasConcept C111472728 @default.
- W4313554570 hasConcept C11413529 @default.
- W4313554570 hasConcept C118615104 @default.
- W4313554570 hasConcept C127753061 @default.
- W4313554570 hasConcept C134306372 @default.
- W4313554570 hasConcept C138885662 @default.
- W4313554570 hasConcept C145420912 @default.
- W4313554570 hasConcept C151797676 @default.
- W4313554570 hasConcept C153046414 @default.
- W4313554570 hasConcept C167729594 @default.
- W4313554570 hasConcept C17231256 @default.
- W4313554570 hasConcept C177264268 @default.
- W4313554570 hasConcept C180937797 @default.
- W4313554570 hasConcept C183140480 @default.
- W4313554570 hasConcept C199343813 @default.
- W4313554570 hasConcept C199360897 @default.
- W4313554570 hasConcept C200116569 @default.
- W4313554570 hasConcept C2185349 @default.
- W4313554570 hasConcept C2524010 @default.
- W4313554570 hasConcept C2777026412 @default.
- W4313554570 hasConcept C2777686260 @default.
- W4313554570 hasConcept C2781302003 @default.
- W4313554570 hasConcept C33923547 @default.
- W4313554570 hasConcept C41008148 @default.
- W4313554570 hasConcept C47884741 @default.
- W4313554570 hasConcept C556429856 @default.
- W4313554570 hasConcept C71924100 @default.
- W4313554570 hasConceptScore W4313554570C111472728 @default.
- W4313554570 hasConceptScore W4313554570C11413529 @default.
- W4313554570 hasConceptScore W4313554570C118615104 @default.
- W4313554570 hasConceptScore W4313554570C127753061 @default.
- W4313554570 hasConceptScore W4313554570C134306372 @default.
- W4313554570 hasConceptScore W4313554570C138885662 @default.
- W4313554570 hasConceptScore W4313554570C145420912 @default.
- W4313554570 hasConceptScore W4313554570C151797676 @default.
- W4313554570 hasConceptScore W4313554570C153046414 @default.
- W4313554570 hasConceptScore W4313554570C167729594 @default.
- W4313554570 hasConceptScore W4313554570C17231256 @default.
- W4313554570 hasConceptScore W4313554570C177264268 @default.
- W4313554570 hasConceptScore W4313554570C180937797 @default.
- W4313554570 hasConceptScore W4313554570C183140480 @default.
- W4313554570 hasConceptScore W4313554570C199343813 @default.
- W4313554570 hasConceptScore W4313554570C199360897 @default.
- W4313554570 hasConceptScore W4313554570C200116569 @default.
- W4313554570 hasConceptScore W4313554570C2185349 @default.
- W4313554570 hasConceptScore W4313554570C2524010 @default.
- W4313554570 hasConceptScore W4313554570C2777026412 @default.
- W4313554570 hasConceptScore W4313554570C2777686260 @default.
- W4313554570 hasConceptScore W4313554570C2781302003 @default.
- W4313554570 hasConceptScore W4313554570C33923547 @default.
- W4313554570 hasConceptScore W4313554570C41008148 @default.
- W4313554570 hasConceptScore W4313554570C47884741 @default.
- W4313554570 hasConceptScore W4313554570C556429856 @default.
- W4313554570 hasConceptScore W4313554570C71924100 @default.
- W4313554570 hasLocation W43135545701 @default.
- W4313554570 hasLocation W43135545702 @default.
- W4313554570 hasLocation W43135545703 @default.
- W4313554570 hasLocation W43135545704 @default.
- W4313554570 hasLocation W43135545705 @default.
- W4313554570 hasLocation W43135545706 @default.
- W4313554570 hasOpenAccess W4313554570 @default.
- W4313554570 hasPrimaryLocation W43135545701 @default.
- W4313554570 hasRelatedWork W1552390722 @default.
- W4313554570 hasRelatedWork W1566028218 @default.
- W4313554570 hasRelatedWork W1993159501 @default.
- W4313554570 hasRelatedWork W2034441209 @default.
- W4313554570 hasRelatedWork W2387206488 @default.
- W4313554570 hasRelatedWork W4231442549 @default.
- W4313554570 hasRelatedWork W4250417020 @default.
- W4313554570 hasRelatedWork W4313554570 @default.
- W4313554570 hasRelatedWork W4315650346 @default.
- W4313554570 hasRelatedWork W4376123095 @default.
- W4313554570 isParatext "false" @default.
- W4313554570 isRetracted "false" @default.
- W4313554570 workType "article" @default.