Welcome to MathOverflow

Question

3

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"?

flag	asked Jun 27 at 4:14 Kaveh 2,187●5●24

Zhang Jing · Answer 1 · 2012-06-27 05:03:19Z UTC

1

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).

answered Jun 27 at 5:03

Zhang Jing
309●1●1●6

Thanks. I will have look but AFAIR it does talk about the development of this one. – Kaveh Jun 28 at 17:00

History of provably total functions of a theory

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Your Answer

Not the answer you're looking for? Browse other questions tagged lo.logic proof-theory ho.history-overview reference-request or ask your own question.

Welcome to MathOverflow

How to write math

History of provably total functions of a theory

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.