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