Три задачи из 2-ой и 10-ой проблемы Гильберта
1. Полнота математики.
Все истинные математические утверждения могут быть доказаны.
2. Непротиворечивость математики.
Могут быть доказаны только истинные математические утверждения.
3. Разрешимость математики.
Существуют процедуры для определения истинности или ложности заданного математического утверждения.
В 1931 году Гёдель доказал что что ответом на первое и второе утверждение является "Нет".
Информация к размышлению. Рассмотрим такой атрибут "всеведение". Значит ли это, что вседение в логике не достижимо, если не принимать конечно, что ответы НЕТ тоже входят в состав атрибута "всеведение".
Комментариев нет:
Отправить комментарий