Petr Hájek - Petr Hájek

Prof. RNDr. Petr Hájek, DrSc.

Petr Hájek ( tjeckiskt uttal: [ˈpɛtr̩ ˈɦaːjɛk] ; 6 februari 1940 - 26 december 2016) var en tjeckisk forskare inom matematisk logik och professor i matematik . Han föddes i Prag och arbetade vid Institutet för datavetenskap vid Tjeckiens vetenskapsakademi och som lektor vid fakulteten för matematik och fysik vid Karlsuniversitetet i Prag och vid fakulteten för kärnvetenskap och fysikalisk teknik vid Tjeckiska tekniska universitetet i Prag .

Akademiker

Petr Hájek studerade vid fakulteten för matematik och fysik vid Karlsuniversitetet i Prag Påverkad av Petr Vopěnka specialiserade han sig på uppsättningsteori , aritmetik , senare även på logik och artificiell intelligens . Han bidrog till att fastställa de matematiska grunderna för suddig logik . Efter sammetrevolutionen utsågs han till universitetslektor (1993) och till professor (1997). Från 1992 till 2000 hade han tjänsten som ordförande för Institute of Computer Science vid Academy of Sciences i Tjeckien. Från 1996 till 2003 var han också ordförande för Kurt Gödel Society .

Senare tog han examen från Academy of Performing Arts i Prag , där han studerade rörorgan under Jiří Reinberger för att bli orgelspelare i en kyrka.

Hájek, Petr; Kalášek, Pavel; Kůrka, Petr (1960). O dynamické logice . Praha: Academia.
Vopěnka, Petr; Hájek, Petr (1972). Theory of Semisets . Trans. Jech, T. och 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). Metamatematik i första ordningens aritmetik . Berlin: Springer.