Математика. Утрата определенности.

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

[117]

Аналогичное мнение, хотя и несколько по иному поводу, выразил Пуанкаре: не существует решенных проблем, существуют только проблемы более или менее решенные.

Математики поклонялись золотому тельцу — строгому, одинаково приемлемому для всех доказательству, истинному во всех возможных мирах, искренне веря, что это и есть бог. Теперь наступило прозрение: математики поняли, что их бог — ложный. Но истинный бог так и не открылся, и теперь им не оставалось ничего другого, как гадать, существует ли он вообще. «Пророк Моисей», который мог бы пролить на них свет истины, так и не появился. Математикам оставалось лишь терзаться не находящими ответа вопросами.

У некоторых вполне разумных критиков оснований математики сильное раздражение вызывали нюансы, по поводу которых спорили те, кто занимался основаниями. Если математика в конечном счете основана на интуиции, спрашивал один из таких критиков Имре Лакатош (или Лакатос; 1922-1974), то почему мы должны идти все дальше и дальше?

Почему бы нам не остановиться раньше и не заявить, что «окончательным критерием допустимости того или иного метода должен служить вопрос, является ли он интуитивно убедительным»… Почему честно не признать потенциальную возможность ошибки в математическом доказательстве и не попытаться защитить достоинство знания, возможно в чем-то и ошибочного, от циничного скептицизма, вместо того чтобы обманывать себя тем, будто мы всегда можем искусно заштопать последнюю прореху на ткани нашей «первичной» интуиции?

(Ср. также [52]*.)

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

Артур Стэнли Эддингтон заметил однажды: «Доказательство — это идол, во имя которого математики терзают себя». Почему же математики идут на такие муки ради строгого доказательства? Уместно спросить: чем, собственно, занимаются математики, ставящие превыше всего железную логику, если они не знают, непротиворечива ли их наука, и, в частности, не могут прийти к единому мне-иию относительно того, что такое правильное доказательство? Не следует ли им стать полностью безразличными к строгости, поднять руки вверх и заявить, что математика как свод твердо установленных истин не более чем иллюзия? Не должны ли они оставить дедуктивное доказательство и прибегать лишь к убедительным, интуитивно здравым аргументам? Ведь используют же интуитивные соображения физические науки, которые даже там, где они применяют математику, не придают особого значения пристрастию математиков к строгости. Но отказ от строгости вряд ли показан математике. Всякий, кто знает, какой вклад внесла математика в сокровищницу человеческого мышления, не станет жертвовать понятием доказательства.