Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kleenes_recursion_theorem> ?p ?o }
Showing triples 1 to 70 of
70
with 100 triples per page.
- Kleenes_recursion_theorem abstract "In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938 and appear in his 1952 book Introduction to Metamathematics.The two recursion theorems can be applied to construct fixed points of certain operations on computable functions, to generate quines, and to construct functions defined via recursive definitions. The applicationto construction of a fixed point of any computable function is known as Rogers' theorem and is due to Hartley Rogers, Jr. (Rogers, 1967).".
- Kleenes_recursion_theorem wikiPageExternalLink Kleene%20-%20Ordinals.pdf.
- Kleenes_recursion_theorem wikiPageID "155407".
- Kleenes_recursion_theorem wikiPageLength "16934".
- Kleenes_recursion_theorem wikiPageOutDegree "41".
- Kleenes_recursion_theorem wikiPageRevisionID "680771807".
- Kleenes_recursion_theorem wikiPageWikiLink Admissible_numbering.
- Kleenes_recursion_theorem wikiPageWikiLink Anatoly_Maltsev.
- Kleenes_recursion_theorem wikiPageWikiLink Category:Computability_theory.
- Kleenes_recursion_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Kleenes_recursion_theorem wikiPageWikiLink Complete_numbering.
- Kleenes_recursion_theorem wikiPageWikiLink Computability_theory.
- Kleenes_recursion_theorem wikiPageWikiLink Computable_function.
- Kleenes_recursion_theorem wikiPageWikiLink Denotational_semantics.
- Kleenes_recursion_theorem wikiPageWikiLink Enumeration_reducibility.
- Kleenes_recursion_theorem wikiPageWikiLink Factorial.
- Kleenes_recursion_theorem wikiPageWikiLink Fixed-point_combinator.
- Kleenes_recursion_theorem wikiPageWikiLink Fixed_point_(mathematics).
- Kleenes_recursion_theorem wikiPageWikiLink Gödel_numbering.
- Kleenes_recursion_theorem wikiPageWikiLink Halting_problem.
- Kleenes_recursion_theorem wikiPageWikiLink Hartley_Rogers,_Jr..
- Kleenes_recursion_theorem wikiPageWikiLink Journal_of_Symbolic_Logic.
- Kleenes_recursion_theorem wikiPageWikiLink Kleene_fixed-point_theorem.
- Kleenes_recursion_theorem wikiPageWikiLink Lambda_calculus.
- Kleenes_recursion_theorem wikiPageWikiLink Lisp_(programming_language).
- Kleenes_recursion_theorem wikiPageWikiLink Order_theory.
- Kleenes_recursion_theorem wikiPageWikiLink Piergiorgio_Odifreddi.
- Kleenes_recursion_theorem wikiPageWikiLink Quine_(computing).
- Kleenes_recursion_theorem wikiPageWikiLink Recursive_definition.
- Kleenes_recursion_theorem wikiPageWikiLink Recursively_enumerable_set.
- Kleenes_recursion_theorem wikiPageWikiLink Reflection_(computer_programming).
- Kleenes_recursion_theorem wikiPageWikiLink Regular_language.
- Kleenes_recursion_theorem wikiPageWikiLink Smn_theorem.
- Kleenes_recursion_theorem wikiPageWikiLink Stephen_Cole_Kleene.
- Kleenes_recursion_theorem wikiPageWikiLink Turing_degree.
- Kleenes_recursion_theorem wikiPageWikiLink Turing_machine.
- Kleenes_recursion_theorem wikiPageWikiLink Μ-recursive_function.
- Kleenes_recursion_theorem wikiPageWikiLinkText "A corollary".
- Kleenes_recursion_theorem wikiPageWikiLinkText "Kleene Recursion Equations".
- Kleenes_recursion_theorem wikiPageWikiLinkText "Kleene's recursion theorem".
- Kleenes_recursion_theorem wikiPageWikiLinkText "Kleene's_recursion_theorem#The_first_recursion_theorem".
- Kleenes_recursion_theorem wikiPageWikiLinkText "diagonally non-recursive".
- Kleenes_recursion_theorem wikiPageUsesTemplate Template:Citation_needed.
- Kleenes_recursion_theorem wikiPageUsesTemplate Template:Cite_journal.
- Kleenes_recursion_theorem wikiPageUsesTemplate Template:Distinguish2.
- Kleenes_recursion_theorem wikiPageUsesTemplate Template:Reflist.
- Kleenes_recursion_theorem wikiPageUsesTemplate Template:SEP.
- Kleenes_recursion_theorem subject Category:Computability_theory.
- Kleenes_recursion_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kleenes_recursion_theorem hypernym Pair.
- Kleenes_recursion_theorem type Place.
- Kleenes_recursion_theorem type Redirect.
- Kleenes_recursion_theorem type Theorem.
- Kleenes_recursion_theorem type Thing.
- Kleenes_recursion_theorem comment "In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938 and appear in his 1952 book Introduction to Metamathematics.The two recursion theorems can be applied to construct fixed points of certain operations on computable functions, to generate quines, and to construct functions defined via recursive definitions.".
- Kleenes_recursion_theorem label "Kleene's recursion theorem".
- Kleenes_recursion_theorem differentFrom Regular_language.
- Kleenes_recursion_theorem sameAs Q1933521.
- Kleenes_recursion_theorem sameAs Rekursionssatz.
- Kleenes_recursion_theorem sameAs Théorème_de_récursion_de_Kleene.
- Kleenes_recursion_theorem sameAs משפט_הרקורסיה.
- Kleenes_recursion_theorem sameAs Teorema_di_ricorsione_di_Kleene.
- Kleenes_recursion_theorem sameAs クリーネの再帰定理.
- Kleenes_recursion_theorem sameAs Theoremata_Kleene_de_puncto_immobili.
- Kleenes_recursion_theorem sameAs Teorema_da_recursividade_de_Kleene.
- Kleenes_recursion_theorem sameAs m.014c24.
- Kleenes_recursion_theorem sameAs ทฤษฎีบทเวียนบังเกิดของคลีน.
- Kleenes_recursion_theorem sameAs Q1933521.
- Kleenes_recursion_theorem wasDerivedFrom Kleenes_recursion_theorem?oldid=680771807.
- Kleenes_recursion_theorem isPrimaryTopicOf Kleenes_recursion_theorem.