Dalen, D. van (Dirk) 1932
Overview
Works:  190 works in 675 publications in 3 languages and 8,500 library holdings 

Genres:  Conference papers and proceedings Biography Criticism, interpretation, etc History Records and correspondence Sources 
Roles:  Author, Editor, Other, Compiler, Thesis advisor, Contributor, Correspondent, Adapter, Honoree, Recipient, Author of introduction, Redactor 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works by
D. van Dalen
Logic and structure by
D. van (Dirk) Dalen(
Book
)
128 editions published between 1979 and 2013 in 3 languages and held by 1,755 WorldCat member libraries worldwide
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 immediately see the logic is 'just another branch of mathematics' and not something more sacred.' Acta Scientiarum Mathematicarum, Hungary
128 editions published between 1979 and 2013 in 3 languages and held by 1,755 WorldCat member libraries worldwide
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 immediately see the logic is 'just another branch of mathematics' and not something more sacred.' Acta Scientiarum Mathematicarum, Hungary
Constructivism in mathematics : an introduction by
A. S Troelstra(
Book
)
43 editions published between 1988 and 2014 in English and Undetermined and held by 619 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finitetype arithmetic and theories of operators. Discussions focus on intuitionistic finitetype arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The te
43 editions published between 1988 and 2014 in English and Undetermined and held by 619 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finitetype arithmetic and theories of operators. Discussions focus on intuitionistic finitetype arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The te
Sets : naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working
and teaching mathematicians and students by
D. van Dalen(
Book
)
6 editions published in 1978 in English and held by 564 WorldCat member libraries worldwide
6 editions published in 1978 in English and held by 564 WorldCat member libraries worldwide
Brouwer's Cambridge lectures on intuitionism by
L. E. J Brouwer(
Book
)
16 editions published between 1980 and 2010 in English and held by 470 WorldCat member libraries worldwide
16 editions published between 1980 and 2010 in English and held by 470 WorldCat member libraries worldwide
Sets and integration : an outline of the development by
D. van Dalen(
Book
)
15 editions published in 1972 in English and held by 463 WorldCat member libraries worldwide
The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht. These lectures were part of a series on 'History of Contemporary Mathematics'. The need for such an enterprise was generally felt, since the curriculum at many universities is designed to suit an efficient treatment of advanced subjects rather than to reflect the development of notions and techniques. As it is very likely that this trend will continue, we decided to offer lectures of a less technical nature to provide students and interested listeners with a survey of the history of topics in our presentday mathematics. We consider it very useful for a mathematician to have an acquaintance with the history of the development of his subject, especially in the nineteenth century where the germs of many of modern disciplines can be found. Our attention has therefore been mainly directed to relatively young developments. In the lectures we tried to stay clear of both oversimplification and extreme technicality. The result is a text, that should not cause difficulties to a reader with a working knowledge of mathematics. The developments sketched in this book are fundamental for many areas in mathematics and the notions considered are crucial almost everywhere. The book may be most useful, in particular, for those teaching mathematics
15 editions published in 1972 in English and held by 463 WorldCat member libraries worldwide
The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht. These lectures were part of a series on 'History of Contemporary Mathematics'. The need for such an enterprise was generally felt, since the curriculum at many universities is designed to suit an efficient treatment of advanced subjects rather than to reflect the development of notions and techniques. As it is very likely that this trend will continue, we decided to offer lectures of a less technical nature to provide students and interested listeners with a survey of the history of topics in our presentday mathematics. We consider it very useful for a mathematician to have an acquaintance with the history of the development of his subject, especially in the nineteenth century where the germs of many of modern disciplines can be found. Our attention has therefore been mainly directed to relatively young developments. In the lectures we tried to stay clear of both oversimplification and extreme technicality. The result is a text, that should not cause difficulties to a reader with a working knowledge of mathematics. The developments sketched in this book are fundamental for many areas in mathematics and the notions considered are crucial almost everywhere. The book may be most useful, in particular, for those teaching mathematics
L.E.J. Brouwer : topologist, intuitionist, philosopher : how mathematics is rooted in life by
D. van Dalen(
)
17 editions published between 2012 and 2016 in English and held by 461 WorldCat member libraries worldwide
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 mathematics which led him to introduce, and then consolidate, constructive methods under the name ‘intuitionism’. This made him one of the main protagonists in the ‘foundation crisis’ of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century
17 editions published between 2012 and 2016 in English and held by 461 WorldCat member libraries worldwide
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 mathematics which led him to introduce, and then consolidate, constructive methods under the name ‘intuitionism’. This made him one of the main protagonists in the ‘foundation crisis’ of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century
Mystic, geometer, and intuitionist : the life of L.E.J. Brouwer by
Dirk van Dalen(
Book
)
45 editions published between 1999 and 2007 in English and held by 441 WorldCat member libraries worldwide
Luitzen Egbertus Jan Brouwer is a remarkable figure, both in the development of mathematics and in wider Dutch history. A mathematical genius with strong mystical and philosophical leanings, he advocated a constructivistic, more human view of mathematics and science. A sophisticated analysis of a crucial era of mathematical research, this book is an important insight into the life of one of its most fascinating characters.  ;Luitzen Egbertus Jan Brouwer is a remarkable figure, both in the development of mathematics and in wider Dutch history. A mathematical genius with strong mystical and phi
45 editions published between 1999 and 2007 in English and held by 441 WorldCat member libraries worldwide
Luitzen Egbertus Jan Brouwer is a remarkable figure, both in the development of mathematics and in wider Dutch history. A mathematical genius with strong mystical and philosophical leanings, he advocated a constructivistic, more human view of mathematics and science. A sophisticated analysis of a crucial era of mathematical research, this book is an important insight into the life of one of its most fascinating characters.  ;Luitzen Egbertus Jan Brouwer is a remarkable figure, both in the development of mathematics and in wider Dutch history. A mathematical genius with strong mystical and phi
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 813 June 1981 by
Noordwijkerhout> L.E.J. Brouwer Centenary Symposium. <1981(
Book
)
18 editions published in 1982 in English and held by 426 WorldCat member libraries worldwide
18 editions published in 1982 in English and held by 426 WorldCat member libraries worldwide
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 by Belgique) Logic Colloquium (1978. Mons(
Book
)
16 editions published between 1978 and 1979 in English and Undetermined and held by 409 WorldCat member libraries worldwide
Provability, Computability and Reflection
16 editions published between 1978 and 1979 in English and Undetermined and held by 409 WorldCat member libraries worldwide
Provability, Computability and Reflection
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic by Logic Colloquium(
Book
)
20 editions published in 1982 in English and Multiple languages and held by 383 WorldCat member libraries worldwide
20 editions published in 1982 in English and Multiple languages and held by 383 WorldCat member libraries worldwide
The Selected correspondence of L.E.J. Brouwer by
Dirk van Dalen(
)
9 editions published in 2011 in English and held by 355 WorldCat member libraries worldwide
L.E.J. Brouwer (18811966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters; university and faculty correspondence has been included, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwer's biography, this book provides instrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of
9 editions published in 2011 in English and held by 355 WorldCat member libraries worldwide
L.E.J. Brouwer (18811966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters; university and faculty correspondence has been included, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwer's biography, this book provides instrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of
Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September
2127, 1996 : selected papers by
Dirk Dalen(
Book
)
14 editions published between 1996 and 1997 in English and held by 354 WorldCat member libraries worldwide
This book constitutes the strictly refereed postworkshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996. The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area
14 editions published between 1996 and 1997 in English and held by 354 WorldCat member libraries worldwide
This book constitutes the strictly refereed postworkshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996. The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area
The scholar and the state : in search of Van der Waerden by
Alexander Soifer(
)
3 editions published in 2015 in English and held by 292 WorldCat member libraries worldwide
"Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerden?s record is complex. In attempting to understand his life, the author assembled thousands of documents from numerous archives in Germany, the Netherlands, Switzerland and the United States which revealed fascinating and often surprising new information about van der Waerden. Soifer traces Van der Waerden?s early years in a family of great Dutch public servants, his life as professor in Leipzig during the entire Nazi period, and his personal and professional friendship with one of the great physicists Werner Heisenberg. We encounter heroes and villains and a much more numerous group in between these two extremes. One of them is the subject of this book. Soifer's journey through a long list of archives, combined with an intensive correspondence, had uncovered numerous details of Van der Waerden's German intermezzo that raised serious questions and reproaches."
3 editions published in 2015 in English and held by 292 WorldCat member libraries worldwide
"Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerden?s record is complex. In attempting to understand his life, the author assembled thousands of documents from numerous archives in Germany, the Netherlands, Switzerland and the United States which revealed fascinating and often surprising new information about van der Waerden. Soifer traces Van der Waerden?s early years in a family of great Dutch public servants, his life as professor in Leipzig during the entire Nazi period, and his personal and professional friendship with one of the great physicists Werner Heisenberg. We encounter heroes and villains and a much more numerous group in between these two extremes. One of them is the subject of this book. Soifer's journey through a long list of archives, combined with an intensive correspondence, had uncovered numerous details of Van der Waerden's German intermezzo that raised serious questions and reproaches."
The selected correspondence of L.E.J. Brouwer by
Luitzen Egbertus Jan Brouwer(
Book
)
11 editions published between 2011 and 2013 in English and held by 106 WorldCat member libraries worldwide
L.E.J. Brouwer (18811966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters; university and faculty correspondence has been included, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwer's biography, this book provides instrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of
11 editions published between 2011 and 2013 in English and held by 106 WorldCat member libraries worldwide
L.E.J. Brouwer (18811966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters; university and faculty correspondence has been included, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwer's biography, this book provides instrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of
Selecta by
Hans Freudenthal(
Book
)
7 editions published in 2009 in German and English and held by 89 WorldCat member libraries worldwide
Hans Freudenthal (1905  1990) was a Dutch mathematician, born in Luckenwalde, Germany. His scientific activities were of a rich variety. Enrolling at the University of Berlin as a student in the 1920s, he followed in the footsteps of his teachers, and became a topologist, but with a lively interest in group theory. Later in life, after a long journey through the realm of mathematics, working on almost all subjects that drew his interest, he turned towards the practical and methodological issues of the didactics of mathematics
7 editions published in 2009 in German and English and held by 89 WorldCat member libraries worldwide
Hans Freudenthal (1905  1990) was a Dutch mathematician, born in Luckenwalde, Germany. His scientific activities were of a rich variety. Enrolling at the University of Berlin as a student in the 1920s, he followed in the footsteps of his teachers, and became a topologist, but with a lively interest in group theory. Later in life, after a long journey through the realm of mathematics, working on almost all subjects that drew his interest, he turned towards the practical and methodological issues of the didactics of mathematics
Intuitionismus by
L. E. J Brouwer(
Book
)
8 editions published in 1992 in 3 languages and held by 88 WorldCat member libraries worldwide
8 editions published in 1992 in 3 languages and held by 88 WorldCat member libraries worldwide
Constructivism in mathematics : an introduction by
Anne S Troelstra(
Book
)
10 editions published in 1988 in English and Undetermined and held by 47 WorldCat member libraries worldwide
10 editions published in 1988 in English and Undetermined and held by 47 WorldCat member libraries worldwide
Computer Science Logic 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, the Netherlands, September
2127, 1996 Selected Papers by
Dirk Dalen(
)
2 editions published in 1997 in English and held by 40 WorldCat member libraries worldwide
2 editions published in 1997 in English and held by 40 WorldCat member libraries worldwide
Nominalism and its aftermath : the philosophy of Nelson Goodman by
Dena Shottenkirk(
)
1 edition published in 2009 in English and held by 13 WorldCat member libraries worldwide
"Nelson Goodman's disparate writings are often written about only within their own particular discipline, such that the epistemology is discussed in contrast to others' epistemology, the aesthetics is contrasted with more traditional aesthetics, and the ontology and logic is viewed in contrast to both other contemporary philosophers and to Goodman's historical predecessors. This book argues that that is not an adequate way to view Goodman. The separate disciplines of ontology, epistemology, and aesthetics should be viewed as sequential steps within his thought, such that each provides the ground rules for the next section and, furthermore, providing the reasons for limitations on the terms available to the subsequent writing(s). This is true not merely because this is the general chronology of his writing, but more importantly because within his metaphysics lies Goodman's basic nominalist ontology and logic, and it is upon those principles that he builds his epistemology and, furthermore, it is the sum of both the metaphysics and the epistemology, with the nominalist principle as the guiding force, which constructs the aesthetics. At the end of each section of this book, the consequent limitations imposed on his terms and concepts available to him are explicated, such that, by the end of the book, the book delineates the constraints imposed upon the aesthetics by both the metaphysics and the epistemology."Page 4 of cover
1 edition published in 2009 in English and held by 13 WorldCat member libraries worldwide
"Nelson Goodman's disparate writings are often written about only within their own particular discipline, such that the epistemology is discussed in contrast to others' epistemology, the aesthetics is contrasted with more traditional aesthetics, and the ontology and logic is viewed in contrast to both other contemporary philosophers and to Goodman's historical predecessors. This book argues that that is not an adequate way to view Goodman. The separate disciplines of ontology, epistemology, and aesthetics should be viewed as sequential steps within his thought, such that each provides the ground rules for the next section and, furthermore, providing the reasons for limitations on the terms available to the subsequent writing(s). This is true not merely because this is the general chronology of his writing, but more importantly because within his metaphysics lies Goodman's basic nominalist ontology and logic, and it is upon those principles that he builds his epistemology and, furthermore, it is the sum of both the metaphysics and the epistemology, with the nominalist principle as the guiding force, which constructs the aesthetics. At the end of each section of this book, the consequent limitations imposed on his terms and concepts available to him are explicated, such that, by the end of the book, the book delineates the constraints imposed upon the aesthetics by both the metaphysics and the epistemology."Page 4 of cover
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Brouwer, L. E. J. (Luitzen Egbertus Jan) 18811966 Other Author in quotations or text abstracts Dedicatee Bibliographic antecedent Honoree Author
 Troelstra, A. S. (Anne Sjerp) Author Editor
 Doets, H. C.
 Swart, H. C. M. de
 Monna, A. F.
 Boffa, Maurice Author Editor
 McAloon, Kenneth Editor
 Bezem, M. (Marc) 1956 Other Editor
 Lascar, D. (Daniel) 1942 Editor
 Smiley, T. J. (Timothy John) Editor
Useful Links
Associated Subjects
Aesthetics Artificial intelligence Axiomatic set theory Brouwer, L. E. J.(Luitzen Egbertus Jan), Computer logic Computer science Constructive mathematics Genetic epistemology Geometry Goodman, Nelson Group theory History Influence (Literary, artistic, etc.) Integrals Intuitionistic mathematics Lie groups Logic Logic, Symbolic and mathematical Logic design Manners and customs Mathematicians Mathematics MathematicsPhilosophy Metaphysics Netherlands Nominalism Philosophy Philosophy of mind Set theory Topological groups Topology Waerden, B. L. van der(Bartel Leendert),
Covers
Alternative Names
Dalen, D. van.
Dalen, D. van 1932
Dalen, D. van (Dirk)
Dalen, Dirk van
Dalen, Dirk van 1932
DalenDoetsde Swart, .. 1932
Dirk van Dalen matemático neerlandés
Dirk van Dalen mathématicien néerlandais
Dirk van Dalen Nederlands wiskundige
Dirk van Dalen niederländischer Mathematiker
Van Dalen, D. 1932
Van Dalen, D. (Dirk), 1932
Van Dalen Dirk
Van Dalen, Dirk 1932
Дирк ван Дален нидерландский математик
Languages