Petr Hájek
Petr Hájek (Czech pronunciation: [ˈpɛtr̩ ˈɦaːjɛk]; 6 February 1940 – 26 December 2016) was a Czech scientist in the area of mathematical logic[1] 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.[2] Influenced by Petr Vopěnka, he specialized in set theory and arithmetic, and later also in logic and artificial intelligence.[3] He contributed to establishing the mathematical fundamentals of fuzzy logic.[3] Following the Velvet Revolution, he was appointed a senior lecturer (1993) and a professor (1997).[2] 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.[2] From 1996 to 2003 he was also president of the Kurt Gödel Society.[4]
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.[5]
Awards
- 2002, Medal of the Minister of Education of the Czech Republic[2]
- 2006, Medal of Merit, third grade, in the area of sciences by President of the Czech Republic Václav Klaus[2][6]
- 2008, doctor honoris causa from Silesian University in Opava[2][7]
Papers
- Hájek, Petr; Kalášek, Pavel; Kůrka, Petr (1960). O dynamické logice. Praha: Academia.
- Vopěnka, Petr; Hájek, Petr (1972). The Theory of Semisets. Trans. Jech, T. and Rousseau, G. Praha: Academia.
- Hájek, Petr; Havránek, Tomáš; Chytil, Metoděj K. (1983). Metoda GUHA: automatická tvorba hypotéz. Praha: Academia.
- Hájek, Petr; Pudlák, Pavel (1993). Metamathematics of First-Order Arithmetic. Berlin: Springer.
See also
References
- ^ Vališ, Zdeněk (26 May 2007). "Náš host: Matematik s hudebními sklony". Český rozhlas (in Czech).
- ^ a b c d e f "Hájek Petr, prof., RNDR., DRSC".
- ^ a b "VIT - Hájek Petr". Archived from the original on 2015-07-10. Retrieved 2015-07-09.
- ^ "Our Presidents". Kurt Gödel Society. Archived from the original on 2004-09-24.
- ^ "Náš host: Matematik s hudebními sklony". 26 May 2007.
- ^ "Seznam vyznamenaných".
- ^ "Média - Oddělení komunikace / Slezská univerzita v Opavě".
External links
- CS1 Czech-language sources (cs)
- Articles with short description
- Short description is different from Wikidata
- Pages with Czech IPA
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with CANTICN identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NLK identifiers
- Articles with NSK identifiers
- Articles with NTA identifiers
- Articles with PLWABN identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 1940 births
- 2016 deaths
- Charles University alumni
- Czech scientists
- Mathematicians from Prague
- Set theorists
- Recipients of Medal of Merit (Czech Republic)
- Academic staff of Czech Technical University in Prague
- Scientists from Prague
- Academy of Performing Arts in Prague alumni