Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Primitive_recursive_functional> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "413931850".
- Primitive_recursive_functional hasPhotoCollection Primitive_recursive_functional.
- Primitive_recursive_functional subject Category:Computability_theory.
- Primitive_recursive_functional subject Category:Proof_theory.
- Primitive_recursive_functional comment "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.".
- 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=413931850.
- Primitive_recursive_functional isPrimaryTopicOf Primitive_recursive_functional.