most recent 30 from http://mathoverflow.net 2013-05-25T12:43:44Z http://mathoverflow.net/feeds/question/100742 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100742/history-of-provably-total-functions-of-a-theory Kaveh 2012-06-27T04:14:56Z 2012-06-27T05:03:19Z

<p><em>Provably total functions</em> of an arithmetical theory is one of the tools used in proof theoretic analysis of theories. </p> <p>I am looking for early history of its development. In particular,</p> <blockquote> <p>Where was the first uses of this concept?<br> Who coined the term "provably total functions"?</p> </blockquote>

http://mathoverflow.net/questions/100742/history-of-provably-total-functions-of-a-theory/100743#100743 Zhang Jing 2012-06-27T05:03:19Z 2012-06-27T05:03:19Z

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