Článek
Sídlí v budově Ústavu informatiky AV v Praze. Publikace budou moci lidé studovat prezenčně po domluvě s pracovníky ústavu, uvedli zástupci akademie. Hájek výrazně ovlivnil obor matematické logiky a její praktické využití v umělé inteligenci. Zemřel v roce 2016.
Myšlenka knihovny podle akademie vznikla v roce 2018, kdy se Hájkovi příbuzní rozhodli věnovat Ústavu informatiky jeho pozůstalost. „Zdálo se nám rozumné vybudovat důstojný prostor pro seznámení se s dílem i životem Petra Hájka, významné renesanční osobnosti, kde by bylo možné se na chvíli pozastavit a zamyslet se také nad smyslem vědeckého poznávání. Petr Hájek byl dlouholetým ředitelem Ústavu informatiky a kromě odborníka světového věhlasu byl vynikající lidskou osobností, které si všichni velmi vážíme,“ napsal ČTK současný ředitel ústavu Emil Pelikán.
Ústav otevřel knihovnu den po Hájkových nedožitých 82. narozeninách. Hájek se zabýval například teorií množin, aritmetikou, analýzou dat i matematickou fuzzy logikou. Byl autorem či spoluautorem několika knih a zhruba 300 odborných studií.
První část knihovny obsahuje 645 titulů odpovídajících Hájkovu profesnímu zaměření. Konkrétní tituly zájemci vyhledají přes katalog Ústavu informatiky i Souborný katalog AV. Součástí této sbírky jsou podle AV i vzácná první vydání prací matematiků Davida Hilberta a Paula Bernayse a filozofa Karla Poppera.
Na organizaci fondu se podle akademie s knihovnicí Ludmilou Nývltovou podíleli matematičky Dagmar Harmancová a Zuzana Haniková a matematik Petr Cintula, kteří s Hájkem v minulosti spolupracovali.
Druhá část fondu má osobní ráz. Obsahuje 1640 svazků vycházejících z Hájkových zájmů. Zájemci v ní najdou třeba teologické, historické a výtvarné publikace, atlasy, cestopisy, ale i poezii a prózu.
Hájkova vědecká dráha byla s akademií spojená desítky let. Nejdříve pracoval v Matematickém ústavu AV, Ústavu informatiky vedl v letech 1992 až 2000. Mezi lety 1996 až 2003 byl také prezidentem Společnosti Kurta Gödela. Za minulého režimu Hájek odmítl spolupráci s StB. Proto byl jmenován profesorem až po roce 1989.
Hájek za svou práci převzal řadu významných ocenění. V roce 2006 dostal medaili Za zásluhy od tehdejšího prezidenta Václava Klause. Jeho dílo medailemi ocenily například také Akademie věd a Hlávkova nadace.
Kromě matematiky se Hájek věnoval i hudbě. Absolvoval studium hry na varhany na Akademii múzických umění v Praze a desítky let byl varhaníkem v pražském evangelickém kostele svatého Klimenta.
