Email Record: Recursive Functions and Metamathematics :