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

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)

 



Powered by WordPress