Moscow, September 27-28, 2013; deadline for submissions September 1. Call for papers and other details here
July 28, 2013
Conference on Philosophy of Maths in Moscow State University
Comments Off on Conference on Philosophy of Maths in Moscow State University
July 27, 2013
A Philosophy of Math paper
A colleague of mine, Mark Zelcer, and I just posted a philosophy of
mathematics paper on the arxiv.
http://arxiv.org/abs/1306.4235
While the paper is not about category theory per se, the ideas in it were
inspired by category theory. There is an appendix on categorical algebra.
“Mathematics via Symmetry”
We state the defining characteristic of mathematics as a type of symmetry
where one can change the connotation of a mathematical statement in a
certain way when the statement’s truth value remains the same. This view of
mathematics as satisfying such symmetry places mathematics as comparable
with modern views of physics and science where, over the past century,
symmetry also plays a defining role. We explore the very nature of
mathematics and its relationship with natural science from this perspective.
This point of view helps clarify some standard problems in the philosophy of
mathematics.
We would be very interested in any comments or criticisms.
All the best,
Noson Yanofsky
Comments Off on A Philosophy of Math paper
May 18, 2013
upcoming talk: «Universal Mathematics » in Euclid and the Origin of Logic in Aristotle
27 June, Université Paris-Sorbonne,Amphithéâtre Michelet, 2-6 P.M. DIALOGUE PHILOSOPHIQUE FRANCO-RUSSE
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