Some Applications of Recursive Functionals to the Foundations of Mathematics and Physics