Petr Hájek (matematik)

prof. RNDr. Petr Hájek, DrSc., dr. h. c.
Narození6. února 1940
Praha
Protektorát Čechy a MoravaProtektorát Čechy a Morava Protektorát Čechy a Morava
Úmrtí26. prosince 2016 (ve věku 76 let)
Praha
ČeskoČesko Česko
Alma materMatematicko-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 mzz 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.

Petr Hájek (6. února 1940 Praha – 26. prosince 2016) byl český vědec v oblasti matematické logiky[1] 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[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. 
  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. 

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

  • Osoba Petr Hájek (matematik) ve Wikicitátech
  • Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Petr Hájek (matematik)
  • 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.
Pahýl
Pahýl
 Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.
Autoritní data Editovat na Wikidatech