49 прогрессии Тьюринга

Описание к видео 49 прогрессии Тьюринга

Обсуждаем арифметические прогрессии Тьюринга, основанные на трансфинитных итерациях схем рефлексий.
Теорема Шмерля и ее следствия.
Порядок, порождаемый оператором Consis.
Теорема Генцена как следствие теоремы Шмерля.
Ординал одной теории относительно прогрессии Тьюринга другой, более слабой, теории.
Примеры ординалов арифметических теорий.

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: https://boosty.to/mathreisender

Комментарии

Информация по комментариям в разработке

Похожие видео