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.

Prof. RNDr. Petr Hájek, DrSc.

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, arithmetic, 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 Academy of Performing Arts in Prague, where he studied Pipe organ under Jiří Reinberger to become an organ player in a church.[5]

Awards

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). Metamatemathics of First-Order Arithmetic. Berlin: Springer.
gollark: If you have too much it explodes.
gollark: Idea: money made of uranium.
gollark: Ah yes, having to meddle with firmware issues on *lightbulbs*.
gollark: <@319753218592866315> delete Windowsinstall 3 arch partitions
gollark: this but lichtensteinian

See also

References
  1. Vališ, Zdeněk (26 May 2007). "Náš host: Matematik s hudebními sklony". Český rozhlas (in Czech).
  2. http://www.cs.cas.cz/hajek/
  3. "Archived copy". Archived from the original on 2015-07-10. Retrieved 2015-07-09.CS1 maint: archived copy as title (link)
  4. "Our Presidents". Kurt Gödel Society. Archived from the original on 2004-09-24.
  5. http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
  6. http://www.hrad.cz/cs/ceska-republika/statni-vyznamenani/medaile-za-zasluhy/seznam-vyznamenanych.shtml
  7. http://www.slu.cz/slu/cz/pr/cestni-doktori


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.