Venus Homotopically

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

17 июня 2026 г.

Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией

Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.

17 июня 2026 г.

Интеллектуальная робототехника: кадровый голод и масса возможностей

Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.

17 июня 2026 г.

Каким должно быть образование, чтобы готовить кадры для экономики будущего

Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Venus Homotopically

IfCoLoG Journal of Logics and their Applications. 2017. Vol. 4. No. 4. P. 1427–1446.

Родин А. В.

The identity concept developed in the Homotopy Type theory (HoTT) supports an analysis of Frege's famous Venus example, which explains how empirical evidences justify judgements about identities. In the context of this analysis we consider the traditional distinction between the extension and the intension of concepts as it appears in HoTT, discuss an ontological signicance of this distinction and, nally, provide a homotopical reconstruction of a basic kinematic scheme, which is used in the Classical Mechanics, and discuss its relevance in the Quantum Mechanics.

Язык: английский

Текст на другом сайте

Ключевые слова: Homotopy Type theory

Models of HoTT and the Constructive View of Theories

Родин А. В., , in: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.: Springer, 2019. Ch. 9 P. 191–219.

Добавлено: 30 октября 2019 г.

Extra-Logical Proof-Theoretic Semantics in Homotopy Type Theory

Родин А. В., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 42–43.

Добавлено: 30 июня 2019 г.

Model structures on categories of models of type theories

Valery Isaev, Mathematical Structures in Computer Science 2018 Vol. 28 No. 10 P. 1695–1722

Добавлено: 6 ноября 2018 г.

Univalence and Constructive Identity

Родин А. В., , in: Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012).: St. Petersburg: ВВМ, 2012. P. 170–174.

The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege’s famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for the constructive aspect of such judgements. ...

Добавлено: 6 июня 2018 г.

Constructive Identities for Physics

Родин А. В., , in: Frontiers of Fundamental Physics 14Vol. 224: EPISTEMOLOGY AND PHILOSOPHY.: [б.и.], 2014.

Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to physics than the standard axiomatic approach stemming from Hilbert. This new axiomatic approach combines logical and geometrical methods in a new way and brings about a non-trivial constructive concept of identity applicable in various physical contexts including Quantum Mechanics and General Relativity. ...

Добавлено: 6 июня 2018 г.

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.

Springer, 2019.

Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientic theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical ...

Добавлено: 5 июня 2018 г.

On the Constructive Axiomatic Method

Родин А. В., Logique et Analyse 2018 Vol. 242 No. 2 P. 201–231

Добавлено: 26 мая 2018 г.