Hájek Petr
Hájek Petr
v Praze
v Praze
Matematik a logik, člen Českobratrské církve evangelické. Pocházel z evangelické rodiny úředníka, vystudoval Matematicko fyzikální fakultu UK (absolv. 1963). Pracoval v Matematickém ústavu Akademie věd (1963–92), teprve po listopadovém převratu mohl habilitovat (doc. 1993) a byl jmenován profesorem (1997), přednášel na své alma mater a na ČVUT. Zároveň se stal ředitelem Ústavu informatiky Akademie věd (1992–2000), kde pracoval až do roku 2002 jako vedoucí teoretického oddělení. Badatelsky se věnoval především matematické logice (The Theory of Semisets, 1972 s P. Vopěnkou; Mechanizing Hypothesis Formation, 1978 s T. Havránkem; Metamatematika aritmetiky prvního řádu, 1988, anglicky s P. Pudlákem 1993; Úvod do umělé inteligence, 2009 s V. Olejem; množství akademických článků). Vedle své odborné činnosti se věnoval hudbě, u Jiřího Reinbergera na Akademii múzických umění v Praze vystudoval hru na varhany (1976) a celoživotně působil jako varhaník v kostele ČCE v Praze-U Klimenta. V roce 1996 se stal členem Učené společnosti ČR, obdržel medaili Za zásluhy (2006) a čestný doktorát Slezské univerzity (2008). Jeho synem je básník Jonáš Hájek.