SubjectsSubjects(version: 953)
Course, academic year 2023/2024
   Login via CAS
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 2023
Semester: both
Points: 5
E-Credits: 5
Examination process:
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
Key competences:  
State of the course: taught
Language: English
Teaching methods: full-time
Teaching methods: full-time
Explanation: The announcement updated Aug 13th, 2023. See also this page.
Additional information:
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.
After discussing technicalities of various proofs of Gödel's incompleteness theorems, a mathematician could be interested in the philosophical reflection of the matter. One of the ideas is to find out what respected philosophers write about incompleteness theorems and to 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. (07.09.2021)
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 participant.

Last update: Švejdar Vítězslav, doc. RNDr., CSc. (15.09.2021)
Charles University | Information system of Charles University |