Petr Hájek (ur. 6 lutego 1940 w Pradze, zm. 26 grudnia 2016) – czeski matematyk i logik matematyczny, profesor, specjalista w zakresie teorii mnogości, arytmetyki, logiki rozmytej oraz przetwarzania informacji niepewnej.
Życiorys Studiował na Wydziale Matematyczno-Fizycznym Uniwersytetu Karola w Pradze, który ukończył w 1962 roku. Następnie od 1965 roku był doktorantem w Instytucie Matematycznym Czechosłowackiej Akademii Nauk, gdzie zajmował się logiką matematyczną i teorią mnogości.
Przez większą część kariery naukowej był związany z Akademią Nauk: najpierw z Instytutem Matematycznym, a następnie z Instytutem Informatyki Akademii Nauk Republiki Czeskiej. W latach 1992–2000 pełnił funkcję dyrektora Instytutu Informatyki Akademii Nauk Republiki Czeskiej. Stopień docenta uzyskał w 1993 roku, a tytuł profesora w 1997 roku na Uniwersytecie Karola.
Wykładał także na Uniwersytecie Karola w Pradze, na Czeskim Uniwersytecie Technicznym w Pradze oraz na Uniwersytecie Technicznym w Wiedniu. Przez wiele lat prowadził seminaria z logiki matematycznej stosowanej.
Poza matematyką studiował również muzykę organową w Akademii Sztuk Scenicznych w Pradze i przez około czterdzieści lat był organistą w kościele św. Klimenta w Pradze.
Działalność naukowa Hájek zajmował się logiką matematyczną i jej zastosowaniami, przede wszystkim teorią mnogości, arytmetyką, logiką rozmytą, analizą danych oraz przetwarzaniem informacji niepewnej. Jest uznawany za jednego z głównych twórców matematycznych podstaw logiki rozmytej.
Był autorem lub współautorem licznych monografii i kilkuset prac naukowych. Do jego najważniejszych książek należą The Theory of Semisets, Mechanizing Hypothesis Formation, Metamathematics of First-Order Arithmetic oraz Metamathematics of Fuzzy Logic.
Działalność organizacyjna i wyróżnienia Był członkiem Association for Symbolic Logic, dwukrotnie zasiadał w jej radzie, a w latach 1999–2003 był prezesem Kurt Gödel Society. Należał także do Uczonego Towarzystwa Republiki Czeskiej od 1996 roku.
Za działalność naukową otrzymał między innymi medal Akademii Nauk Republiki Czeskiej De scientia et humanitate optime meritis oraz Medal Za Zasługi prezydenta Republiki Czeskiej w 2006 roku.
Wybrane publikacje The Theory of Semisets (z Petrem Vopěnką). Mechanizing Hypothesis Formation (z Tomášem Havránkiem). Metamathematics of First-Order Arithmetic (z Pavlem Pudlákiem). Metamathematics of Fuzzy Logic.
Przypisy
Kategoria:Czescy matematycy XX wieku Kategoria:Logicy matematyczni Kategoria:Absolwenci Uniwersytetu Karola Kategoria:Ludzie urodzeni w Pradze Kategoria:Urodzeni w 1940 Kategoria:Zmarli w 2016