Nicolaas Govert de Bruijn

Nicolaas Govert de Bruijn Bu görüntünün açıklaması, aşağıda da yorumlanmıştır 1960'larda Bruijn'den Oberwolfach'a . Anahtar veri
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 .

İşler

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 .

Notlar ve referanslar

  1. o yana işbirliği yayınlanan Paul Erdös , onun Erdos sayısı 1'e eşittir.
  2. De Bruijn, Analizde Asimptotik Yöntemler (1958), Kuzey Hollanda, 1981'de Dover tarafından yeniden yayınlandı ( ISBN  9780486642215 )

Ayrıca görün

İlgili Makaleler

Dış bağlantılar