Understanding , formal verification , and the philosophy of mathematics ∗ Jeremy Avigad

Abstract

The philosophy of mathematics has long been concerned with determining the means that are appropriate for justifying claims of mathematical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary mathematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The associated values are often loosely classified as aspects of “mathematical

Extracted Key Phrases

Cite this paper

@inproceedings{Avigad2010UnderstandingF, title={Understanding , formal verification , and the philosophy of mathematics ∗ Jeremy Avigad}, author={Jeremy Avigad}, year={2010} }