Petr Hájek (matematik)
| prof. RNDr. Petr Hájek, DrSc., dr. h. c. | |
|---|---|
 | |
| Narození | 6. února 1940 Praha  Protektorát Čechy a Morava |
| Úmrtí | 26. prosince 2016 (ve věku 76 let) Praha  Č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 _BAR.svg){kind=small} III.stupeň (2006) |
| Nábož. vyznání | Českobratrská církev evangelická |
| Děti | Jonáš 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
- ↑ http://www.radio.cz/cz/clanek/91701 Český rozhlas
- ↑ 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.
- ↑ 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
- ↑ http://technet.idnes.cz/zemrel-petr-hajek-matematik-fuzzy-logic-logika-fl4-/veda.aspx?c=A161226_194128_veda_pka
- ↑ 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 Archivováno 24. 9. 2004 na Wayback Machine. 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)
- ↑ Archivovaná kopie. www.learned.cz [online]. [cit. 2015-05-29]. Dostupné v archivu pořízeném dne 2015-05-29.
- ↑ 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
- ↑ Nositelé čestné vědecké hodnosti doctor honoris causa [online]. Slezská univerzita v Opavě [cit. 2016-04-11]. Dostupné online.
- ↑ http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
- ↑ 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.
Média použitá na této stránce
Vlajka České republiky. Podoba státní vlajky České republiky je definována zákonem České národní rady č. 3/1993 Sb., o státních symbolech České republiky, přijatým 17. prosince 1992 a který nabyl účinnosti 1. ledna 1993, kdy rozdělením České a Slovenské Federativní republiky vznikla samostatná Česká republika. Vlajka je popsána v § 4 takto: „Státní vlajka České republiky se skládá z horního pruhu bílého a dolního pruhu červeného, mezi něž je vsunut žerďový modrý klín do poloviny délky vlajky. Poměr šířky k její délce je 2 : 3.“
Stužka: Medaile Za zásluhy III. stupně – Česká republika (od roku 1994).