< 1 >
Теоремы неполноты
Две теоремы Гёделя о неполноте утверждают, что высказывания могут быть формально неразрешимыми.
Пояснение
Первая теорема о неполноте утверждает, что любая внутренне непротиворечивая формальная система содержит утверждения, истинность или ложность которых невозможно доказать.
Вторая теорема о неполноте говорит, что в рамках формальной системы нельзя доказать, что она внутренне непротиворечива.
Искусственный интеллект
Теоремы о неполноте сводятся к тому, что искусственный интеллект невозможен, потому что компьютеры всегда являются формально конечными системами. Вполне вероятно, что человеческий интеллект также подвержен подобным ограничениям.
ИсторияВ 1930 году австрийский математик Курт Гёдель сформулировал эти теоремы. |