Jiří Matoušek

Jiří Matoušek Bu görüntünün açıklaması, aşağıda da yorumlanmıştır Jiri Matousek, 2005 yılında Oberwolfach'ta Anahtar veri
Doğum 10 Mart 1963
Prag (Çekoslovakya)
Ölüm Mart 9 , 2015 (51 yaşında)
Ev Çek Cumhuriyeti
Milliyet Çek
Alanlar Hesaplamalı
geometri ayrık geometri
optimizasyonu , mantık
Kurumlar Prag'daki Charles Üniversitesi
Ödüller Avrupa Matematik Derneği Ödülü (1996) Societas Scientiarum Bohemica
Bilim Adamları Ödülü (2000)

Jiří Matoušek , doğdu10 Mart 1963içinde Prag'da , öldü Mart 9 , 2015Çek matematikçi ve bilgisayar teorisyeni . Matousek, Prag'daki Charles Üniversitesi'nde bilgisayar bilimi profesörüdür . Ayrık ve algoritmik geometri konusunda uzmandır ve çok sayıda kitap yayınlamıştır.

İşler

Kombinatoryal geometri ve optimizasyonun birkaç temel problemini çözer , örneğin yarım düzlemlerin veya aritmetik ilerlemelerin tutarsızlığı veya Banach uzaylarında sonlu metrik uzayların gömülmesi (W. Johnson ve J. Lindenstrauss problemi).

O da ilgilenen edilir matematiksel mantık o üzerinde Harvey Friedman tarafından bir teoremini geliştirdi ve Martin Loebl ile karar verilemezlik içinde gelen Peano aritmetik sonlu varyant Kruskal teoreminin (1960).

Ödüller ve onurlar

1996'da Avrupa Matematik Derneği'nin ödülünü alan on genç Avrupalı ​​matematikçiden biriydi . Sunum konuşmasında, sonuçlarının çeşitliliği ve zorluğu özellikle belirtilmiştir.

1998'de, Berlin'deki Uluslararası Matematikçiler Kongresi'nde " Hesaplamalı Geometri Manzarasından Matematiksel Anlık Görüntüler " başlıklı bir konuşma ile konuk öğretim görevlisiydi .

2000 yılında Societas Scientiarum Bohemica'dan (Bohemian Science Society) Bilim Adamları Ödülü'nü kazandı .

İşler

Notlar ve referanslar

  1. (cs) Zemřel Jiří Matoušek: Jiří Matoušek'in ölüm ilanı
  2. sonlu ağaçların herhangi sonsuz sekansta, / diğer daldırılır, bir batırma edilebileceği iki tane vardır (en) Martin Loeb ve Jiri Matousek , “bir karar verilemezlik üzerinde Kruskal teoremi zayıflatılmış” (Stephen G. Simpson, ed.), Logic and Combinatorics, Arcata 1985 , Providence, AMS , coll.  "Çağdaş Matematik" ( n o  65),1987, 275–280  s..
  3. (inç) Avrupa Matematik Derneği'nin kazananları listesi
  4. (in) KOBİ Ödülü 1996

Ayrıca görün

Jambonlu sandviç teoremi