• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Андрей Родин и Ирина Старикова выступили с докладами на Международном конгрессе по логике, методологии и философии науки и технологии

5 августа старшие научные сотрудники Международной лаборатории логики, лингвистики и формальной философии выступили с докладами в Праге.

Андрей Родин представил доклад “Formal proof-verification and mathematical intuition: The case of univalent foundations”, Ирина Старикова выступила с докладом “Thought experiments” in mathematics?” в рамках шестнадцатого Международного конгресса по логике, методологии и философии науки и технологии (International Congress of Logic, Methodology and Philosophy of Science and Technology/CLMPST). Конгресс был организован Институтом математики Чешской Академии наук, факультетом гуманитарных наук и факультетом математики и физики Карлова университета в Праге, факультетом информационных технологий Чешского технического университета.


См. также:
Book of abstracts - 16th International Congress of Logic, Methodology and Philosophy of Science and Technology