Petr Hájek (Czech pronunciation: [ˈpɛtr̩ ˈɦaːjɛk]; 6 February 1940 – 26 December 2016) was a Czech scientist in the area of mathematical logic and a professor...
5 KB (382 words) - 23:33, 31 August 2024
semisets was proposed and developed by Czech mathematicians Petr Vopěnka and Petr Hájek (1972). It is based on a modification of the von Neumann–Bernays–Gödel...
3 KB (327 words) - 16:40, 4 September 2023
up Hájek in Wiktionary, the free dictionary. Hájek (Czech pronunciation: [ˈɦaːjɛk]; i.e. "small grove") may refer to Czech surname or places: Hájek (Karlovy...
3 KB (398 words) - 23:16, 31 August 2024
complexities. Main contributors to the field are Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov...
4 KB (610 words) - 07:04, 30 October 2024
by the Czech Mathematical Society. Books Fabian, Marián; Habala, Petr; Hájek, Petr; Montesinos Santalucía, Vicente; Pelant, Jan; Zizler, Václav (2001)...
4 KB (385 words) - 13:51, 16 August 2024
the Alternative Set Theory. Leipzig: Teubner. ASIN B0006E3AXY. Petr Vopěnka, Petr Hájek (1972). The Theory of Semisets. Amsterdam, Prague: North-Holland...
11 KB (878 words) - 01:20, 21 February 2024
logic of fuzzy set theory". In: Cintula, Petr et al. (eds.), Witnessed years. Essays in honour of Petr Hájek. London: College Publications, 2009, pp....
165 KB (23,195 words) - 01:27, 10 November 2024
Michael Gettings (Aug 1996). "Gödel's ontological proof revisited". In Petr Hájek (ed.). Proc. Gödel '96: Logical Foundations of Mathematics, Computer Science...
33 KB (4,372 words) - 22:02, 8 November 2024
prominent Czech investigative journalist, remembers Hájek as "the greatest disappointment in my life" Hájek left to work as a media consultant in marketing...
23 KB (2,226 words) - 11:22, 25 June 2024
Guillemin Robert C. Gunning Rudolf Haag Christopher Hacon Mark Haiman Petr Hájek Thomas Callister Hales Peter Gavin Hall Joseph Halpern Richard S. Hamilton...
60 KB (5,790 words) - 21:25, 7 November 2024