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 ...
I work at a four-year teaching school, where we pride ourselves on teaching pure math, proof, and a rather obsessive carefulness of work. Recently I have been criticized for saying that "Let $x \in ...
When I first heard of the existence of Gödel's theorem, I was amazed not just at the theorem but at the fact that the question could be made precise enough to answer: how on earth, even in ...