SubjectsSubjects(version: 941)
Course, academic year 2023/2024
   Login via CAS
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: unknown / unknown (unknown)
Min. number of students: unlimited
Virtual mobility / capacity: no
Key competences:  
State of the course: taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Explanation: Zoom: 963 3667 4794
Additional information:
Note: course can be enrolled in outside the study plan
enabled for web enrollment
Guarantor: doc. RNDr. Vítězslav Švejdar, CSc.
Annotation - Czech
Last update: doc. RNDr. Vítězslav Švejdar, CSc. (19.02.2022)
Vlastnosti Robinsonovy a Peanovy aritmetiky. Formalizace logické syntaxe v Peanově aritmetice. Autoreference. Gödelovy věty o neúplnosti, Rosserova věta.
Charles University | Information system of Charles University |