Чи Тат Чонг: Бесконечная комбинаторика и финитная арифметика #ICBS2024

Обратная математика — это подход к анализу и калибровке теоретико-доказательной силы математической теоремы. Это достигается путем выражения математической теоремы на языке арифметики первого или второго порядка и характеристики класса $\Gamma$ таких предложений, доказуемых теоремой над базовой системой. В этом докладе мы обсудим последние достижения в проблеме характеризации некоторых комбинаторных принципов типа Рамсея.