Jiří Matoušek

Jiří Matoušek (* 10. März 1963 in Prag; † 9. März 2015[1]) war ein tschechischer Mathematiker.

Leben und Wirken

Matousek war Professor für Informatik an der Karls-Universität Prag. Er befasste sich mit diskreter und algorithmischer (rechnergestützter) Geometrie und war der Verfasser mehrerer Lehrbücher.

1996 erhielt er den EMS-Preis. In der Laudatio[2] wurden unter anderem „beste Resultate“ in einigen Schlüsselproblemen kombinatorischer Geometrie und Optimierung (wie Algorithmen der linearen Programmierung und Reichweitensuche) hervorgehoben und die Lösung einiger lange offenstehender Probleme, zum Beispiel in der Theorie geometrischer Diskrepanzen von Halbebenen und arithmetischen Progressionen und die Lösung eines Problems von W. Johnson und Joram Lindenstrauss über die Einbettung endlicher metrischer Räume in Banachräume. Er beschäftigte sich auch mit mathematischer Logik und verschärfte mit Martin Loebl einen Satz über die Unentscheidbarkeit in der Peano-Arithmetik (zuerst von Harvey Friedman gefunden) einer endlichen Variante des Satzes von Joseph Kruskal (1960)[3] über die Ordnung von Mengen endlicher Bäume.[4]

2000 erhielt er den Wissenschaftlerpreis der Societas Scientiarum Bohemica. Er war Invited Speaker auf dem ICM 1998 in Berlin (Mathematical Snapshots from the computational geometry landscape) und auf dem Europäischen Mathematikerkongress in Budapest 1996. 2006 wurde er Mitglied der Gelehrtengesellschaft der Tschechischen Republik und 2012 der Academia Europaea.

Schriften

Einzelnachweise

  1. Jan Kratochvil: Smuteční oznámení. Karls-Universität Prag, 12. März 2015, abgerufen am 13. März 2015.
  2. Laudatio auf EMS Preise 1996
  3. In jeder unendlichen Folge von endlichen Bäumen gibt es zwei, von denen einer in den anderen einbettbar ist.
  4. Loebl, Matousek: On undecidability of the weakened Kruskal theorem. In: Stephen G. Simpson (Herausgeber): Logic and Combinatorics. Arcata 1985, Contemporary Mathematics, Bd. 65, 1987, S. 275–280.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.