Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - УНИВЕРСАЛЬНАЯ ХАРАКТЕРИСТИКА Г.В. ЛЕЙБНИЦА И ПЕРСПЕКТИВНЫЕ РАЗРАБОТКИ В ОБЛАСТИ ОСНОВАНИЙ МАТЕМАТИКИ
AU - Lamberov, Lev D.
AU - Kozyakova, Tatiana S.
PY - 2017/12
Y1 - 2017/12
N2 - Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универсальной характеристики и варианты её реализации у Лейбница, два принципиально различных пути развития идей Лейбница и отражение идей Лейбница в современных подходах к основаниям математики (в частности, в унивалентных основаниях математики и гомотопической теории типов).
AB - Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универсальной характеристики и варианты её реализации у Лейбница, два принципиально различных пути развития идей Лейбница и отражение идей Лейбница в современных подходах к основаниям математики (в частности, в унивалентных основаниях математики и гомотопической теории типов).
KW - Leibniz
KW - philosophy of mathematics
KW - univalent foundations of mathematics
KW - geometrism
UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000419344200016
UR - https://elibrary.ru/item.asp?id=30778993
U2 - 10.17223/1998863X/40/16
DO - 10.17223/1998863X/40/16
M3 - Статья
VL - 40
SP - 164
EP - 172
JO - Вестник Томского государственного университета. Философия. Социология. Политология
JF - Вестник Томского государственного университета. Философия. Социология. Политология
SN - 1998-863X
ER -
ID: 6437332