Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Primitive_recursive_functional> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Primitive_recursive_functional abstract "In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory. They consist of a collection of functions in all pure finite types.The primitive recursive functionals are important in proof theory and constructive mathematics They are a central part of the Dialectica interpretation of intuitionistic arithmetic developed by Kurt Gödel.In recursion theory, the primitive recursive functionals are an example of higher-type computability, as primitive recursive functions are examples of Turing computability.".
- Primitive_recursive_functional wikiPageExternalLink dialectica.pdf.
- Primitive_recursive_functional wikiPageID "22833082".
- Primitive_recursive_functional wikiPageLength "3333".
- Primitive_recursive_functional wikiPageOutDegree "11".
- Primitive_recursive_functional wikiPageRevisionID "607160223".
- Primitive_recursive_functional wikiPageWikiLink Category:Computability_theory.
- Primitive_recursive_functional wikiPageWikiLink Category:Proof_theory.
- Primitive_recursive_functional wikiPageWikiLink Computability_theory.
- Primitive_recursive_functional wikiPageWikiLink Constructive_mathematics.
- Primitive_recursive_functional wikiPageWikiLink Constructivism_(mathematics).
- Primitive_recursive_functional wikiPageWikiLink Currying.
- Primitive_recursive_functional wikiPageWikiLink Dialectica_interpretation.
- Primitive_recursive_functional wikiPageWikiLink Kurt_Gödel.
- Primitive_recursive_functional wikiPageWikiLink Mathematical_logic.
- Primitive_recursive_functional wikiPageWikiLink Primitive_recursive_function.
- Primitive_recursive_functional wikiPageWikiLink Primitive_recursive_functions.
- Primitive_recursive_functional wikiPageWikiLink Proof_theory.
- Primitive_recursive_functional wikiPageWikiLink Recursion_theory.
- Primitive_recursive_functional wikiPageWikiLink Type_theory.
- Primitive_recursive_functional wikiPageWikiLinkText "Primitive recursive functional".
- Primitive_recursive_functional wikiPageWikiLinkText "primitive recursive functional".
- Primitive_recursive_functional hasPhotoCollection Primitive_recursive_functional.
- Primitive_recursive_functional wikiPageUsesTemplate Template:Cite_book.
- Primitive_recursive_functional subject Category:Computability_theory.
- Primitive_recursive_functional subject Category:Proof_theory.
- Primitive_recursive_functional hypernym Generalization.
- Primitive_recursive_functional type Proof.
- Primitive_recursive_functional comment "In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory.".
- Primitive_recursive_functional label "Primitive recursive functional".
- Primitive_recursive_functional sameAs m.06422sp.
- Primitive_recursive_functional sameAs Q7243582.
- Primitive_recursive_functional sameAs Q7243582.
- Primitive_recursive_functional wasDerivedFrom Primitive_recursive_functional?oldid=607160223.
- Primitive_recursive_functional isPrimaryTopicOf Primitive_recursive_functional.