Petr Hájek (matematik): Porovnání verzí
m →Dílo (spoluautor): typo, zdvojena tecka (za zkratkou a za koncem vety) |
|||
Řádek 10: | Řádek 10: | ||
== 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. |
||
* Petr Hájek: ''Metamathematics of Fuzzy Logic''. Dordrecht: Kluwer 1998, 297 s |
* Petr Hájek: ''Metamathematics of Fuzzy Logic''. Dordrecht: Kluwer 1998, 297 s. |
||
== Literatura == |
== Literatura == |
Verze z 15. 4. 2013, 13:34
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. Pracuje v Ústavu informatiky Akademie věd ČR. Přednášel na MFF UK a FJFI ČVUT, v současnosti už jen na ČVUT.
Vystudoval Matematicko-fyzikální fakultu Univerzity Karlovy v Praze a Hudební fakultu Akademie múzických umění. 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] V roce 2006 mu prezident České republiky Václav Klaus udělil medaili Za zásluhy o stát v oblasti vědy.[5]
Je také varhaníkem pražského evangelického kostela sv. Klimenta.
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
Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Petr Hájek (matematik)
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