1 - 10 из 71Размер страницы: 10
Сортировать по:: Год публикации
  1. 2021

  2. Editorial: The foundations of mathematics and theoretical biology

    Fimmel, E. & Rodin, A., июл 2021, в: BioSystems. 205, 104416, 3 стр., 104416.

    Результаты исследований: Научные публикации в периодических изданиях › редакционная статья › Рецензирование

  3. Voevodsky's unfinished project: Filling the gap between pure and applied mathematics

    Родин, А. В., июн 2021, в: BioSystems. 204, 11 стр., 104391.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. I Международный конгресс Русского общества истории и философии науки

    Родин, А. В., 2021, ВОПРОСЫ ИСТОРИИ ЕСТЕСТВОЗНАНИЯ И ТЕХНИКИ, 42, 1, стр. 184-187.

    Результаты исследований: Прочие публикации в периодических изданиях › письмо/краткое сообщение › научно-популярная

  5. One Mathematic(s) or Many? Foundations of Mathematics in the 20-th century Mathematical Practice

    Родин, А. В., 2021, Handbook of the history and philosophy of mathematical practice. Springer Nature, 26 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  6. Компьютерные доказательства и их понимание человеком: случай унивалентных оснований

    Родин, А. В., 2021, в: Интеллектуальные системы. Теория и приложения. 25, 4, стр. 337-342

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 2020

  8. Вычисления в природе и природа вычислений

    Rodin, A. V., ноя 2020, в: Voprosy Filosofii. 2020, 11, стр. 129-132 4 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. Euclid’s Geometry as a Gentzen-style Theory : Euclid and Today’s Mathematical Practice

    Родин, А. В., 2020, Наука как общественное благо: сборник научных статей. Шиповалова, Л. В. (ред.). Русское общество истории и философии науки, стр. 185-187

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  10. 2019

  11. Extra-logical proof-theoretic semantics in HoTT

    Родин, А. В., 2019, стр. 765-786. 21 стр.

    Результаты исследований: Материалы конференций › тезисы › Рецензирование

  12. Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations

    Родин, А. В., 2019.

    Результаты исследований: Материалы конференций › тезисы › Рецензирование

  13. Models of HoTT and the Constructive View of Theories

    Rodin, A., 2019, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Centrone, S. (ред.). Springer Nature, стр. 191-219 29 стр. (Synthese Library; том 407).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

Назад 1 2 3 4 5 6 7 8 Далее

ID: 206488