Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948003177> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2948003177 abstract "In connection with his so-called incompleteness theorem Godel discovered the beta-function. The beta-function theorem is important for the representation of recursive functions in the concrete calcule ALPHA of Robinson arithmetic. The other features are composition and minimization of primitive recursive functions. Recursive functions are no part of Robinson arithmetic, but they are representable by certain formulae. The author has developed an approach to logics that comprises, but goes beyond predicate logic. The FUME method contains two tiers of precise languages: object-language Funcish and metalanguage Mencish. It allows for a very wide application in mathematics from recursion theory and axiomatic set theory with first-order logic, to higher-order logic theory of real numbers and so on. The concrete calcule LAMBDA of a natural number arithmetic with first-order logic has been defined by the author. It includes straight recursion and composition of functions, it contains a wide range of so-called compinitive functions, with processive functions far beyond primitive recursive functions. They include e.g. Ackermann's function and similar constructions. All recursive functions (that are obtained by minimization too) can be represented in LAMBDA . As long as there is no proof that all processive functions are minimitive recursive (recursive but not primitive recursive) one has the problem of representing them in concrete calcule ALPHA of Robinson arithmetic. As long as the challenge of such a proof is not met there is the conjecture that there are calculative functions that are not representable in Robinson arithmetic. An abstract calcule alphakappa of Robinson-Crusoe arithmetic shows that there exists an even weaker adequate arithmetic than Robinson's." @default.
- W2948003177 created "2019-06-07" @default.
- W2948003177 creator A5060193262 @default.
- W2948003177 date "2019-05-01" @default.
- W2948003177 modified "2023-09-26" @default.
- W2948003177 title "Representation of Processive Functions in Robinson Arithmetic" @default.
- W2948003177 hasPublicationYear "2019" @default.
- W2948003177 type Work @default.
- W2948003177 sameAs 2948003177 @default.
- W2948003177 citedByCount "0" @default.
- W2948003177 crossrefType "posted-content" @default.
- W2948003177 hasAuthorship W2948003177A5060193262 @default.
- W2948003177 hasConcept C112343008 @default.
- W2948003177 hasConcept C11413529 @default.
- W2948003177 hasConcept C118615104 @default.
- W2948003177 hasConcept C136119220 @default.
- W2948003177 hasConcept C14036430 @default.
- W2948003177 hasConcept C168773036 @default.
- W2948003177 hasConcept C182359184 @default.
- W2948003177 hasConcept C202444582 @default.
- W2948003177 hasConcept C2982939207 @default.
- W2948003177 hasConcept C33923547 @default.
- W2948003177 hasConcept C78458016 @default.
- W2948003177 hasConcept C85955891 @default.
- W2948003177 hasConcept C86803240 @default.
- W2948003177 hasConcept C94375191 @default.
- W2948003177 hasConcept C9986523 @default.
- W2948003177 hasConceptScore W2948003177C112343008 @default.
- W2948003177 hasConceptScore W2948003177C11413529 @default.
- W2948003177 hasConceptScore W2948003177C118615104 @default.
- W2948003177 hasConceptScore W2948003177C136119220 @default.
- W2948003177 hasConceptScore W2948003177C14036430 @default.
- W2948003177 hasConceptScore W2948003177C168773036 @default.
- W2948003177 hasConceptScore W2948003177C182359184 @default.
- W2948003177 hasConceptScore W2948003177C202444582 @default.
- W2948003177 hasConceptScore W2948003177C2982939207 @default.
- W2948003177 hasConceptScore W2948003177C33923547 @default.
- W2948003177 hasConceptScore W2948003177C78458016 @default.
- W2948003177 hasConceptScore W2948003177C85955891 @default.
- W2948003177 hasConceptScore W2948003177C86803240 @default.
- W2948003177 hasConceptScore W2948003177C94375191 @default.
- W2948003177 hasConceptScore W2948003177C9986523 @default.
- W2948003177 hasLocation W29480031771 @default.
- W2948003177 hasOpenAccess W2948003177 @default.
- W2948003177 hasPrimaryLocation W29480031771 @default.
- W2948003177 hasRelatedWork W1503390214 @default.
- W2948003177 hasRelatedWork W1557128099 @default.
- W2948003177 hasRelatedWork W1591077963 @default.
- W2948003177 hasRelatedWork W1791245746 @default.
- W2948003177 hasRelatedWork W1966401749 @default.
- W2948003177 hasRelatedWork W2013581980 @default.
- W2948003177 hasRelatedWork W2058369812 @default.
- W2948003177 hasRelatedWork W2069629420 @default.
- W2948003177 hasRelatedWork W2071312301 @default.
- W2948003177 hasRelatedWork W2077420900 @default.
- W2948003177 hasRelatedWork W2097311580 @default.
- W2948003177 hasRelatedWork W2103838550 @default.
- W2948003177 hasRelatedWork W2132936533 @default.
- W2948003177 hasRelatedWork W2187370276 @default.
- W2948003177 hasRelatedWork W2412867229 @default.
- W2948003177 hasRelatedWork W2943755752 @default.
- W2948003177 hasRelatedWork W3185664553 @default.
- W2948003177 hasRelatedWork W3199216053 @default.
- W2948003177 hasRelatedWork W581366513 @default.
- W2948003177 hasRelatedWork W9785351 @default.
- W2948003177 isParatext "false" @default.
- W2948003177 isRetracted "false" @default.
- W2948003177 magId "2948003177" @default.
- W2948003177 workType "article" @default.