A Problem with the Dependence of Informal Proofs on Formal Proofs

Fenner Tanswell

Research output: Contribution to journal › Article › peer-review

54 Citations (Scopus)

Access to Document

@article{e1fa32d821154ae797f40ad8cda8c8ff,

title = "A Problem with the Dependence of Informal Proofs on Formal Proofs",

author = "Fenner Tanswell",

year = "2015",

doi = "10.1093/philmat/nkv008",

language = "English",

volume = "23",

pages = "295--310",

journal = "Philosophia Mathematica",

issn = "0031-8019",

publisher = "Oxford University Press",

}