Nicolaas de Bruijn
Hollandalı Matematikçi
Date of Birth: 09.07.1918
Country: 
İçindekiler:
Nicolas de Bruijn Biyografisi
Nicolas de Bruijn, graf teorisi, otomatik ispat ve asimptotik analiz yöntemleri üzerine yaptığı araştırmalarla tanınan Hollandalı bir matematikçiydi. Bu alanlardaki birçok yapı ve kavram, onun adını taşır; de Bruijn döngüsü, de Bruijn grafiği ve graf teorisi, kombinatorik, hesaplamalı geometri ve sayı teorisi alanlarında çok tanınan önermeler.
Erken Yaşam ve Eğitim
Nicolas de Bruijn 1918 yılında Hollanda, Lahey’de büyük bir ressam ailesinde doğdu. 1936-1941 yılları arasında Leiden Üniversitesi’nde okudu ve 1939-1944 yılları arasında Delft Teknoloji Üniversitesi matematik fakültesinde asistanlık yaptı. 1943 yılında Amsterdam Üniversitesi’nden matematik alanında doktorasını Jurjen Koksma rehberliğinde cebirsel sayılar teorisi üzerine savunarak aldı.
Kariyer ve Katkılar
1944-1946 yılları arasında de Bruijn, Philips Şirketi Araştırma Laboratuvarı’nda çalıştı. 1946 yılında Delft Teknoloji Üniversitesi matematik fakültesinde profesör olarak atandı. Bu dönemde kombinatorik ve insidans geometrisine odaklandı ve en önemli sonucu 1948’de Paul Erdős ile birlikte yayımlanan de Bruijn–Erdős teoremi oldu. Ayrıca, Erdős ile 1951’de her k-kromatik grafın k-kromatik alt graf içerdiğini kanıtladı, bu teoreme de Bruijn–Erdős teoremi adı verildi.
1952’de Amsterdam Üniversitesi’nde profesör olarak görev aldı ve 1960’a kadar çalıştı. Bu dönemde dikkat çeken eserlerden biri, 1958’de kitap olarak yayımlanan ve daha sonra Rusça’ya çevrilen asimptotik analiz yöntemleri üzerine verdiği ders serisidir.
1960’tan itibaren de Bruijn, emekliye kadar Eindhoven Teknoloji Üniversitesi’nde matematik profesörü olarak görev yaptı. Eindhoven’da analitik sayı teorisi, optimal kontrol problemleri ve Penrose döşemesi gibi quasicrystals’ın matematiksel açıklamasına odaklandı. 1960’ların sonları ve 1970’lerin başlarında araştırmaları otomatik ispat alanına kaydı ve formal dil Automath’ı geliştirdi. Bu dil, formel ispatlar ile bilgisayar programları arasında bir bağlantı kuran Curry-Howard karşılığını uyguladı.
Ödüller ve Onurlar
1981 yılında Nicolas de Bruijn, Hollanda Aslanı Nişanı (Knight) ile ödüllendirildi ve 1985 yılında Snellius Madalyası’nı aldı.