LITMIR.BIZ

Скачать книгу

      Глава 1

      Социальные взаимодействия и вычислительная неприводимость

      Карта является наиболее рациональным способом решения задачи, как попасть из точки A в точку B. Карты масштабируются, это означает, что они уменьшены до крошечной доли описываемой территории, с гораздо меньшим количеством деталей, реально находящихся на ней. Но этого не должно быть, по крайней мере в мире, придуманном великим аргентинским писателем Хорхе Луисом Борхесом: «…В той Империи Искусство Картографии достигло такого Совершенства, что Карта одной Провинции занимала пространство Города, а Карта Империи – целую Провинцию. Со временем эти Гигантские Карты перестали удовлетворять, и Коллегия Картографов создала карту Империи, имевшую размеры самой Империи, и точно с ней совпадавшую. Последующие Поколения, менее приверженные Картографии, решили, что столь обширная Карта бесполезна, и безжалостно предоставили ее воздействию Солнца и жестоких Зим.

      В пустынях Востока еще сохранились кое-где Руины Карты, населенные Животными и Нищими, – другого следа Географических Наук не осталось во всей Стране». (Suarez Miranda, Viajes de varones prudentes, Libro IV, Cap. XLV, Lerida, 1658)[24]

      Мы не находим других примеров странного случая, о котором рассказывает Суарес Миранда, потому что если проблема, которую нужно решить, требует карты размером всей отображаемой территории, картографические упражнения бессмысленны, и картографы вынуждены двигаться дальше, чтобы найти более подходящие географические задачи для приложения своих умений.

      Но если карту нельзя сделать меньше, чем территория, – нет ничего, что можно уменьшить в размерах или сократить детали без потери важных функций, необходимых, чтобы проложить путь к месту назначения? В таком случае вы должны фактически пройти весь путь, по самой территории или по карте, где вы делаете те же шаги, что и на территории. Когда карта не может быть значительно уменьшена по сравнению с описываемой территорией, или когда проблема не может быть решена с использованием карты быстрее или эффективнее, чем при работе на самой территории, мы имеем дело с системой, которая называется вычислительно неприводимой.

      Вычислительно неприводимая задача – та, где невозможны математические сокращения, где единственный способ определить результат – выполнить каждый шаг программы. Если вы хотите увидеть, как будет выглядеть система в отдаленном времени, необходимо запустить компьютерную программу, которая смоделирует систему шаг за шагом, отныне и до этого далекого времени. Напротив, вычислительно приводимая система – это та, которая может быть описана математическими формулами, дающими результат в любой выбранный момент времени, без прохождения через все временны́е шаги.[25]

      Математика работает только с вычислительно приводимыми системами. Аксиомы и дедуктивная логика предназначены для обеспечения сокращений и упрощений, предоставления общих результатов, которые помогут сжать проблему и дать представление

Скачать книгу