12 found
Order:
  1.  34
    Philosophies of Mathematics.Alexander George & Daniel J. Velleman - 2001 - Blackwell.
    This book provides an accessible, critical introduction to these three projects as it describes and investigates both their philosophical and their mathematical ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  39
    How to Prove It: A Structured Approach.Daniel J. Velleman - 2006 - Cambridge University Press.
    Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  17
    Morasses, Diamond, and Forcing.Daniel J. Velleman - 1982 - Annals of Mathematical Logic 23 (2):199.
  4.  16
    Review of Levin's ”Putnam on Reference and Constructible Sets' (1997). [REVIEW]Daniel J. Velleman - 1998 - MATHEMATICAL REVIEWS 98:1364.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  5.  79
    Two Conceptions of Natural Number.Alexander George & Daniel J. Velleman - 1998 - In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. pp. 311.
  6.  44
    Constructivism Liberalized.Daniel J. Velleman - 1993 - Philosophical Review 102 (1):59-84.
  7.  25
    The Mean Value Theorem in Second Order Arithmetic.Christopher S. Hardin & Daniel J. Velleman - 2001 - Journal of Symbolic Logic 66 (3):1353-1358.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  41
    Leveling the Playing Field Between Mind and Machine: A Reply to McCall.Alexander George & Daniel J. Velleman - 2000 - Journal of Philosophy 97 (8):456.
  9.  36
    Leveling the Playing Field Between Mind and Machine: A Reply to McCall.Alexander George & Daniel J. Velleman - 2000 - Journal of Philosophy 97 (8):456-452.
  10. Philosophies of Mathematics.Alexander George & Daniel J. Velleman - 2004 - Philosophical Quarterly 54 (214):194-196.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  11.  3
    Zur Philosophie der Mathematik: Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze.Alexander George & Daniel J. Velleman - 2018 - Springer Berlin Heidelberg.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  28
    Variable Declarations in Natural Deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
    We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. Although most natural deduction systems in use today do not have variable declarations, the idea can be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark