Matches in SemOpenAlex for { <https://semopenalex.org/work/W155638582> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W155638582 abstract "The discovery of a non-Euclidean geometry ended a two thousand-year-old search for a refutation of the set of statements obtained by adding the negation of the Fifth Postulate (about parallel lines) to the remaining Euclidean axioms. This is an important example of a general fact: if there exists a possible world in which a set of statements is true, then there does not exist a refutation of this set of statements. The reverse implication is a fundamental result of logic, the completeness theorem of Godel, for the proof of which we cannot content ourselves with a generic intuition. Instead, we have to learn to work with some fundamental concepts that will be defined in this chapter." @default.
- W155638582 created "2016-06-24" @default.
- W155638582 creator A5069739656 @default.
- W155638582 date "2012-01-01" @default.
- W155638582 modified "2023-09-24" @default.
- W155638582 title "The Meaning of Clauses" @default.
- W155638582 cites W2375114072 @default.
- W155638582 doi "https://doi.org/10.1007/978-88-470-2361-1_13" @default.
- W155638582 hasPublicationYear "2012" @default.
- W155638582 type Work @default.
- W155638582 sameAs 155638582 @default.
- W155638582 citedByCount "0" @default.
- W155638582 crossrefType "book-chapter" @default.
- W155638582 hasAuthorship W155638582A5069739656 @default.
- W155638582 hasConcept C111472728 @default.
- W155638582 hasConcept C118615104 @default.
- W155638582 hasConcept C129782007 @default.
- W155638582 hasConcept C132010649 @default.
- W155638582 hasConcept C134306372 @default.
- W155638582 hasConcept C138885662 @default.
- W155638582 hasConcept C167729594 @default.
- W155638582 hasConcept C17231256 @default.
- W155638582 hasConcept C177264268 @default.
- W155638582 hasConcept C180937797 @default.
- W155638582 hasConcept C199343813 @default.
- W155638582 hasConcept C199360897 @default.
- W155638582 hasConcept C2185349 @default.
- W155638582 hasConcept C2524010 @default.
- W155638582 hasConcept C2777686260 @default.
- W155638582 hasConcept C2781302003 @default.
- W155638582 hasConcept C33923547 @default.
- W155638582 hasConcept C41008148 @default.
- W155638582 hasConcept C71924100 @default.
- W155638582 hasConceptScore W155638582C111472728 @default.
- W155638582 hasConceptScore W155638582C118615104 @default.
- W155638582 hasConceptScore W155638582C129782007 @default.
- W155638582 hasConceptScore W155638582C132010649 @default.
- W155638582 hasConceptScore W155638582C134306372 @default.
- W155638582 hasConceptScore W155638582C138885662 @default.
- W155638582 hasConceptScore W155638582C167729594 @default.
- W155638582 hasConceptScore W155638582C17231256 @default.
- W155638582 hasConceptScore W155638582C177264268 @default.
- W155638582 hasConceptScore W155638582C180937797 @default.
- W155638582 hasConceptScore W155638582C199343813 @default.
- W155638582 hasConceptScore W155638582C199360897 @default.
- W155638582 hasConceptScore W155638582C2185349 @default.
- W155638582 hasConceptScore W155638582C2524010 @default.
- W155638582 hasConceptScore W155638582C2777686260 @default.
- W155638582 hasConceptScore W155638582C2781302003 @default.
- W155638582 hasConceptScore W155638582C33923547 @default.
- W155638582 hasConceptScore W155638582C41008148 @default.
- W155638582 hasConceptScore W155638582C71924100 @default.
- W155638582 hasLocation W1556385821 @default.
- W155638582 hasOpenAccess W155638582 @default.
- W155638582 hasPrimaryLocation W1556385821 @default.
- W155638582 hasRelatedWork W1504915799 @default.
- W155638582 hasRelatedWork W1965793995 @default.
- W155638582 hasRelatedWork W2004640936 @default.
- W155638582 hasRelatedWork W2036984032 @default.
- W155638582 hasRelatedWork W2050219405 @default.
- W155638582 hasRelatedWork W2052382295 @default.
- W155638582 hasRelatedWork W2053222057 @default.
- W155638582 hasRelatedWork W2091045430 @default.
- W155638582 hasRelatedWork W2115610240 @default.
- W155638582 hasRelatedWork W2131525765 @default.
- W155638582 hasRelatedWork W2144561707 @default.
- W155638582 hasRelatedWork W2149461092 @default.
- W155638582 hasRelatedWork W2308690896 @default.
- W155638582 hasRelatedWork W2464343837 @default.
- W155638582 hasRelatedWork W2502189400 @default.
- W155638582 hasRelatedWork W2509531584 @default.
- W155638582 hasRelatedWork W2613997929 @default.
- W155638582 hasRelatedWork W3169922540 @default.
- W155638582 hasRelatedWork W61495897 @default.
- W155638582 hasRelatedWork W77940793 @default.
- W155638582 isParatext "false" @default.
- W155638582 isRetracted "false" @default.
- W155638582 magId "155638582" @default.
- W155638582 workType "book-chapter" @default.