Matematik Jan Krajíček získal prestižní Shoenfieldovu cenu

Mezinárodní Asociace pro symbolickou logiku udělila Shoenfieldovu cenu Janu Krajíčkovi z Matematicko-fyzikální fakulty UK, členovi Učené společnosti.

Jedna z nejvýznamnějších cen v matematické logice se uděluje jednou za tři roky za vynikající výkladové texty v tomto oboru. Prof. Krajíček ji získal za knihu Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170 (Cambridge University Press, Cambridge, 2019).

Důkazová složitost je jednou z oblastí spojujících matematickou logiku a teorii výpočetní složitosti. Míří na fundamentální matematické otázky jako je tzv. P versus NP problém. Kniha prezentuje tento obor v celé jeho šíři a hloubce a nastiňuje možné směry dalšího výzkumu.