Can the works of Penelope Maddy ("Believing the Axioms", I and II), Georg Kreisel (his papers on "Informal Rigour"), and Benjamin Rin's paper "Transfinite recursion and the iterative concept of set" (to name just a few), be said to have not elucidated, or clarified mathematical concepts, proofs, or constructions in a way that was useful to research mathematicians?
↧
