Petr Hájek (matematik)

Petr Hájek (6. února 1940 Praha – 26. prosince 2016) byl český vědec v oblasti matematické logiky^[1] a profesor matematiky.

prof. RNDr. Petr Hájek, DrSc., dr. h. c.
Narození	6. února 1940 Praha Protektorát Čechy a Morava Protektorát Čechy a Morava
Úmrtí	26. prosince 2016 (ve věku 76 let) Praha Česko Česko
Alma mater	Matematicko-fyzikální fakulta Univerzity Karlovy Hudební a taneční fakulta Akademie múzických umění
Povolání	matematik, vysokoškolský učitel a varhaník
Zaměstnavatel	České vysoké učení technické v Praze
Ocenění	Medaile Za zásluhy III.stupeň (2006)
Nábož. vyznání	Českobratrská církev evangelická
Děti	Jonáš Hájek syn,Marie Hájková dcera
Příbuzní	Miloslav Hájek (bratranec)
Funkce	ředitel (Ústav informatiky AV ČR; 1992–2000) varhaník
Některá data mohou pocházet z datové položky.

Profesní život

Vystudoval Matematicko-fyzikální fakultu Univerzity Karlovy v Praze a Hudební fakultu Akademie múzických umění (hru na varhany). Pracoval v Ústavu informatiky Akademie věd České republiky^[2], přednášel na Matematicko-fyzikální fakultě UK a Fakultě jaderné a fyzikálně inženýrské ČVUT.^[zdroj?] Věnoval se teorii množin, aritmetice, později logice a umělé inteligenci. Položil matematické základy fuzzy logiky.^[3] Nikdy nebyl členem žádné politické strany; odmítl spolupráci s StB.^[4] Jak docentem (1993), tak profesorem (1997) byl jmenován až po sametové revoluci. V letech 1992–2000 byl ředitelem Ústavu informatiky Akademie věd České republiky, v letech 1996–2003 prezidentem Společnosti Kurta Gödela (Kurt Gödel Society).^[5][6] Od roku 1996 byl členem Učené společnosti České republiky.^[7] V roce 2006 mu prezident České republiky Václav Klaus udělil medaili Za zásluhy o stát v oblasti vědy^[8] a o dva roky později obdržel čestný doktorát od Slezské univerzity v Opavě.^[9]

Osobní život

Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.^[10] Po čtyřicet let^[zdroj?] působil jako varhaník pražského evangelického kostela sv. Klimenta.^[11]

Jeho synem je básník Jonáš Hájek.

Dílo (spoluautor)

• Petr Hájek, Pavel Kalášek, Petr Kůrka: O dynamické logice. Praha : Academia, 1960, 42 s.
• Petr Vopěnka, Petr Hájek: The Theory of Semisets. Praha : Academia, 1972 [Z češ. do angl. přel. T. Jech a G. Rousseau].
• Petr Hájek, Tomáš Havránek, Metoděj K. Chytil: Metoda GUHA : automatická tvorba hypotéz. Praha : Academia, 1983.
• Petr Hájek, Pavel Pudlák: Metamathematics of First-Order Arithmetic. Berlin : Springer, 1993, 460 s.
• Petr Hájek: Metamathematics of Fuzzy Logic. Dordrecht: Kluwer 1998, 297 s.