19 июля 2019, пятница, 10:55
VK.comFacebookTwitterTelegramInstagramYouTubeЯндекс.Дзен

НОВОСТИ

СТАТЬИ

PRO SCIENCE

МЕДЛЕННОЕ ЧТЕНИЕ

ЛЕКЦИИ

АВТОРЫ

16 октября 2008, 11:48

Юрий Манин: «Не мы выбираем математику своей профессией, а она нас выбирает»

Мы публикуем интервью с выдающимся российским математиком Юрием Ивановичем Маниным, опубликованное в газете «Троицкий вариат» (№13, 30 сентября 2008 г.). Вопросы задавал Михаил Гельфанд.

– Изменился ли стиль занятий математикой за последние пятьдесят лет?

– Индивидуальный или социальный?

– Оба.

– Мне кажется, что люди, которые сейчас занимаются математикой, делают это так же, как и двести лет назад. Отчасти потому, что не мы выбираем математику своей профессией, а она нас выбирает. И она выбирает определенный тип людей, которых в каждом поколении по всему свету несколько тысяч, не более того. И они все несут на себе печать людей, которых выбрала математика.

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

– А между Ньютоном с Лагранжем и второй половиной ХХ века ничего существенно не менялось?

– Нет. Происходила консолидация этой социальной системы, академии плюс университеты плюс журналы. Они постепенно развивались и пришли к тому виду, который мы знаем сейчас. Я возьму первый том журнала Крелля («Журнал чистой и прикладной математики»), вышедший в 1826 году, – ну ничем он не отличается от современного. Там напечатана статья Абеля о неразрешимости в радикалах общего уравнения степени выше трех. Чудная статья! Как член редакции Крелля я бы и сегодня ее принял с удовольствием.

За последние десятилетия изменился интерфейс между профессиональными математиками и социумом. В интерфейс включились компьютерщики и все вокруг них, включая разнообразный пиар, который нужен для новых методов финансирования, связанных с заявками, грантами и тому подобное. В математике это странно выглядит – сначала нужно написать, чтó ты сделаешь великое, а потом отчитаться.

– Один из учеников Канторовича рассказывал, что тот в полугодовых отчетах писал с каменным лицом: «Теорема доказана на 50%».

– В Москве, в Математическом институте, была четкая система: в план я писал теоремы, которые были доказаны в прошлом году. И весь год можно было работать дальше. Но это все мелочи. Пока, как я говорил, математика нас выбирает, и пока есть такие люди, как Перельман и Гротендик, мы будем помнить наш идеал.

– Да, гранты в математике – вещь своеобразная. Но, с другой стороны, если не гранты, то какой мог бы быть механизм?

– А что надо? Зарплата для человека и бюджет для института. Я, к счастью для меня, не только в Москве, но и пятнадцать лет в Бонне проработал на зарплате и бюджете и не вижу в этом ничего плохого. Другое дело, что те органы, которые выплачивают эти зарплаты и бюджеты, почему-то решают, что надо переходить на рыночную систему. Но рынок плох для трех вещей: медицины, образования и культуры. Математика есть часть культуры в широком смысле слова, а не промышленности или чего-то в этом роде.

– А нерыночные методы не приводят к стагнации, когда нет никакого развития?

– Но до сих пор же не было никакой стагнации.

– Для математики то, о чем Вы говорите, возможно, потому что математика – дешевая наука.

– Именно. Я всегда говорю: «Зачем нам лезть на рынок? Мы (а) ничего не стоим и (б) не загрязняем окружающую среду». Дайте нам зарплату и оставьте нас в покое. Я совершенно не хочу обобщать, я говорю только о математике.

***

– Вы упомянули про компьютеры. Что изменилось в математике с появлением компьютера?

– В чистой математике что изменилось? Появилась уникальная возможность делать физические эксперименты в ментальной реальности. Можно пробовать невероятные вещи. Точнее, невероятные нельзя, а то, что можно, Эйлер умел делать и без компьютера. Гаусс тоже умел. Но теперь то, что умели Эйлер и Гаусс, может делать любой математик, сидя за своим письменным столом. И если у него не хватает воображения, чтобы различить какие-то контуры в этой платоновской реальности, он может поэкспериментировать. Ему пришла в голову хорошая мысль, что что-то равно чему-то, – он сядет и посчитает одно значение, другое, третье, миллионное. Более того, появились люди с математическим, но компьютерно-ориентированным умом. Точнее сказать, это люди, которые были и раньше, но без компьютера им чего-то не хватало. Опять, к ним относился Эйлер, в той мере, в какой он был только математиком – он был гораздо больше, чем только математиком, – но Эйлер как математик сейчас бы работал с компьютерами со страстью. Еще Рамануджан, человек, который даже и математики толком не знал. Или вот, например, ой коллега по институту Дон Загир (Don Zagier). У него совершенно математический ум, который идеально приспособлен для работы с компьютером, ему компьютер помогает исследовать вот эту платоновскую реальность, чрезвычайно эффективно при этом.

