Switch to: References

Add citations

You must login to add citations.
  1. And so on... : reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371-386.
    This paper presents examples of infinite diagrams whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a “pre” form of this thesis that every proof can be presented in everyday statements-only form.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  • And so on...: reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.
    This paper presents examples of infinite diagrams (as well as infinite limits of finite diagrams) whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a "pre" form of this thesis that every proof can be presented in everyday statements-only form.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
    Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 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).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • A decision procedure for linear “big o” equations.Jeremy Avigad - manuscript
    Let F be the set of functions from an infinite set, S, to an ordered ring, R.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Understanding, formal verification, and the philosophy of mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.
    The philosophy of mathematics has long been concerned with deter- mining the means that are appropriate for justifying claims of mathemat- ical 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 math- ematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The as- sociated values are often loosely classied as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations