Jste zde

O neúplnosti teorií

Přednáška profesora Jiřího Cihláře bude komentářem k výsledkům logiky z období okolo poloviny minulého století (Gödel, Tarski, Church a další). Připomeneme si problematiku bezespornosti a úplnosti teorií, odvoditelnosti formulí a jejich pravdivosti v modelech, existenci nestandardních modelů Peanovy aritmetiky, rozhodnutelnosti teorií a další zajímavosti.

Přednáška se koná v Liberci v budově H TUL (Voroněžská ulice) v 5. patře v posluchárně H52 ve 14:30 hodin ve středu 11.5.2011.

Místo konání: 
Technická Univerzita Liberec
Datum konání: 
11. Květen 2011 - 0:00
Složka JČMF: 
X
Secure Login

This login is SSL protected

.mojeid.cz