1 - 10 из 72Размер страницы: 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, Том 3. стр. 2339-2364 26 стр.

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

  3. 2021

  4. Editorial: The foundations of mathematics and theoretical biology

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

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

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

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

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

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

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

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

  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 стр.

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

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

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

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

  9. 2020

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

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

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

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

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

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

  12. 2019

  13. Extra-logical proof-theoretic semantics in HoTT

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

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

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

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

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

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

ID: 206488