Я человек совершенно не такой, но я понимаю, что это, и был бы рад иметь сотрудника, который мне быв этом помогал. Вот это то, что компьютеры сделали для чистой математики.

***

– А отношения математики и теоретической физики, как они устроены?

– На протяжении моей жизни они изменились.

Очень условно говоря, во времена Ньютона, Эйлера, Лагранжа, Гаусса взаимодействие было настолько тесное, что одни и те же люди занимались математикой и физикой. Они могли себя считать больше математиками или больше физиками, но это были одни и те же люди. Это продолжалось где-то до конца XIX века. ХХ век начал обнаруживать существенную разницу. Поразительный пример – это история общей теории относительности. Эйнштейн не просто не знал математики, он не знал даже, что уже существует именно та математика, которая была нужна ему, когда в 1907 году он начал понимать физику общей теории относительности на своем гениально интуитивном языке. После нескольких лет, посвященных квантам, он вернулся к гравитации и в 1912 году написал своему другу, математику Марселю Гроссману: «Ты должен помочь мне, а не то я с ума сойду!». Их первая статья называлась так: «Набросок общей теории относительности и теории гравитации. I. Физическая часть Альберта Эйнштейна. II. Математическая часть Марселя Гроссмана».

Эта попытка была все еще полуудача: найден правильный язык, но не правильные уравнения. К 1915 году уравнения были найдены, затем Гильберт выводит их из своего принципа действия – важность этой задачи, кажется, тоже ускользала от Эйнштейна… Увлекательная игра и сотрудничество великих интеллектов, вовлекшая историков в дурные споры о приоритете: сами главные герои были благородны и щедры на признание заслуг друг друга.

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

А математики – были стандартные аналитики, геометры… Что было существенно в начале века – логики стали жать, это то, что потом превратилось в computer science. Теория множеств и парадоксы бесконечности. Парадокс конечного языка, из которого мы должны получать сведения о бесконечных сущностях, – возможно ли это? Непротиворечивость, полнота… Крупнейшие вещи были сделаны.

И появляется человек, Алан Тьюринг, который говорит: «Модель математического текста есть машина, а не текст». Машина! – гениально. Через десять лет – уже фон-неймановские машины и принцип отделения программ, software, от железа, hardware. Еще 20 лет – и все готово.

За это время кроме отдельных умов – фон Нейман несомненно был и физиком, и математиком, другого человека такого масштаба в ХХ веке я не знаю – в первой трети века математика и физика развивались параллельно и через некоторое время перестали обращать друг на друга внимание. В 40-х годах Фейнман написал свой замечательный континуальный интеграл как новое средство квантования, проработав его потрясающе математически, – вообразите себе что-то вроде Эйфелевой башни, которая висит в воздухе, без фундамента с точки зрения математики. Вот она вся есть, она вся работает, а стоит она неизвестно на чем. Это продолжается и по сей день. И когда в 50-е годы появились связности в расслоении, и оказалось, что интеграл действия, из которого выводится уравнение для ядерных сил, грубо говоря, является давно известным из дифференциальной геометрии уравнением Янга-Миллса, тут математики начали коситься на физиков, а физики начали коситься на математиков. И оказалось парадоксальным и чрезвычайно для меня приятным образом, что мы стали учиться у физиков в большей степени, чем они у нас. Оказалось, что они с помощью квантовой теории поля и аппарата интеграла Фейнмана наработали мыслительные орудия, которые стали им позволять открывать один математический факт за другим. Не доказательства, а открытия.

А дальше математики сидят, чешут голову и какие-то из этих открытий формулируют в виде теорем и пытаются их доказать нашими честными средствами. Это показывает, что то, что делают физики, действительно математически осмысленно – и физики говорят: «Мы всегда это знали, но, конечно, спасибо за внимание». Но вообще в результате мы научились у физиков, что надо спрашивать и какие предполагаются ответы – как правило, они оказываются правильными.

