Switch to: Citations

Add references

You must login to add references.
  1. Some Proposals for Reviving the Philosophy of Mathematics.Reuben Hersh - 1983 - Journal of Symbolic Logic 48 (3):871-872.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Ideas and Opinions.Albert Einstein, Carl Seelig & Sonja Bargmann - 1985 - Three Rivers Press.
    From one of the world's most important and enduring minds, Albert Einstein's ideas, thoughts, and philosophies on the world and its people. Copyright © Libri GmbH. All rights reserved.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Download  
     
    Export citation  
     
    Bookmark   188 citations  
  • The unreasonable effectiveness of mathematics in the natural sciences.Eugene Wigner - 1960 - Communications in Pure and Applied Mathematics 13:1-14.
    Download  
     
    Export citation  
     
    Bookmark   289 citations  
  • Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings.Akihiro Kanamori - 1994 - Springer.
    This is the softcover reprint of the very popular hardcover edition. The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and possible new axioms for mathematics. The first of a projected multi-volume series, this book provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Logic and Information.Keith Devlin - 1991 - Cambridge University Press.
    Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and ...
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Axioms of symmetry: Throwing darts at the real number line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.
    We will give a simple philosophical "proof" of the negation of Cantor's continuum hypothesis (CH). (A formal proof for or against CH from the axioms of ZFC is impossible; see Cohen [1].) We will assume the axioms of ZFC together with intuitively clear axioms which are based on some intuition of Stuart Davidson and an old theorem of Sierpinski and are justified by the symmetry in a thought experiment throwing darts at the real number line. We will in fact show (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Intuitionism and Formalism.L. E. J. Brouwer - 1913 - Bulletin of the American Mathematical Society 20:81-96.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Undecidable Problems of Elementary Number Theory.John G. Kemeny - 1958 - Journal of Symbolic Logic 23 (3):359-360.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)An essay on the psychology of invention in the mathematical field.Jacques Hadamard - 1949 - [New York]: Dover Publications.
    We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Historia Mathematica.[author unknown] - 1973 - Journal of Symbolic Logic 38 (4):670-670.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Alfred Tarski. Life and Logic.Anita Burdman Feferman Y. Salomón Feferman - 2006 - Critica 38 (112):105-111.
    Download  
     
    Export citation  
     
    Bookmark   19 citations