Petr Hájek - Petr Hájek

Prof. RNDr. Petr Hájek, DrSc.

Petr Hájek ( pronúncia tcheca: [ˈpɛtr̩ ˈɦaːjɛk] ; 6 de fevereiro de 1940 - 26 de dezembro de 2016) foi um cientista tcheco na área de lógica matemática e professor de matemática . Nascido em Praga , trabalhou no Instituto de Ciência da Computação da Academia de Ciências da República Tcheca e como professor na Faculdade de Matemática e Física da Universidade Charles de Praga e na Faculdade de Ciências Nucleares e Engenharia Física do Universidade Técnica Tcheca em Praga .

Acadêmicos

Petr Hájek estudou na Faculdade de Matemática e Física da Charles University em Praga. Influenciado por Petr Vopěnka , especializou-se em teoria dos conjuntos , aritmética , posteriormente também em lógica e inteligência artificial . Ele contribuiu para estabelecer os fundamentos matemáticos da lógica fuzzy . Após a Revolução de Veludo , foi nomeado conferencista sênior (1993) e professor (1997). De 1992 a 2000, ele ocupou o cargo de presidente do Instituto de Ciência da Computação da Academia de Ciências da República Tcheca. De 1996 a 2003, ele também foi presidente da Sociedade Kurt Gödel .

Mais tarde, ele se formou na Academia de Artes Cênicas de Praga , onde estudou órgão de tubos com Jiří Reinberger para se tornar um tocador de órgão em uma igreja.

Hájek, Petr; Kalášek, Pavel; Krka, Petr (1960). O dynamické logice . Praha: Academia.
Vopěnka, Petr; Hájek, Petr (1972). The Theory of Semisets . Trans. Jech, T. e 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). Metamatemática da Aritmética de Primeira Ordem . Berlim: Springer.