Petr Hájek (matematik): Porovnání verzí

← Přejít na předchozí porovnání Přejít na další porovnání →

Smazaný obsah Přidaný obsah

V textu

Verze z 13. 9. 2014, 11:56

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 MFF UK a FJFI Č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

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.

[1] ttp://www.radio.cz/cz/clanek/91701 Český rozhlas

[2] ttp://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

[3] ttp://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)

[4] ttp://kgs.logic.at/index.php?id=42 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)

[5] ttp://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

[1]

[2]

[3]

[4]

[5]

@@ Řádek 4: / Řádek 4: @@
 Vystudoval [[Matematicko-fyzikální fakulta Univerzity Karlovy|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha|Praze]] a Hudební fakultu Akademie múzických umění. Pracoval v Ústavu informatiky Akademie věd ČR, přednášel na MFF UK a FJFI ČVUT. 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]]. Jak docentem (1993), tak profesorem (1997) byl proto jmenován až po [[Sametová revoluce|sametové revoluci]]. V letech 1992–2000 byl ředitelem [[Ústav informatiky AV ČR|Ústavu informatiky AV ČR]], 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) </ref> Od roku 1996 je členem Učené společnosti České republiky. 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>
+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) </ref> Od roku 1996 je členem [[Učená společnost České republiky|Učené společnosti České republiky]]. 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>
 Po čtyřicet let působil jako [[varhaník]] pražského evangelického [[Kostel svatého Klimenta (Praha)|kostela sv. Klimenta]].