Petr Hájek ( pronunciación checa: [ˈpɛtr̩ ˈɦaːjɛk] ; 6 de febrero de 1940 - 26 de diciembre de 2016) fue un científico checo en el área de lógica matemática [1] y profesor de matemáticas . Nacido en Praga , trabajó en el Instituto de Ciencias de la Computación de la Academia de Ciencias de la República Checa y como profesor en la facultad de matemáticas y física de la Universidad Carolina de Praga y en la Facultad de Ciencias Nucleares e Ingeniería Física de la Universidad Técnica Checa de Praga .
Petr Hájek estudió en la facultad de matemáticas y física de la Universidad Carolina de Praga . [2] Influenciado por Petr Vopěnka , se especializó en teoría de conjuntos y aritmética , y más tarde también en lógica e inteligencia artificial . [3] Contribuyó a establecer los fundamentos matemáticos de la lógica difusa . [3] Tras la Revolución de Terciopelo , fue nombrado profesor titular (1993) y catedrático (1997). [2] De 1992 a 2000 ocupó el cargo de presidente del Instituto de Ciencias de la Computación de la Academia de Ciencias de la República Checa. [2] De 1996 a 2003 también fue presidente de la Sociedad Kurt Gödel . [4]
Más tarde, se graduó en la Academia de Artes Escénicas de Praga , donde estudió órgano de tubos con Jiří Reinberger para convertirse en organista en una iglesia. [5]