5
$\begingroup$

Provably total functions of an arithmetical theory is one of the tools used in proof theoretic analysis of theories.

I am looking for early history of its development. In particular,

Where was the first uses of this concept?
Who coined the term "provably total functions"?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
2
$\begingroup$

One of the references I would recommend is P. Odifreddi's Classical Recursion Theory Volume II. On Page 324-326, it contains many references about the development of provably total functions (if you are seeking for the development within the Peano Arithmetic).

Improve this answer
$\endgroup$
1
  • $\begingroup$ Thanks. I will have look but AFAIR it does talk about the development of this one. $\endgroup$
    – Kaveh
    Commented Jun 28, 2012 at 17:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .