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

February 6, 2019

Seminar “Constructive Knowledge” / Семинар “Конструктивное знание”

Filed under: — Andrei Rodin @ 6:21 pm

(for programs of the workshops click on their titles)

Конструктивное знание – 1, ИФ РАН 25 апреля 2016

Конструктивное знание – 2, ИФРАН 5 октября 2016

Конструктивное знание – 3: формализация теорий, ИФРАН 12 мая 2017

Конструктивное знание – 4: проблема обоснования, ИФРАН 15 ноября 2017

Конструктивное знание – 5 : представление знаний, ИФРАН 14 марта 2018

Конструктивное знание – 6: мышление и вычислениеИФРАН 6 июня 2018

Конструктивное знание – 7: обоснование в формальных контекстах, ИФРАН 3 октября 2018

Конструктивное знание – 8: формальное представление математики, ИФРАН 27 февраля 2019

 

Book of Proceedings

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress