Продолжаю ту же тему, предыдущие посты: 1, 2.

В математике есть теория, которая ограничивается рассмотрением объектов, которые возможно построить, привести пример.
Множество таких объектов называют Вселенная Гёделя.
Обычно считается, что при таком ограничении, если рассматривать только вычислимые (или определимые) числа, получается другая математика: ( Read more... )

Второй, но не последний пост на эту тему (чего-то зацепила).

В комментариях к предыдущему посту об этом родилась краткая и более изящная версия доказательства неалгоритмизуемости сознания, основанная на том же принципе, что у Пенроуза.

Из теоремы о неполноте следует, что в любой непротиворечивой системе аксиом существуют алгоритмы, о которых ( Read more... )

Ещё раз про вычислимость, теорему Гёделя о неполноте, алгоритмизуемость человеческого сознания и Роджера Пенроуза, получившего в этом году Нобелевку.

Почему это интересно?
С одной стороны это одна из наиболее удивительных и неожиданных теорем математики - о том, что (если опустить детали) в любой математической системе найдутся утверждения, которые ( Read more... )

Неожиданно для меня у известной шутливой задачи про самолёт на беговой дорожке обнаружился более серьёзный "прототип ( Read more... )

( Read more... )

Тест Тьюринга глубже и конструктивнее, чем люди обычно себе представляют ( Read more... )

Я со школьных лет сталкивался с неразрешимостью некоторых задач, и уровень этой неразрешимости постепенно увеличивался, сейчас приблизившись к границам моего осознания ( Read more... )

Оказывается, не только Пенроуз математически доказал невычислимость человеческого сознания, но и Курт Гёдель в 1970 опубликовал математическое доказательство существования бога (об этом комментарии в том же блоге 1, 2, 3).
И это не стёб типа доказательства, что все лошади одного цвета, это вполне строгий и формальный вывод.
( Что я об этом думаю )

Роджер Пенроуз написал книгу "Тени разума: в поисках науки о сознании", в которой, ни много ни мало, формально математически доказал невычислимость человеческого мышления (т.е. теоретическую невозможность его моделирования на компьютере ( Read more... )

В математике есть разные парадоксы, особенно в теории множеств. Многие утверждения интуитивно кажутся парадоксальными, хотя на самом деле (формально) никакого парадокса нет, математически всё корректно. Например, между любыми двумя рациональными числами находится бесконечное количество иррациональных, между любыми двумя иррациональными - ( Read more... )