July 14th, 2020

Глазай

Метаматематика Владимира Воеводского

Дали ссылку на диалог с Владимиром Воеводским, про которого википедия по обыкновению лукаво написала «российский и американский математик», хотя вклад российской действительности был в том, чтобы «отчислить из университета за академическую неуспеваемость». Полный текст интервью тут.

Пожизненный профессор Принстона, филдсовский лауреат. Его биография напоминает одну из тех судеб, когда человек появляется чтобы выполнить вполне определённую и своевременную работу. Хотя, правильнее говорить не «человек», а группа людей, поскольку люди по линии судьбы ходят в групповой формации, пусть даже и не знают об этом. Например, Воеводский всего на 9 дней старше Перельмана. Давайте назовём это топологическим совпадением.

Вот как он сам описывает работу, сетевые результаты которой скажутся позже:

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

Но прежде (2006-2007) Воеводский побывал в двухгодичной паузе, совпадающей по времени с переломной стадией среднего возраста 40-42 года, в которой он в силу неизбежности пережил своего рода контакт внешнего человека с внутренним. Судя по немногим описаниям контакт довольно жёсткий («когда отдельные части моего тела мне не подчинялись»), по крайне мере мне похожих случаев известно два-три, не больше. По ссылке можно прочитать подробности, я бы процитировал в каком-то смысле итоговое заявление:

Collapse )