1 - 10 out of 72Page size: 10
  1. 2024

  2. One Mathematic(S) or Many? Foundations of Mathematics in Twentieth-Century Mathematical Practice

    Rodin, A., 2024, Handbook of the History and Philosophy of Mathematical Practice. Springer Nature, Vol. 3. p. 2339-2364 26 p.

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

  3. 2021

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

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

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

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

    Research output: Contribution to specialist publication › Letter

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

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

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

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

  9. 2020

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

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

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

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

  12. 2019

  13. Extra-logical proof-theoretic semantics in HoTT

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 Next

ID: 206488