Univerzita Pardubice: Přednáška o matematické logice

Přednáška o matematické logice

Ve čtvrtek 14. října se v posluchárně A3 univerzitní auly uskuteční od 17 hodin přednáška profesora Peregrina o matematické logice - „Od Russella ke Gödelovi“.

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.

Bližší informace a kontakt:
Ing. Dušan Čermák, Ph.D.
Katedra elektrotechniky, elektroniky a zabezpečovací techniky v dopravě DFJP
telefon 466 036 387

Aktualizoval: Tomáš Pospíchal (13. října 2010, 15:12)