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 6. 2. 2014, 23:55

	Tomuto článku chybí obrázky. Víte-li o nějakých svobodně šiřitelných, neváhejte je načíst a přidat do článku. Pro rychlejší přidání obrázku můžete přidat žádost i sem.
WikiProjekt Fotografování

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 dcerou je Marie Hájková, která se zabývá výcvikem vodicích psů pro nevidomé ve Středisku výcviku vodicích psů 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

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

Externí odkazy

Osoba Petr Hájek (matematik) ve Wikicitátech
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]

Verze z 6. 2. 2014, 23:33 editovat 178.17.102.4 (diskuse) Bez shrnutí editace značka: možný spam ← Přejít na předchozí porovnání		Verze z 6. 2. 2014, 23:55 editovat zrušit editaci Missguinevra (diskuse \| příspěvky) 8 editací Bez shrnutí editace Přejít na další porovnání →
Řádek 1:		Řádek 1:
			[[Soubor:Prof. RNDr. Petr Hájek, DrSc.jpg\|náhled\|Prof. RNDr. Petr Hájek, DrSc.]]
	{{požadavek na obrázek}} [[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]]. Pracuje v [[Ústav informatiky AV ČR\|Ústavu informatiky]] [[Akademie věd České republiky\|Akademie věd ČR]]. Přednášel na [[Matematicko-fyzikální fakulta Univerzity Karlovy\|MFF]] [[Univerzita Karlova\|UK]] a [[FJFI]] [[České vysoké učení technické v Praze\|ČVUT]], v současnosti už jen na ČVUT.		{{požadavek na obrázek}} [[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]]. Pracuje v [[Ústav informatiky AV ČR\|Ústavu informatiky]] [[Akademie věd České republiky\|Akademie věd ČR]]. Přednášel na [[Matematicko-fyzikální fakulta Univerzity Karlovy\|MFF]] [[Univerzita Karlova\|UK]] a [[FJFI]] [[České vysoké učení technické v Praze\|ČVUT]], v současnosti už jen na ČVUT.