Switch to: References

Add citations

You must login to add citations.
  1. Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.
    Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Intuitionistic mathematics and Wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
    The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the foundations of mathematics. The intuitionistic themes to analyse in his philosophy of mathematics are: firstly, his attacks on the unrestricted use of the Law of Excluded Middle; secondly, his distrust (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Die signififchen Grundlagen der Mathematik.Gerrit Mannoury - 1934 - Erkenntnis 4 (1):317-345.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Die signififchen Grundlagen der Mathematik.Gerrit Monoury - 1934 - Erkenntnis 4 (1):317-345.
    Download  
     
    Export citation  
     
    Bookmark