доказательство вдыхает в математику жизнь
Более полная цитата такая:
Именно доказательство вдыхает в математику жизнь и гарантирует бессмертие математическим идеям.
Что верно, то верно. Пифагор знал, что его теорему никто никогда не опровергнет. Это его вечный результат. И вечен он именно из-за доказательства.
Основания математики меня всегда интересовали. Понятие доказательства -- одно из оснований. Стивен Кранц решил рассмотреть его в деталях от греков до компьютера. Книга получилась так себе: для любителей исторических и околоматематических анекдотов. Связного рассказа о доказательстве как таковом в ней нет. Автор время от времени вспоминает заглавие и рассказывает что-нибудь по теме. Потом его снова несёт в историю.
Леонард Эйлер (1707–1783) — один из величайших в мире математиков. А также один из самых плодотворных. Собрание его сочинений занимает более 70 томов, их изучают до сих пор. Эйлер работал во всех областях математики, а также механики, физики и других естественных наук. Математикой он занимался почти без усилий, иногда между другими делами, качая на коленке внука. К концу жизни он отчасти потерял зрение, но заявил, что это позволяет ему концентрироваться эффективнее; и действительно, его научная производительность даже возросла.
Люблю Эйлера -- он открыл самую красивую формулу всех времён и народов. Но так ли уж это важно в книге о доказательстве? И такого рода сведений в книге тонны.
Лично мне понравилось описание суеты вокруг дивана гипотезы Римана. Наверняка потому, что это один из редких случаев, когда я знаю, о чём речь, и понимаю важность вопроса.
Может, я просто не есть целевая аудитория для книги Стивена Кранца? Тогда на кого она рассчитана?
Больша́я, если не бо́льшая часть содержит описания историй исследования весьма конкретных трудных проблем. Из описания можно понять, решили ко времени написания книги эту задачу или нет. Однако нельзя понять, в чём, собственно, задача состоит и что её доказательство (или отсутствие такового) добавило или убавило в нашем понимании само́й идеи доказательства. Если вы лично принимали участие в том исследовании, тогда считайте, что лично вам повезло. Вы знаете, о чём речь. Если же не принимали, что ж, не обессудьте. Читайте текст как баран граффити на воротах своего хлева.
В других же местах автор подробно объясняет совершенно элементарные вещи типа силлогизмов Аристотеля. Или вот: Напомним, что простыми называют положительные целые числа, которые делятся только на себя и единицу. Ещё о чём нам надо напомнить? Может, кто-то из читателей обсуждения гипотезы Римана не знает о таблице умножения?
И зачем, например, обсуждается P/NP сложность? Какое отношение это имеет к остальному?
Решительно не понимаю, для кого написана книга.
Философская сторона разных концепций математического (и не только) доказательства затронута весьма поверхностно, а на мой взгляд, это и есть самое интересное в заявленной теме. Вся философия уложится в три фразы:
- Мы открываем математический результат, существующий вне нас. (Платон)
- Мы конструируем математический результат сами. (Кант)
- Наше дело дать доказательство, а результат оценивает математическое сообщество.
Есть такая старая шутка: математика дешево содержать, поскольку все, что ему нужно, — бумага, карандаш и мусорная корзина. Философ же обходится еще дешевле — ему даже мусорная корзина не нужна.
О философии в смысле её стоимости как-то никогда не задумывался, но это чистая правда :)
Перевод не понравился категорически. Переводчик не обладает ни математической, ни общей эрудицией, да к тому же ещё и плохо владеет русским или английским (или обоими).
в субъекте математики правил немного ... субъект изучения превратился бы в хаотический водоворот
Ясно, что по-английски везде был 'subject'. Но по-русски должен быть "предмет".
Университет Джона Хопкинса: всякий раз как вижу -- ненавижу. Неужели кто-то ещё не выучил, что Хопкинса папа с мамой назвали не Джоном, а Джонсом?
С точки зрения американской математики, следующим большим событием было появление Дж. Биркгоффа (1884–1944). Получив образование в Гарварде, он остался там и начал преподавательскую деятельность. Он был первым коренным американцем, кто доказал теорему, заслужившую внимание и уважение со стороны европейских патриархов.Интересно, какого индейского племени был Биркгофф?
в Китае во время династии Сонг в 960–1127 гг.Можно было хотя бы в Википедии выяснить, как эта династия транскрибируется по-русски.
некоторые сложные оценки не позволили ему дойти до конца
В оригинале было слово 'evaluation', слово "оценки" тут явно не на месте.
Ну и т.д. и т.п. можно продолжать до бесконечности.
Не могу сказать, что книга совсем уж не понравилась. В конце концов околоматематические анекдоты люблю. Вот, например, отличная история:
В память о Ферма установлена большая статуя у здания городского совета в Тулузе. Ферма сидит, одетый в форменную судейскую мантию. На камне вырезана надпись (по-французски): «Ферма, отец дифференциального исчисления». На коленях у Ферма сидит обнаженная муза, она скромно выказывает восхищение ментальной мощью Ферма.
Милый памятник :))) Насколько по-новому теперь я вижу этого великого математика :)))
Но всё это не перевешивает недостатков. Стивен Кранц не слишком хорошо рассказал о доказательстве. Это остаётся фактом.
Нельзя не отметить отдельно создателя электронного варианта книги. Впервые вижу книгу в формате fb2, в которой нормально читаются все формулы. Автору оцифровки мой респект и огромное спасибо! Почему-то автор электронной вёрстки не оставил своего имени ни в заголовке файла, ни в выходных данных. Вот уж зря. Его имя я бы с удовольствием здесь упомянул.
10 понравилось
