Saving proof from paradox: Gödel’s paradox and the inconsistency of informal mathematics by Fenner Tanswell

“…By bringing in considerations from the philosophy of mathematical practice on informal proofs, I suggest that we should add to the two axes of completeness and consistency a third axis of formality and informality. …”
Get full text