1 - 10 out of 71Page size: 10
  1. 2021

  2. Editorial: The foundations of mathematics and theoretical biology

    Fimmel, E. & Rodin, A., Jul 2021, In: BioSystems. 205, 104416, 3 p., 104416.

    Research output: Contribution to journal › Editorial › peer-review

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

    Родин, А. В., Jun 2021, In: BioSystems. 204, 11 p., 104391.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to specialist publication › Letter › Popular Science

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  7. 2020

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

    Rodin, A. V., Nov 2020, In: Voprosy Filosofii. 2020, 11, p. 129-132 4 p.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  10. 2019

  11. Extra-logical proof-theoretic semantics in HoTT

    Родин, А. В., 2019, p. 765-786. 21 p.

    Research output: Contribution to conference › Abstract › peer-review

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

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

    Research output: Contribution to conference › Abstract › peer-review

  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. (ed.). Springer Nature, p. 191-219 29 p. (Synthese Library; vol. 407).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Previous 1 2 3 4 5 6 7 8 Next

ID: 206488