Курт Гьодел: Разлика между версии

 

Той доказва, че [[Хипотеза за континуума|хипотезата за континуума]] не може да бъде отхвърлена в рамките на теорията на множествата, ако нейните аксиоми са непротиворечиви. Той прави и съществени приноси в [[Теория на доказателствата|теорията на доказателствата]], изяснявайки връзките между [[Класическа логика|класическата]], [[Съждителна логища|съждителна]] и [[модална логика]].

 

{{DEFAULTSORT:Гьодел, Курт}}