Ван Дален изучал математику, физику и астрономию в Амстердамском университете . Вдохновленный работами Брауэра и Гейтинга , он получил докторскую степень в 1963 году в Амстердамском университете за диссертацию « Проблемы расширения в интуиционистской плоскости проективной геометрии» . [1] С 1964 по 1966 год Ван Дален преподавал логику и математику в Массачусетском технологическом институте , а затем в Оксфорде . С 1967 года он был профессором в Утрехтском университете . В 2003 году Дирк ван Дален был награжден медалью Академии 2003 года Королевской голландской академии наук за привлечение международного внимания к работам Брауэра. [2]
— (1963) Проблемы расширения в интуиционистской плоской проективной геометрии (диссертация).
—; Монна, Антони Франс (1972). Множества и интеграция. Очерк развития . Гронинген: Вольтерс-Нордхофф . дои : 10.1007/978-94-010-2718-2. ISBN 90-01-59775-0.
—; Дотс, ХК; Де Сварт, HCM (1975). Verzamelingen - наивный, аксиоматичный en toegepast (на голландском языке). Утрехт: Остхук, Шелтема и Холкема. п. 364. ИСБН 9789031300587.
—; Doets, HC; De Swart, HCM (1978) [1975]. Наборы: наивные, аксиоматические и прикладные . Pergamon Press . ISBN 0-08-021166-6.
— (1978). Философский grondslagen van de Wiskunde . Terreinverkenningen in de filosofie (на голландском языке). Том. 4. Ассен: Ван Горкум. ISBN 90-232-1540-0.
— (2013) [1980]. Логика и структура . Universitext (5-е изд.). Лондон, Гейдельберг, Нью-Йорк, Дордрехт: Springer . doi :10.1007/978-1-4471-4558-5. ISBN 978-1447145578.
— (1982). «Braucht die konstructive Mathematik Grundlagen?». Jahresbericht der Deutschen Mathematiker-Vereinigung (на немецком языке). 84 . Берлин: Г. Раймер: 57–78. ISSN 0012-0456.
Том 1. Исследования по логике и основаниям математики; 121. ISBN 0-444-70266-0.
Троелстра, А.С.; Ван Дален, Д. (1988). Том 2. Исследования по логике и основаниям математики; 123. ISBN 0-444-70358-6.
— (1990). "«Война лягушек и мышей, или Кризис Mathematische Annalen». Mathematical Intelligencer . 12 (4). Springer Verlag : 17–31. doi :10.1007/BF03024028. ISSN 0343-6993. S2CID 123400249.
—; Эббингауз, Хайнц-Дитер (июнь 2000 г.). «Цермело и парадокс Сколема». Бюллетень символической логики . 6 (2): 145–161. doi :10.2307/421203. hdl : 1874/27769 . JSTOR 421203. S2CID 8530810.
— (2001). «Интуиционистская логика». В Goble, Lou (ред.). The Blackwell Guide to Philosophical Logic . Нью-Йорк: Blackwell Publishing . С. 224–257. doi :10.1002/9781405164801.ch11. ISBN 9780631206934.
— (2002). ЛЭЙ Брауэр (1881–1966). Эн Биография. Het Holdere Licht der Wiskunde (на голландском языке). Амстердам: Берт Баккер. п. 561. ИСБН 9789035124820.
—. Мистик, геометр и интуитивист. Жизнь Л. Э. Дж. Брауэра . Лондон: Oxford University Press .
Дален, Дирк (2002) [1999]. Заря революции . Clarendon Press. ISBN 0-19-850297-4.
Дален, Дирк ван (2005). Надежда и разочарование . Кларендон Пресс. ISBN 978-0-19-851620-0.
— (2005). LEJ Brouwer en de Grondslagen van de Wiskunde (на голландском языке). Утрехт: Эпсилон. п. 209. ИСБН 9789050410939.
— (2013). Л.Э. Брауэр — тополог, интуиционист, философ: как математика укоренена в жизни . Springer Verlag . ISBN 9781447146155.
—, ред. (2011). Избранная переписка Л.Э. Брауэра . Источники и исследования по истории математики и физических наук. Лондон: Springer Verlag . ISBN 978-0-85729-527-9.
Гуревич Юрий ; да, ред. (1995). Специальный выпуск: дань уважения Дирку ван Далену . Амстердам: Северная Голландия.
Внешние ссылки
ЗНАК (21 мая 2003 г.). «Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen» (на голландском языке). Архивировано из оригинала 26 декабря 2010 года . Проверено 2 декабря 2023 г.
«Над Дирком ван Даленом». Koninklijke Bibliotheek (KB) (на голландском языке). Архивировано из оригинала 3 марта 2016 г. Проверено 2 декабря 2023 г.
"Дирк ван Дален, почетный профессор - Логика и философия математики". Архивировано из оригинала 2010-03-28 . Получено 2 декабря 2023 .