Потом появляется Виттен, уникальное существо, человек-машина для производства великолепной математики из этой самой башни Эйфеля, висящей в воздухе. Я смотрел в Википедии: он кончал что-то неправдоподобное, то ли факультет журналистики, то ли юриспруденции, то ли еще что-то такое, потом занимался какой-то чепухой, а потом вдруг стал гениальным физиком. Причем таким физиком, что физики, связанные с экспериментом, жутко на него фырчат, косятся и прочее: не предсказал никакого спектра масс; все его предсказания относятся к моменту Большого взрыва, когда неизвестно, что было, и ничего измерить нельзя; все его универсальные законы работают в одиннадцатимерном пространстве; невероятное количество неизвестных параметров; и вообще – это не физика. Я в каком-то смысле даже и согласен. Это хозяин такого потрясающего ментального орудия, которое производит математику невероятной силы и мощи, но исходя из физической интуиции. Причем исходным материалом этой интуиции является не физический мир, а орудие, созданное Фейнманом, и разные его варианты и вариации – орудие вполне математическое, но не имеющее абсолютно никакого математического обоснования.

Такой потрясающий эвристический принцип, но не мелочишка какая-то, а, я же говорю, огромное строение, только без фундамента.

– А к этому уже все привыкли, что нет фундамента, и так и живут, или пытаются его построить?

– Все попытки, которые были, – они все не удавались. У математиков есть одно-два приближения к тому, что следовало бы называть фейнмановским интегралом, скажем, придуманное еще в 20-е годы винеровское интегрирование. Оно применялось к броуновскому движению, там есть строгая математическая теория. Есть еще вариантики, но это намного слабее, чем нужно, чтобы работал настоящий интеграл Фейнмана. Ну, маленькая математическая теория – по силе, по мощи это несравнимо с той машиной, которая сейчас производит настоящую великую математику. Я не знаю, что будет с этой машиной, когда перестанет работать Виттен, но я очень надеюсь, что раньше это проникнет в математическую среду. Появилась небольшая индустрия – доказывать теоремы, которые угадал Виттен, причем это очень знаменитые работы. Я, конечно, не сомневаюсь, что когда-нибудь мы сделаем этот интеграл математически чисто в каком-то смысле этого слова. Но это уже вторичная работа.

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

– Похоже, на Бурбаков у математиков, пишущих на эти темы по-русски, есть разные точки зрения. Есть довольно жесткие критики и всех этих теоретико-множественных обоснований – причем как раз за отрыв от физики и тех замечательных возможностей, которые от физики происходят.

– Ничего тут такого особенного нет. То, что они ругают Бурбаки, означает, что они не знают, как сейчас такие вещи делаются. То, что делали Бурбаки, – это на самом деле уже пройденный исторический этап, точно так же, как сам Кантор. Но этап, сыгравший огромную роль, очень простую, – это было не обоснование математики, это была выработка единого языка математики, на котором могли разговаривать вероятностник, тополог, специалист по теории графов, логик. В одних и тех же элементарных словах, а потом уже они производили от них свои термины, которые лежат на втором, третьем, пятом этажах, но, собравшись вместе, они вполне могли договориться. «Язык – множество букв, плюс подмножество множества слов, плюс связки, плюс полный порядок – а, ну понятно, можно говорить дальше». Был такой общий язык, с точки зрения которого, например, теорема Гёделя о неполноте теряет всякую таинственность вообще. Она приобретает таинственность, когда ее начинаешь философски обрабатывать, а так – это просто теорема о том, что некая структура не имеет конечного числа образующих. Ах ты, Боже мой, да мы таких структур на фунт сушеных знаем, подумаешь, еще одна. Глубина появляется, когда мы приписываем этому определенную семантику, это уже философские обоснования математики. Поэтому Бурбаки делали совершенно не то, что думают эти ребята (я опускаю их влияние на систему математического образования Франции).

***

– Каков статус гипотезы в математике? Скажем, теорема Ферма – все последние годы уже никто не пытался найти контрпример: все понимали, что она правильная и надо пытаться ее доказать. И еще есть такие же знаменитые утверждения, в теории чисел их, наверное, много.

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

Это может формулироваться как отсутствие или присутствие чего-то. Икс-квадрат плюс игрек-квадрат равно зет-квадрат. Замечательно, можно формулой написать все целочисленные решения – в каком-то смысле это было известно уже Диофанту. Когда ты это сделал, возникает вопрос: хорошо, а если куб? Ищешь-ищешь – ничего нет. Хм, как странно. А четвертая если степень? Хм, опять ничего нет. А может, дальше вообще ничего нет? И ты открываешь разницу между степенью два и степенью три, четыре и так далее.

