27 June, Université Paris-Sorbonne,Amphithéâtre Michelet, 2-6 P.M. DIALOGUE PHILOSOPHIQUE FRANCO-RUSSE
May 18, 2013
upcoming talk: «Universal Mathematics » in Euclid and the Origin of Logic in Aristotle
Comments Off on upcoming talk: «Universal Mathematics » in Euclid and the Origin of Logic in Aristotle
upcoming talks in SPHERE and University of Kent : Axiomatic Theory and Category Theory
25 June, 10 A.M. , seminar Mathematics and Philosophy in the 19-20 c.
9-11 July, workshop What Can Category Theory Do for Philosophy?
Comments Off on upcoming talks in SPHERE and University of Kent : Axiomatic Theory and Category Theory
May 5, 2013
What Can Category Theory Do For Philosophy? (9-11 July 2013 University of Kent, Canterbury, UK)
Comments Off on What Can Category Theory Do For Philosophy? (9-11 July 2013 University of Kent, Canterbury, UK)
March 31, 2013
Round table “Is New Physics Needed to Understand the Mind?”
Participants: Konstantin Anokhin, Tatiana Chernigovskaya, Vladislav Lectorsky, Mikhail Mensky, Alexander Panov, Roger Penrose
Moderator: Andrei Rodin
Where: Red Hall of the Institute of Philosophy of Russian Academy of Science: 14 Volkhonka, Moscow
When: Monday April 1st, 14h-17h
Comments Off on Round table “Is New Physics Needed to Understand the Mind?”
March 9, 2013
upcoming talk 14 March
Место и время: Институт Философии РАН (Москва, Волхонка 14), сектор логики, четверг 14 марта в 3 часа
Название: Генетический аксиоматический метод, изоморфизм Карри-Ховарда и “унивалентные основания” Воеводского.
Абстракт:
В.А. Смирнов вслед за Гильбертом и Бернайсом указывает на тот факт, что формальный аксиоматический метод сам по себе является недостаточным для построения научных теорий (и соответствующих мета-теорий) и должен быть дополнен более традиционным генетическим методом. В своем докладе я сначала демонстрирую понятие генетического метода на примере “Начал” Евклида, а затем обсуждаю современные версии генетического метода: конструктивную теорию типов Мартина-Лёфа, ее связь с изоморфизмом Карри-Ховарда, гомотопическую модель этой теории (использующую язык теории категорий) и, наконец, “унивалентные основания математики” Воеводского, в которых эта гомотопическая модель используется в качестве содержательного основания всей математики.
Мой тезис состоит в том, что современное понятие генетического метода следует отождествить с понятием аксиоматического метода как такового, а гильбертово понятие “формального” или “экзистенциального” аксиоматического метода нужно рассматривать только в качестве специального приема (который, как мы сейчас знаем, далеко не так эффективен, как в свое время думал Гильберт). Формулирую это утверждение в виде слогана: Вперед к Евклиду!
Comments Off on upcoming talk 14 March