Вот ты делаешь ту же ошибку, что и большинство людей. Ты пытаешься спорить со мной, не пытаясь понять, что я говорю. Мне сегодня лень заниматься педагогической деятельностью и вколачивать кому-либо понимание чего-то вопреки его желаниям, поэтому я не буду разбирать всё написанное тобой. Лишь кусочек.> Но проблема в том что компьютер ведомый лишь строгой математикой вообще не может водить автобус. Как в строгих математических терминах описать что такое "поезд" и "переезд" и хотя-бы вообще их просто опознать как объект, без серьезных костылей?
Что такое "строгая математика"? Сама фразировка предполагает, что существует "нестрогая математика", так ведь? Не кажется ли тебе, что "нестрогая математика" -- это оксюморон?
У тебя какие-то пораженческие настроения, впрочем, свойственные инженерам: если математика не может, значит она фундаментально не может, значит глупо даже думать о том, как может быть иначе. Но математика не фундаментальная наука. Можно даже поспорить, является ли математика наукой. Математика -- это инструмент, который задачивают по мере необходимости.
Если математика чего-то не может, значит математику надо развивать. Так всегда было. Когда-то математика не могла доказать, что закон гравитации, у которого в знаменателе квадрат расстояния, приводит к траекториям движения типа "конические сечения". Пришёл Ньютон, запилил матан, и показал, что это именно так. Правда запилил он это для двух тел, и с тех пор математика до сих пор не может справится с задачей трёх тел. Бьётся-бьётся а не получается. Но китайцы тут недавно дали пинка этой задаче, найдя пачку периодических конфигураций[1]. Может ещё лет через 50-100 математика научится записывать решения ньютоновских дифур в аналитическом виде, описывать траектории так, чтобы точность описания не зависела бы от времени. Или хотя бы в меньшей степени зависела бы.
> Но проблема в том что компьютер ведомый лишь строгой математикой вообще не может водить автобус.
Компьютер не может быть ведомым математикой, компьютером рулит программа. Математика -- это инструмент, которым пользуется инженер, а не компьютер и не программа. У компьютера вообще очень большие проблемы с математикой, он даже в целых числах считать не умеет, без сложных и тормозных алгоритмов из bignum.
> Как в строгих математических терминах описать что такое "поезд" и "переезд" и хотя-бы вообще их просто опознать как объект, без серьезных костылей?
Что по-твоему "костыль", а что нет? Зачем описывать в "строгих математических терминах"? Проблема не в костылях и не в строгости, а в том, чтобы поведение программы было бы предсказуемо. Чтобы мы могли бы доказать, что программа не поставит автобус под удар локомотива. Или даже ещё шире, что она обеспечит более высокий уровень безопасности для пассажира, чем человек. Сегодня эта проблема решается инженерными методами -- вон гугл миллионы часов гонял свои гугломобили в тестовом режиме, когда за рулём сидел специально обученный человек, который был готов перехватить управление в любой момент. Сколько триллионов часов специально обученным людям придётся разбирать рассуждения гипотетического ИИ, который будет "думать", для того, чтобы убедиться, что он думает "правильно"?
Инженерные подходы к решению задач имеют верхнее ограничение по сложности тех задач, с которыми они могут справиться. Пока не придёт математика и не найдёт способ заменить O(e^n) на O(n^M). Ну а general intelligence -- это задача, сложность которой далеко за пределами возможностей инженеров.
[1] https://arxiv.org/abs/1705.00527
