Neúplnost a Gödelovy věty - ALG119007

• Anglický název: Gödel's Theorems and Incompletness
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2020
• 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)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Vysvětlení: Zoom: 963 3667 4794
• Další informace: http://www1.cuni.cz/~svejdar/?s=incompl
• 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.

Anotace

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

Vlastnosti Robinsonovy a Peanovy aritmetiky. Formalizace logické syntaxe v Peanově aritmetice. Autoreference. Gödelovy věty o neúplnosti, Rosserova věta.