Order:
Disambiguations
Dirk Van Dalen [5]Dirk Dalen [4]D. Dalen [3]D. Von Dalen [2]
D. Van Dalen [1]Deobold B. Van Dalen [1]
  1.  24
    Introduction to Mathematical Logic.Dirk van Dalen - 1964 - Journal of Symbolic Logic 34 (1):110-111.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  2.  27
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum.Mark Atten, Dirk Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
    Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  11
    How Connected is the Intuitionistic Continuum?Dirk Van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147 - 1150.
  4.  17
    Brouwer: The Genesis of his Intuitionism.Dirk Dalen - 1978 - Dialectica 32 (3‐4):291-303.
  5.  25
    Four letters from Edmund Husserl to Hermann Weyl.D. Dalen - 1984 - Husserl Studies 1 (1):1-12.
  6.  25
    Arguments for the Continuity Principle.Mark Van Atten & Dirk Van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329 - 347.
    There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be dated fairly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  17
    Understanding Educational Research: An Introduction.B. C. Bloomfield & Deobold B. Van Dalen - 1967 - British Journal of Educational Studies 15 (2):217.
  8. Name Index* j&?L. Couturat, C. W. Curtis, D. Von Dalen, G. Deleuze, G. Desargues, J. L. Destouches, J. Dieudonne, P. Dugac, M. Dummett & W. G. Dwyer - 2006 - In José Ferreirós Domínguez & Jeremy Gray (eds.), The Architecture of Modern Mathematics: Essays in History and Philosophy. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  9. Curtis, C. VV. 255.D. Von Dalen, M. Dehn, G. Deleuze, G. Desargues, M. Detlefsen, P. G. L. Dirichlet, P. Dugac, M. Dummett, W. G. Dwyer & M. Eckehardt - 2006 - In José Ferreirós Domínguez & Jeremy Gray (eds.), The Architecture of Modern Mathematics: Essays in History and Philosophy. Oxford University Press.
     
    Export citation  
     
    Bookmark  
  10.  31
    Glueing of analysis models in an intuitionistic setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
    Beth models of analysis are used in model theoretic proofs of the disjunction and (numerical) existence property. By glueing strings of models one obtains a model that combines the properties of the given models. The method asks for a common generalization of Kripke and Beth models. The proof is carried out in intuitionistic analysis plus Markov's Principle. The main new feature is the external use of intuitionistic principles to prove their own preservation under glueing.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. REVIEWS-Mystic, geometer, and intuitionist.D. Van Dalen & Jan von Plato - 2001 - Bulletin of Symbolic Logic 7 (1):62-64.
  12.  29
    Variants of Rescher's semantics for preference logic and some completeness theorems.Dirk Dalen - 1974 - Studia Logica 33 (2):163 - 181.
  13.  1
    Filosofische grondslagen van de wiskunde.Dirk Dalen - 1978 - Assen: Van Gorcum.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  20
    Notes and news.W. P. Stigt & D. Dalen - 1977 - Philosophia 7 (1):217-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  45
    Jacques Herbrand: Logical Writings. [REVIEW]Dirk Van Dalen - 1974 - Journal of Philosophy 71 (15):544-549.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  55
    Mendelson Elliott. Introduction to mathematical logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1964, x + 300 pp. Reprinted with corrections, ibid., January, 1966, x + 300 pp. [REVIEW]Dirk van Dalen - 1969 - Journal of Symbolic Logic 34 (1):110-111.