Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
Мероприятие завершено
10 и 17 ноября в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View".
Иван Пыльцын
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
«О сильной эквивалентности арифметики Пеано и теории конечных множеств»
Аннотация:
Утверждение о существовании "взаимно обратных" интерпретаций между арифметикой Пеано и теорией конечных множеств определенное время было частью математического фольклора. В 2006 году Ричард Кэй и Тин Лок Вонг предложили способ формализовать его. Мы рассмотрим этот подход. В частности, мы поговорим о теории конечных множеств, о том, что понимается под интерпретацией, и обсудим наиболее существенные аспекты доказательства самого утверждения.
ссылка на статью.
Дата
10 ноября
18:30
Адрес
А-121
В статье упомянуты
Персоны