Number of the records: 1
Hájek, Petr, 1940-2016
Personal name Hájek, Petr, 1940-2016 Biographical Note 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í. Data source entry 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í Collection kind File of personal names and family names References (2) - Monographies, maps Databáze národních autorit NK ČR
Number of the records: 1