Читать «Физическая экономика» онлайн - страница 29

Для наших теперешних целей будет удовлетворительным следующее определение этого «принципа типов».

После того, как мы показали, что все и каждая из возможных теорем в некоторой логически последовательной формальной системе заключены неявно в единый «наследственный принцип», можно заменить перечень таких теорем простой формулировкой этого «наследственного принципа». Чтобы построить это утверждение (формулировку наследственного принципа) мы должны представить множество взаимозависимых аксиом в качестве принципа образования в упорядоченной тем или иным образом последовательности всех без исключения теорем, возможность существования которых в этой последовательности вполне подразумеваема.

Это ведет нас к важному, фундаментальному открытию, впервые детально разработанному Георгом Кантором. Это открытие нашло отзвук в работе математика XX века Курта Гёделя. Гёдель, воссоздавая основную особенность канторова доказательства, показал несостоятельность наиболее фундаментальных математических аксиом не только Бертрана Рассела, но и отца-основателя современного экономического системного анализа Джона фон Неймана. Не будем здесь рассматривать связанные с именем Кантора разработки несчетных последовательностей и мощности множеств. Подходы, соответствующие нашему обсуждению Смита, Маркса и фон Неймана, резюмируются следующими положениями.

В диалоге «Парменид» Платон раскрыл свой знаменитый онтологический парадокс: та объединяющая концепция изменения, которая как генерирующий принцип включает в себя и тем самым ограничивает все элементы коллекции, сама не может быть элементом этой коллекции. По-новому это высветил Кантор при помощи демонстрации, которую он определил явно с точки зрения платоновской работы и революционно развил относительно как формальных, так и онтологических особенностей всякого возможного математического мышления. Таким образом, если мы устанавливаем «наследственный принцип» любой формальной системы, например общепринятой в настоящее время математики, преподаваемой в университетах, в своей правильной форме как генерирующий принцип, то эта формулировка окажется вне формальной системы элементов, которую (имплицитно) определяет генерирующий принцип. Этот факт находится за пределами понимания сегодняшним математическим мышлением, но этот принцип, тем не менее, понятен и доступен для познания.

Это положение иллюстрирует история самой математики. Тот вид математики, который может быть выведен из множества аксиом и постулатов, представленных евклидовой геометрией, производит форму математики, именуемой «алгеброй» или «алгебраической системой». Это тот вид математики, который мы связываем с Рене Декартом или Исааком Ньютоном. В период с 1440 по 1697 гг. была создана более высокая форма неалгебраической математики, которую представили в более поздние времена, главным образом, Готфрид Лейбниц и Иоганн Бернулли. Более высокая форма неалгебраической математики стала известна как область трансцендентных функций. Евклидовы аксиомы о точке и прямой были отброшены и заменены аксиомой изопериметрического или кругового действия, также известного как «универсальное наименьшее действие». Установление превосходства неалгебраической математики по отношению к алгебраическим формам было продемонстрировано в 1670-е гг. удивительно точным измерением скорости света Оле Рёмером и успешным применением этих измерений к принципам рефракции Христианом Гюйгенсом, Лейбницем и Иоганном Бернулли.