Dirk van Dalen (born 20 December 1932,

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population ...

) is a

Dutch Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People E ...

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

and

historian A historian is a person who studies and writes about the past and is regarded as an authority on it. Historians are concerned with the continuous, methodical narrative and research of past events as relating to the human race; as well as the stu ...

of science. Van Dalen studied mathematics and physics and astronomy at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

. Inspired by the work of

Brouwer Brouwer (also Brouwers and de Brouwer) is a Dutch and Flemish surname. The word ''brouwer'' means 'beer brewer'. Brouwer * Adriaen Brouwer (1605–1638), Flemish painter * Alexander Brouwer (b. 1989), Dutch beach volleyball player * Andries Bro ...

and

Heyting __NOTOC__ Arend Heyting (; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. Biography Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a foot ...

, he received his Ph.D. in 1963 from the University of Amsterdam for the thesis ''Extension problems in intuitionistic plane Projective geometry.'' From 1964 to 1966 Van Dalen taught

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

and mathematics at

MIT The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the m ...

, and later

Oxford Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...

. From 1967 he was professor at the

University of Utrecht Utrecht University (UU; nl, Universiteit Utrecht, formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2018, it had an enrollme ...

. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the

Royal Dutch Academy of Sciences The Royal Netherlands Academy of Arts and Sciences ( nl, Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed ...

for bringing the works of Brouwer to international attention.Persbericht KNAW 2003
/ref>

Works

* 1958: (with

Yehoshua Bar-Hillel Yehoshua Bar-Hillel ( he, יהושע בר-הלל; 8 September 1915, in Vienna – 25 September 1975, in Jerusalem) was an Israeli philosopher, mathematician, and linguist. He was a pioneer in the fields of machine translation and formal linguis ...

and

Azriel Levy Azriel, Asriel or Ezriel may refer to: People * Azriel of Gerona (c. 1160–c. 1238), Catalan kabbalist * Azriel Hildesheimer (1820–1899), German rabbi * Azriel Rabinowitz (1905–1941), Lithuanian rabbi and Holocaust victim * Azriel Rosenfeld ( ...

) ''Foundations of Set Theory'', North Holland Publishing * 1963: Extension problems in intuitionistic plane projective geometry * 1978: (with H.C. Doets and H. De Swart) ''Sets: Naive, Axiomatic and Applied'',

Pergamon Press Pergamon Press was an Oxford-based publishing house, founded by Paul Rosbaud and Robert Maxwell, that published scientific and medical books and journals. Originally called Butterworth-Springer, it is now an imprint of Elsevier. History The cor ...

* 1980: ''Logic and Structure'', Springer Universitext * 1981: (editor) ''Brouwer's Cambridge Lectures on Intuitionism''

Cambridge University Press Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing hou ...

* 1988: * 2000: (with

Heinz-Dieter Ebbinghaus Heinz-Dieter Ebbinghaus (born 22 February 1939 in Hemer, Province of Westphalia) is a German mathematician and logician. He received his PhD in 1967 at the University of Münster under Hans Hermes and Dieter Rödding. Ebbinghaus has written va ...

) "Zermelo and the Skolem Paradox", Bulletin of Symbolic Logic 6(2) * 2001: "Intuitionistic Logic", in: ''The Blackwell Guide to Philosophical Logic'', Lou Goble (editor), Blackwell * 2013: ''L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How mathematics is rooted in life'', Springer-Verlag

References

* The article was originally created as a translation (Google) of the corresponding article in

Dutch Wikipedia The Dutch Wikipedia ( nl, Nederlandstalige Wikipedia) is the Dutch-language edition of the free online encyclopedia, Wikipedia. It was founded on 19 June 2001. As of , the Dutch Wikipedia is the -largest Wikipedia edition, with articles. It w ...

External links

Koninklijke bibliotheek
over Dirk van Dalen
Homepage
at the

* {{DEFAULTSORT:Dalen, Dirk van 1932 births Living people Dutch mathematicians 20th-century Dutch historians Dutch logicians Historians of mathematics Historians of science Intuitionism Massachusetts Institute of Technology School of Science faculty Scientists from Amsterdam University of Amsterdam alumni Utrecht University faculty

Works

References

Further reading

External links