Petr Hájek (matematik): Porovnání verzí
chybny odkaz značka: editace z Vizuálního editoru |
→Dílo (spoluautor): + link vopenka značka: editace z Vizuálního editoru |
||
| Řádek 14: | Řádek 14: | ||
== Dílo (spoluautor) == |
== Dílo (spoluautor) == |
||
* Petr Hájek, Pavel Kalášek, Petr Kůrka: ''O dynamické logice''. Praha : Academia, 1960, 42 s. |
* 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 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, 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, Pavel Pudlák: ''Metamathematics of First-Order Arithmetic''. Berlin : Springer, 1993, 460 s. |
||
Verze z 5. 4. 2015, 15:47
Prof. RNDr. Petr Hájek, DrSc., (* 6. února 1940, Praha) je český světově uznávaný vědec v oblasti matematické logiky[1] a profesor matematiky.
Vystudoval Matematicko-fyzikální fakultu Univerzity Karlovy v Praze a Hudební fakultu Akademie múzických umění. Pracoval v Ústavu informatiky Akademie věd ČR, 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.[2] Nikdy nebyl členem žádné politické strany; odmítl spolupráci s StB. Jak docentem (1993), tak profesorem (1997) byl proto jmenován až po sametové revoluci. V letech 1992–2000 byl ředitelem Ústavu informatiky AV ČR, v letech 1996-2003 prezidentem Společnosti Kurta Gödela (Kurt Gödel Society).[3][4] Od roku 1996 je č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ědy.[5]
Po čtyřicet let působil jako varhaník pražského evangelického kostela sv. Klimenta.
Jeho dcera Marie Hájková je ředitelkou Střediska výcviku vodicích psů pro nevidomé SONS ČR.
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.
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
Reference
- ↑ 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://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)
- ↑ 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
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)
- Univerzita udělí dva čestné doktoráty, Slezská univerzita v Opavě, udělení čestné vědecké hodnosti doctor honoris causa
- větší, barevné foto
