V sobotu 2. listopadu proběhla mohutná oslava naší plnoletosti !!
Multimediaexpo.cz je již 18 let na českém internetu !!

Petr Hájek (matematik)

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
m (Nahrazení textu)
m (Nahrazení textu „český“ textem „český“)
 
(Není zobrazena jedna mezilehlá verze.)
Řádka 1: Řádka 1:
-
  [[Prof.]] [[RNDr.]] '''Petr Hájek''', [[DrSc.]], (* [[6. únor|6. února]] [[1940]], [[Praha]]) je [[Česko|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhlas</ref> a profesor [[Matematika|matematiky]]. Pracuje v [[Ústav informatiky AV ČR|Ústavu informatiky Akademie věd ČR]]. Přednášel na [[MFF UK]] a [[FJFI]] [[ČVUT]], v současnosti už jen na [[ČVUT]].  
+
  [[Prof.]] [[RNDr.]] '''Petr Hájek''', [[DrSc.]], (* [[6. únor|6. února]] [[1940]], [[Praha]]) je [[Česká republika|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhlas</ref> a profesor [[Matematika|matematiky]]. Pracuje v [[Ústav informatiky AV ČR|Ú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í fakulta Univerzity Karlovy|Matematicko-fyzikální fakultu Univerzity Karlovy]] v [[Praha|Praze]] a Hudební fakultu Akademie múzických umění. 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]]
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í. 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 [[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
  </ref> 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á 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

Aktuální verze z 18. 8. 2015, 11:35

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.

Obsah

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 and 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.

Související články

Reference

  1. ↑ http://www.radio.cz/cz/clanek/91701 Český rozhlas
  2. ↑ 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
  3. ↑ 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)
  4. ↑ http://kgs.logic.at/index.php?id=42 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)
  5. ↑ 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


Citováno z „http://www2000.multimediaexpo.cz/mmecz/index.php/Petr_H%C3%A1jek_(matematik)“