История теоремы Ферма – это вот такая история. Но когда так ставишь задачу, что что-то равно чему-то или что чего-то никогда не бывает, то никогда заранее не известно, хорошая это задача или плохая, – до тех пор, пока она не будет решена или почти решена.

У задач есть качество. В теории чисел очень много элементарно формулируемых задач, и мы знаем, что теорема Ферма была великолепной задачей. Но произошло это потому, что в ее истории, от постановки до решения, оказалось, что она завязана на множество вещей, априори между собой никак не связанных. И для ее решения понадобилось эти фундаментальные вещи развить. Она оказалась деталькой в огромном строении.

А возьмем другие задачи, скажем о совершенных числах или о простых близнецах. Бесконечно ли множество совершенных чисел, то есть таких, которые равны сумме своих делителей, или множество пар простых чисел, разность которых равна 2? До сих пор никто эти задачи ни в какую интересную теорию не включил, хотя по формулировке они ничем не хуже теоремы Ферма.

– А это свойство задачи или просто ими по каким-то социальным причинам не так активно занимались?

– Как платоник я знаю, что это свойство задачи, только это то свойство, которое в момент формулировки задачи ты никак не можешь узнать. Оно выясняется в процессе исторического развития.

Отчасти поэтому я не поклонник задач. Задача – это умение найти деталь, а от чего эта деталь, ты не знаешь. Я как платоник поклонник программ. Программа возникает тогда, когда крупный математический ум видит нечто целое или не целое, но куда более значительное, чем одна деталь. Но видит пока еще очень смутно.

– То есть вместо одной четкой детали вы видите смутное здание?

– Да. И вот вы начинаете отдувать туман, подыскивать подходящие телескопы, искать аналогии со зданиями, которые уже были открыты ранее, создавать язык для описания того, что вы смутно видите, и так далее. Вот это я, условно говоря, называю программой.Программой была канторовская теория бесконечности. Это редкий случай, она была одновременно программой и открытием, что есть шкала бесконечностей. А, скажем, континуум-гипотеза, есть ли что-то между счетным множеством и континуумом, – это вопрос, который оказался наименее важным из всего остального, но очень стимулирующим. Если бы Кантор только это спросил – плохо было бы. Значение этого открылось бы только в будущем. Но он сразу сделал гораздо больше, он сразу сделал всю программу.

Программа, которая уже в течение моей жизни была знаменита, – гипотеза Вейля, сколько решений есть у сравнения по модулю р. Он сразу увидел потрясающую аналогию: в том месте, в котором он это спросил, была дыра, а в другом месте уже была полная теория, теорема Лефшеца. На заполнение этой дыры положили половину жизни Гротендик и Пьер Делинь и несколько людей вокруг него. Они эту дыру заполнили, аналогия стала точной, и родилась современная алгебраическая геометрия.

В логике была программа Гильберта. Только он неправильно ее сформулировал, он хотел доказать, что все доказуемо, – он неточно увидел контуры здания, но программа развивалась: Гёдель, Тьюринг, фон Нейман, вычислительные машины и computer science – в значительной степени это все пошло от Гильберта.

Пример плохой задачи (а не программы) – проблема четырех красок. Ее доказали при помощи компьютера, поэтому до сих пор вокруг нее копья ломают, – важно не это, а то, что до сих пор никто не включил ее ни в какой контекст. Поэтому это просто средство для тренировки ума.

Так что вообще я задачи не люблю. Но вот когда задачи возникают уже в программе – вот тогда они могут быть хороши. Когда мы заранее знаем, к какому зданию нужна эта деталь. Гипотеза Римана, вне всякого сомнения, – задача, которая у Римана возникла в программе, хотя ее в течение полутора сотен лет узкие теоретико-числовики воспринимали как просто задачу. Я очень боюсь, что первое ее решение и будет решение тупыми аналитическими методами. Они получат все мыслимые премии, она будет разрекламирована во всех газетах мира, и это будет глупость, потому что она должна быть сделана только в большом контексте, мы его уже знаем, уже разные подходы к ней знаем. Тем не менее, вполне возможно, что впервые она сделана будет плохо, неинтересно.

– А есть примеры гипотез, к которым все привыкли и считали их очевидно правильными, а потом находился контрпример?

– Долго стоящих гипотез, в которые бы верили, а потом нашли опровержение, я, пожалуй, не знаю.

– Если бы вдруг кто-то нашел контрпример к теореме Ферма, а не доказательство – это было бы тяжелым потрясением? Или это просто означало бы, что задача плохая?

– Задача все равно была хорошая, потому что она стимулировала развитие контекста. Потом она там решается, в этом контексте. Отрицательно или положительно – это второй вопрос, это уже не так существенно. Существенно, что она помогает создать важный контекст. Если бы контрпример нашли до 60-х годов, ну, все бы почесали затылки. Если бы был обнаружен контрпример где-то в 70-м году, это было бы уже очень интересно, потому что к тому времени выяснилось бы, что теорему Ферма можно вывести, если предположить разные другие вещи, которые далеко не столь просты, имеют гораздо более всеобъемлющий характер, связаны с программой Ленглендса. Уже было известно, что если это верно, то верна теорема Ферма. Стало быть, если бы был найден контрпример к теореме Ферма, то оказалось бы, что и это неверно. А это означало бы нарушение гораздо более фундаментальной системы верований. Это вызвало бы огромный интерес и попытки понять, а что же неладно, что в этом доме надо перестроить, и так далее. Так что зависит от того, когда был бы найден контрпример.

– А были в истории такие сильные контрпримеры? Может быть, теорема Гёделя – ведь верили, что все можно доказывать?

– Гильберт верил, не знаю, сколько еще народу верило. Но это показало, как надо истинным образом видеть эту программу. В начале формулировки программы у людей бывают заблуждения относительно того, к чему она приведет, и контрпримеры показывают, что это заблуждения.

– А еще?

– Бывает недостаток воображения. В истории математики такое называют обычно не контрпримером, а парадоксом. Скажем, теорема Банаха-Тарского. У вас есть шар, и оказывается, что его можно разбить на восемь частей, повращать, поперекладывать, и окажется, что у вас получился шар вдвое большего радиуса. Этот пример очень многое прояснил. Скажем, для критиков теоретико-множественного подхода это означало, что если он приводит к таким утверждениям, то это не математика, а вздор собачий.

Для логиков это был пример парадоксального применения аксиомы выбора Цермело. А, кроме того, это очень красивая геометрия. Как-то меня попросили прочитать лекцию в музее, и я придумал, что надо представить себе не материальные куски, а облака. Надо представить себе, что шар состоит из неделимых точек. Вы имеете право называть куском любое множество этих точек, вы можете его вращать и двигать, но только как целое, обращаться с ним надо как с единым целым, так, чтобы попарные расстояния сохранялись. И вы разбиваете шар не на твердые куски, а на восемь туч. И они все взаимно-проницаемые, эти тучи, там нет ничего твердого, на самом деле. У этих туч нет ни объема, ни веса, потому что все состоит из таких вот точек. Почему тут нет очевидного противоречия – что, разве точек в шаре вдвое большего радиуса не больше, чем в исходном? Нет, их столько же, это легко доказать. Я это объяснял своему внуку – сколько точек в листе бумаги и сколько точек на стене комнаты: «Возьми лист бумаги, поставь перед собой и закрой стену. Лист стену закрывает. Теперь, если из каждой точки стены идет луч света и попадает в твой глаз, он проходит через лист бумаги. Каждой точке стены соответствует одна точка листа. Значит, их одинаковое количество». Значит и тут, если получится рассыпать шар на отдельные точки, их будет одинаковое количество – можно собрать шар и вдвое большего диаметра, и втрое, и вчетверо. Трудность не в этом. Трудность в том, что можно определить такие множества, которые не нужно дальше рассыпать, а достаточно вертеть и двигать. Это математическая хитрость, очень красивая, но, чтобы ее как следует объяснить, уже требуется больше времени. Это не контрпример, а парадокс.

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

***

– А что будет в ближайшие двадцать лет?

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

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

Вот это я называю основаниями математики. Их можно делать эксплицитными, при этом в нескольких вариантах, и представители разных вариантов могут начать спорить, но, поскольку это существует в мозгах работающего поколения математиков, там всегда есть нечто общее. Так вот, после Кантора и Бурбаков в мозгах, что бы там ни говорили, сидит теоретико-множественная математика. Когда я про что-то впервые начинаю говорить, я объясняю это в терминах бурбакистских структур: топологическое пространство, линейное пространство, поле вещественных чисел, алгебраическое расширение конечной степени, фундаментальная группа… Я иначе не могу. Если там что-то совсем новое, я говорю, что это множество с такой-то структурой; раньше была похожая, ее называли так-то; другую похожую называли так-то; а я накладываю немного другие аксиомы и буду называть так-то.

