Petr Hájek
{{Short description|Czech scientist and professor}}
File:Prof. RNDr. Petr Hájek, DrSc.jpg
Petr Hájek ({{IPA|cs|ˈpɛtr̩ ˈɦaːjɛk}}; 6 February 1940 – 26 December 2016) was a Czech scientist in the area of mathematical logic{{cite news | url = http://www.radio.cz/cz/clanek/91701 | work = Český rozhlas | language = Czech | title = Náš host: Matematik s hudebními sklony | date = 26 May 2007 | first = Zdeněk | last = Vališ}} and a professor of mathematics. Born in Prague, he worked at the Institute of Computer Science at the Academy of Sciences of the Czech Republic and as a lecturer at the faculty of mathematics and physics at the Charles University in Prague and at the Faculty of Nuclear Sciences and Physical Engineering of the Czech Technical University in Prague.
Academics
Petr Hájek studied at the faculty of mathematics and physics of the Charles University in Prague.{{Cite web|url=http://www.cs.cas.cz/hajek/|title=Hájek Petr, prof., RNDR., DRSC}} Influenced by Petr Vopěnka, he specialized in set theory and arithmetic, and later also in logic and artificial intelligence.{{cite web |url=http://vit.ad.umel.feec.vutbr.cz/portalZS/ContentPage.aspx?PageID=b97b0db3-8760-44b8-8b8c-2794d505e0d8 |title=VIT - Hájek Petr |accessdate=2015-07-09 |url-status=dead |archiveurl=https://web.archive.org/web/20150710094730/http://vit.ad.umel.feec.vutbr.cz/portalZS/ContentPage.aspx?PageID=b97b0db3-8760-44b8-8b8c-2794d505e0d8 |archivedate=2015-07-10 }} He contributed to establishing the mathematical fundamentals of fuzzy logic. Following the Velvet Revolution, he was appointed a senior lecturer (1993) and a professor (1997). From 1992 to 2000 he held the position of chairman of the Institute of Computer Science at the Academy of Sciences of the Czech Republic. From 1996 to 2003 he was also president of the Kurt Gödel Society.{{cite web | url = http://kgs.logic.at/index.php?id=42 | archive-url = https://web.archive.org/web/20040924120519/http://kgs.logic.at/index.php?id=42 | url-status = dead | archive-date = 2004-09-24 | title = Our Presidents | work = Kurt Gödel Society }}
Later, he graduated from the Academy of Performing Arts in Prague, where he studied the pipe organ under Jiří Reinberger to become an organ player in a church.{{Cite web|url=http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony|title = Náš host: Matematik s hudebními sklony|date = 26 May 2007}}
Awards
- 2002, Medal of the Minister of Education of the Czech Republic
- 2006, Medal of Merit, third grade, in the area of sciences by President of the Czech Republic Václav Klaus{{Cite web|url=http://www.hrad.cz/cs/ceska-republika/statni-vyznamenani/medaile-za-zasluhy/seznam-vyznamenanych.shtml|title=Seznam vyznamenaných}}
- 2008, doctor honoris causa from Silesian University in Opava{{Cite web|url=http://www.slu.cz/slu/cz/pr/cestni-doktori|title=Média - Oddělení komunikace / Slezská univerzita v Opavě}}
Papers
- {{cite book | first1 = Petr | last1 = Hájek | first2 = Pavel | last2 = Kalášek | first3 = Petr | last3 = Kůrka | title = O dynamické logice | location = Praha | publisher = Academia | year = 1960}}
- {{cite book | first1 = Petr | last1 = Vopěnka | first2 = Petr | last2 = Hájek | title = The Theory of Semisets | location = Praha | publisher = Academia | year = 1972 | others = Trans. Jech, T. and Rousseau, G}}
- {{cite book | first1 = Petr | last1 = Hájek | first2 = Tomáš | last2 = Havránek | first3 = Metoděj K. | last3 = Chytil | title = Metoda GUHA: automatická tvorba hypotéz | location = Praha | publisher = Academia | year = 1983}}
- {{cite book | first1 = Petr | last1 = Hájek | first2 = Pavel | last2 = Pudlák | title = Metamathematics of First-Order Arithmetic | location = Berlin | publisher = Springer | year = 1993}}
See also
References
{{Reflist}}
External links
- [http://www.cs.cas.cz/hajek/ Petr Hájek's former webpage]
- [http://sigma.nkp.cz/F/?func=find-c&local_base=nkc&ccl_term=wau=jk01033078+or+wkw=jk01033078&CON_LNG=ENG Databases of the National Library of the Czech Republic]
{{Authority control}}
{{DEFAULTSORT:Hajek, Petr}}
Category:Charles University alumni
Category:20th-century Czech scientists
Category:Mathematicians from Prague
Category:Recipients of Medal of Merit (Czech Republic)
Category:Academic staff of Czech Technical University in Prague