Gödel's Theorems and Incompletness - ALG119007

• Title: Neúplnost a Gödelovy věty
• Guaranteed by: Department of Logic (21-KLOG)
• Faculty: Faculty of Arts
• Actual: from 2020
• Semester: summer
• Points: 0
• E-Credits: 6
• Examination process: summer s.:
• Hours per week, examination: summer s.:2/2, Ex [HT]
• Capacity: unlimited / unlimited (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Explanation: Zoom: 963 3667 4794
• Additional information: http://www1.cuni.cz/~svejdar/?s=incompl
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: doc. RNDr. Vítězslav Švejdar, CSc.
• Teacher(s): doc. RNDr. Vítězslav Švejdar, CSc.

Annotation

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

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