Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-LOTD17-204E.03
- Title
- Metatheory 2.: Gödel's Incompleteness Theorems
- Usual semester
- Spring
- ECTS
- 4
- Language
- Learning outcomes
- Competence in proving the central theorems of metalogic. Content of the course: The course will strictly follow Raymond Smullyan's book with the same title (details see below). The book investigates the theorems and some related theorems (Tarski, Shepherdson) in a rather broad and general framework. It contains several excercises that are substantial to the understanding. The classes will usually begin with solving some of these excercises specified at the previous class. Grading criteria, specific requirements: Knowledge of classical first-order logic is a prerequisite. The mark will depend on the student’s achivement in excercise solving. Required reading: Raymond M. Smullyan, Gödel's Incompleteness Theorems. Oxford-New York: Oxford University Press, 1992.