Narozen 6. 2. 1940 v Praze, zemřel 26. 12. 2016, prof., RNDr., DrSc., matematik, logik, pracoval v Matematickém ústavu AV (1963-1992), v Ústavu informatiky Akademie věd České republiky, přednášel na Matematicko-fyzikální fakultě UK a Fakultě jaderné a fyzikálně inženýrské ČVUT; též varhaník pražského evangelického kostela sv. Klimenta, překladatel textů Hanse Künga pro Křesťanskou revue, otec básníka Jonáše Hájka (1984-); zabýval se matematickou logikou, aritmetikou, fuzzy logikou, teorií množin, umělou inteligencí.
Source data found
Křesťanská revue 1979 (překlady) ; Hájek, Petr: Metamatematika aritmetiky prvního řádu, 1988 (autoritní forma) ; Nešpor, Zdeněk R.: Malý slovník českých nekatolických náboženských osobností 20. a 21. století, 2019 (biografické a profesní údaje) ; PNP-LA ; osobní korespondence (překlady) ; www(Hájek Petr, prof., RNDr., DrSc.), cit. 3. 3. 2022 (profesní údaje) ; www(Wikipedie, otevřená encyklopedie), cit. 2. 4. 2020 (biografické údaje, úplné datum a místo narození, datum úmrtí)
Database
File of personal names and family names
References
(2) - Books
Number of the records: 1
openseadragon
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.
