О науке

В начале нашего века острая полемика разгорелась вокруг весьма общей и принципиальной проблемы: откуда математика черпает свое основное содержание? Целый ряд ученых, отвергая роль интуиции и наглядных представлений, категорически утверждали, что математическое знание выводится чисто логическим путем. В конце XIX — начале XX веков складывается учение логицизма, сводившее всю математику к логике. В этот же период бурно развивается и математическая логика. Итальянский математик Пеано в пяти томах своего «Математического формуляра» дает комментированное изложение математики на языке логических действий с помощью разработанных им специальных обозначений для понятий логики, используемых в математических рассуждениях. В этом же направлении работают немецкие ученые Фреге и Дедекинд, а также англичане Рассел и Уайтхед. С развитием математической логики противники интуиции получили в свои руки (в дополнение к имеющимся доказательствам недостоверности ссылок на наглядность) мощное оружие, которое, как им казалось, дает возможность полностью и без всяких надежд на реабилитацию изгнать из математического познания столь опорочившее себя понятие — интуицию.

В 1901 году Рассел пишет статью «Новейшие работы о началах математики», где излагает развернутую программу логицизма. Затем выходят в свет знаменитые расселовские «Принципы математики» (Кембридж, 1903). Вскоре французский ученый Кутюра публикует несколько статей, в которых дает всестороннюю и детально разработанную оценку результатов Рассела и Пеано и яростно обрушивается на учение о математической интуиции.

Логицисты решили полностью изгнать из математики интуицию во всех ее видах. С их точки зрения многолетний заочный спор между Лейбницем и Кантом, то есть спор между логикой и интуицией в математике, благодаря трудам Пеано и Рассела раз и навсегда решен в пользу логики. В этом отношении примечательны взгляды Рассела, который считал, что интуитивные способности «лучше развиты в детях, чем у взрослых, у собак их, вероятно, больше, чем когда-либо было у людей. Но кто в этих фактах увидел бы рекомендацию для интуиции, должен был бы сделать из них вывод и снова бегать дикарем в лесах, ярко размалеваться и питаться акридами и диким медом».

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

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