Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование
Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific 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 means did not allow these people to build formal representational frameworks that implement this view.
Переведенное название | Модели ГТТ и конструктивный подход к теориям |
---|---|
Язык оригинала | английский |
Название основной публикации | Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts |
Редакторы | Stefania Centrone |
Издатель | Springer Nature |
Страницы | 191-219 |
Число страниц | 29 |
DOI | |
Состояние | Опубликовано - 2019 |
Название | Synthese Library |
---|---|
Том | 407 |
ISSN (печатное издание) | 0166-6991 |
ISSN (электронное издание) | 2542-8292 |
ID: 35625521