Начинаешь говорить – начинаешь с этого. То есть исходным образом было это канторовское дискретное множество, на котором потом намечалось что-то дополнительное по Бурбакам.

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

Кстати, это параллельно тому, как мы обращаемся с фейнмановскими интегралами. Когда берешь физическое определение фейнмановской формулы, то первые два, три, четыре шага все формулы не имеют смысла. Сначала фейнмановский интеграл, он никак не определен. Потом ряд теории возмущений, который не просто расходится, а у него еще каждый член бесконечен. Потом регуляризируется каждый член, и каждый член становится конечным, но ряд, как правило, все равно расходится. Потом вы интерпретируете ряд. И, наконец, пройдя через эту серию бесконечностей, вы получаете финитный ответ. И таким способом была получена серия замечательных математических теорем. Я наблюдаю в этом аналог перестройки математики в терминах теории категорий и гомотопической топологии.  

См. также:

Обсудите в соцсетях

Система Orphus

Главные новости

10:39 В Екатеринбурге внучка ветерана отсудила у него подаренную Путиным квартиру
10:28 В РПЦ раскритиковали идею электронных паспортов из-за угрозы частной жизни
10:23 В Москве 19 июня состоится первый российский концерт Эда Ширана
10:22 В Польше назвали неуместным присутствие Путина на годовщине начала Второй мировой
10:16 В Москве появится футуристический православный храм из стекла и стеклофибробетона
10:13 Путин приехал в Братск
10:10 Артефакты времён неолита и бронзового века найдены в венгерской пещере
10:07 Экс-главе Серпуховского района предъявлено обвинение в окончательной редакции
09:52 Порошенко не смог попасть в зал заседаний Европарламента
09:47 Произошедший 19 июня сбой на Большой кольцевой линии метро в Москве устранили
09:40 Германия согласилась с позицией США об опасности использования FaceApp
09:35 Прокуратура и СКР начали проверки инцидента с самолетом Nordwind в Шереметьево
09:30 В Екатеринбурге заложили асфальтом новую работу художника Покраса Лампаса
09:20 ЦБ отозвал лицензию у банка «Жилкредит»
09:18 Замглавы МИД РФ назвал срок ратификации Парижского соглашения по климату
09:04 Бузовой пришлось оправдываться за отказ увеличить грудь
08:58 Участники германо-российского форума призвали РФ и ФРГ упростить визовый режим
08:56 Мужчина поджег центр аниме в Киото из-за кражи его идеи
08:47 Врачи рассказали о состоянии Инны Чуриковой
08:47 СМИ узнали об ужесточении допуска авиакомпаний из РФ к международным рейсам
08:35 Росстат назвал сферы работы россиян с зарплатами более 1 млн рублей
08:27 В Магаданской области завели дело об убийстве после пропажи бизнесмена
08:15 Инна Чурикова оказалась в больнице после падения со сцены
08:09 Минсельхоз предложил по-новому считать цены на крабовых аукционах
07:59 Японский аэропорт прерывал работу из-за удара молнии в ВПП
07:55 В Свердловской области взорвался газ в негазифицированном жилом доме
07:33 В приморском заповеднике катер научного центра налетел на камни Елизарова
07:18 В Подмосковье задержаны подозреваемые в обналичивании 100 млн рублей
06:56 План полета Apollo 11 на Луну ушел с молотка за 62,5 тысячи долларов
06:43 СМИ узнали о грядущей отставке трех британских министров
06:27 Ространснадзор внепланово проверит Nordwind из-за инцидента в Шереметьево
06:11 Рейс UTair Самара — Сургут вынужденно приземлился в Екатеринбурге
05:55 В Госдуме предложили в 10 раз поднять штрафы авиакомпаний за задержку вылетов и багажа
05:47 В конгресс США внесли законопроект о новых антироссийских санкциях
05:36 Песков рассказал о планах Путина на поездку в Магнитогорск
05:23 Восемь пассажиров пострадали при эвакуации из самолета Nordwind в Шереметьево
18.07 21:00 Трамп отложил санкции в отношении Турции из-за поставок С-400
18.07 20:39 Страны G7 выразили обеспокоенность из-за цифровых валют
18.07 20:25 В Германии завели дело из-за пропажи двух россиянок
18.07 19:58 Концерн Shell объявил о планах по открытию новых АЗС в России
18.07 19:36 Власти выделили на помощь пострадавшим от наводнения под Иркутском 14 млрд
18.07 19:18 Путин подписал закон об упрощении подтверждения инвалидности
18.07 18:55 В Астраханской области арестовали главу Минстроя
18.07 18:34 В Вильнюсе задержан фигурант дела о загрязнении нефтепровода «Дружба»
18.07 18:08 Госдума одобрила снижение ставки НДС до 10% для овощей и фруктов
18.07 17:59 Избирком отклонил первую жалобу на отказ в регистрации кандидатом в депутаты Мосгордумы
18.07 17:46 Роскомнадзор оштрафовал Google на 700 тысяч рублей
18.07 17:17 Госдума изучит опыт функционирования полупрезидентских политических систем
18.07 16:55 Бывших сотрудников ФСБ предложили оставлять невыездными
18.07 16:35 МВД назвало основания для санкций за неуважение к власти
«АвтоВАЗ» «ВКонтакте» «Газпром» «Зенит» «Мемориал» «Мистраль» «Оборонсервис» «Роснефть» «Спартак» «Яблоко» Абхазия Австралия Австрия Азербайджан Антимайдан Аргентина Арктика Армения Афганистан Аэрофлот Башкирия Белоруссия Бельгия Бразилия ВВП ВКС ВМФ ВПК ВТБ ВЦИОМ Ватикан Великобритания Венесуэла Владивосток Внуково Волгоград ГИБДД ГЛОНАСС Генпрокуратура Германия Голливуд Госдеп Госдума Греция Гринпис Грузия ДТП Дагестан Домодедово Донецк ЕГЭ ЕСПЧ Евровидение Еврокомиссия Евромайдан Евросоюз Египет Екатеринбург ЖКХ Израиль Ингушетия Индия Индонезия Интерпол Ирак Иран Испания Италия Йемен КНДР КПРФ Казань Казахстан Калининград Камчатка Канада Каталония Кемерово Киев Киргизия Китай Коми Конституция Кремль Крым Куба Курилы ЛГБТ ЛДПР Латвия Ливия Литва Лондон Луганск МВД МВФ МГУ МКС МОК МЧС Малайзия Мексика Мемория Минздрав Минкомсвязи Минкульт Минобороны Минобрнауки Минпромторг Минсельхоз Минтранспорта Минтруд Минфин Минэкономразвития Минэнерго Минюст Молдавия Мосгорсуд Москва НАСА Нигерия Нидерланды Новосибирск Норвегия ОБСЕ ООН ОПЕК Одесса ПДД Пакистан Паралимпиада Париж Пентагон Польша Право Приморье Продовольствие РАН РЖД РПЦ РФС Росавиация Роскомнадзор Роскосмос Роспотребнадзор Россельхознадзор Россия Росстат СМИ СССР США Сахалин Сбербанк Севастополь Сербия Сирия Сколково Славянск Сочи Таджикистан Таиланд Татарстан Трансаэро Турция УЕФА Узбекистан Украина ФАС ФБР ФИФА ФСБ ФСИН ФСКН Филиппины Финляндия Франция Харьков ЦИК ЦРУ ЦСКА Центробанк Чехия Чечня Швейцария Швеция Шереметьево Эбола Эстония ЮКОС Якутия Яндекс Япония авиакатастрофа автопром алкоголь амнистия армия археология астрономия аукционы банкротство беженцы бензин беспилотник беспорядки биатлон бизнес бокс болельщики вандализм взрыв взятка вирусы вузы выборы гаджеты генетика гомосексуализм госбюджет госзакупки госизмена деньги дети доллар допинг драка евро журналисты законотворчество землетрясение импорт инвестиции инновации интернет инфляция ипотека искусство ислам исследования история казнь кино кораблекрушение коррупция космос кража кредиты культура лингвистика литература медиа медицина метро мигранты монархия мошенничество музыка наводнение налоги нанотехнологии наркотики наука недвижимость некролог нефть образование обрушение общество ограбление оппозиция опросы оружие офшор палеонтология педофилия пенсия пиратство планетология погранвойска пожар полиция похищение правительство православие преступность происшествия ракета рейтинги реклама религия ретейл рубль санкции связь сепаратизм следствие смартфоны социология спецслужбы спутники страхование стрельба строительство суды суицид тарифы театр телевидение теракт терроризм технологии транспорт туризм убийство фармакология физика фоторепортаж футбол хакеры химия хоккей хулиганство цензура школа шпионаж экология экономика экспорт экстремизм этология «Единая Россия» «Исламское государство» «Нафтогаз Украины» «Правый сектор» «Северный поток» «Справедливая Россия» «болотное дело» Александр Лукашенко Александр Новак Александр Турчинов Алексей Кудрин Алексей Навальный Алексей Улюкаев Амурская область Анатолий Сердюков Ангела Меркель Антон Силуанов Аркадий Дворкович Арсений Яценюк Барак Обама Басманный суд Башар Асад Белый дом Борис Немцов Валентина Матвиенко Верховная Рада Верховный суд Виктор Янукович Виталий Мутко Владимир Жириновский Владимир Зеленский Владимир Маркин Владимир Мединский Владимир Путин Вячеслав Володин Дальний Восток День Победы Дмитрий Медведев Дмитрий Песков Дмитрий Рогозин Дональд Трамп Евгения Васильева Забайкальский край Интервью ученых Ирина Яровая Иркутская область История человечества Кирилл Серебренников Конституционный суд Космодром Байконур Краснодарский край Красноярский край Ксения Собчак Ленинградская область МИД России Мария Захарова Михаил Прохоров Михаил Саакашвили Михаил Ходорковский Московская область Мурманская область Надежда Савченко Николас Мадуро Нобелевская премия Новосибирская область Новый год Олимпийские игры Ольга Голодец Павел Дуров Палестинская автономия Папа Римский Первый канал Пермский край Петр Порошенко Почта России Приморский край Рамзан Кадыров Реджеп Эрдоган Республика Карелия Ростовская область Саратовская область Саудовская Аравия Свердловская область Сергей Лавров Сергей Нарышкин Сергей Полонский Сергей Собянин Сергей Шойгу Следственный комитет Совбез ООН Совет Федерации Ставропольский край Счетная палата Тереза Мэй Франсуа Олланд Хабаровский край Хиллари Клинтон Челябинская область Черное море Эдвард Сноуден Элла Памфилова Эльвира Набиуллина Южная Корея Юлия Тимошенко Юрий Чайка авторское право администрация президента акции протеста атомная энергия баллистические ракеты банковский сектор биология большой теннис визовый режим военная авиация выборы губернаторов газовая промышленность гражданская авиация гуманитарная помощь декларации чиновников дороги России информационные технологии климат Земли компьютерная безопасность космодром Восточный крушение вертолета легкая атлетика лесные пожары междисциплинарные исследования мобильные приложения морской транспорт некоммерческие организации общественный транспорт патриарх Кирилл пенсионная реформа пищевая промышленность права человека правозащитное движение преступления полицейских публичные лекции российское гражданство русские националисты русский язык сельское хозяйство сотовая связь социальные сети стихийные бедствия телефонный терроризм уголовный кодекс фигурное катание финансовый рынок фондовая биржа химическое оружие эволюция экономический кризис ядерное оружие Великая Отечественная война Вторая мировая война Ирак после войны Ким Чен Ын Революция в Киргизии Российская академия наук Стихотворения на случай Федеральная миграционная служба Федеральная таможенная служба борьба с курением выборы мэра Москвы здравоохранение в России связь и телекоммуникации тюрьмы и колонии Совет по правам человека аварии на железной дороге естественные и точные науки закон об «иностранных агентах» видеозаписи публичных лекций «Полит.ру» Новые технологии, инновации Сочи 2014 Кабардино-Балкария Левада-Центр Нью-Йорк Санкт-Петербург отставки-назначения шоу-бизнес Ростов-на-Дону ЧМ-2018 Компьютеры, программное обеспечение Книга. Знание ВИЧ/СПИД Apple Bitcoin Boeing Facebook G20 Google iPhone IT NATO PRO SCIENCE видео ProScience Театр Pussy Riot Telegram Twitter Wikileaks

Редакция

Электронная почта: polit@polit.ru
Телефон: +7 929 588 33 89
Яндекс.Метрика
Свидетельство о регистрации средства массовой информации
Эл. № 77-8425 от 1 декабря 2003 года. Выдано министерством
Российской Федерации по делам печати, телерадиовещания и
средств массовой информации. Выходит с 21 февраля 1998 года.
При любом использовании материалов веб-сайта ссылка на Полит.ру обязательна.
При перепечатке в Интернете обязательна гиперссылка polit.ru.
Все права защищены и охраняются законом.
© Полит.ру, 1998–2019.