Курт Гьодел: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Luckas-bot (беседа | приноси) м r2.7.1) (Робот Добавяне: zh-yue:Kurt Gödel |
Редакция без резюме |
||
Ред 32:
Той доказва, че [[Хипотеза за континуума|хипотезата за континуума]] не може да бъде отхвърлена в рамките на теорията на множествата, ако нейните аксиоми са непротиворечиви. Той прави и съществени приноси в [[Теория на доказателствата|теорията на доказателствата]], изяснявайки връзките между [[Класическа логика|класическата]], [[Съждителна логища|съждителна]] и [[модална логика]].
==Библиография==
* Васил Пенчев – Неразрешимост на т. нар. първа теорема на Гьодел за непълнотата. Гьоделова и Хилбертова математика. - . - Философски алтернативи, 2010, № 5,
{{DEFAULTSORT:Гьодел, Курт}}
| |||