Универсальная характеристика Г. В. Лейбница и перспективные разработки в области оснований математики Л. Д. Ламберов, Т. С. Козьякова
Material type:
ArticleOther title: The universal characteristic of G. W. Leibniz and the prospective developments in the foundations of mathematics [Parallel title]Subject(s): Лейбниц, Готфрид Вильгельм 1646-1716 | философия науки | философия математики | геометризм | основания математики | унивалентные основания математикиGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Философия. Социология. Политология № 40. С. 164-172Abstract: Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универсальной характеристики и варианты её реализации у Лейбница, два принципиально различных пути развития идей Лейбница и отражение идей Лейбница в современных подходах к основаниям математики (в частности, в унивалентных основаниях математики и гомотопической теории типов).
Библиогр.: 15 назв.
Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универсальной характеристики и варианты её реализации у Лейбница, два принципиально различных пути развития идей Лейбница и отражение идей Лейбница в современных подходах к основаниям математики (в частности, в унивалентных основаниях математики и гомотопической теории типов).
There are no comments on this title.