Помимо нечеловеческого характера, формалистский подход в основе этой книги проблематичен с логической точки зрения. Курт Гёдель (1906–1978) доказал своей знаменитой теоремой о неполноте, что такие формальные системы, как в «Основаниях математики», всегда содержат «нерешаемые», то есть недоказуемые утверждения, следовательно, их отрицание также недоказуемо.
На первом курсе Высшей нормальной школы моим любимым предметом был курс Ксавье Вьенно, который учил нас «вычислять» с помощью интуитивных объектов (похожих на фигурки лего или тетриса), благодаря которым можно было «зрительно убедиться» в некоторых результатах Рамануджана. Это примечательное преподавание во многом вдохновило меня и позволило понять, как столь эзотерические формулы, как у Рамануджана, могут кодировать невербальные озарения, одновременно простые и неуловимые. Хорошей иллюстрацией служит доклад Вьенно в Ченнаи (бывшем Мадрасе) в 2017 году Proofs Without Words: the Example of Ramanujan Continued Fractions. Заметки (http://www.xavierviennot.org/coursIMSc2017/lectures_files/RamanujanInst_2017.pdf) и видеозапись (https://www.youtube.com/watch?v=jQchTFnKBQs) доступны онлайн.
Другие произведения, процитированные в этой главе:
Alfred North Whitehead, Bertrand Russel, Principia Mathematica, vol. 1, Cambridge, Cambridge University Press, 1910.
Misha Gromov, "Math Currents in the Brain" // R. Kossak, P. Ording (dir.), Simplicity: Ideals of Practice in Mathematics and the Arts, Cham, Springer, 2017.
G. H. Hardy, A Mathematician's Apology, Cambridge, Cambridge University Press, 1992 [1940].
Благодарности
Прежде всего хочу поблагодарить Элен Франсуа, мою первую читательницу, за великодушие, смелость и проницательный ум. Эта книга многим ей обязана.
Фарук Бусеккин, Мишель Бруэ, Николя Коэн, Элен Девинк, Марион Гуже, Базиль Панюржиа и Жером Субиран сопровождали меня и помогали мне советами на протяжении всей работы над книгой. Им я тоже безмерно благодарен.
Благодарю моего издателя Мирей Паолини за невероятную ясность ума, доверие и решимость, а также всю команду издательства Seuiclass="underline" Адриена Боска, Юга Жаллона и Северин Никель – за энтузиазм; Эмманюэль Биго, Мюриэль Брами, Бенедикта Жербера, Жозефин Гросс и Виржини Перролла – за участие. Спасибо Элеоноре Ламолья за внимание к иллюстрациям.
Спасибо Ардавану Беги, Фабрису Бертрану, Симону Буассино, Эмманюэлю Брёйяру, Оливии Кастер, Лукасу Дернову, Максиму Дернову, Николя Франсуа, Артему Кожевникову, Венсану Леви, Франсуа Лёзеру, Рафаэлю Рукье, Венсану Шехтеру, Клаудии Сеник, Маргерит Субиран, Саре Стерн, Солал Стерн, Максиму Вернеру, Агате Вернен, чьи читательские отзывы сделали эту книгу намного лучше.
За помощь в документации спасибо Софи Куцоянис и издательству Gallimard (цитаты Гротендика), Стиву Кранцу и Майку Боссли.
Спасибо команде Tinyclues за доверие и участие.
Спасибо всем, кто научил меня думать.
Рекомендуем книги по теме
Это база: Зачем нужна математика в повседневной жизни
Иэн Стюарт
Сергей Попов
Математика с дурацкими рисунками: Идеи, которые формируют нашу реальность
Бен Орлин
Формулы на все случаи жизни. Как математика помогает выходить из сложных ситуаций
Крис Уоринг