Přednáška o matematické logice

13. 10. 2010 | Tiskové zprávy

Prof. RNDr. Jaroslav Peregrin, CSc., který se zabývá analytickou filosofií, logikou a sémantikou, je autorem řady knih a odborných článků. Působí na Filozofickém ústavu AV ČR.

K tématu přednášky za její organizátory Ing. Dušan Čermák, Ph.D. z dopravní fakulty dodává:

„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 – tzv. 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ě. Reziduem tohoto problému je právě to, co vynesl na světlo dne Gödel. Tím se objevuje jistá 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ý.“

Přednášku organizují pardubická pobočka Jednoty českých matematiků a fyziků, Ústav matematiky Fakulty ekonomicko-správní a Katedra elektrotechniky, elektroniky a zabezpečovací techniky v dopravě Dopravní fakulty Jana Pernera.

Přednáška je otevřena pro všechny zájemce nejen z univerzity, ale i z řad široké či odborné veřejnosti.