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

Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис

27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис. 

Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис

фото МЛ ЛогЛинФФ

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

фото МЛ ЛогЛинФФ