Doğum |
9 Temmuz 1918 Lahey ( Hollanda ) |
---|---|
Ölüm |
17 Şubat 2012 Nuenen |
Milliyet | Flemenkçe |
Alanlar | Matematik |
Kurumlar | Eindhoven Teknoloji Üniversitesi |
Süpervizör | Jurjen Ferdinand Koksma (en) |
Ünlü | Bruijn de sonrasında , teorem De Bruijn-Erdos , teorem İYİ |
Nicolaas Govert de Bruijn , doğdu9 Temmuz 1918içinde Lahey ve öldü17 Şubat 2012içinde Nuenen , bir olan Hollandalı matematikçi , profesör emekli de Eindhoven Teknoloji Üniversitesi .
Matematiğin birkaç dalını geliştirdi . En çok de Bruijn'in devamı ile tanınır . Ayrıca ko-yaratıcısı De Bruijn ve-Newman sabiti , De Bruijn ve-erdos teoremi olarak grafik teorisi ve geometrisi de bir ve en iyi teoremi .
Asimptotik analiz üzerine önde gelen ders kitaplarından birini yazdı . Ayrıca Penrose'un kaldırımı üzerinde çalıştı . 1960'ların sonlarında , doğrulamalarını otomatikleştirebilmek için matematiksel kanıtları temsil etmeyi amaçlayan bir dil olan Automath'ı geliştirdi . Daha yakın zamanlarda, insan beyninin açıklayıcı bir modeliyle ilgilenmiştir .
Bağlı değişkenler sorunundan kurtulmak için bir yöntem geliştirdi . De Bruijn indeksleri ile yazılan ifadeler, "yakın bağlı değişkenleri yeniden adlandırmaya özdeş" ilişkisinin denklik sınıfları için gösterimlerdir. İçinde lambda-hesabı , her bir De Bruijn ve indeksi (en) , bir değişken bir tekrarını temsil eder ve bu durumda ve lambda bu bağlar bu arasında bulunan lambda sayısına göre belirlenir. Bu gösterim, kareler ve bağlar kullanan Bourbaki'nin doğrusallaştırmasıdır .