80 found
Order:
Disambiguations
D. van Dalen [48]Dirk van Dalen [32]Deobold B. van Dalen [2]D. B. van Dalen [1]
  1.  7
    Logic and Structure.D. van Dalen - 1980 - Springer Verlag.
    From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  2.  13
    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. Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.
     
    Export citation  
     
    Bookmark   50 citations  
  4. Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   43 citations  
  5.  8
    Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  6.  16
    An Interpretation of Intuitionistic Analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  7.  58
    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   15 citations  
  8.  88
    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  
  9. The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen.D. van Dalen - 1990 - The Mathematical Intelligencer 12 (4):17--31.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  10.  93
    Zermelo and the Skolem Paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.
  11.  77
    Hermann Weyl's Intuitionistic Mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
  12.  66
    Arguments for the Continuity Principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
  13.  40
    Four Letters From Edmund Husserl to Hermann Weyl.D. Van Dalen - 1984 - Husserl Studies 1 (1):1-12.
  14. Intuitionismus.L. E. J. Brouwer & D. van Dalen - 1995 - Studia Logica 54 (3):423-424.
     
    Export citation  
     
    Bookmark   8 citations  
  15.  49
    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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16. The Use of Kripke's Schema as a Reduction Principle.D. van Dalen - 1977 - Journal of Symbolic Logic 42 (2):238-240.
  17. A Bibliography of L.E.J. Brouwer.D. van Dalen - 2008b - Birkhäuser Basel.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  18. Brouwer: The Genesis of His Intuitionism.D. van Dalen - 1978 - Dialectica 32 (3):291.
  19. Projections of Lawless Sequences.D. Van Dalen & A. S. Troelstra - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and Proof Theory. Amsterdam: North-Holland Pub. Co..
  20.  49
    How Connected is the Intuitionistic Continuum?Dirk van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147-1150.
  21.  23
    How to Glue Analysis Models.D. Van Dalen - 1984 - Journal of Symbolic Logic 49 (4):1339-1349.
  22.  26
    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   3 citations  
  23. L.E.J. Brouwer: Topologist, Intuitionist, Philosopher: How Mathematics is Rooted in Life.Dirk van Dalen - 2012 - Springer.
    Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer’s main interest, however, was in the foundation of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. 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).
  25.  56
    Brouwer and Fraenkel on Intuitionism.Dirk van Dalen - 2000 - Bulletin of Symbolic Logic 6 (3):284-310.
  26.  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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  26
    Variants of Rescher's Semantics for Preference Logic and Some Completeness Theorems.Dirk van Dalen - 1974 - Studia Logica 33 (2):163-181.
  28.  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).
  29.  47
    Kreisel G.. Gödel's Intepretation of Heyting's Arithmetic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 125–133.Kreisel G.. Relations Between Classes of Constructive Functional. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 292–302.Kreisel Georg. Interpretation of Analysis by Means of Constructive Functional of Finite Types. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  30.  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.
  31.  11
    Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Mathematical Logic Quarterly 34 (1):3-12.
  32.  32
    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  
  33.  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  
  34. Dirk van Dalen Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
     
    Export citation  
     
    Bookmark  
  35. 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  
  36.  2
    The L. E. J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 1981.L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) - 1982 - Elsevier.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  1
    Omega Bibliography of Mathematical Logic: Volume 6, Proof Theory and Constructive Mathematics.Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (eds.) - 1987 - Berlin, Heidelberg, and New York: Springer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. 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  
  39. [Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
     
    Export citation  
     
    Bookmark  
  40. Book Review. Richard Tieszen, Mathematical Intuition: Phenomenology and Mathematical Knowledge. [REVIEW]D. van Dalen - 1994 - Husserl Studies 10 (3):249-252.
  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 - Springer Verlag.
    The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. It is developing the subjects at an introductory level, but it also has some recent and exciting results in both fields. The book contains a thorough discussion of fractal image compression and decompression, including both continuous and discrete formulations, vector space and hierarchical methods, and algorithmic optimizations. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Computer Science Logic.Dirk van Dalen & Marc Bezem (eds.) - 1997 - Springer.
     
    Export citation  
     
    Bookmark  
  43. Heinz-Dieter Ebbinghaus. Zermelo and the Skolem Paradox.Dirk Van Dalen - 2000 - Bulletin of Symbolic Logic 1 (2):145-161.
  44. Logic and Foundations of Mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra - 1968 - Wolters-Noordhoff.
  45. Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982
  46. Mystic, Geometer, and Intuitionist. The Life of L. E. J. Brouwer. Volume 2: Hope and Disillusion.Dirk van Dalen - 2007 - Studia Logica 87 (1):135-138.
     
    Export citation  
     
    Bookmark  
  47. Where Α and Range Over Choice Sequences of Natural Numbers, M and X Over Natural Numbers, and Αm Stands for〈 Α (0), Α (1),..., Α (M− 1)〉, the Initial Segment of Α of Length M. An Immediate Consequence of WC-N is That All Full Functions Are Contin-Uous, and, as a Corollary, That the Continuum is Unsplittable [28]. Note That. [REVIEW]Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3).
  48. Richard L. Tieszen. 'Mathematical Intuition: Phenomenology and Mathematical Knowledge'. [REVIEW]D. van Dalen - 1993 - Husserl Studies 10 (3):249-252.
  49.  25
    Fourman M. P. And Scott D. S.. Sheaves and Logic. Applications of Sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, Edited by Fourman M. P., Mulvey C. J., and Scott D. S., Lecture Notes in Mathematics, Vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, Pp. 302–401. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
  50.  27
    Understanding Educational Research.D. B. van Dalen & W. J. Meyer - 1963 - British Journal of Educational Studies 11 (2):195-195.
1 — 50 / 80