Počet záznamů: 1

Hájek, Petr, 1940-2016

Osobní jméno	Hájek, Petr, 1940-2016
Biogr.poz.	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í.
Zdroj dat	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í
Druh soub.	Soubor osobních jmen a jmen rodin
Odkazy	(2) - Odborná literatura, mapy
	Databáze národních autorit NK ČR

Počet záznamů: 1