andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

Coming out soon in Springer with my piece on Univalent Foundations.  More details here.

ProductFlyer

 

Extra-logical proof-theoretic semantics in HoTT (abstract)

Conference Proof Theoretic Semantics: Assessments and Future Perspectives : Tübingen,  March 27-30, 2019

 

Логическая и экстра-логическая теоретико-доказательная семантика в гомотопической теории типов (slides)

Теоретический семинар Кафедры Логики СПбГУ , 7 марта 2019, начало 17:20, ауд. 167

 

 

E pluribus unum в логике и математике (abstract)

 Когда: 24 ноября 2018,начало в 11 утра

Конференция «Горизонты логического плюрализма» к юбилею Владимира Леонидовича Васюкова

Где: ВШЭ (Москва) Мясницкая 11, ауд. 508

 

 

Конструктивный аксиоматический метод и унивалентные основания математики (abstract)

Когда: 26 ноября 2018, 14:00

Где: ПОМИ (Петербургское отделение математического института им. В.А. Стеклова РАН), городской логический семинар (объявление).

Смерть Владимира Воеводского на пике его профессиональной карьеры это трагическая и невосполнимая потеря для всей мировой науки.  Начиная по крайней мере с 2006 года, когда Владимир распространил в Интернете короткую заметку с интригующим названием “О гомотопическом лямбда-исчислении” (1) его основные интеллектуальные усилия были сфокусированы на задаче построения новых оснований математики, которые Владимир предложил называть Унивалентными Основаниями. Интерес Владимира к математической логике и основаниям математики не был случайным. Опираясь на свой личный опыт  исследований на переднем крае математики, которые в 2002 году мировое математическое  сообщество оценило  высшей возможной в виде медали Филдса, Владимир видел угрозу в том, что новые математические доказательства теряют прозрачность и оказываются доступными для понимания и, тем более, для проверки лишь очень небольшому числу экспертов в той узкой области математики, к которой относится данная теорема.

То, что в такая экспертиза является ненадежной, Владимир знал на примере собственных публикаций: в частности, спустя пятнадцать лет после публикации своей совместной статьи с Михаилом Капрановым, он обнаружил в ней ошибку.  Унивалентные Основания позволяют записывать сложные математические доказательства в виде программного кода и затем проверять корректность этого кода с помощью компьютера, освобождая интеллект исследователя для решения более творческих задач. Значение Унивалентных Оснований не ограничивается решением этой прагматической задачи. Как и всякий крупный проект в области оснований математики проект построения Унивалентных Оснований ставит целый ряд логических, эпистемологических и чисто математических проблем, над которыми Владимир продолжал работать до последнего дня вместе с группой сотрудников из разных стран и университетов. Эта работа, безусловно, продолжится, и я уверен, что влияние идей Владимира в математике и вообще в науке будет только возрастать в ближайшие годы, несмотря на преждевременную смерть их автора.

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

Владимир был не только гениальным ученым, но и очень внимательным товарищем. Мы познакомились в 2012 году в Любляне и все последующие годы очень плодотворно общались – как по переписке, так и лично, когда была такая возможность. По приглашению Владимира я в начале 2015 года посещал его в Принстонском Институте: мне запомнился эпизод, когда после обеда в столовой Института, мы вдруг обнаружили, что уже час разговариваем где-то на кампусе, держа в руках подносы с грязной посудой, которые после обеда мы оба забыли поставить на нужное место.

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

(1)  https://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/Hlambda_short_current.pdf

In addition to being a mathematician of genius Vladimir had a genuine interest to the history and philosophy of his discipline; I owe Vladimir hours of extremely tensed discussions on Euclid (Vladimir read both the Elements and the Proclus’ Commentary very carefully), Grassmann (whose writings he studied perhaps more than any other historical source). Our last short exchange in LQ in Stockholm was on Aristotle: Vladimir told me that he had big plans of studying the history of logic. Vladimir had a fantastic capacity of understanding another person’s ideas immediately following only some hints – or at least this is my personal experience with Vladimir.

We were not close friends but all our meetings and talks were always very friendly; in 2015 he was my extremely attentive host in IAS. I lost an important person in my life with Vladimir’s unexpected death. Good buy Volodya.

Пленарный доклад на конференции “Философия науки и техники в России: вызовы информационных технологий”, Вологда 2-3 июня 2017, организованная при участии РОИФН (abstract)(slides)(video – с 42й минуты и до конца записи)

Приглашенный доклад на заседании Ученого Совета Санкт-Петербургского филиала Института Истории Естествознания и Техники РАН   23 мая 2017 (презентация)(аудио)(видео)

Конструктивное знание-3: формализация теорий

NEW: Full Video

Когда: пятница 12 мая 2017 с 10 утра

Где: ИФ РАН, комната 416 (4-й этаж)

 

Описание:

Этот воркшоп – третий в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (см. первый и второй воркшопы). В этот раз фокус будет сделан на анализе различных подходов к формализации теорий. Эта проблема будет рассмотрена как с технической, так и с эпистемологической точек зрения.

 

