29 Большая пятерка арифметик
Math as a Foreign Language (Nikolai Kazimirov)
0:00 / 0:00
29 Большая пятерка арифметик
211 просмотров · 2 г. назад
Math as a Foreign Language (Nikolai Kazimirov)
1,53 тыс. подписчиков
211 просмотров · 2 г. назад
Немного обратной математики.
Рассматриваем 3 основных и чуть-чуть 2 дополнительных формализма арифметики:
1. RCA0
2. WKL0
3. ACA0
4. ATR0
5. Π_1^1-CA
Сравнение первых трех по их умению доказывать известные теоремы анализа, такие как:
лемма о промежуточном значении,
лемма Гейне-Бореля,
признак сходимости Коши,
теорема Больцано-Вейерштрасса,
лемма Кёнига,
теорема Гёделя о полноте.
