Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Ніколас Говерт де Брейн (нід. Nicolaas Govert de Bruijn, 9 липня 1918 — 17 лютого 2012) — нідерландський математик, відомий дослідженнями в галузі теорії графів, автоматичного доведення, автор підручника з асимптотичних методів аналізу. Його ім'ям названо конструкції, пов'язані з (послідовністю де Брейна): цикл де Брейна, граф де Брейна, а також кілька відомих тверджень у теорії графів, комбінаториці, обчислювальній геометрії і теорії чисел.
| Ніколас де Брейн | |
|---|---|
 | |
| Ім'я при народженні | нід. Nicolaas Govert de Bruijn[1] |
| Народився | 9 липня 1918[2][3] Гаага, Нідерланди |
| Помер | 17 лютого 2012[4][2][…] (93 роки) d, d, Північний Брабант, Нідерланди[1] |
| Країна |  Нідерланди |
| Діяльність | математик, викладач університету, інформатик |
| Alma mater | Лейденський університет (1941)[1] Амстердамський вільний університет (1943)[1] |
| Галузь | комбінаторика, теорія графів і теоретична інформатика |
| Заклад | Делфтський технічний університет[5] Технічний університет Ейндговена[3][1] Амстердамський університет[6] Делфтський технічний університет[1] d[1] |
| Науковий керівник | d[7] |
| Аспіранти, докторанти | d[8] d[9] d[9] d[9] d[9] d[9] d[9] d[9] d[9] d[9] d[9] |
| Членство | Нідерландська королівська академія наук |
| Діти | d |
| Нагороди |  |
 Ніколас де Брейн у Вікісховищі | |
Життєпис
Народився 1918 року в Гаазі в багатодітній родині маляра. Протягом 1936—1941 років навчався в Лейденському університеті, від 1939 року (до 1944) паралельно працював асистентом на математичному факультеті Делфтського технічного університету. 1943 року здобув докторський ступінь з математики в Амстердамському вільному університеті, захистивши під керівництвом [nl] дисертацію з алгебричної теорії чисел.
Від 1944 до 1946 року працював у дослідницькій лабораторії корпорації Philips, 1946 року запрошений на посаду професора математичного факультету Делфтського технічного університету. До цього періоду відносяться роботи з комбінаторики і геометрії інцидентності, найзначнішим результатом стала теорема де Брейна — Ердеша, опублікована спільно з Палом Ердешем 1948 року, що дає нижню оцінку кількості прямих, які можна провести через заданий набір точок проєктивної площини (в певному сенсі, проєктивний аналог (теореми Сильвестра)). Примітно, що двоїсте твердження відоме під назвою . Ще одним спільним результатом з Палом Ердешем стало доведення 1951 року твердження про те, що будь-який нескінченний 
-хроматичний граф містить скінченний підграф, який також є -хроматичним, відоме також як теорема де Брейна — Ердеша.
1952 року його запрошено на посаду професора Амстердамського університету, де пропрацював до 1960 року. Найпримітніша праця цього часу — виданий 1958 року у вигляді книги курс лекцій з асимптотичних методів аналізу.
Від 1960 року — професор математики Технічного університету Ейндговена, займав цю посаду аж до 1984 року, після чого отримав статус емерита. В Ейндговені працював над аналітичною теорією чисел, задачами оптимального управління, математичним описом (квазікристалів) (зокрема, (мозаїкою Пенроуза)), отримав низку результатів у комбінаторній геометрії (один з яких відомий як ). Праці кінця 1960-х — початку 1970 років зосереджені в галузі автоматичного доведення — розроблено формальну мову [en], перший формалізм, який реалізує парадигму ізоморзфізму Каррі — Говарда, яка стверджує про взаємно-однозначну відповідність між і комп'ютерною програмою. (Типізоване λ-числення), розроблене через декілька років, стало фактично повторним відкриттям Automath.
Останні роки життя займався задачею моделювання головного мозку людини.
Наукові спільноти та нагороди
1957 року обраний членом Нідерландської королівської академії наук. 1970 року був запрошеним доповідачем на міжнародному конгресі математиків у Ніцці.
1981 року нагороджений орденом Нідерландського лева (лицар ордена), 1985 року відзначений .
Бібліографія
- De Bruijn, Nicolaas. Asymptotic methods in analysis. — Амстердам : , 1958.
- Перевидання: 1961 (North-Holland), 1981 ([en]).
- De Bruijn, N. G. A survey of the project Automath. // To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. — L. : , 1980. — 22 June. — P. 579–606. — .
Примітки
- Архів історії математики Мактьютор — 1994.
- KNAW Past Members
- https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
- Korteweg-de Vries Institute for Mathematics
- dataset Library TU Delft — 2017.
- Album Academicum — 2007.
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
- Weisstein, Eric W. . Mathworld (англ.). Wolfram Research. Архів оригіналу за 20 травня 2021. Процитовано 3 березня 2012.
- TUE, 2008, Zijn vader had er een schilderszaak en het gezin telde acht kinderen.
Посилання
- Bruijn, N.G. de (PDF). Kleine TU/E Encyclopedia (нід.). TUE. 2008. Архів оригіналу (PDF) за 14 травня 2012. Процитовано 3 березня 2012.
- O’Connor, J. J. and Robertson, E. F. (2008). Nicolaas Govert de Bruijn. MacTutor (англ.). University of St Andrews. Архів оригіналу за 14 травня 2012. Процитовано 3 березня 2012.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет