Společnost Kurta Gödela v Brně
srdečně zve na přednášku

Prof. RNDr. JAROSLAV PEREGRIN, CSc.

Filosofický ústav AV ČR a
Filozofická fakulta Univerzity Hradec Králové

OD RUSSELLA KE GÖDELOVI

V přednášce bude – populárním způsobem – vyložena pointa Gödelova důkazu neúplnosti aritmetiky, a to na pozadí jiného, staršího paradoxního výsledku matematické logiky, Russellova paradoxu. Bude ukázáno, že snažíme-li se jazyk logiky reglementovat tak, abychom nepřipustili Russellův paradox, může se nám to podařit jenom částečně, a reziduem tohoto problému je právě to, co vynesl na světlo dne Gödel. Tím se objevuje jistá mez inherentní matematické logice; mez, na kterou naráží jakákoli snaha o úplnou axiomatizaci matematiky (či čehokoli jiného, co matematiku obsahuje). Virus, který diagnostikoval Russell, se tak sice podařilo zbavit jeho smrtící virulentnosti, avšak jenom za cenu, že jeho méně virulentní následník je již imunní vůči jakýmkoli našim antivirotikům, a tudíž z logiky neodstranitelný. 

Kdy? Ve čtvrtek 13. května od 16 hodin.
Kde? V posluchárně F2 pavilonu fyziky PřF MU, Kotlářská 2, Brno.