Fenner Tanswell has recently had his paper ‘A Problem with the Dependence of Informal Proofs on Formal Proofs’ accepted for publication in Philosophia Mathematica. It can be accessed online here.
Fenner Tanswell has recently had his paper ‘A Problem with the Dependence of Informal Proofs on Formal Proofs’ accepted for publication in Philosophia Mathematica. It can be accessed online here.