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 materMatematicko-fyzikální fakulta Univerzity Karlovy
Hudební a taneční fakulta Akademie múzických umění
Povolánívědec, matematik a vysokoškolský učitel
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ětiJonáš Hájek syn,Marie Hájková dcera
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.

Reference
  1. http://www.radio.cz/cz/clanek/91701 Český rozhlas
  2. Zemřel významný český vědec a matematik Petr Hájek. TÝDEN.cz [online]. 2016-12-26 [cit. 2021-06-24]. Dostupné online. (česky)
  3. 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
  4. http://technet.idnes.cz/zemrel-petr-hajek-matematik-fuzzy-logic-logika-fl4-/veda.aspx?c=A161226_194128_veda_pka
  5. 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)
  6. http://kgs.logic.at/index.php?id=42 Archivováno 24. 9. 2004 na Wayback Machine 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)
  7. Archivovaná kopie. www.learned.cz [online]. [cit. 2015-05-29]. Dostupné v archivu pořízeném dne 2015-05-29.
  8. http://www.hrad.cz/cms/cz/info_servis/tiskove_zpravy/3955.shtml Archivováno 9. 6. 2007 na Wayback Machine Prezident udělil státní vyznamenání, tisková zpráva pražského hradu
  9. Nositelé čestné vědecké hodnosti doctor honoris causa [online]. Slezská univerzita v Opavě [cit. 2016-04-11]. Dostupné online.
  10. http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
  11. red. Medaile prof. Petru Hájkovi. Český bratr. 2006, roč. 82, čís. 12, s. 5. Dostupné online. ISSN 1211-6793. (čeština)

Literatura
  • Petr Cintula, Zuzana Haniková, Vítězslav Švejdar (eds.): Witnessed Years, Essays in Honour of Petr Hájek, College Publications, London, 2009, ISBN 978-1-904987-63-5.

Související články

Externí odkazy
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.