Романтика искусственного интеллекта. В. В. Потопахин
Читать онлайн книгу.
Евклид положил, что да, через точку, не принадлежащую данной прямой, можно провести одну и только одну прямую, не пересекающуюся с данной прямой.
Это утверждение с точки зрения Евклида является аксиомой, но уж больно по своей сложности оно похоже на теорему. Поэтому люди две тысячи лет пытались его либо доказать, либо опровергнуть. В XIX веке трое ученых: Гаусс, Лобачевский и Риман – догадались отбросить логические законы и положить, что любое суждение о параллельных истинно, если на его базе можно развить геометрию. Так появились неэвклидовы геометрии и совершенно новое понимание свойств пространства и заодно ограниченности формальной логики.
Вернемся к критике формальной логики. Еще древние обнаружили существование парадоксов. Парадокс – это ситуация, когда вроде бы посылки для логического вывода безупречны, сам вывод проведен строго, в полном соответствии с законами логики, но полученный результат откровенно ложен, до нелепости ложен. Одним из первых логиков, описавших такие ситуации, был древнегреческий философ Зенон. Его умозаключения называются апории Зенона. Приведем для примера один из них.
Ахиллес – это древнегреческий воин, могучий, как все мифологические герои. Соответственно, он и бегает быстро. Что такое черепаха, думаю, объяснять нет необходимости. И вот эти двое решили, по Зенону, побегать наперегонки. Ахиллес, понимая, что черепаха бегает несколько медленнее, дал ей фору. То есть сначала стартует черепаха, и лишь спустя некоторое время Ахиллес. А теперь, как говорят фокусники, следите за руками (рис. 1.5 – иллюстрация к задаче).
Рис. 1.5. Ахиллес и черепаха
В начале старта Ахиллеса между ним и черепахой есть некоторое расстояние. На его преодоление Ахиллесу нужно некоторое время. Пусть, например, 10 минут. Через 10 минут Ахиллес прибудет в точку, в которой была черепаха, но ее там уже нет. За эти десять минут черепаха пройдет какое-то расстояние. Преодолеть новую дистанцию Ахиллесу труда не составит, но на это опять уйдет время. За это время черепаха еще что-то там пробежит. И получается, что как бы Ахиллес не старался, между ним и черепахой всегда будет какое-то расстояние, для преодоления которого Ахиллесу нужно время, но черепаха за это время пройдет новое расстояние, а значит, между Ахиллесом и черепахой всегда будет непройденное расстояние, а значит, Ахиллес никогда не догонит черепаху!
Решение проблемы лежит в области теории бесконечно малых. Сегодня эта теория называется дифференциальным исчислением. Во времена Зенона такой теории не было, а в рамках формальнологических систем проблема не разрешима. Это хороший пример ограниченности формальной логики и отличия интеллекта от его частного инструмента – логического вывода. Все сказанное здесь являет нам печальную истину – все достижения человеческой логики в области формализации мышления, скорее, показали ограниченность логики, чем ее силу. Проблема интеллекта оказалась неизмеримо сложнее.
Психология