Interpretations of Gödel incompleteness theorem - ALGV19006

• Anglický název: Interpretations of Gödel incompleteness theorem
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2025 do 2025
• Semestr: oba
• Body: 5
• E-Kredity: 5
• Rozsah, examinace: 2/0, Zk [HT]
• Počet míst: zimní:neomezen / neurčen (neurčen); letní:neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Vysvětlení: The announcement updated Sept 10th, 2025.See also this page.
• Další informace: https://www.dropbox.com/s/na4mexrkipexf79/IGTannouncement.pdf?dl=1
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; předmět lze zapsat v ZS i LS
• Garant: doc. RNDr. Vítězslav Švejdar, CSc.
• Vyučující: doc. RNDr. Vítězslav Švejdar, CSc.

Anotace

After discussing technicalities of various proofs of Gödel's incompleteness theorems, a mathematician could be interested in the philosophical reflection of this topic. We will try to find out what respected philosophers write about the matter, and confront the majority view that these theorems kill Hilbert's program with the opinion, probably also well justified, that it is not quite so. The course will be based on students' presentations.

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

Vstupní požadavky

Intended for students who at least roughly know what Gödel theorems are, and who are willing to study something from the literature listed in the announcement and to present the contents for the other participants. Please contact me as soon as possible to discuss your role in this course.

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