Charles Explorer logo
🇬🇧
Search for classes relevant for "theorem"

Gödel's Theorems and Incompletness

Class at Faculty of Arts |
ALG119007
1 person11 study programmes

This text is not available in the current language. Showing version "cs".Annotation

Vlastnosti Robinsonovy a Peanovy aritmetiky. Formalizace logické syntaxe v Peanově aritmetice.

Autoreference. Gödelovy věty o neúplnosti, Rosserova věta.

Person

Study programmes