Switch to: References

Citations of:

The Seventeen Provers of the World

Springer (2006)

Add citations

You must login to add citations.
  1. Computers in mathematical inquiry.Jeremy Avigad - manuscript
    In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: some (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Understanding proofs.Jeremy Avigad - manuscript
    “Now, in calm weather, to swim in the open ocean is as easy to the practised swimmer as to ride in a spring-carriage ashore. But the awful lonesomeness is intolerable. The intense concentration of self in the middle of such a heartless immensity, my God! who can tell it? Mark, how when sailors in a dead calm bathe in the open sea—mark how closely they hug their ship and only coast along her sides.” (Herman Melville, Moby Dick, Chapter 94).
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.
    Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations