WorldCat Identities

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
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 finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type 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

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

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 present-day 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
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
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 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

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
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

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 (1881-1966) 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 21-27, 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 post-workshop 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 2-volume 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 (1881-1966) 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
Intuitionismus by L. E. J Brouwer( Book )

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

Computer Science Logic 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, the Netherlands, September 21-27, 1996 Selected Papers by Dirk Dalen( )

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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.40 for Sets : nai ... to 0.92 for Computer S ...)

WorldCat IdentitiesRelated Identities
Logic and structure
Covers
Constructivism in mathematics : an introductionBrouwer's Cambridge lectures on intuitionismMystic, geometer, and intuitionist : the life of L.E.J. BrouwerThe Selected correspondence of L.E.J. BrouwerComputer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papersThe selected correspondence of L.E.J. BrouwerSelectaConstructivism in mathematics : an introductionNominalism and its aftermath : the philosophy of Nelson Goodman
Alternative Names
Dalen, D. van.

Dalen, D. van 1932-

Dalen, D. van (Dirk)

Dalen, Dirk van

Dalen, Dirk van 1932-

Dalen-Doets-de 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