Neúplnost a Gödelovy věty - ALG119007
Anglický název: Gödel's Theorems and Incompletness
Podoba výuky: přednáška+cvičení
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2025 do 2025
Počet semestrů výuky: 1
Semestr: letní
Body: 0
E-Kredity: 6
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:2/2, Zk [HT]
Počet míst: neomezen / neomezen (neurčen)
Maximální kapacita předmětu: neomezen
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Kompetence:  
Stav předmětu: vyučován
Jazyk výuky: čeština
Forma uskutečňování: prezenční
Úroveň:  
Vysvětlení: Zoom: 963 3667 4794
Další informace: http://www1.cuni.cz/~svejdar/?s=incompl
Možnost opakovaného zápisu: 2 / 2 / 2 / 2
Poznámka: předmět je možno zapsat mimo plán
povolen pro zápis po webu
Garant: doc. RNDr. Vítězslav Švejdar, CSc.
Vyučující: doc. RNDr. Vítězslav Švejdar, CSc.
Rozvrh LS   Nástěnka   
Anotace -
Základní vědomosti o rekurzívně spočetných množinách, diagonalizace.
Vlastnosti Robinsonovy a Peanovy aritmetiky. Formalizace logické syntaxe v Peanově aritmetice. Autoreference. Gödelovy věty o neúplnosti, Rosserova věta.
Modální logika GL, tj. logika dokazatelnosti.
Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (03.02.2026)
Podmínky zakončení předmětu
Ústní zkouška, která ověřuje zvládnutí pojmů a důkazů. Vlastní zkoušce předchází prodiskutování jednoho nebo několika cvičení z předem poskytnutého seznamu.
Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (03.02.2026)
Literatura

V. Švejdar.Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (03.02.2026)