Switch to: References

Add citations

You must login to add citations.
  1. Hilbert and the internal logic of mathematics.Yvon Gauthier - 1994 - Synthese 101 (1):1 - 14.
    Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.While finitism stays within the bounds of intuitive finite arithmetic, metamathematics goes beyond in the hope of recovering classical logic. The leap into the transfinite proved to be hazardous, not only from the perspective of Gödel's results, but also from a Kroneckerian point of view.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • De la logique à l’arithmétique. Pourquoi des logiques et des mathématiques constructivistes?Yvon Gauthier - 2018 - Dialogue 57 (1):1-28.
    In this article, I wish to discuss in an informal way the motivations and the motifs of the constructivist approach to logic and mathematics and by a natural extension to the general field of science, particularly theoretical physics. Foundational questions in those domains are not ruled by philosophical principles, but a critical philosophy of foundations could be the leitmotiv to the extent that it can be used as a criterion to decide between the theoretical options of scientific practices that are (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark