В пустынях Востока еще сохранились кое-где Руины Карты, населенные Животными и Нищими, – другого следа Географических Наук не осталось во всей Стране». (Suarez Miranda, Viajes de varones prudentes, Libro IV, Cap. XLV, Lerida, 1658) [24] Borges «О величии и науке» (2004).
Мы не находим других примеров странного случая, о котором рассказывает Суарес Миранда, потому что если проблема, которую нужно решить, требует карты размером всей отображаемой территории, картографические упражнения бессмысленны, и картографы вынуждены двигаться дальше, чтобы найти более подходящие географические задачи для приложения своих умений.
Но если карту нельзя сделать меньше, чем территория, – нет ничего, что можно уменьшить в размерах или сократить детали без потери важных функций, необходимых, чтобы проложить путь к месту назначения? В таком случае вы должны фактически пройти весь путь, по самой территории или по карте, где вы делаете те же шаги, что и на территории. Когда карта не может быть значительно уменьшена по сравнению с описываемой территорией, или когда проблема не может быть решена с использованием карты быстрее или эффективнее, чем при работе на самой территории, мы имеем дело с системой, которая называется вычислительно неприводимой.
Вычислительно неприводимая задача – та, где невозможны математические сокращения, где единственный способ определить результат – выполнить каждый шаг программы. Если вы хотите увидеть, как будет выглядеть система в отдаленном времени, необходимо запустить компьютерную программу, которая смоделирует систему шаг за шагом, отныне и до этого далекого времени. Напротив, вычислительно приводимая система – это та, которая может быть описана математическими формулами, дающими результат в любой выбранный момент времени, без прохождения через все временны́е шаги. [25] Говоря более конкретно, если проблема является вычислительно неприводимой, единственный способ вычислить, что должно произойти, состоит в том, чтобы последовательно имитировать каждый шаг. Это индуктивный процесс (но не тот вид индуктивного процесса, который затем можно обобщить в дедуктивный результат), где вычисление f (n) требует примерно того же пути, что и вычисление последовательно всех значений f (i) от i = 1 до n.
Математика работает только с вычислительно приводимыми системами. Аксиомы и дедуктивная логика предназначены для обеспечения сокращений и упрощений, предоставления общих результатов, которые помогут сжать проблему и дать представление о работе системы, без необходимости выполнять утомительную задачу пошагового прохождения всего пути. Например, математика, на основе которой созданы баллистические таблицы, позволяет артиллеристу-наводчику рассчитать, где упадет снаряд, до того, как он будет выпущен. Напротив, не существует предварительно рассчитанной таблицы, чтобы определить по ней лучший маршрут во время часа пик.
Оглядываясь на века научного прогресса, мы видим, что великие теоретические триумфы не обходились без вычислительных преобразований, которые помогали понять поведение системы, так что ученому оставалось просто наблюдать за явлением и делать заметки. Главный инструмент для выполнения этих упрощений, инструмент ученого картографа – математика, а математика дедуктивно имеет общую аксиоматическую структуру, которая начинается с утверждения законов.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.
См. Watson (2014, 75–76), Lucas (2009) предположили, что было несправедливо назначить экономистов ответственными за финансовый кризис, тогда как их видение спроса и предложения не дало им никакого преимущества комментировать такие возможности. Он писал, что модели, ориентированные на равновесие макроэкономики, не были представлены как «гарантия того, что ни один кризис не случится, но как прогноз того, что можно было бы ожидать, если бы кризис не наступил», Lucas (2009, 67). Томас Сарджент согласился, браня критиков за их «глупые и интеллектуально ленивые замечания», и заявил, что их подходы «отражают либо печальное невежество, либо намеренное пренебрежение к тому, что касается современной макроэкономики», Rollnick (2010, 28). Британские банкиры приносили извинения за свою роль в кризисе, когда они появились в Комитете казначейства в начале 2009 года, но, похоже, экономисты, которые сформировали поле, не разделяли такого раскаяния.
Читать дальше