David Roubínek, 9.3.2026

Title: Kurt Gödel a jeho pohled na logiku B. Russella

Abstrakt: Bertrand Russell se část svého života zabýval dílem Gottloba Frega a
objevil v jeho systému spor, pro který dnes používáme výraz Russellův
paradox. Nebyla to ovšem rána pouze pro Frega, jelikož Russell v té
době dopisoval svou knihu Principles of Mathematics (1903) a spor se
týká i systému, který je v této knize představen. Russell se před
vydáním knihy alespoň náznakem pokouší naznačit možné řešení tohoto
sporu v dodatku. Russellova práce v oblasti základů matematiky tím ale
nekončí. Vezme si na pomoc Alfreda N. Whiteheada a společně vydávají
mezi lety 1910 a 1913 tří svazková Principia Mathematica, která se
stala jedním z nejvýznamějších matematických děl 20. století. Úkolem
referátu bude představit, co si o tomto díle myslí Kurt Gödel v článku
Russell's mathematical logic (1944). Gödel při tom v článku nezmiňuje
jen Principia, ale odkazuje se i na jiná Russellova díla a snaží se
roli Principií zařadit do širšího kontextu.