Number of the records: 1
Hájek, Petr, 1940-2016
person
Personal name Hájek, Petr, 1940-2016 Biography 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í) URL https://cs.wikipedia.org/wiki/Petr_Hájek_(matematik) Database Soubor osobních jmen a jmen rodin (rodů) References (6) - BOOKS
Number of the records: 1