Switch to: References

Add citations

You must login to add citations.
  1. Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
    Two new notions of compactness, each classically equivalent to the standard classical one of sequential compactness, for apartness spaces are examined within Bishop-style constructive mathematics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.
    The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   31 citations