80 found
Order:
Disambiguations
D. van Dalen [50]Dirk van Dalen [30]Deobold B. van Dalen [2]D. B. van Dalen [1]
  1.  5
    Logic and Structure.D. van Dalen - 1980 - Springer Verlag.
  2.  10
    A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  3.  7
    Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  4. Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.
     
    Export citation  
     
    Bookmark   25 citations  
  5.  16
    An Interpretation of Intuitionistic Analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  6.  45
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt.Mark Van Atten, Dirk van 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 (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  85
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt.Mark van Atten, Dirk van 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 (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  90
    Zermelo and the Skolem Paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.
  9.  47
    From Brouwerian Counter Examples to the Creating Subject.Dirk van Dalen - 1999 - Studia Logica 62 (2):305-314.
    The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the creating subject technique. The method allowed stronger refutations of classical principles. Here it is used to show that negative dense subsets of the continuum are indecomposable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  75
    Hermann Weyl's Intuitionistic Mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
  11.  39
    Four Letters From Edmund Husserl to Hermann Weyl.D. Van Dalen - 1984 - Husserl Studies 1 (1):1-12.
  12. The Use of Kripke's Schema as a Reduction Principle.D. van Dalen - 1977 - Journal of Symbolic Logic 42 (2):238-240.
  13.  62
    Arguments for the Continuity Principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
  14.  47
    How Connected is the Intuitionistic Continuum?Dirk van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147-1150.
  15.  23
    How to Glue Analysis Models.D. Van Dalen - 1984 - Journal of Symbolic Logic 49 (4):1339-1349.
  16. Fraenkel's Book Zehn Vorlesungen Über Die Grundlegung der Mengenlehre,[Fraenkel 1927] Was About to Appear. With the Grundlagenstreit Reaching (in Print!) a Level of Personal Abuse Un-Usual in the Quiet Circles of Pure Mathematics, Brouwer Was Rather Sensitive, Where the Expositions of His Ideas Were Concerned. So When He Thought That.Dirk van Dalen - 2000 - Bulletin of Symbolic Logic 6 (3).
  17.  54
    Brouwer and Fraenkel on Intuitionism.Dirk van Dalen - 2000 - Bulletin of Symbolic Logic 6 (3):284-310.
  18.  23
    Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):3-12.
  19.  25
    Variants of Rescher's Semantics for Preference Logic and Some Completeness Theorems.Dirk van Dalen - 1974 - Studia Logica 33 (2):163-181.
  20.  25
    From a Brouwerian Point of View.D. van Dalen - 1998 - Philosophia Mathematica 6 (2):209-226.
    We discuss a number of topics that are central in Brouwer's intuitionism. A complete treatment is beyond the scope of the paper, the reader may find it a useful introduction to Brouwer's papers.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  9
    Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Mathematical Logic Quarterly 34 (1):3-12.
  22. Constructivism in Mathematics, Volume 2.A. S. Troelstra & D. van Dalen - 1991 - Studia Logica 50 (2):355-356.
     
    Export citation  
     
    Bookmark   1 citation  
  23.  11
    Algorithms and Decision Problems: A Crash Course in Recursion Theory.Dirk van Dalen - 1989 - Journal of Symbolic Logic 54 (3):1094-1095.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Dedicated to Dana Scott on His Sixtieth Birthday.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2).
  25.  4
    Glueing of Analysis Models in an Intuitionistic Setting.D. van Dalen - 1986 - Studia Logica 45 (2):181-186.
    Beth models of analysis are used in model theoretic proofs of the disjunction and 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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Dirk van Dalen Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
     
    Export citation  
     
    Bookmark  
  27. Logic Colloquium '78 Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
     
    Export citation  
     
    Bookmark  
  28. Intuitionismus.L. E. J. Brouwer & D. van Dalen - 1995 - Studia Logica 54 (3):423-424.
     
    Export citation  
     
    Bookmark   7 citations  
  29. The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981.L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) - 1982 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  7
    Meeting of the Association for Symbolic Logic Florence, Italy 1982. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen - 1984 - Journal of Symbolic Logic 49 (2):683 - 710.
  31. The Philosophy Department of the Rijksuniversiteit Utrecht Organizes the Conference “Church's Theses After Fifty Years”. Among the Invited Speakers Are E. Borger, RO Gandy, J.-Y. Girard, Y. [REVIEW]M. Hyland Gurevich, G. Kreisel, G. Longo, D. S. Scott & D. van Dalen - 1986 - Annals of Pure and Applied Logic 30:330.
     
    Export citation  
     
    Bookmark  
  32.  7
    Remark on Complete Interpretations by Models.D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
  33. [Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
     
    Export citation  
     
    Bookmark  
  34. Construction in Mathematics. An Introduction, Volume 1.A. S. Troelstra & D. van Dalen - 1990 - Studia Logica 49 (1):151-152.
     
    Export citation  
     
    Bookmark   1 citation  
  35. Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   28 citations  
  36.  1
    Announcement.D. van Dalen - 1986 - Annals of Pure and Applied Logic 30 (3):330.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. A Bibliography of L.E.J. Brouwer.D. van Dalen - 2008b - Birkhäuser Basel.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  38. Richard L. Tieszen. 'Mathematical Intuition: Phenomenology and Mathematical Knowledge'. [REVIEW]D. van Dalen - 1993 - Husserl Studies 10 (3):249-252.
  39. Book Review. Richard Tieszen, Mathematical Intuition: Phenomenology and Mathematical Knowledge. [REVIEW]D. van Dalen - 1994 - Husserl Studies 10 (3):249-252.
  40. Brouwer: The Genesis of His Intuitionism.D. van Dalen - 1978 - Dialectica 32 (3):291.
  41. Computer Science Logic 10th International Workshop, Csl'96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996 : Selected Papers. [REVIEW]D. van Dalen, M. Bezem & European Association for Computer Science Logic - 1997
     
    Export citation  
     
    Bookmark  
  42. Computer Science Logic.Dirk van Dalen & Marc Bezem (eds.) - 1997 - Springer.
     
    Export citation  
     
    Bookmark  
  43.  18
    Douglas Bridges and Fred Richman. Varieties of Constructive Mathematics. London Mathematical Society Lecture Note Series, No. 97. Cambridge University Press, Cambridge Etc. 1987, X + 149 Pp. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    P. Destouches-Février. Sur l'Intuitionnisme Et la Conception Strictement Constructive. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 54 , Pp. 80–86; Also Indagationes Mathematicae, Vol. 13 , Pp. 80-86. [REVIEW]D. van Dalen - 1969 - Journal of Symbolic Logic 34 (2):306-307.
  45.  71
    Dedicated to Mrs. Gertrud Zermelo on the Occasion of Her 95th Birthday.Dirk van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2).
  46.  31
    Dirk Van Dalen. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume 2: Hope and Disillusion. Oxford: Clarendon Press, 2005. Pp. X + 441–946. ISBN 0-19-851620-7. [REVIEW]Dirk Van Dalen - 2007 - Philosophia Mathematica 15 (1):111-116.
    Volume 1 of this biography of L. E. J. Brouwer was published in 1999.1 The volume under review here covers the period from the early nineteen twenties until Brouwer's death in 1966. It also includes a short epilogue that discusses the disposition of Brouwer's estate after his death, his influence on others, the paths of some of his students and colleagues, and other matters. Van Dalen notes in the Preface that in preparing this volume he consulted some historical studies that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus “von H. Kneser.Dirk van Dalen - 1985 - Archive for Mathematical Logic 25 (1):43-44.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  23
    Elliott Mendelson. Introduction to Mathematical Logic. Second Edition of XXXIV 110. D. Van Nostrand Company, New York Etc. 1979, Viii + 328 Pp. [REVIEW]D. van Dalen - 1980 - Journal of Symbolic Logic 45 (3):631.
  49.  10
    Fans Generated by Nondeterministic Automata.Dirk van Dalen - 1968 - Mathematical Logic Quarterly 14 (18):273-278.
  50.  20
    Fans Generated by Nondeterministic Automata.Dirk van Dalen - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (18):273-278.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 80