https://rg-encyklopedie.soc.cas.cz/index.php?action=history&feed=atom&title=H%C3%A1jek_PetrHájek Petr - Historie editací2026-05-15T08:47:19ZHistorie editací této stránkyMediaWiki 1.35.2https://rg-encyklopedie.soc.cas.cz/index.php?title=H%C3%A1jek_Petr&diff=25542&oldid=previmported>ZRN: import CNO + Tibet2025-12-13T17:56:15Z<p>import CNO + Tibet</p>
<p><b>Nová stránka</b></p><div><br />
= Hájek Petr =<br />
<br /><span class="PERSON_BORN"><time datetime="1940-02-06">6. února 1940</time> v Praze</span><br />
<br /><span class="PERSON_DIED"><time datetime="2016-12-26">26. prosince 2016</time> v Praze</span><br />
<br />
Matematik a logik, člen [[Českobratrská církev evangelická|Č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 [[Hájek Jonáš|Jonáš Hájek]].<br />
<br />
''[[:Kategorie:Aut: Nešpor Zdeněk R.|Zdeněk R. Nešpor]]''<br /><br />
<br />
[[Kategorie:Aut: Nešpor Zdeněk R.|Zdeněk R. Nešpor]]<br />
[[Kategorie:CNO]]<br />
</div>imported>ZRN