Магия чисел. Математическая мысль от Пифагора до наших дней - [13]
Вторая деталь, которую следует постоянно учитывать, касается процесса, посредством которого математические выводы появляются на базе постулатов. Он и именуется дедукцией. Постулаты принимаются на веру без дальнейших доказательств. Любое утверждение, подразумеваемое постулатами, считается справедливым просто по определению. В задачи математики входит поиск утверждений, вытекающих из постулатов.
Здесь вполне уместно отметить, что пользоваться можно только системой умозаключений, согласованной между математиками. Эта система именуется формальной логикой. Со времени своего появления в Древней Греции и до настоящего времени она получила широкое распространение, классическая же логика Аристотеля является лишь разделом формальной или математической логики, традиционно используемой. Подобно постулатам, на которые она опирается, логика стала предметом всеобщего соглашения между математиками. Она не была навязана им судьбой или непреложной необходимостью. Данный вопрос также нуждается в дополнительном освещении, но не в данный момент.
Мы не затрагиваем вопрос, по какой причине математики отдают предпочтение той или иной системе постулатов в различных случаях, что легко себе представить, или почему они используют один метод рассуждений вместо другого. Так уж исторически сложилось, что геометры из глубочайшей древности перешли к определенным продуктивным методам размышлений, подсказанным им их практическим опытом. Прежде чем они осознали, что делают, они уже размышляли дедуктивно. Их умозаключения всегда оказывались последовательными.
Исходя из этого отдельные философы-математики вывели наивеличайшее и нисколько не логичное утверждение: логика есть необходимость, неминуемая судьба, навязанная человеческому разуму из ниоткуда. Логика не была изобретением человека, а только лишенным временной привязки даром человечеству от бессмертных богов. В той или иной форме эта вера просуществовала ни много ни мало более двух тысяч лет. Сомнения в ее полезности появились только совсем недавно.
Дальнейшие взаимозачеты могут слишком усилить претензии одной школы философии по указанным базовым вопросам за счет ее конкурентов. Действительно ли Фалес (или любой другой человек) изобрел дедуктивный метод, или он просто наткнулся на него? Такой же вопрос мы поднимали в отношении чисел: кто-то изобрел числа или их просто нашли? Нет необходимости повторять дедуктивные рассуждения, которые уже прозвучали о числах. Каждый вправе выбрать ответ, который ему по нраву. Великие умы не приходили к согласию. Что касается нас, нам хватит и того, чтобы продолжить узнавать, как возникло это непримиримое разногласие во мнениях.
Что станет с египетскими и вавилонскими изысканиями в области чисел и всего остального в рамках суженной математической концепции, описанной выше? Поскольку ни те ни другие никогда ничего не доказывали (насколько это известно на настоящий момент), их вклад не имел ничего общего с математикой. Никого не заставляют принять столь сбивающий с толку и столь оскорбительный вывод, да мало кто и примет его. В обыкновенных исторических записках, возможно, нет ни необходимости, ни смысла проводить четкую границу между тем, что следует именовать математикой, и тем, что не заслуживает носить этот громкий титул. Настоятельное требование доказательств как критерий – это современный подход. Если пользоваться только им, то придется отвергнуть слишком многое из того, что наши предки именовали математикой, и сильно посягнуть на наши собственные достижения.
Компромиссом было бы признать все, что большинством компетентных математиков конкретной эпохи было принято как доказанное, не важно, выдержало ли это критику позднейших поколений математиков или было признано ошибочным или неполным. Но тогда потребовался бы тест на признание, что есть по сути доказательство. Те, кто пытался подтвердить свои выводы, могут считаться математиками, а остальные – эмпирики.
Разграничение достаточно известно редакторам математической периодики, которым положено решать, является ли представленная им на публикацию работа математической или какой-либо еще. Воспользуемся примером из арифметики. Прилежный расчетчик осознает после сорока лет нещадных трудов, что 8 и 9 – единственные числа меньше миллиарда миллиардов, отличные друг от друга только на 1, для которых характерно следующее: оба числа являются точными степенями, основания и показатели которых также отличаются на единицу (8 = 2>3, 9 = 3>2). Истрепав несколько калькуляторов и немного собственной нервной системы, потенциальный математик считает дело законченным и принимает решение обнародовать свое исследование. Итак, он пишет редактору любимого математического журнала о своей гипотезе: «Единственными точными степенями, отличными на 1, являются 8 и 9». – «Возможно, вы правы, – отвечает редактор, – но как вы это докажете? С надеждой на известие от вас в ближайшем будущем возвращаю вам вашу рукопись». С тех пор все ждет ответа.
Глава 6
Мудрость как профессия
На примере жизни Фалеса хорошо видны признаки нового праздного класса и зарождение новейшего культа профессионально мудрого человека. Как-то слабо верится, что, если бы философы и математики Древней Греции не были освобождены от физического труда, они способны были бы внести серьезный вклад как в философию, так и в математику.
Книга познакомит вас с повседневными приложениями теории вероятностей и математической статистики, мягко вводя в мир нешкольной математики. Лейтмотивом изложения станут широко известные «законы Мёрфи», или «законы подлости», — несерьезные досадные закономерности, наблюдаемые каждый день, но имеющие, однако, объективное математическое обоснование. Кроме разнообразных примеров из области теории вероятностей, в книге немало говорится и о смежных разделах: теории мер, марковских цепях, стохастических процессах, теории очередей, динамическом хаосе и т. п. Эта книга подойдет и школьнику, которому не терпится попасть в университет, и студенту, недоумевающему: «Куда я попал?», — и преподавателю, которому нужны оригинальные живые примеры, а также просто любопытному читателю, желающему развить навыки математического мышления, чтобы научиться отсеивать информационный шум и мусор в потоке новостей.
Монография по теории расчета нефтяных аппаратов (оболочек корпусов). Рассмотрены трехмерная и осесимметричная задачи теории упругости, реализация расчета методом конечных элементов. Написана для обмена опытом между специалистами. Предназначается для специалистов по разработке конструкций нефтяного статического оборудования (емкостей, колонн и др.) проектных институтов, научно-исследовательских институтов, заводов нефтяного машиностроения, инжиниринговых компаний, профессорско-преподавательского состава технических университетов.
Курт Гёдель изменил понимание математики. Две теоремы о неполноте, сформулированные им в 1931 году, с помощью формальной логики выявили хрупкость фундамента великого здания математики, которое усердно строили со времен Евклида. Научное сообщество было вынуждено признать, что справедливость той или иной гипотезы может лежать за гранью любой рациональной попытки доказать ее, и интуицию нельзя исключить из царства математики. Гёдель, получивший образование в благополучной Вене межвоенного периода, быстро заинтересовался эпистемологией и теорией доказательств.
Генри Э. Дьюдени по праву считается классиком занимательной математики. Многие его задачи, породив обширную литературу и вызвав многочисленные подражания, вошли в ее золотой фонд.В предлагаемой книге собрано 520 задач и головоломок Дьюдени по арифметике, алгебре, геометрии, разрезанию и составлению фигур. Читателя ждет встреча с постоянно действующими героями Дьюдени — семейством Крэкхэмов, профессором Рэкбрейном и др.Книга доставит удовольствие всем любителям занимательной математики.
В пособии конспективно изложен школьный курс геометрии. Приведены комплекты экзаменационных билетов, задачи и их решения, распределённые по различным уровням сложности.Материалы пособия соответствуют учебной программе школьного курса геометрии.Для учителей и учащихся 9-х классов.
В тексте используется дореволюционная орфография. Если у вас не отображаются символы «ять» и другие, установите шрифт Palatino Linotype, или какой‐нибудь свободный шрифт с их поддержкойВикитекаВсякому, кто любитъ свой предметъ, бываетъ интересно знать, какъ онъ начался, какимъ путемъ онъ развивался, и какъ онъ вылился въ свою послѣднюю форму. Въ этой книжкѣ изложена исторія ариѳметики, и очерки ея назначены для тѣхъ, кто чувствуетъ расположеніе къ математикѣ. Юнымъ математикамъ я прежде всего назначаю свой трудъ.