Hájek Petr: Porovnání verzí
imported>ZRN |
imported>ZRN |
||
| (Není zobrazena jedna mezilehlá verze od stejného uživatele.) | |||
| Řádek 6: | Řádek 6: | ||
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]]. |
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]]. |
||
| − | ''[[:Kategorie:Aut: Nešpor Zdeněk R.|Zdeněk R. Nešpor]]'' |
+ | ''[[:Kategorie:Aut: Nešpor Zdeněk R.|Zdeněk R. Nešpor]]''<br /> |
[[Kategorie:Aut: Nešpor Zdeněk R.|Zdeněk R. Nešpor]] |
[[Kategorie:Aut: Nešpor Zdeněk R.|Zdeněk R. Nešpor]] |
||
Aktuální verze z 13. 10. 2025, 20:04
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.