Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис
27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис.
Аннотация:
Доклад посвящён формализации утверждения о существовании "взаимно обратных" интерпретаций между арифметикой Пеано и теорией конечных множеств, предложенной Ричардом Кэйем и Тин Лок Вонгом в 2006 году.