Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079337360> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2079337360 endingPage "1252" @default.
- W2079337360 startingPage "1216" @default.
- W2079337360 abstract "This is the first of a sequence of papers in which we will develop a foundation for the theory of computation based on a precise, mathematical notion of abstract algorithm . To understand the aim of this program, one should keep in mind clearly the distinction between an algorithm and the object (typically a function) computed by that algorithm. The theory of computable functions (on the integers and on abstract structures) is obviously relevant to this work, but we will focus on making rigorous and identifying the mathematical properties of the finer (intensional) notion of algorithm. It is characteristic of this approach that we take recursion to be a fundamental (primitive) process for constructing algorithms, not a derived notion which must be reduced to others—e.g. iteration or application and abstraction, as in the classical λ -calculus. We will model algorithms by recursors , the set-theoretic objects one would naturally choose to represent (syntactically described) recursive definitions. Explicit and iterative algorithms are modelled by (appropriately degenerate) recursors. The main technical tool we will use is the formal language of recursion , FLR, a language of terms with two kinds of semantics: on each suitable structure, the denotation of a term t of FLR is a function, while the intension of t is a recursor (i.e. an algorithm) which computes the denotation of t . FLR is meant to be intensionally complete , in the sense that every (intuitively understood) “algorithm” should “be” (faithfully modelled, in all its essential properties by) the intension of some term of FLR on a suitably chosen structure." @default.
- W2079337360 created "2016-06-24" @default.
- W2079337360 creator A5034599885 @default.
- W2079337360 date "1989-12-01" @default.
- W2079337360 modified "2023-10-01" @default.
- W2079337360 title "The formal language of recursion" @default.
- W2079337360 cites W142297547 @default.
- W2079337360 cites W1559788204 @default.
- W2079337360 cites W1572219859 @default.
- W2079337360 cites W2045255985 @default.
- W2079337360 cites W2137865376 @default.
- W2079337360 doi "https://doi.org/10.1017/s0022481200041086" @default.
- W2079337360 hasPublicationYear "1989" @default.
- W2079337360 type Work @default.
- W2079337360 sameAs 2079337360 @default.
- W2079337360 citedByCount "48" @default.
- W2079337360 countsByYear W20793373602013 @default.
- W2079337360 countsByYear W20793373602014 @default.
- W2079337360 countsByYear W20793373602015 @default.
- W2079337360 countsByYear W20793373602017 @default.
- W2079337360 countsByYear W20793373602018 @default.
- W2079337360 countsByYear W20793373602019 @default.
- W2079337360 countsByYear W20793373602020 @default.
- W2079337360 countsByYear W20793373602022 @default.
- W2079337360 countsByYear W20793373602023 @default.
- W2079337360 crossrefType "journal-article" @default.
- W2079337360 hasAuthorship W2079337360A5034599885 @default.
- W2079337360 hasConcept C111472728 @default.
- W2079337360 hasConcept C11413529 @default.
- W2079337360 hasConcept C124304363 @default.
- W2079337360 hasConcept C124416688 @default.
- W2079337360 hasConcept C138885662 @default.
- W2079337360 hasConcept C139997677 @default.
- W2079337360 hasConcept C14036430 @default.
- W2079337360 hasConcept C149106765 @default.
- W2079337360 hasConcept C168773036 @default.
- W2079337360 hasConcept C177264268 @default.
- W2079337360 hasConcept C199360897 @default.
- W2079337360 hasConcept C33923547 @default.
- W2079337360 hasConcept C41008148 @default.
- W2079337360 hasConcept C41895202 @default.
- W2079337360 hasConcept C61341680 @default.
- W2079337360 hasConcept C78458016 @default.
- W2079337360 hasConcept C80444323 @default.
- W2079337360 hasConcept C86803240 @default.
- W2079337360 hasConcept C9986523 @default.
- W2079337360 hasConceptScore W2079337360C111472728 @default.
- W2079337360 hasConceptScore W2079337360C11413529 @default.
- W2079337360 hasConceptScore W2079337360C124304363 @default.
- W2079337360 hasConceptScore W2079337360C124416688 @default.
- W2079337360 hasConceptScore W2079337360C138885662 @default.
- W2079337360 hasConceptScore W2079337360C139997677 @default.
- W2079337360 hasConceptScore W2079337360C14036430 @default.
- W2079337360 hasConceptScore W2079337360C149106765 @default.
- W2079337360 hasConceptScore W2079337360C168773036 @default.
- W2079337360 hasConceptScore W2079337360C177264268 @default.
- W2079337360 hasConceptScore W2079337360C199360897 @default.
- W2079337360 hasConceptScore W2079337360C33923547 @default.
- W2079337360 hasConceptScore W2079337360C41008148 @default.
- W2079337360 hasConceptScore W2079337360C41895202 @default.
- W2079337360 hasConceptScore W2079337360C61341680 @default.
- W2079337360 hasConceptScore W2079337360C78458016 @default.
- W2079337360 hasConceptScore W2079337360C80444323 @default.
- W2079337360 hasConceptScore W2079337360C86803240 @default.
- W2079337360 hasConceptScore W2079337360C9986523 @default.
- W2079337360 hasIssue "4" @default.
- W2079337360 hasLocation W20793373601 @default.
- W2079337360 hasOpenAccess W2079337360 @default.
- W2079337360 hasPrimaryLocation W20793373601 @default.
- W2079337360 hasRelatedWork W156699415 @default.
- W2079337360 hasRelatedWork W1974563848 @default.
- W2079337360 hasRelatedWork W1996792588 @default.
- W2079337360 hasRelatedWork W2079337360 @default.
- W2079337360 hasRelatedWork W2584778959 @default.
- W2079337360 hasRelatedWork W2889686073 @default.
- W2079337360 hasRelatedWork W2948422902 @default.
- W2079337360 hasRelatedWork W3160136729 @default.
- W2079337360 hasRelatedWork W3161385807 @default.
- W2079337360 hasRelatedWork W4240626053 @default.
- W2079337360 hasVolume "54" @default.
- W2079337360 isParatext "false" @default.
- W2079337360 isRetracted "false" @default.
- W2079337360 magId "2079337360" @default.
- W2079337360 workType "article" @default.