75 found
Order:
Disambiguations
D. van Dalen [49]Dirk van Dalen [34]Deobold B. van Dalen [2]D. B. van Dalen [1]
  1.  7
    Logic and structure.D. van Dalen - 1980 - New York: 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   67 citations  
  2. Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
    No categories
     
    Export citation  
     
    Bookmark   60 citations  
  3.  16
    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.
  4.  9
    Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  5.  21
    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  
  6.  64
    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   17 citations  
  7.  93
    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   16 citations  
  8. 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   13 citations  
  9.  82
    Hermann Weyl's intuitionistic mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
    Dedicated to Dana Scott on his sixtieth birthday.It is common knowledge that for a short while Hermann Weyl joined Brouwer in his pursuit of a revision of mathematics according to intuitionistic principles. There is, however, little in the literature that sheds light on Weyl's role and in particular on Brouwer's reaction to Weyl's allegiance to the cause of intuitionism. This short episode certainly raises a number of questions: what made Weyl give up his own program, spelled out in “Das Kontinuum”, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  93
    Zermelo and the Skolem paradox.Dirk Van Dalen & Heinz-Dieter Ebbinghaus - 2000 - Bulletin of Symbolic Logic 6 (2):145-161.
    On October 4, 1937, Zermelo composed a small note entitled “Der Relativismus in der Mengenlehre und der sogenannte Skolemsche Satz” in which he gives a refutation of “Skolem's paradox”, i.e., the fact that Zermelo-Fraenkel set theory—guaranteeing the existence of uncountably many sets—has a countable model. Compared with what he wished to disprove, the argument fails. However, at a second glance, it strongly documents his view of mathematics as based on a world of objects that could only be grasped adequately by (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  11. Intuitionismus.L. E. J. Brouwer & D. van Dalen - 1995 - Studia Logica 54 (3):423-424.
     
    Export citation  
     
    Bookmark   10 citations  
  12.  43
    Four letters from Edmund Husserl to Hermann Weyl.D. Van Dalen - 1984 - Husserl Studies 1 (1):1-12.
  13.  53
    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   9 citations  
  14.  72
    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 (12 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15. 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..
  16. The use of Kripke's schema as a reduction principle.D. van Dalen - 1977 - Journal of Symbolic Logic 42 (2):238-240.
  17. Brouwer: The Genesis of his Intuitionism.D. van Dalen - 1978 - Dialectica 32 (3):291.
  18. A Bibliography of L.E.J. Brouwer.D. van Dalen - 2008b - Birkhäuser Basel.
  19.  51
    How connected is the intuitionistic continuum?Dirk van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147-1150.
  20.  23
    How to glue analysis models.D. Van Dalen - 1984 - Journal of Symbolic Logic 49 (4):1339-1349.
  21.  3
    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):284-310.
    In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the so-called Grundlagenstreit was in full swing. An emotional man like (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  56
    Brouwer and Fraenkel on intuitionism.Dirk van Dalen - 2000 - Bulletin of Symbolic Logic 6 (3):284-310.
    In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the so-called Grundlagenstreit was in full swing. An emotional man like (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  27
    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 (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  6
    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  
  25.  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  
  26.  26
    Variants of Rescher's semantics for preference logic and some completeness theorems.Dirk van Dalen - 1974 - Studia Logica 33 (2):163-181.
  27.  48
    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.
  28. Dirk van Dalen Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
     
    Export citation  
     
    Bookmark  
  29. 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  
  30.  4
    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 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
  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. [Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
     
    Export citation  
     
    Bookmark  
  33. Brouwer’s Cambridge Lectures on Intuitionism.D. van Dalen (ed.) - 1981 - Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Book Review. Richard Tieszen, Mathematical Intuition: Phenomenology and Mathematical Knowledge. [REVIEW]D. van Dalen - 1993 - Husserl Studies 10 (3):249-252.
  35.  1
    Computer Science Logic.Dirk van Dalen & Marc Bezem (eds.) - 1997 - Springer.
    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  
  36. Formele logica.D. van Dalen - 1971 - [Utrecht],: Oosthoek.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Heinz-Dieter Ebbinghaus. Zermelo and the Skolem Paradox.Dirk Van Dalen - 2000 - Bulletin of Symbolic Logic 1 (2):145-161.
  38. Intuitionism.Dirk van Dalen & Mark van Atten - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 511–530.
    This chapter contains sections titled: Logic: The Proof Interpretation Analysis: Choice Sequences Further Semantics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
  40. 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
  41.  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.
  42.  19
    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  
  43. Richard L. Tieszen. 'Mathematical Intuition: Phenomenology and Mathematical Knowledge'. [REVIEW]D. van Dalen - 1993 - Husserl Studies 10 (3):249-252.
  44.  29
    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.
  45.  1
    Intuitionistic Logic.Dirk van Dalen - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 224–257.
    There are basically two ways to view intuitionistic logic: as a philosophical‐foundational issue in mathematics; or as a technical discipline within mathematical logic. Considering first the philosophical aspects, for they will provide the motivation for the subject, this chapter follows L. E. J. Brouwer, the founding father of intuitionism. Although Brouwer himself contributed little to intuitionistic logic as seen from textbooks and papers, he did point the way for his successors.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  31
    Understanding Educational Research.D. B. van Dalen & W. J. Meyer - 1963 - British Journal of Educational Studies 11 (2):195-195.
  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.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  11
    Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Mathematical Logic Quarterly 34 (1):3-12.
  49.  28
    Review: Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  25
    Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
1 — 50 / 75