Switch to: References

Add citations

You must login to add citations.
  1. Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.
    In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimen\-sional topology, namely the existence of what is now known as the Laver tables and the well-foundedness of the standard ordering of positive braids. Here we present these results and discuss the way they could be used in topological applications.
    Download  
     
    Export citation  
     
    Bookmark  
  • Naturalizing indispensability: a rejoinder to ‘The varieties of indispensability arguments’.Henri Galinon - 2016 - Synthese 193 (2).
    In ‘The varieties of indispensability arguments’ Marco Panza and Andrea Sereni argue that, for any clear notion of indispensability, either there is no conclusive argument for the thesis that mathematics is indispensable to science, or the notion of indispensability at hand does not support mathematical realism. In this paper, I shall not object to this main thesis directly. I shall instead try to assess in a naturalistic spirit a family of objections the authors make along the way to the use (...)
    Download  
     
    Export citation  
     
    Bookmark