Monografie anglických, slovenských a českých příspěvků věnovaná stému výročí narození Kurta Gödela (28.4.1906) se zabývá tematicky rozlehlým prostorem úvah a inspirací, které jsou přímo či nepřímo motivovány Gödelovými objevy a důkazy. Otázkám formalizace je věnována pozornost především v rozborech důsledků nemožnosti realizace Hilbertova...