Gödelovy věty o neúplnosti

Téma již má řešitele.
Řešitel
Michal Hrabal - Gymnázium Brno, Vídeňská, příspěvková organizace
Instituce
Masarykova univerzita
Fakulta/ústav
Fakulta informatiky
Další údaje o pracovišti
Katedra teorie programování
Lektoři
Jakub Balabán
Podpora
JCMM podpořila toto SOČ téma částkou 0 Kč na materiál a částkou 10 000 Kč na honorář školitele.

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.