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
infobox, dr. h. c., kategorie
Řádek 1: Řádek 1:
{{Infobox - osoba
[[Soubor:Prof. RNDr. Petr Hájek, DrSc.jpg|náhled|Prof. RNDr. Petr Hájek, DrSc.]]
[[Profesor|Prof.]] [[Doktor přírodních věd|RNDr.]] '''Petr Hájek''', [[Doktor věd|DrSc.]], (* [[6. únor]]a [[1940]], [[Praha]]) je [[Česko|český]] [[vědec]] v oblasti [[matematická logika|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhlas</ref> a profesor [[Matematika|matematiky]].
| jméno = [[Profesor|prof.]] [[Doktor přírodních věd|RNDr.]] Petr Hájek, [[Doktor věd|DrSc.]], [[Čestný doktor|dr.&nbsp;h.&nbsp;c.]]
}}
'''Petr Hájek''' (* [[6. únor]]a [[1940]], [[Praha]]) je [[Česko|český]] [[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==
==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 ]].{{zdroj?}} 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 ]].{{zdroj?}} 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 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 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> a o dva roky později obdržel [[čestný doktorát]] od [[Slezská univerzita v Opavě|Slezské univerzity v Opavě]].<ref>{{Citace elektronické monografie
| titul = Nositelé čestné vědecké hodnosti doctor honoris causa
| url = http://www.slu.cz/slu/cz/pr/cestni-doktori
| datum přístupu = 2016-04-11
| vydavatel = Slezská univerzita v Opavě
}}</ref>


==Osobní život==
==Osobní život==
Řádek 19: Řádek 26:
* 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.

⚫
== Reference ==
⚫
<references />


== Literatura ==
== Literatura ==
Řádek 26: Řádek 36:
* [[Teorie polomnožin]]
* [[Teorie polomnožin]]
* [[Fuzzy logika]]
* [[Fuzzy logika]]

⚫
== Reference ==
⚫
<references />


== Externí odkazy ==
== Externí odkazy ==
* {{Wikicitáty|osoba=Petr Hájek (matematik)}}
* {{Wikicitáty|osoba=Petr Hájek (matematik)}}
* {{NK ČR|jk01033078}}
* {{NK ČR|jk01033078}}
* [http://www.radio.cz/cz/clanek/91701 Náš host: Matematik s hudebními sklony, 26-05-2007, Zdeněk Vališ, [[český rozhlas 7]], rozhovor , text i audio(.[[ram]])]
* [http://www.radio.cz/cz/clanek/91701 Náš host: Matematik s hudebními sklony, 26-05-2007, Zdeněk Vališ, [[Český rozhlas 7]], rozhovor , text i audio(.[[ram]])]

{{Pahýl}}
{{Pahýl}}

{{Portály|Matematika}}
{{Portály|Matematika}}
⚫
{{DEFAULTSORT:Hájek, Petr}}


⚫
{{DEFAULTSORT:Hájek, Petr}}
⚫
[[Kategorie:Narození 1940]]
⚫
[[Kategorie:Žijící lidé]]
[[Kategorie:Čeští matematici]]
[[Kategorie:Čeští matematici]]
[[Kategorie:Čeští logici]]
[[Kategorie:Čeští logici]]
[[Kategorie:Matematici působící v Česku]]
[[Kategorie:Matematici působící v Česku]]
⚫
[[Kategorie:Muži]]
[[Kategorie:Nositelé Medaile Za zásluhy (Česko)]]
[[Kategorie:Nositelé Medaile Za zásluhy (Česko)]]
[[Kategorie:Držitelé čestných doktorátů]]
[[Kategorie:Absolventi Matematicko-fyzikální fakulty Univerzity Karlovy]]
[[Kategorie:Absolventi Matematicko-fyzikální fakulty Univerzity Karlovy]]
⚫
[[Kategorie:Narození 1940]]
⚫
[[Kategorie:Žijící lidé]]
⚫
[[Kategorie:Muži]]

Verze z 11. 4. 2016, 22:01

prof. RNDr. Petr Hájek, DrSc., dr. h. c.
Narození6. února 1940
Praha
Úmrtí26. prosince 2016 (ve věku 76 let)
Praha
Alma materMatematicko-fyzikální fakulta Univerzity Karlovy
Hudební a taneční fakulta Akademie múzických umění
Povolánímatematik, vysokoškolský učitel a varhaník
ZaměstnavatelČeské vysoké učení technické v Praze
Oceněnímedaile Za zásluhy (2006)
čestný doktor (2008)
Nábož. vyznáníČeskobratrská církev evangelická
DětiJonáš Hájek[1]
Funkceředitel (Ústav informatiky AV ČR; 1992–2000)
varhaník
Některá data mohou pocházet z datové položky.

Petr Hájek (* 6. února 1940, Praha) je český vědec v oblasti matematické logiky[2] 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 .[zdroj?] Věnoval se teorii množin, aritmetice, později logice a umělé inteligenci. Položil matematické základy fuzzy logiky.[3] Nikdy nebyl členem žádné politické strany; odmítl spolupráci s StB.[zdroj?] Jak docentem (1993), tak profesorem (1997) byl 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).[4][5] Od roku 1996 je členem Učené společnosti České republiky.[6] V roce 2006 mu prezident České republiky Václav Klaus udělil medaili Za zásluhy o stát v oblasti vědy[7] a o dva roky později obdržel čestný doktorát od Slezské univerzity v Opavě.[8]

Osobní život

Dálkově vystudoval hru na varhany na AMU u profesora Jiřího Reinbergera.[9] 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).[10]

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.

Reference

  1. ↑ Zdeněk Nešpor, Zdeněk Vojtíšek, Táňa Klementová, Andrea Beláňová: Malý slovník českých nekatolických náboženských osobností 20. a 21. století. 2019.
  2. ↑ http://www.radio.cz/cz/clanek/91701 Český rozhlas
  3. ↑ 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
  4. ↑ 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)
  5. ↑ http://kgs.logic.at/index.php?id=42 1996 - 2003: Petr Hajek, The Kurt Gödel, krátký životopis (anglicky)
  6. ↑ http://www.learned.cz/cz/clenove-ucene-spolecnosti/emeritni-clenove-ucene-spolecnosti/hajek-petr.html
  7. ↑ 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
  8. ↑ Nositelé čestné vědecké hodnosti doctor honoris causa [online]. Slezská univerzita v Opavě [cit. 2016-04-11]. Dostupné online. 
  9. ↑ http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
  10. ↑ http://www.vodicipsi.cz/main/kontakty.php

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

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=13547967“