11-03-2005 11:09
к комментариям - к полной версии
- понравилось!
я - только то, что я есть
("я" считать переменной).
вверх^
к полной версии
понравилось!
в evernote
я - только то, что я есть
("я" считать переменной).
Комментарии (1):
ТЕОРЕМЫ ГЁДЕЛЯ
1. Если содержательная формальная система непротиворечива, то она неполна, то есть в ней всегда можно построить утверждение, истинность которого нельзя ни доказать ни опровергнуть средствами самой системы.
2. Невозможно доказать непротиворечивость формально заданной теории с помощью вспомогательных средств самой расматриваемой теории (при условии, что эта теория действительно непротиворечива).
(с) Курт Гёдель (1906-1978) - австрийский логик и математик.
1. Если содержательная формальная система непротиворечива, то она неполна, то есть в ней всегда можно построить утверждение, истинность которого нельзя ни доказать ни опровергнуть средствами самой системы.
2. Невозможно доказать непротиворечивость формально заданной теории с помощью вспомогательных средств самой расматриваемой теории (при условии, что эта теория действительно непротиворечива).
(с) Курт Гёдель (1906-1978) - австрийский логик и математик.
Комментарии (1):
вверх^