Now showing items 1-1 of 1

    • Proof, rigour and informality : a virtue account of mathematical knowledge 

      Tanswell, Fenner Stanley (University of St Andrews, 2017-06-22) - Thesis
      This thesis is about the nature of proofs in mathematics as it is practiced, contrasting the informal proofs found in practice with formal proofs in formal systems. In the first chapter I present a new argument against the ...