Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Ніколас Говерт де Брейн нід Nicolaas Govert de Bruijn 9 липня 1918 17 лютого 2012 нідерландський математик відомий дослі

Ніколас де Брейн

Ніколас де Брейн

Ніколас Говерт де Брейн (нід. Nicolaas Govert de Bruijn, 9 липня 1918 — 17 лютого 2012) — нідерландський математик, відомий дослідженнями в галузі теорії графів, автоматичного доведення, автор підручника з асимптотичних методів аналізу. Його ім'ям названо конструкції, пов'язані з послідовністю де Брейна: цикл де Брейна, граф де Брейна, а також кілька відомих тверджень у теорії графів, комбінаториці, обчислювальній геометрії і теорії чисел.

Ніколас де Брейн
image
Ім'я при народженні нід. Nicolaas Govert de Bruijn[1]
Народився 9 липня 1918(1918-07-09)[2][3]
Гаага, Нідерланди
Помер 17 лютого 2012(2012-02-17)[4][2][…] (93 роки)
d, d, Північний Брабант, Нідерланди[1]
Країна image Нідерланди
Діяльність математик, викладач університету, інформатик
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
Нагороди
image
image Ніколас де Брейн у Вікісховищі

Життєпис

Народився 1918 року в Гаазі в багатодітній родині маляра. Протягом 1936—1941 років навчався в Лейденському університеті, від 1939 року (до 1944) паралельно працював асистентом на математичному факультеті Делфтського технічного університету. 1943 року здобув докторський ступінь з математики в Амстердамському вільному університеті, захистивши під керівництвом [nl] дисертацію з алгебричної теорії чисел.

Від 1944 до 1946 року працював у дослідницькій лабораторії корпорації Philips, 1946 року запрошений на посаду професора математичного факультету Делфтського технічного університету. До цього періоду відносяться роботи з комбінаторики і геометрії інцидентності, найзначнішим результатом стала теорема де Брейна — Ердеша, опублікована спільно з Палом Ердешем 1948 року, що дає нижню оцінку кількості прямих, які можна провести через заданий набір точок проєктивної площини (в певному сенсі, проєктивний аналог теореми Сильвестра). Примітно, що двоїсте твердження відоме під назвою . Ще одним спільним результатом з Палом Ердешем стало доведення 1951 року твердження про те, що будь-який нескінченний image-хроматичний граф містить скінченний підграф, який також є image-хроматичним, відоме також як теорема де Брейна — Ердеша.

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

Примітки

  1. Архів історії математики Мактьютор — 1994.
    d:Track:Q547473
  2. KNAW Past Members
    d:Track:Q21491701
  3. https://www.tue.nl/universiteit/alumni/emeriti/album-academicum/
  4. Korteweg-de Vries Institute for Mathematics
  5. dataset Library TU Delft — 2017.
    d:Track:Q65589124
  6. Album Academicum — 2007.
    d:Track:Q63962284
  7. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  8. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  9. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  10. Weisstein, Eric W. . Mathworld (англ.). Wolfram Research. Архів оригіналу за 20 травня 2021. Процитовано 3 березня 2012.
  11. 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, Інтернет