Программа:

10:00 – 10:40

ВЛАДИМИР ШАЛАК (ИФ РАН)

Логическая компонента научных теорий

(аннотация)

 

10:40 – 11:10

СЕРГЕЙ КОВАЛЁВ (ИПУ РАН)

Представление инженерных знаний в электронно-цифровом макете сложного технического изделия

(аннотация)

 

КОФЕ

 

11:30 – 12:10

ВЛАДИМИР КРУПСКИЙ

О моделировании уверенности и знания в социальных сетях

(аннотация)

 

12:10 – 12:50

АНДРЕЙ РОДИН (ИФ РАН)

Правила или аксиомы? О двух стилях аксиоматизации.

(аннотация)

 

12:50 – 13:30

АЛЕКСАНДР ЖОЖИКАШВИЛИ (ИППИ РАН)

Теоретико-категорная формализация продукционных систем представления знаний

(аннотация)

 

 

13:30 – 15:00 – ОБЕД

 

15:00 – 15:40

ВЛАДИМИР ВАСЮКОВ (ИФ РАН)

Трансцендентальные модальности

(аннотация)

 

 

15:40 – 16:10

КОНСТАНТИН ШИШОВ (МГУ)

Семантики квантовой логики

(аннотация)

 

КОФЕ

 

16:30 – 17:10

ДАНЯ РОГОЗИН (МГУ)

Соответствие Карри-Говарда и колмогоровская сложность

(аннотация)

 

17:10 – 17:50

СЕРГЕЙ ТИТОВ (ИФРАН)

 Объяснительная сила информационно-емких исследований

(аннотация)

 

17:50 – 18:30

ЗАЛЮЧИТЕЛЬНОЕ ОБСУЖДЕНИЕ

When: Thursday 11 May, 2017, 3 P.M.

Where: Institute of Philosophy RAS (12/1 Goncharnaya Str., Moscow, 109240), Room 416 (4th floor)

Organization: jointly by Vitaly Dolgorukov (HSE, Formal Philosophy group) and Andrei Rodin (IPRAS)

Speaker: Matthias Schirn, Munich Center for Mathematical Philosophy, University of Munich

Title: Frege: The Power and the Limits of Logical Abstraction

Abstract:

In this talk, I analyze several aspects of Axiom V and Hume’s Principle. The issues dealt with include self-evidence and epistemic value with special emphasis on Axiom V, Frege’s attitude towards Axiom V before and after Russell’s discovery of the contradiction, as well as the possible role and the status of Hume’s Principle in the face of Russell’s paradox. In the central part, I pursue a threefold aim: (a) to shed new light on the connection between Frege’s way of introducing the primitive function-names of his logical system and the requisite self- evidence of his axioms in whose expression such a function-name occurs; (b) to analyze the semantic nature of the formal linguistic expression of Axiom V, and (c) to examine the conflict between the requirements of self-evidence and real epistemic value or genuine knowledge arising inevitably and invariably from Fregean abstraction principles, if they are singled out as axioms of a theory T.

 

See also the announcement by the Formal Philosophy group

 

Конструктивное знание-3: формализация теорий

 

Когда: пятница 12 мая 2017 с 10 утра

Где: ИФ РАН, комната 416 (4-й этаж)

 

Описание:

Этот воркшоп – третий в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (см. первый и второй воркшопы). В этот раз фокус будет сделан на анализе различных подходов к формализации теорий. Эта проблема будет рассмотрена как с технической, так и с эпистемологической точек зрения.

Программа:

 

СЕРГЕЙ КОВАЛЁВ (ИПУ РАН)

Представление инженерных знаний в электронно-цифровом макете сложного технического изделия

(аннотация)

 

АЛЕКСАНДР ЖОЖИКАШВИЛИ (ИППИ РАН)

Теоретико-категорная формализация продукционных систем представления знаний

(аннотация)

 

СЕРГЕЙ ТИТОВ (ИФРАН)

 Объяснительная сила информационно-емких исследований

(аннотация)

 

ВЛАДИМИР ШАЛАК (ИФ РАН)

Логическая компонента научных теорий

(аннотация)

 

ДАНЯ РОГОЗИН (МГУ)

Соответствие Карри-Говарда и колмогоровская сложность

(аннотация)

 

АНДРЕЙ РОДИН (ИФ РАН)

Правила или аксиомы? О двух стилях аксиоматизации.

(аннотация)

 

ВЛАДИМИР ВАСЮКОВ (ИФ РАН)

Трансцендентальные модальности

(аннотация)

 

КОНСТАНТИН ШИШОВ (МГУ)

Семантики квантовой логики

(аннотация)

https://eutypes.cs.ru.nl/Meetings/Ljubljana17

http://www.modeltheory2017.philosophie.uni-muenchen.de/index.html

 

Munich 9-12 January 2017

 

Categorical Model Theory and the Semantic View of Theories

short abstract (pdf)   extended abstract (pdf)