Petr Hájek (6. 2. 1940 - 26. 12. 2016) svůj život zasvětil teorii množin, aritmetice, analýze dat, usuzovaní za neurčitosti a matematické fuzzy logice. Je autorem stovek odborných publikací, studijních textů a popularizačních materiálů. Některé z nich předurčily další rozvoj příslušných oborů.

Petr Hájek rozvíjel i některé další disciplíny, které stály mimo pozornost široké matematické veřejnosti. Spolupracoval s Petrem Vopěnkou na teorii polomnožin, s Tomášem Havránkem a Metodějem Chytilem vyvinul takzvanou metodu GUHA explorační analýzy dat.

Celá vědecká dráha Petra Hájka byla spojena s Akademií věd ČR. Pracoval nejprve v Matematickém ústavu AV ČR, později řídil Ústav informatiky. Získal také řadu významných ocenění, například medaili De scientia et humanitate optime meritis, Za zásluhy prezidenta České republiky či medaili Josefa Hlávky. Věnoval se nejen matematice, ale i hudbě. Absolvoval obor varhany na Akademii múzických umění v Praze a po několik desetiletí byl varhaníkem v pražském kostele u Klimenta. Od dětství byl členem Českobratrské církve evangelické. Velký respekt si získal za své pevné občanské postoje během komunistické totality.

Vzácné svazky i osobní sbírky

Knihovna Petra Hájka se skládá ze dvou částí. První obsahuje svazky, které odpovídají jeho odbornému zaměření. Čtenáři v ní najdou 645 titulů, které lze vyhledat v online katalogu ÚI a v Souborném katalogu AV ČR. Součástí celoživotní sbírky jsou také vzácná první vydání prací autorů, jako jsou D. Hilbert, P. Bernays nebo K. Popper. Glosy, vpisky a rukou psané poznámky budou cenné pro budoucí badatele. Mnohé knihy jsou opatřeny dedikacemi autorů.

Druhou, rozsáhlejší část knihovny tvoří knihy, časopisy a hudebniny - celkem 1640 svazků, které ilustrují šíři zájmů Petra Hájka. Jsou to knihy teologické, filozofické, historické, výtvarné publikace, atlasy, průvodce, cestopisy, ale i próza a poezie.

Svazky Knihovny Petra Hájka bude možné studovat prezenčně po dohodě s pracovníky Knihovny Ústavu informatiky AV ČR.