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

October 8, 2017

Владимир Воеводский: 1966-2017

Filed under: Uncategorized — Andrei Rodin @ 11:31 am

Смерть Владимира Воеводского на пике его профессиональной карьеры это трагическая и невосполнимая потеря для всей мировой науки.  Начиная по крайней мере с 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.

June 11, 2017

Знания и их представление в компьютерную эпоху: истина, обоснование, интерпретация, ревизия.

Filed under: Uncategorized — Andrei Rodin @ 5:28 pm

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

May 24, 2017

Историческая эпистемология: за и против

Filed under: Uncategorized — Andrei Rodin @ 8:44 pm

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

May 11, 2017

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

Filed under: Uncategorized — Andrei Rodin @ 6:47 pm

Конструктивное знание-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

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

April 23, 2017

Invited Talk by Prof. Matthias Schirn (Munich)

Filed under: Uncategorized — Andrei Rodin @ 4:54 pm

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 SchirnMunich 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

 

April 18, 2017

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

Filed under: Uncategorized — Andrei Rodin @ 7:07 pm

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

 

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

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

 

Описание:

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

Программа:

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

January 30, 2017

TYPE THEORY IN LJUBLJANA JAN 30 – FEB 2 2017

Filed under: Uncategorized — Andrei Rodin @ 1:18 am

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

December 21, 2016

Model Theory: Philosophy, Mathematics and Language

Filed under: Uncategorized — Andrei Rodin @ 2:07 pm

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)

 

November 9, 2016

Гомотопическая теория типов и унивалентные основания математики: логика, эпистемология, философия науки

Filed under: Uncategorized — Andrei Rodin @ 1:48 pm


Программа и другая дополнительная информация:


November 4, 2016

Upcoming Talk:

Filed under: Uncategorized — Andrei Rodin @ 1:13 pm

 


Categorical Model Theory and the Semantic View of Theories, Model Theory: Philosophy, Mathematics and Language, Munich Center for Mathematical Philosophy, 9-12 January 2017 (abstract)

 



Older Posts »

Powered by WordPress