Nikolas Govert de Brejn nid Nicolaas Govert de Bruijn 9 lipnya 1918 17 lyutogo 2012 niderlandskij matematik vidomij doslidzhennyami v galuzi teoriyi grafiv avtomatichnogo dovedennya avtor pidruchnika z asimptotichnih metodiv analizu Jogo im yam nazvano konstrukciyi pov yazani z poslidovnistyu de Brejna cikl de Brejna graf de Brejna a takozh kilka vidomih tverdzhen u teoriyi grafiv kombinatorici obchislyuvalnij geometriyi i teoriyi chisel Nikolas de BrejnIm ya pri narodzhenni nid Nicolaas Govert de Bruijn 1 Narodivsya 9 lipnya 1918 1918 07 09 2 3 Gaaga NiderlandiPomer 17 lyutogo 2012 2012 02 17 4 2 93 roki d d Pivnichnij Brabant Niderlandi 1 Krayina NiderlandiDiyalnist matematik vikladach universitetu informatikAlma mater Lejdenskij universitet 1941 1 Amsterdamskij vilnij universitet 1943 1 Galuz kombinatorika teoriya grafiv i teoretichna informatikaZaklad Delftskij tehnichnij universitet 5 Tehnichnij universitet Ejndgovena 3 1 Amsterdamskij universitet 6 Delftskij tehnichnij universitet 1 d 1 Naukovij kerivnik d 7 Aspiranti doktoranti d 8 d 9 d 9 d 9 d 9 d 9 d 9 d 9 d 9 d 9 d 9 Chlenstvo Niderlandska korolivska akademiya naukDiti dNagorodi Nikolas de Brejn u VikishovishiZhittyepisNarodivsya 1918 roku v Gaazi v bagatoditnij rodini malyara Protyagom 1936 1941 rokiv navchavsya v Lejdenskomu universiteti vid 1939 roku do 1944 paralelno pracyuvav asistentom na matematichnomu fakulteti Delftskogo tehnichnogo universitetu 1943 roku zdobuv doktorskij stupin z matematiki v Amsterdamskomu vilnomu universiteti zahistivshi pid kerivnictvom nl disertaciyu z algebrichnoyi teoriyi chisel Vid 1944 do 1946 roku pracyuvav u doslidnickij laboratoriyi korporaciyi Philips 1946 roku zaproshenij na posadu profesora matematichnogo fakultetu Delftskogo tehnichnogo universitetu Do cogo periodu vidnosyatsya roboti z kombinatoriki i geometriyi incidentnosti najznachnishim rezultatom stala teorema de Brejna Erdesha opublikovana spilno z Palom Erdeshem 1948 roku sho daye nizhnyu ocinku kilkosti pryamih yaki mozhna provesti cherez zadanij nabir tochok proyektivnoyi ploshini v pevnomu sensi proyektivnij analog teoremi Silvestra Primitno sho dvoyiste tverdzhennya vidome pid nazvoyu She odnim spilnim rezultatom z Palom Erdeshem stalo dovedennya 1951 roku tverdzhennya pro te sho bud yakij neskinchennij k displaystyle k hromatichnij graf mistit skinchennij pidgraf yakij takozh ye k displaystyle k hromatichnim vidome takozh yak teorema de Brejna Erdesha 1952 roku jogo zaprosheno na posadu profesora Amsterdamskogo universitetu de propracyuvav do 1960 roku Najprimitnisha pracya cogo chasu vidanij 1958 roku u viglyadi knigi kurs lekcij z asimptotichnih metodiv analizu Vid 1960 roku profesor matematiki Tehnichnogo universitetu Ejndgovena zajmav cyu posadu azh do 1984 roku pislya chogo otrimav status emerita V Ejndgoveni pracyuvav nad analitichnoyu teoriyeyu chisel zadachami optimalnogo upravlinnya matematichnim opisom kvazikristaliv zokrema mozayikoyu Penrouza otrimav nizku rezultativ u kombinatornij geometriyi odin z yakih vidomij yak Praci kincya 1960 h pochatku 1970 rokiv zoseredzheni v galuzi avtomatichnogo dovedennya rozrobleno formalnu movu en pershij formalizm yakij realizuye paradigmu izomorzfizmu Karri Govarda yaka stverdzhuye pro vzayemno odnoznachnu vidpovidnist mizh i komp yuternoyu programoyu Tipizovane l chislennya rozroblene cherez dekilka rokiv stalo faktichno povtornim vidkrittyam Automath Ostanni roki zhittya zajmavsya zadacheyu modelyuvannya golovnogo mozku lyudini Naukovi spilnoti ta nagorodi1957 roku obranij chlenom Niderlandskoyi korolivskoyi akademiyi nauk 1970 roku buv zaproshenim dopovidachem na mizhnarodnomu kongresi matematikiv u Nicci 1981 roku nagorodzhenij ordenom Niderlandskogo leva licar ordena 1985 roku vidznachenij BibliografiyaDe Bruijn Nicolaas Asymptotic methods in analysis Amsterdam 1958 Perevidannya 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 ISBN 9780123490506 PrimitkiArhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 KNAW Past Members d Track Q21491701 https www tue nl universiteit alumni emeriti album academicum Korteweg de Vries Institute for Mathematics dataset Library TU Delft 2017 d Track Q65589124 Album Academicum 2007 d Track Q63962284 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Weisstein Eric W Mathworld angl Wolfram Research Arhiv originalu za 20 travnya 2021 Procitovano 3 bereznya 2012 TUE 2008 Zijn vader had er een schilderszaak en het gezin telde acht kinderen PosilannyaBruijn N G de PDF Kleine TU E Encyclopedia nid TUE 2008 Arhiv originalu PDF za 14 travnya 2012 Procitovano 3 bereznya 2012 O Connor J J and Robertson E F 2008 Nicolaas Govert de Bruijn MacTutor angl University of St Andrews Arhiv originalu za 14 travnya 2012 Procitovano 3 bereznya 2012

Дата публікації:
Топ