Gödelovy věty o neúplnosti

Téma dosud nemá řešitele. Máš-li o něj zájem, zaregistruj se a přihlaš se k tématu.
Instituce
Masarykova univerzita
Fakulta/ústav
Fakulta informatiky
Další údaje o pracovišti
Katedra teorie programování
Lektoři
Jakub Balabán

Ve stejné době, kdy Einsteinova teorie relativity přinesla revoluci ve fyzice, došlo k podobné revoluci i v matematice: rakouský logik Kurt Gödel narozený v Brně formuloval své věty o neúplnosti. Úkolem studenta bude tyto věty nastudovat a pochopit je v kontextu logiky a matematiky. Obsah práce pak závisí na domluvě: kromě matematických a popularizačních částí je možné studovat i filozofické důsledky těchto vět.