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 Charles de Praga y en la Facultad de Ciencias Nucleares e Ingeniería Física de la Universidad Técnica Checa en Praga .
Académica
Petr Hájek estudió en la Facultad de Matemáticas y Física de la Universidad Charles de Praga [2] Influenciado por Petr Vopěnka , se especializó en teoría de conjuntos , 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 profesor (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 músico de órgano 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 las 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]
Documentos
- Hájek, Petr; Kalášek, Pavel; Kůrka, Petr (1960). Oh lógica dinámica . Praha: Academia.
- Vopěnka, Petr; Hájek, Petr (1972). La teoría de los semisetas . Trans. Jech, T. y 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). Metamatematica de la aritmética de primer orden . Berlín: Springer.
Ver también
- Semiset
Referencias
- ^ Vališ, Zdeněk (26 de mayo de 2007). "Anfitrión Náš: Matematik s hudebními sklony" . Český rozhlas (en checo).
- ^ a b c d e f http://www.cs.cas.cz/hajek/
- ^ a b "Copia archivada" . Archivado desde el original el 10 de julio de 2015 . Consultado el 9 de julio de 2015 .CS1 maint: copia archivada como título ( enlace )
- ^ "Nuestros presidentes" . Sociedad Kurt Gödel . Archivado desde el original el 24 de septiembre de 2004.
- ^ http://www.radio.cz/cz/rubrika/kaleidoskop/nas-host-matematik-s-hudebnimi-sklony
- ^ http://www.hrad.cz/cs/ceska-republika/statni-vyznamenani/medaile-za-zasluhy/seznam-vyznamenanych.shtml
- ^ http://www.slu.cz/slu/cz/pr/cestni-doktori
enlaces externos
- Antigua página web de Petr Hájek
- Bases de datos de la Biblioteca Nacional de la República Checa