Matches in SemOpenAlex for { <https://semopenalex.org/work/W2266097703> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2266097703 endingPage "44" @default.
- W2266097703 startingPage "32" @default.
- W2266097703 abstract "The main elements of Kurt Godel's proof of the 'incompleteness' of a formal system such as Bertrand Russell and A.N. Whitehead's 'Principia Mathematica' are discussed together with ways to address potential difficulties for students. The article recommends the study of the logical-skeletal structure before students attempt the proof itself and describes how students may be introduced to the proof with a documentary highlighting its importance. In addition, the paper evaluates two books for the 'general reader', by E. Nagel and J.R. Newman and by Torkel Franzen, and a description of the proof's logical core written in clear English by Solomon Feferman." @default.
- W2266097703 created "2016-06-24" @default.
- W2266097703 creator A5069273111 @default.
- W2266097703 date "2011-01-01" @default.
- W2266097703 modified "2023-09-24" @default.
- W2266097703 title "The Logical Heart of a Classic Proof Revisited: A Guide to Godel's Incompleteness Theorems." @default.
- W2266097703 cites W1490681365 @default.
- W2266097703 cites W1552390722 @default.
- W2266097703 cites W1597538409 @default.
- W2266097703 cites W171417176 @default.
- W2266097703 cites W1970207307 @default.
- W2266097703 cites W2005007009 @default.
- W2266097703 cites W2114804254 @default.
- W2266097703 cites W2164067193 @default.
- W2266097703 cites W2889182709 @default.
- W2266097703 cites W3198736518 @default.
- W2266097703 cites W384444914 @default.
- W2266097703 hasPublicationYear "2011" @default.
- W2266097703 type Work @default.
- W2266097703 sameAs 2266097703 @default.
- W2266097703 citedByCount "2" @default.
- W2266097703 countsByYear W22660977032019 @default.
- W2266097703 crossrefType "journal-article" @default.
- W2266097703 hasAuthorship W2266097703A5069273111 @default.
- W2266097703 hasConcept C105795698 @default.
- W2266097703 hasConcept C111472728 @default.
- W2266097703 hasConcept C136119220 @default.
- W2266097703 hasConcept C138885662 @default.
- W2266097703 hasConcept C145420912 @default.
- W2266097703 hasConcept C180937797 @default.
- W2266097703 hasConcept C199343813 @default.
- W2266097703 hasConcept C202444582 @default.
- W2266097703 hasConcept C2777686260 @default.
- W2266097703 hasConcept C2781302003 @default.
- W2266097703 hasConcept C2983390893 @default.
- W2266097703 hasConcept C33923547 @default.
- W2266097703 hasConcept C41008148 @default.
- W2266097703 hasConcept C6260981 @default.
- W2266097703 hasConcept C71924100 @default.
- W2266097703 hasConceptScore W2266097703C105795698 @default.
- W2266097703 hasConceptScore W2266097703C111472728 @default.
- W2266097703 hasConceptScore W2266097703C136119220 @default.
- W2266097703 hasConceptScore W2266097703C138885662 @default.
- W2266097703 hasConceptScore W2266097703C145420912 @default.
- W2266097703 hasConceptScore W2266097703C180937797 @default.
- W2266097703 hasConceptScore W2266097703C199343813 @default.
- W2266097703 hasConceptScore W2266097703C202444582 @default.
- W2266097703 hasConceptScore W2266097703C2777686260 @default.
- W2266097703 hasConceptScore W2266097703C2781302003 @default.
- W2266097703 hasConceptScore W2266097703C2983390893 @default.
- W2266097703 hasConceptScore W2266097703C33923547 @default.
- W2266097703 hasConceptScore W2266097703C41008148 @default.
- W2266097703 hasConceptScore W2266097703C6260981 @default.
- W2266097703 hasConceptScore W2266097703C71924100 @default.
- W2266097703 hasIssue "1" @default.
- W2266097703 hasLocation W22660977031 @default.
- W2266097703 hasOpenAccess W2266097703 @default.
- W2266097703 hasPrimaryLocation W22660977031 @default.
- W2266097703 hasRelatedWork W1541568758 @default.
- W2266097703 hasRelatedWork W1556989478 @default.
- W2266097703 hasRelatedWork W1558677417 @default.
- W2266097703 hasRelatedWork W1607953571 @default.
- W2266097703 hasRelatedWork W1615265135 @default.
- W2266097703 hasRelatedWork W1663731169 @default.
- W2266097703 hasRelatedWork W1851084841 @default.
- W2266097703 hasRelatedWork W1882807120 @default.
- W2266097703 hasRelatedWork W1974622201 @default.
- W2266097703 hasRelatedWork W1989608238 @default.
- W2266097703 hasRelatedWork W2027998426 @default.
- W2266097703 hasRelatedWork W2048035574 @default.
- W2266097703 hasRelatedWork W2057923130 @default.
- W2266097703 hasRelatedWork W2081515694 @default.
- W2266097703 hasRelatedWork W2093788057 @default.
- W2266097703 hasRelatedWork W2098700522 @default.
- W2266097703 hasRelatedWork W2136196094 @default.
- W2266097703 hasRelatedWork W2186855223 @default.
- W2266097703 hasRelatedWork W2197992625 @default.
- W2266097703 hasRelatedWork W3028479587 @default.
- W2266097703 hasVolume "25" @default.
- W2266097703 isParatext "false" @default.
- W2266097703 isRetracted "false" @default.
- W2266097703 magId "2266097703" @default.
- W2266097703 workType "article" @default.