Primitive recursive arithmetic
id:
primitive-recursive-arithmetic-248-7620678
title:
Primitive recursive arithmetic
text:
Primitive recursive arithmetic (PRA) is a quantifier-free formalization of the natural numbers. It was first proposed by Norwegian mathematician Skolem (1923), as a formalization of his finitistic conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitistic. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε0, which is the proof-theoretic o
brand slug:
wiki
category slug:
encyclopedia
description:
Formalization of the natural numbers
original url:
https://en.wikipedia.org/wiki/Primitive_recursive_arithmetic
date created:
date modified:
2024-02-21T12:53:22Z
main entity:
{"identifier":"Q7243580","url":"https://www.wikidata.org/entity/Q7243580"}
image:
fields total:
13
integrity:
14