Petr Hájek (6. února 1940 Praha – 26. prosince 2016) byl český vědec v oblasti matematické logikyhttp://www.radio.cz/cz/clanek/91701 Český rozhlas a profesor matematiky.
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, přednášel na Matematicko-fyzikální fakultě UK a Fakultě jaderné a fyzikálně inženýrské ČVUT. Věnoval se teorii množin, aritmetice, později logice a umělé inteligenci. Položil matematické základy fuzzy logiky.http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=20061027102622 Státní vyznamenání pro prof. RNDr. Petra Hájka, DrSc., Odbor mediální komunikace Akademie věd Nikdy nebyl členem žádné politické strany; odmítl spolupráci s StB.http://technet.idnes.cz/zemrel-petr-hajek-matematik-fuzzy-logic-logika-fl4-/veda.aspx?c=A161226_194128_veda_pka 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).http://www.cs.cas.cz/hajek/ Hájek Petr, prof., RNDr., DrSc., Institute of Computer Science Academy of Sciences of the Czech Republic, profesní životopis (anglicky)http://kgs.logic.at/index.php?id=42 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky) Od roku 1996 byl členem Učené společnosti České republiky. V roce 2006 mu prezident České republiky Václav Klaus udělil medaili Za zásluhy o stát v oblasti vědyhttp://www.hrad.cz/cms/cz/info_servis/tiskove_zpravy/3955.shtml Prezident udělil státní vyznamenání, tisková zpráva pražského hradu a o dva roky později obdržel čestný doktorát od Slezské univerzity v Opavě.
Osobní život Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony Po čtyřicet let působil jako varhaník pražského evangelického kostela sv. Klimenta.
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.
Reference
Literatura Petr Cintula, Zuzana Haniková, Vítězslav Švejdar (eds.): Witnessed Years, Essays in Honour of Petr Hájek, College Publications, London, 2009, .
Související články Teorie polomnožin Fuzzy logika Asociační analýza
Externí odkazy
Náš host: Matematik s hudebními sklony, 26-05-2007, Zdeněk Vališ, Český rozhlas 7, rozhovor, text i audio(.ram), rozhovor, text i audio (. Memorial page for Petr Hájek na stránkách Ústavu informatiky AV ČR, v. v. i.
Kategorie:Čeští matematici Kategorie:Čeští logici Kategorie:Matematici působící v Česku Kategorie:Matematici 20. století Kategorie:Nositelé medaile Za zásluhy (Česko) Kategorie:Držitelé čestných doktorátů Kategorie:Absolventi Matematicko-fyzikální fakulty Univerzity Karlovy Kategorie:Osobnosti Českobratrské církve evangelické Kategorie:Narození v roce 1940 Kategorie:Narození 6. února Kategorie:Narození v Praze Kategorie:Úmrtí v roce 2016 Kategorie:Úmrtí 26. prosince Kategorie:Muži Kategorie:Lidé Učené společnosti České republiky