Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539879794> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1539879794 endingPage "36" @default.
- W1539879794 startingPage "3" @default.
- W1539879794 abstract "The subject of computability theory was accidentally named “recursive function theory” or simply “recursion theory” in the 1930s but has recently acquired the more descriptive name of “computability theory,” which is also historically more accurate based on the work of Godel and Turing, the inventors of the two concepts. This chapter examines the meaning, origin, and history of the concepts “recursive” and “computable” with an eye toward reexamining how they are used in practice. The ultimate aim is to ask what the subject is really about— whether it is about computability, recursions, definability, or something else. The chapter considers the Church–Turing thesis that the intuitively computable functions coincide with the formally computable ones and considers using the thesis as a definition. It traces the historical development of certain parts of the subject after the 1930s and shows how the present practices are adopted. General English usage is also discussed in the chapter." @default.
- W1539879794 created "2016-06-24" @default.
- W1539879794 creator A5023422267 @default.
- W1539879794 date "1999-01-01" @default.
- W1539879794 modified "2023-09-25" @default.
- W1539879794 title "The History and Concept of Computability" @default.
- W1539879794 cites W114225339 @default.
- W1539879794 cites W140701301 @default.
- W1539879794 cites W1485161910 @default.
- W1539879794 cites W1525064220 @default.
- W1539879794 cites W1563213401 @default.
- W1539879794 cites W1964062928 @default.
- W1539879794 cites W1967629533 @default.
- W1539879794 cites W1972347230 @default.
- W1539879794 cites W1984492016 @default.
- W1539879794 cites W1996932891 @default.
- W1539879794 cites W1999479735 @default.
- W1539879794 cites W2001771035 @default.
- W1539879794 cites W2002942454 @default.
- W1539879794 cites W2004459113 @default.
- W1539879794 cites W2013146192 @default.
- W1539879794 cites W2014540725 @default.
- W1539879794 cites W2023778211 @default.
- W1539879794 cites W2036869460 @default.
- W1539879794 cites W2038960886 @default.
- W1539879794 cites W2040094858 @default.
- W1539879794 cites W2045033949 @default.
- W1539879794 cites W2060878518 @default.
- W1539879794 cites W2064811181 @default.
- W1539879794 cites W2070909821 @default.
- W1539879794 cites W2080280205 @default.
- W1539879794 cites W2081416038 @default.
- W1539879794 cites W2085869400 @default.
- W1539879794 cites W2087443598 @default.
- W1539879794 cites W2132161762 @default.
- W1539879794 cites W2168058676 @default.
- W1539879794 cites W2315610131 @default.
- W1539879794 cites W2320296823 @default.
- W1539879794 cites W2323777246 @default.
- W1539879794 cites W2326418800 @default.
- W1539879794 cites W2329928786 @default.
- W1539879794 cites W2330723555 @default.
- W1539879794 cites W4234903568 @default.
- W1539879794 cites W4244319301 @default.
- W1539879794 cites W4247319632 @default.
- W1539879794 cites W4256369010 @default.
- W1539879794 cites W4291166496 @default.
- W1539879794 cites W850599559 @default.
- W1539879794 doi "https://doi.org/10.1016/s0049-237x(99)80017-2" @default.
- W1539879794 hasPublicationYear "1999" @default.
- W1539879794 type Work @default.
- W1539879794 sameAs 1539879794 @default.
- W1539879794 citedByCount "25" @default.
- W1539879794 countsByYear W15398797942014 @default.
- W1539879794 countsByYear W15398797942015 @default.
- W1539879794 countsByYear W15398797942016 @default.
- W1539879794 countsByYear W15398797942018 @default.
- W1539879794 countsByYear W15398797942019 @default.
- W1539879794 countsByYear W15398797942022 @default.
- W1539879794 crossrefType "book-chapter" @default.
- W1539879794 hasAuthorship W1539879794A5023422267 @default.
- W1539879794 hasConcept C152062344 @default.
- W1539879794 hasConcept C199343813 @default.
- W1539879794 hasConcept C2777686260 @default.
- W1539879794 hasConcept C33923547 @default.
- W1539879794 hasConcept C41008148 @default.
- W1539879794 hasConcept C71924100 @default.
- W1539879794 hasConcept C80444323 @default.
- W1539879794 hasConceptScore W1539879794C152062344 @default.
- W1539879794 hasConceptScore W1539879794C199343813 @default.
- W1539879794 hasConceptScore W1539879794C2777686260 @default.
- W1539879794 hasConceptScore W1539879794C33923547 @default.
- W1539879794 hasConceptScore W1539879794C41008148 @default.
- W1539879794 hasConceptScore W1539879794C71924100 @default.
- W1539879794 hasConceptScore W1539879794C80444323 @default.
- W1539879794 hasLocation W15398797941 @default.
- W1539879794 hasOpenAccess W1539879794 @default.
- W1539879794 hasPrimaryLocation W15398797941 @default.
- W1539879794 hasRelatedWork W1899927323 @default.
- W1539879794 hasRelatedWork W2043151788 @default.
- W1539879794 hasRelatedWork W2063488590 @default.
- W1539879794 hasRelatedWork W2071793875 @default.
- W1539879794 hasRelatedWork W2314051058 @default.
- W1539879794 hasRelatedWork W2953133541 @default.
- W1539879794 hasRelatedWork W4230623537 @default.
- W1539879794 hasRelatedWork W4230638242 @default.
- W1539879794 hasRelatedWork W4246661265 @default.
- W1539879794 hasRelatedWork W4250879966 @default.
- W1539879794 isParatext "false" @default.
- W1539879794 isRetracted "false" @default.
- W1539879794 magId "1539879794" @default.
- W1539879794 workType "book-chapter" @default.