Primitive recursive functional
id:
primitive-recursive-functional-246-13059678
title:
Primitive recursive functional
text:
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
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Primitive_recursive_functional
date created:
date modified:
2023-02-01T02:07:10Z
main entity:
{"identifier":"Q7243582","url":"https://www.wikidata.org/entity/Q7243582"}
image:
fields total:
13
integrity:
13