Matches in SemOpenAlex for { <https://semopenalex.org/work/W1636105897> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1636105897 abstract "Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important logical results that lack an insightful explanatory proof. By making explicit that the well-known proof of the lemma is just a straightforward translation of the Grelling paradox into first-order arithmetic, the proof can be made completely transparent." @default.
- W1636105897 created "2016-06-24" @default.
- W1636105897 creator A5004256831 @default.
- W1636105897 date "2006-06-17" @default.
- W1636105897 modified "2023-09-27" @default.
- W1636105897 title "The diagonal lemma as the formalized Grelling paradox" @default.
- W1636105897 cites W1587799979 @default.
- W1636105897 cites W2105505307 @default.
- W1636105897 hasPublicationYear "2006" @default.
- W1636105897 type Work @default.
- W1636105897 sameAs 1636105897 @default.
- W1636105897 citedByCount "0" @default.
- W1636105897 crossrefType "posted-content" @default.
- W1636105897 hasAuthorship W1636105897A5004256831 @default.
- W1636105897 hasConcept C104317684 @default.
- W1636105897 hasConcept C105580179 @default.
- W1636105897 hasConcept C108710211 @default.
- W1636105897 hasConcept C118615104 @default.
- W1636105897 hasConcept C130367717 @default.
- W1636105897 hasConcept C135754263 @default.
- W1636105897 hasConcept C136119220 @default.
- W1636105897 hasConcept C149364088 @default.
- W1636105897 hasConcept C161505775 @default.
- W1636105897 hasConcept C185592680 @default.
- W1636105897 hasConcept C18903297 @default.
- W1636105897 hasConcept C195653647 @default.
- W1636105897 hasConcept C199343813 @default.
- W1636105897 hasConcept C202444582 @default.
- W1636105897 hasConcept C2318724 @default.
- W1636105897 hasConcept C2524010 @default.
- W1636105897 hasConcept C26517878 @default.
- W1636105897 hasConcept C2777686260 @default.
- W1636105897 hasConcept C2777759810 @default.
- W1636105897 hasConcept C33923547 @default.
- W1636105897 hasConcept C38652104 @default.
- W1636105897 hasConcept C41008148 @default.
- W1636105897 hasConcept C46757340 @default.
- W1636105897 hasConcept C55493867 @default.
- W1636105897 hasConcept C71924100 @default.
- W1636105897 hasConcept C86803240 @default.
- W1636105897 hasConceptScore W1636105897C104317684 @default.
- W1636105897 hasConceptScore W1636105897C105580179 @default.
- W1636105897 hasConceptScore W1636105897C108710211 @default.
- W1636105897 hasConceptScore W1636105897C118615104 @default.
- W1636105897 hasConceptScore W1636105897C130367717 @default.
- W1636105897 hasConceptScore W1636105897C135754263 @default.
- W1636105897 hasConceptScore W1636105897C136119220 @default.
- W1636105897 hasConceptScore W1636105897C149364088 @default.
- W1636105897 hasConceptScore W1636105897C161505775 @default.
- W1636105897 hasConceptScore W1636105897C185592680 @default.
- W1636105897 hasConceptScore W1636105897C18903297 @default.
- W1636105897 hasConceptScore W1636105897C195653647 @default.
- W1636105897 hasConceptScore W1636105897C199343813 @default.
- W1636105897 hasConceptScore W1636105897C202444582 @default.
- W1636105897 hasConceptScore W1636105897C2318724 @default.
- W1636105897 hasConceptScore W1636105897C2524010 @default.
- W1636105897 hasConceptScore W1636105897C26517878 @default.
- W1636105897 hasConceptScore W1636105897C2777686260 @default.
- W1636105897 hasConceptScore W1636105897C2777759810 @default.
- W1636105897 hasConceptScore W1636105897C33923547 @default.
- W1636105897 hasConceptScore W1636105897C38652104 @default.
- W1636105897 hasConceptScore W1636105897C41008148 @default.
- W1636105897 hasConceptScore W1636105897C46757340 @default.
- W1636105897 hasConceptScore W1636105897C55493867 @default.
- W1636105897 hasConceptScore W1636105897C71924100 @default.
- W1636105897 hasConceptScore W1636105897C86803240 @default.
- W1636105897 hasLocation W16361058971 @default.
- W1636105897 hasOpenAccess W1636105897 @default.
- W1636105897 hasPrimaryLocation W16361058971 @default.
- W1636105897 hasRelatedWork W116766998 @default.
- W1636105897 hasRelatedWork W132038708 @default.
- W1636105897 hasRelatedWork W1503170941 @default.
- W1636105897 hasRelatedWork W153455486 @default.
- W1636105897 hasRelatedWork W1586813864 @default.
- W1636105897 hasRelatedWork W1854122471 @default.
- W1636105897 hasRelatedWork W187835144 @default.
- W1636105897 hasRelatedWork W195307534 @default.
- W1636105897 hasRelatedWork W1971815165 @default.
- W1636105897 hasRelatedWork W1995030912 @default.
- W1636105897 hasRelatedWork W2065833635 @default.
- W1636105897 hasRelatedWork W2107153842 @default.
- W1636105897 hasRelatedWork W2809765085 @default.
- W1636105897 hasRelatedWork W2909229158 @default.
- W1636105897 hasRelatedWork W2948179623 @default.
- W1636105897 hasRelatedWork W3046046453 @default.
- W1636105897 hasRelatedWork W3082739651 @default.
- W1636105897 hasRelatedWork W3124682000 @default.
- W1636105897 hasRelatedWork W321028994 @default.
- W1636105897 hasRelatedWork W2519791282 @default.
- W1636105897 isParatext "false" @default.
- W1636105897 isRetracted "false" @default.
- W1636105897 magId "1636105897" @default.
- W1636105897 workType "article" @default.