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