Petr Hajek
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 .
Académica
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]
Premios
- 2002, Medalla del Ministro de Educación de la República Checa [2]
- 2006, Medalla al Mérito , tercer grado, en el área de ciencias por el Presidente de la República Checa, Václav Klaus [2] [6]
- 2008, doctor honoris causa de la Universidad de Silesia en Opava [2] [7]
Papeles
- Hájek, Petr; Kalášek, Pavel; Kůrka, Petr (1960). O lógica dinámica . Praga: Academia.
- Vopenka, Petr; Hájek, Petr (1972). La teoría de los semiconjuntos . Trans. Jech, T. y Rousseau, G. Praha: Academia.
- Hájek, Petr; Havránek, Tomaš; Chytil, Metoděj K. (1983). Método GUHA: automatická tvorba hipotéz . Praga: Academia.
- Hájek, Petr; Pudlák, Pavel (1993). Metamatemáticas de la aritmética de primer orden . Berlín: Springer.
Véase también
Referencias
- ^ Vališ, Zdeněk (26 de mayo de 2007). "Náš host: Matematik s hudebními sklony". Český rozhlas (en checo).
- ^ abcdef "Hájek Petr, prof., RNDR., DRSC".
- ^ ab "VIT - Hájek Petr". Archivado desde el original el 10 de julio de 2015 . Consultado el 9 de julio de 2015 .
- ^ "Nuestros presidentes". Sociedad Kurt Gödel . Archivado desde el original el 24 de septiembre de 2004.
- ^ "Náš anfitrión: Matematik s hudebními sklony". 26 de mayo de 2007.
- ^ "Seznam vyznamenaných".
- ^ "Média - Oddělení komunikace / Slezská univerzita v Opavě".
Enlaces externos
- La antigua página web de Petr Hájek
- Bases de datos de la Biblioteca Nacional de la República Checa
