Your browser does not support JavaScript, or its support is disabled. Some features may not be available.
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
Level:
Explanation:
Zoom: 963 3667 4794
Additional information:
http://www1.cuni.cz/~svejdar/?s=incompl
Note:
course can be enrolled in outside the study plan
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.
