Магия чисел. Математическая мысль от Пифагора до наших дней - стр. 22

Связь дедуктивного метода со всей математикой и наукой столь важна своими последствиями, что следует немного остановиться на этом методе, прежде чем перейти к личности самого Фалеса. Самая суть вопроса состоит в том, что без дедуктивных умозаключений математики в том виде, в котором она понимается профессиональными математиками, просто не существует. Данное категоричное заявление обычно приводит в ярость тех романтиков, кто находит упоение в выискивании поразительных образчиков математического гения во всем, от учетных записей мумифицированного египетского управляющего до зигзагообразных молний на горшках индейцев племени зуни. Никто не станет отрицать, что подобные вещи могли предшествовать появлению арифметики и геометрии или что они могли бы натолкнуть людей, способных мыслить размеренно, позитивно и абстрактно, на проявление математических начал. Но путать их с математиками – все равно что смешать все мышление с розовым туманом, где мифология дикарей не может быть отличима от всемирного тяготения Ньютона и пространства-времени Эйнштейна. Нежелание провести границы между тем, что математики называют математикой и полуэмпиризмом, что предшествует этой математике, но иногда по ошибке принимается за математику, вводит в заблуждение многочисленных философов от античных греков до Канта в XVIII веке. К этому еще вернемся в соответствующем разделе.

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