Interpretations of Gödel incompleteness theorem - ALGV19006

• Title: Interpretations of Gödel incompleteness theorem
• Guaranteed by: Department of Logic (21-KLOG)
• Faculty: Faculty of Arts
• Actual: from 2025 to 2025
• Semester: both
• Points: 5
• E-Credits: 5
• Hours per week, examination: 2/0, Ex [HT]
• Capacity: winter:unlimited / unknown (unknown); summer:unknown / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: English
• Teaching methods: full-time
• Explanation: The announcement updated Sept 10th, 2025.See also this page.
• Additional information: https://www.dropbox.com/s/na4mexrkipexf79/IGTannouncement.pdf?dl=1
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; you can enroll for the course in winter and in summer semester
• Guarantor: doc. RNDr. Vítězslav Švejdar, CSc.
• Teacher(s): doc. RNDr. Vítězslav Švejdar, CSc.

Annotation

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.

Last update: Švejdar Vítězslav, doc. RNDr., CSc. (11.09.2025)

Entry requirements

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.

Last update: Švejdar Vítězslav, doc. RNDr., CSc. (10.09.2025)