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

Z Wikipedie, otevřené encyklopedie
Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
Verze 12622402 uživatele H11 (diskuse) zrušena Šablonu jsem dal proto, že jiní editoři změnili přítomný čas na minulý co se týče jeho působení na VŠ. Požadavky na zdroj jsou tam další 2.
nadpisy
Řádek 3: Řádek 3:
[[Profesor|Prof.]] [[Doktor přírodních věd|RNDr.]] '''Petr Hájek''', [[Doktor věd|DrSc.]], (* [[6. únor]]a [[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]].
[[Profesor|Prof.]] [[Doktor přírodních věd|RNDr.]] '''Petr Hájek''', [[Doktor věd|DrSc.]], (* [[6. únor]]a [[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]].


==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í]]. 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 ]]. 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í fakulta Akademie múzických umění|Hudební fakultu Akademie múzických umění]]. 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 ]]. 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]].{{zdroj?}} Jak docentem (1993), tak profesorem (1997) byl proto 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) </ref> Od roku 1996 je č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>
</ref> Nikdy nebyl členem žádné politické strany; odmítl spolupráci s [[Státní bezpečnost|StB]].{{zdroj?}} Jak docentem (1993), tak profesorem (1997) byl proto 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) </ref> Od roku 1996 je č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>


==Osobní život==
Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.<ref>http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony</ref> Po čtyřicet let působil jako [[varhaník]] pražského evangelického [[Kostel svatého Klimenta (Praha)|kostela sv. Klimenta]].{{zdroj?}}
Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.<ref>http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony</ref> Po čtyřicet let působil jako [[varhaník]] pražského evangelického [[Kostel svatého Klimenta (Praha)|kostela sv. Klimenta]].{{zdroj?}}


Verze z 29. 5. 2015, 18:29

ikona
Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.
Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.
Prof. RNDr. Petr Hájek, DrSc.

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.

Profesní život

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 České republiky, 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.[zdroj?] Jak docentem (1993), tak profesorem (1997) byl proto 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).[3][4] Od roku 1996 je členem Učené společnosti České republiky.[5] V roce 2006 mu prezident České republiky Václav Klaus udělil medaili Za zásluhy o stát v oblasti vědy.[6]

Osobní život

Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.[7] Po čtyřicet let působil jako varhaník pražského evangelického kostela sv. Klimenta.[zdroj?]

Jeho dcera Marie Hájková je ředitelkou Střediska výcviku vodicích psů pro nevidomé patřící pod Sjednocenou organizaci nevidomých a slabozrakých České republiky (SONS ČR).[8]

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

  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.learned.cz/cz/clenove-ucene-spolecnosti/emeritni-clenove-ucene-spolecnosti/hajek-petr.html
  6. ↑ 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
  7. ↑ http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
  8. ↑ http://www.vodicipsi.cz/main/kontakty.php

Externí odkazy

Pahýl
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.
Citováno z „https://cs.wikipedia.org/w/index.php?title=Petr_Hájek_(matematik)&oldid=12623013“