Petr Hájek (matematik): Porovnání verzí
m →Profesní život: byl značka: editace z Vizuálního editoru |
Robot: Opravuji 1 zdrojů and označuji 0 zdrojů jako nefunkční #IABot (v2.0beta9) |
||
Řádek 7: | Řádek 7: | ||
== Profesní život == |
== Profesní život == |
||
Vystudoval [[Matematicko-fyzikální fakulta Univerzity Karlovy|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha|Praze]] a [[Hudební fakulta Akademie múzických umění|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í fakulta Univerzity Karlovy|Matematicko-fyzikální fakultě UK]] a [[Fakulta jaderná a fyzikálně inženýrská ČVUT|Fakultě jaderné a fyzikálně inženýrské ČVUT]].{{doplňte zdroj}} Věnoval se [[teorie množin|teorii množin]], [[aritmetika|aritmetice]], později [[logika|logice]] a [[umělá inteligence|umělé inteligenci]]. Položil matematické základy [[fuzzy logika|fuzzy logiky]].<ref>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]]</ref> Nikdy nebyl členem žádné politické strany; odmítl spolupráci s [[Státní bezpečnost|StB]].<ref>http://technet.idnes.cz/zemrel-petr-hajek-matematik-fuzzy-logic-logika-fl4-/veda.aspx?c=A161226_194128_veda_pka</ref> Jak docentem (1993), tak profesorem (1997) byl jmenován až po [[Sametová revoluce|sametové revoluci]]. V letech 1992–2000 byl ředitelem Ústavu informatiky Akademie věd České republiky, v letech 1996–2003 prezidentem [[Společnost Kurta Gödela|Společnosti Kurta Gödela]] ''([[Kurt Gödel]] Society)''.<ref>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)</ref><ref>http://kgs.logic.at/index.php?id=42 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky) |
Vystudoval [[Matematicko-fyzikální fakulta Univerzity Karlovy|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha|Praze]] a [[Hudební fakulta Akademie múzických umění|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í fakulta Univerzity Karlovy|Matematicko-fyzikální fakultě UK]] a [[Fakulta jaderná a fyzikálně inženýrská ČVUT|Fakultě jaderné a fyzikálně inženýrské ČVUT]].{{doplňte zdroj}} Věnoval se [[teorie množin|teorii množin]], [[aritmetika|aritmetice]], později [[logika|logice]] a [[umělá inteligence|umělé inteligenci]]. Položil matematické základy [[fuzzy logika|fuzzy logiky]].<ref>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]]</ref> Nikdy nebyl členem žádné politické strany; odmítl spolupráci s [[Státní bezpečnost|StB]].<ref>http://technet.idnes.cz/zemrel-petr-hajek-matematik-fuzzy-logic-logika-fl4-/veda.aspx?c=A161226_194128_veda_pka</ref> Jak docentem (1993), tak profesorem (1997) byl jmenován až po [[Sametová revoluce|sametové revoluci]]. V letech 1992–2000 byl ředitelem Ústavu informatiky Akademie věd České republiky, v letech 1996–2003 prezidentem [[Společnost Kurta Gödela|Společnosti Kurta Gödela]] ''([[Kurt Gödel]] Society)''.<ref>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)</ref><ref>http://kgs.logic.at/index.php?id=42 {{Wayback|url=http://kgs.logic.at/index.php?id=42 |date=20040924120519 }} 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)</ref> Od roku 1996 byl členem [[Učená společnost České republiky|Učené společnosti České republiky]].<ref>http://www.learned.cz/cz/clenove-ucene-spolecnosti/emeritni-clenove-ucene-spolecnosti/hajek-petr.html</ref> V roce [[2006]] mu prezident [[Česko|České republiky]] [[Václav Klaus]] udělil [[Medaile Za zásluhy|medaili Za zásluhy]] o stát v oblasti vědy<ref>http://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</ref> a o dva roky později obdržel [[čestný doktorát]] od [[Slezská univerzita v Opavě|Slezské univerzity v Opavě]].<ref>{{Citace elektronické monografie |
||
| titul = Nositelé čestné vědecké hodnosti doctor honoris causa |
| titul = Nositelé čestné vědecké hodnosti doctor honoris causa |
||
| url = http://www.slu.cz/slu/cz/pr/cestni-doktori |
| url = http://www.slu.cz/slu/cz/pr/cestni-doktori |
Verze z 2. 9. 2018, 10:28
prof. RNDr. Petr Hájek, DrSc., dr. h. c. | |
---|---|
Narození | 6. února 1940 Praha |
Úmrtí | 26. prosince 2016 (ve věku 76 let) Praha |
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 (2006) čestný doktor (2008) |
Nábož. vyznání | Českobratrská církev evangelická |
Děti | Jonáš Hájek[1] |
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[2] 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.[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 působil jako varhaník pražského evangelického kostela sv. Klimenta.[zdroj?]
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
- ↑ Zdeněk Nešpor, Zdeněk Vojtíšek, Táňa Klementová, Andrea Beláňová: Malý slovník českých nekatolických náboženských osobností 20. a 21. století. Kalich. 2019.
- ↑ http://www.radio.cz/cz/clanek/91701 Český rozhlas
- ↑ 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)
- ↑ http://www.learned.cz/cz/clenove-ucene-spolecnosti/emeritni-clenove-ucene-spolecnosti/hajek-petr.html
- ↑ http://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
- ↑ 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
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.