47/56 теорема Генцена о непротиворечивости арифметики Пеано

  Рет қаралды 59

Sawa Kazimirov

Sawa Kazimirov

Күн бұрын

Рассуждаем о доказательстве теоремы Генцена и о том, что такое естественный фундированный порядок на натуральных числах.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: boosty.to/math...

Пікірлер
48 Схема рефлексий для арифметики
39:12
48 Схема рефлексий для арифметики
Sawa Kazimirov
Рет қаралды 48
Теорема Гёделя о (не)полноте
1:23:36
Теорема Гёделя о (не)полноте
Маткульт-привет! :: Алексей Савватеев и Ко
Рет қаралды 89 М.
Girl, dig gently, or it will leak out soon.#funny #cute #comedy
00:17
Girl, dig gently, or it will leak out soon.#funny #cute #comedy
Funny daughter's daily life
Рет қаралды 64 МЛН
Russian soldier catches Ukraine FPV drone with his bare hands and runs with it
00:37
Russian soldier catches Ukraine FPV drone with his bare hands and runs with it
Mail News
Рет қаралды 10 МЛН
Teaching a Toddler Household Habits: Diaper Disposal & Potty Training #shorts
00:16
Teaching a Toddler Household Habits: Diaper Disposal & Potty Training #shorts
Fabiosa Stories
Рет қаралды 5 МЛН
when you have plan B 😂
00:11
when you have plan B 😂
Andrey Grechka
Рет қаралды 64 МЛН
42 Про неклассические логики вообще
51:08
42 Про неклассические логики вообще
Sawa Kazimirov
Рет қаралды 378
12. Теорема Пуанкаре - Перельмана
11:28
12. Теорема Пуанкаре - Перельмана
ЦИТМ Экспонента
Рет қаралды 541 М.
Гипотеза Римана - Numberphile на русском.
16:41
Гипотеза Римана - Numberphile на русском.
Tomato Scientist
Рет қаралды 74 М.
7 ПАРАДОКСОВ БЕСКОНЕЧНОСТИ
36:02
7 ПАРАДОКСОВ БЕСКОНЕЧНОСТИ
Mathin
Рет қаралды 771 М.
Константы: 7 чисел, управляющие миром | LAPLAS
21:41
Константы: 7 чисел, управляющие миром | LAPLAS
Высшая математика | LAPLAS
Рет қаралды 46 М.
✓ Основная теорема арифметики | Ботай со мной #015 | Борис Трушин
19:12
✓ Основная теорема арифметики | Ботай со мной #015 | Борис Трушин
Борис Трушин
Рет қаралды 189 М.
Что такое теоремы Гёделя о неполноте и зачем они нужны? Душкин объяснит
13:16
Что такое теоремы Гёделя о неполноте и зачем они нужны? Душкин объяснит
Душкин объяснит
Рет қаралды 18 М.
Звуковые иллюзии, которые работают на всех (почти) [Veritasium]
23:25
Звуковые иллюзии, которые работают на всех (почти) [Veritasium]
Vert Dider
Рет қаралды 284 М.
40 Генценовское исчисление
36:53
40 Генценовское исчисление
Sawa Kazimirov
Рет қаралды 249
Самая большая проблема в математике (величайший кризис в математике)
30:33
Самая большая проблема в математике (величайший кризис в математике)
Science-Reality
Рет қаралды 16 М.
Girl, dig gently, or it will leak out soon.#funny #cute #comedy
00:17
Girl, dig gently, or it will leak out soon.#funny #cute #comedy
Funny daughter's daily life
Рет қаралды 64 МЛН