Constructive Identities for Physics

АБВ
АБВ
АБВ

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

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

по году

Тематика

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

15 мая 2026 г.

В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций

Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

15 мая 2026 г.

Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ

В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.

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

Публикации

?

Constructive Identities for Physics

Родин А. В.

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.

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

DOI

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

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

В книге

Frontiers of Fundamental Physics 14

Vol. 224: EPISTEMOLOGY AND PHILOSOPHY. , [б.и.], 2014.

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 г.

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 г.

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 ...

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

On the Constructive Axiomatic Method

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

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