Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064291331> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2064291331 endingPage "554" @default.
- W2064291331 startingPage "549" @default.
- W2064291331 abstract "In this paper we interpret a characterization of the Gödel speed-up phenomenon as providing support for the ‘Nagel-Newman thesis’ that human theorem recognizers differ from mechanical theorem recognizers in that the former do not seem to be limited by Gödel's incompleteness theorems whereas the latter do seem to be thus limited.However, we also maintain that (currently non-existent) programs which are open systems in that they continuously interact with, and are thus inseparable from, their environment, are not covered by the above (or probably any other recursion-theoretic) argument." @default.
- W2064291331 created "2016-06-24" @default.
- W2064291331 creator A5066987549 @default.
- W2064291331 creator A5072693724 @default.
- W2064291331 date "1994-06-01" @default.
- W2064291331 modified "2023-09-23" @default.
- W2064291331 title "Abstract Complexity Theory and the Mind-Machine Problem" @default.
- W2064291331 cites W1983773952 @default.
- W2064291331 cites W1990474964 @default.
- W2064291331 cites W2056414301 @default.
- W2064291331 cites W2060012383 @default.
- W2064291331 cites W2092608965 @default.
- W2064291331 cites W2096391838 @default.
- W2064291331 cites W2158365276 @default.
- W2064291331 cites W2530006810 @default.
- W2064291331 cites W2799147727 @default.
- W2064291331 doi "https://doi.org/10.1093/bjps/45.2.549" @default.
- W2064291331 hasPublicationYear "1994" @default.
- W2064291331 type Work @default.
- W2064291331 sameAs 2064291331 @default.
- W2064291331 citedByCount "3" @default.
- W2064291331 countsByYear W20642913312017 @default.
- W2064291331 crossrefType "journal-article" @default.
- W2064291331 hasAuthorship W2064291331A5066987549 @default.
- W2064291331 hasAuthorship W2064291331A5072693724 @default.
- W2064291331 hasConcept C111472728 @default.
- W2064291331 hasConcept C11413529 @default.
- W2064291331 hasConcept C120665830 @default.
- W2064291331 hasConcept C121332964 @default.
- W2064291331 hasConcept C138885662 @default.
- W2064291331 hasConcept C15744967 @default.
- W2064291331 hasConcept C168773036 @default.
- W2064291331 hasConcept C185592680 @default.
- W2064291331 hasConcept C188147891 @default.
- W2064291331 hasConcept C199343813 @default.
- W2064291331 hasConcept C2777686260 @default.
- W2064291331 hasConcept C2780841128 @default.
- W2064291331 hasConcept C41008148 @default.
- W2064291331 hasConcept C50335755 @default.
- W2064291331 hasConcept C55493867 @default.
- W2064291331 hasConcept C71924100 @default.
- W2064291331 hasConcept C80444323 @default.
- W2064291331 hasConcept C98184364 @default.
- W2064291331 hasConceptScore W2064291331C111472728 @default.
- W2064291331 hasConceptScore W2064291331C11413529 @default.
- W2064291331 hasConceptScore W2064291331C120665830 @default.
- W2064291331 hasConceptScore W2064291331C121332964 @default.
- W2064291331 hasConceptScore W2064291331C138885662 @default.
- W2064291331 hasConceptScore W2064291331C15744967 @default.
- W2064291331 hasConceptScore W2064291331C168773036 @default.
- W2064291331 hasConceptScore W2064291331C185592680 @default.
- W2064291331 hasConceptScore W2064291331C188147891 @default.
- W2064291331 hasConceptScore W2064291331C199343813 @default.
- W2064291331 hasConceptScore W2064291331C2777686260 @default.
- W2064291331 hasConceptScore W2064291331C2780841128 @default.
- W2064291331 hasConceptScore W2064291331C41008148 @default.
- W2064291331 hasConceptScore W2064291331C50335755 @default.
- W2064291331 hasConceptScore W2064291331C55493867 @default.
- W2064291331 hasConceptScore W2064291331C71924100 @default.
- W2064291331 hasConceptScore W2064291331C80444323 @default.
- W2064291331 hasConceptScore W2064291331C98184364 @default.
- W2064291331 hasIssue "2" @default.
- W2064291331 hasLocation W20642913311 @default.
- W2064291331 hasOpenAccess W2064291331 @default.
- W2064291331 hasPrimaryLocation W20642913311 @default.
- W2064291331 hasRelatedWork W1608791421 @default.
- W2064291331 hasRelatedWork W1988269287 @default.
- W2064291331 hasRelatedWork W2007493167 @default.
- W2064291331 hasRelatedWork W2084613192 @default.
- W2064291331 hasRelatedWork W2089855214 @default.
- W2064291331 hasRelatedWork W2738217184 @default.
- W2064291331 hasRelatedWork W2801716930 @default.
- W2064291331 hasRelatedWork W3022300629 @default.
- W2064291331 hasRelatedWork W3094546236 @default.
- W2064291331 hasRelatedWork W3176112869 @default.
- W2064291331 hasVolume "45" @default.
- W2064291331 isParatext "false" @default.
- W2064291331 isRetracted "false" @default.
- W2064291331 magId "2064291331" @default.
- W2064291331 workType "article" @default.