24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна.
Подробности случившегося. Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
Закон сохранения энергии (первое начало термодинамики)
Запрещает создание вечных двигателей первого рода
Второе начало термодинамики
Запрещает создание вечных двигателей второго рода
Теорема Пенроуза об искусственном ИИ
Запрещает создание сильного ИИ на базе конечного автомата
Какой бы мощностью ни обладало устройство, имеющее архитектуру конечного автомата, человеческое мышление имеет некоторые возможности, недоступные такому устройству.
Nogo теорема Пенроуза об ИИ (полное доказательство)
1. Предположим, что некоторый компьютер, имеющий архитектуру конечного автомата, обладает всеми интеллектуальными способностями всего человечества (представляет собой сильный ИИ в узком смысле).
2. Тогда, любой математик, используя свои математические способности, на основе теоремы Гёделя-Тьюринга может построить истинное утверждение, истинность которого не может быть проверена этим компьютером, но которая ясна для математика (по построению). Построение всегда возможно, так как доказательство теоремы Гёделя-Тьюринга имеет конструктивный характер.
Теорема ГёделяТьюринга
Для любого конечного автомата, который
1) Реализует обоснованные процедуры
2) Достаточно силен, чтобы реализовывать алгоритмы, анализирующие другие алгоритмы на предмет их остановки
можно сформулировать осмысленное утверждение, истинность которого не может быть вычислена этим автоматом
3. Следовательно, предполагая, что компьютер обладает всеми способностями людей, мы немедленно указываем способность человека, которой этот компьютер не обладает.
4. Это есть противоречие, и оно доказывает, что такой компьютер (сильный ИИ) не может существовать.
Сильный ИИ невозможен ни для каких компьютеров на основе
архитектуры конечного автомата.
Возражения?
Прошлый https://2ch.hk/sci/res/519313.html