TY  - SER
AU  - Ламберов,Лев Дмитриевич
AU  - Козьякова,Татьяна Сергеевна
TI  - Универсальная характеристика Г. В. Лейбница и перспективные разработки в области оснований математики
KW  - Лейбниц, Готфрид Вильгельм
KW  - философия науки
KW  - философия математики
KW  - геометризм
KW  - основания математики
KW  - унивалентные основания математики
KW  - статьи в журналах
N1  - Библиогр.: 15 назв
N2  - Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универсальной характеристики и варианты её реализации у Лейбница, два принципиально различных пути развития идей Лейбница и отражение идей Лейбница в современных подходах к основаниям математики (в частности, в унивалентных основаниях математики и гомотопической теории типов)
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000619386
ER  -