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 .
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 .