philomatica.org
my texts « andrei rodin
http://philomatica.org/my-stuff/my-texts
Andrei Rodin's blog about History and Philosophy of Mathematics. January 30, 2013. Filed under: — Andrei Rodin @ 5:34 am. Статья написана по материалам публичной лекции в рамках проекта “Анатомия философии: как работает текст”. 22 января 2015. См. my talks. Логический и геометрический атомизм от Лейбница до Воеводского. Вопросы Философии номер 6 за 2016 г., стр 134-142. Статья написанная по мотивам выступления на круглом столе Атомизм и континуализм в гуманитарном знании. Computing in Space and Time.
philomatica.org
my talks « andrei rodin
http://philomatica.org/my-stuff/my-talks
Andrei Rodin's blog about History and Philosophy of Mathematics. January 28, 2013. Filed under: — Andrei Rodin @ 3:12 am. Proofs and Objects in HoTT, FOMUS: Foundations of Mathematics: Univalent Foundations and Set Theory. Bielefeld, July 18-23, 2016. ( abstract. Geometric Characteristics as an early form of typing. Type theory and Philosophy. Canterbury, June 9 – 10, 2016) ( slides. From 6’30” on). At the regular seminar L’(id)entité : L’(id)entification. Video 1) (video 2). What is a Formal System?
philomatica.org
my events « andrei rodin
http://philomatica.org/my-stuff/my-events
Andrei Rodin's blog about History and Philosophy of Mathematics. January 31, 2013. Filed under: — Andrei Rodin @ 6:52 am. Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics. Bristol, UK 13-15 September 2016. FOMUS – Foundations of Mathematics: Univalent foundations and set theory. Bielefeld, Germany July 18-23, 2016. Logic Today: Developments and Perspectives. Saint-Petersburg, Russia June 22-24, 2016. Type theory and Philosophy. Canterbury, UK June 9-10, 2016. Москва ИФРАН 17-19 декабря.
ethic.philosophy.spbu.ru
Конференции
http://ethic.philosophy.spbu.ru/conference.html
РіРѕСЂРѕСЃРєРѕРї 2016 Р РРёР РЅРµС С РєСЂРѕРРёРє. РСЋР РѕРІРЅС Р РіРѕСЂРѕСЃРєРѕРї 2016 РіРѕРґР РґРСЏ Р РРёР РЅРµС РѕРІ. РіРѕСЂРѕСЃРєРѕРї РїР РІРР РіРРѕР Р РЅР 2016 Рев. Теоретическая и прикладная этика: традиции и перспективы. Кафедра этики ежегодно проводит молодежную общероссийскую конференцию Теоретическая и прикладная этика: традиции и перспективы. Цели и задачи конференции. Главная идея конференции –. Обращение к молодежной аудитории. Цель конференции – это устранение дефицита обмена мнениям...
ethic.philosophy.spbu.ru
Конференции
http://ethic.philosophy.spbu.ru/science.html
РіРѕСЂРѕСЃРєРѕРї 2016 Р РРёР РЅРµС С РєСЂРѕРРёРє. РСЋР РѕРІРЅС Р РіРѕСЂРѕСЃРєРѕРї 2016 РіРѕРґР РґРСЏ Р РРёР РЅРµС РѕРІ. РіРѕСЂРѕСЃРєРѕРї РїР РІРР РіРРѕР Р РЅР 2016 Рев. Теоретическая и прикладная этика: традиции и перспективы. Кафедра этики ежегодно проводит молодежную общероссийскую конференцию Теоретическая и прикладная этика: традиции и перспективы. Цели и задачи конференции. Главная идея конференции –. Обращение к молодежной аудитории. Цель конференции – это устранение дефицита обмена мнениям...