Николас Говерт де Брюйн - Nicolaas Govert de Bruijn
Николас Говерт де Брюйн | |
|---|---|
 | |
| Туған | 9 шілде 1918 |
| Өлді | 17 ақпан 2012 (93 жаста) |
| Ұлты | Голланд |
| Алма матер | Vrije Universiteit Амстердам |
| Белгілі | De Bruijn дәйектілігі De Bruijn индексі Автоматика |
| Ғылыми мансап | |
| Өрістер | Математика |
| Мекемелер | Эйндховен технологиялық университеті |
| Докторантура кеңесшісі | Юрьен Фердинанд Коксма |
| Докторанттар | Йоханнес Рунненбург Стэн Аккерманс |
Николас Говерт (Дик) де Брюйн (Дат:[nikoːˈlaːs ˈxoːvert da ˈbrœyn];[1] 9 шілде 1918 - 17 ақпан 2012) голландиялық болды математик саласындағы көптеген үлестерімен атап өтті талдау, сандар теориясы, комбинаторика және логика.[2]
Өмірбаян
Жылы туылған Гаага, Де Брюйн математикадан магистр дәрежесін алған Лейден университеті 1941 жылы докторлық диссертациясын 1943 ж Амридам Университеті кеңес берген «Over modulaire vormen van meer veranderlijken» тақырыбындағы диссертациямен Юрьен Фердинанд Коксма.[3]
Де Брюйн өзінің академиялық мансабын басталды Амстердам университеті 1952-1960 жж. аралығында математика профессоры болды. 1960 ж Эйндховен техникалық университеті ол 1984 жылы зейнетке шыққанға дейін математика профессоры болды.[2] Оның аспиранттарының арасында болды Йоханнес Рунненбург (1960), Антониус Леветт (1961), С.Акерманс (1964), Йозеф Бинаккер (1966), В. ван дер Мейден (1967), Матеус Хаутус (1970), Роберт Недерпелт Лазаром (1973), Ламберт ван Бентем Джуттинг ( 1977), А.Янсен (1979), Диедерик ван Даален (1980) және Харманнус Бальстерс (1986).[3]
1957 жылы ол мүше болып тағайындалды Нидерланды корольдік өнер және ғылым академиясы.[4] Ол рыцарь болды Нидерланды арыстаны.
Жұмыс
Де Брюйн математиканың көптеген салаларын қамтыды. Ол әсіресе:
- ашылуы De Bruijn дәйектілігі,
- алгебралық теориясын ашу Пенрозды плитка және, жалпы, квазиорезонды қаптамаларды тұрғызудың «проекциясы» және «көп өлшемді» әдістерін табу,[5][6]
- The Де Брюйн - Ньюман тұрақтысы,
- The Де Брюйн-Эрдес теоремасы, жылы графтар теориясы,
- бір аттас басқа теорема: Де Брюйн-Эрдес теоремасы, жылы түсу геометриясы,
- The ЕҢ ҮЗДІК теорема графтар теориясында және
- Де Брюйн индекстері.
Ол стандартты кітаптардың бірін жетілдірілген түрде жазды асимптотикалық талдау (De Bruijn, 1958).
Алпысыншы жылдардың аяғында ол Автоматика автоматты түрде тексерілуі үшін математикалық дәлелдерді ұсынуға арналған тіл (қараңыз) автоматтандырылған теореманы тексеру ). Өлімінен біраз бұрын ол модельдермен айналысқан адамның миы.
Жарияланымдар
Кітаптар, таңдау:
- 1943. Бірнеше модульдік нұсқада
- 1958. Талдаудағы асимптотикалық әдістер, Солтүстік-Голландия, Амстердам.
Мақалалар, таңдау:
- де Брюйн, Николас Говерт. «Комбинаторлық проблема», 1946 ж., Ғылымдар секциясы жинағында, т. 49, No7, 758–764 бб. Koninklijke Nederlandse Akademie қарсы Vetenschappen.
- де Брюйн, Николас Говерт. «AUTOMATH математикалық тілі, қолданылуы және кейбір кеңейтімдері. «Автоматты демонстрация симпозиумы. Springer Berlin Heidelberg, 1970 ж.
- де Брюйн, Николас Говерт. «Ламбданың аты-жөні жоқ муляждармен есептеулер, формуланы автоматты түрде манипуляциялауға арналған құрал, Черч-Россер теоремасына қолдана отырып. «Indagationes Mathematicae (Шығармалар). 75-том. № 5. Солтүстік-Голландия, 1972 ж.
Сондай-ақ қараңыз
Пайдаланылған әдебиеттер
- ^ Оқшаулауда, Говерт айтылады [ˈƔoːvert].
- ^ а б Николяс Говерт де Брюйннің некрологы Мұрағатталды 2013-04-25 сағ Wayback Machine 2012
- ^ а б Николас Говерт де Брюйн кезінде Математика шежіресі жобасы
- ^ «Николас Говерт де Брюйн (1918–2012)» (голланд тілінде). Нидерланды корольдік өнер және ғылым академиясы. Алынған 17 шілде 2015.
- ^ де Брюйн, Н.Г. (1981). «Пенроуздың жазықтықтың периодты емес қапталуының алгебралық теориясы. Мен». Indagationes Mathematicae (материалдар). 84: 39–52. дои:10.1016/1385-7258(81)90016-0.
- ^ де Брюйн, Н.Г. (1981). «Пенроуздың жазықтықтың периодты емес қапталуының алгебралық теориясы. II». Indagationes Mathematicae (материалдар). 84: 53–66. дои:10.1016/1385-7258(81)90017-2.
Сыртқы сілтемелер
- Николяс Говерт де Брюйннің некрологы
- Bruijn N.G. де win.tue.nl сайтында (голланд тілінде)
