Ученые утверждают, что человеческое понимание реальности не сводится к набору вычислительных операций. Компьютер способен выполнять инструкции шаг за шагом, как бы сложны они ни были. Однако существуют истины, которые не выводятся через последовательность логических действий. Такие утверждения нередко называют "гёделевскими" - отсылая к теореме математического логика Курта Гёделя, показавшего, что в любой достаточно мощной формальной системе неизбежно остаются утверждения, истинность которых нельзя доказать внутри неё самой.
Все новости:
rg.ru
99888
Загрузка...