Математическая логика и теория алгоритмов 13. Теорема Гёделя о неполноте

Uploaded By: Myvideo

Published on

6 Jun 2025

98 views

0

0 votes

0

About Share Download Add to

Таймкоды: 0:00 - Выводимость в арифметике, вывод коммутативности сложения 24:34 - Доказуемые формулы 29:50 - Теорема Гёделя (б/д) 31:21 - Теорема Тарского 50:30 - Непосредственно доказательство теорем Гёделя и Тарского 1:09:08 - Теорема Гёделя-Россера 1:10:13 - Вторая теорема Гёделя 1:12:05 - Колмогоровская сложность Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Алексей Чегодаев Монтажёр: Алексей Чегодаев Плейлист:

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/Wmw3Z3ZWN21mUEI5NVd5SHJCeDhZRTF1Q1huaTdMYzkvN2cyODJhbk95TT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

n8n: Think (нода) заставит ИИ Агента думать и превращает в гениального AI помощника

4 hours ago

00:19:07

n8n: Think (нода) заставит ИИ Агента думать и превращает в гениального AI помощника

9 38%

Что если Вселенная это лишь код

2 days ago

01:25:50

Что если Вселенная это лишь код

21 13%

Решение задач из ВПР по математике 5 класс, задача 5. Объяснение решения задач.

5 days ago

00:13:07

Решение задач из ВПР по математике 5 класс, задача 5. Объяснение решения задач.

6 39%

Готовая презентация для дошкольного и младшего школьного возраста Помоги котёнку

6 days ago

00:00:33

Готовая презентация для дошкольного и младшего школьного возраста Помоги котёнку

0 8%

ШБ Два вида атеистического мышления. О чудесах Божества Нарасимхадева ()

1 week ago

00:59:01

ШБ Два вида атеистического мышления. О чудесах Божества Нарасимхадева ()

182 58%

Книга Пираты

2 weeks ago

00:05:10

Книга Пираты

15 54%

Основание Cезон 3 Cерия 5 DUB

2 weeks ago

00:43:49

Основание Cезон 3 Cерия 5 DUB

759 36%

ТК - Осень

2 weeks ago

00:02:14

ТК - Осень

40 88%

Игра Геометрические фигуры для малышей

2 weeks ago

00:06:32

Игра Геометрические фигуры для малышей

1 67%

R-Zero: Self-Evolving Reasoning LLM from Zero Data

2 weeks ago

00:06:26

R-Zero: Self-Evolving Reasoning LLM from Zero Data

0 44%

Быстрое нахождение корней экспертом ЕГЭ Как правильно решать тригонометрические уравнения Задача из Сканави sinх10 cosх10 29 64

2 weeks ago

00:19:35

Быстрое нахождение корней экспертом ЕГЭ Как правильно решать тригонометрические уравнения Задача из Сканави sinх10 cosх10 29 64

113 5%

Круги на полях: Загадка, Которую Могут Разгадать

2 weeks ago

00:41:48

Круги на полях: Загадка, Которую Могут Разгадать

52 20%

Раскрыто ПРЕДНАЗНАЧЕНИЕ пирамиды Хеопса. Пирамиды это не гробницы / Загадки Истории Человечества

2 weeks ago

00:31:14

Раскрыто ПРЕДНАЗНАЧЕНИЕ пирамиды Хеопса. Пирамиды это не гробницы / Загадки Истории Человечества

2.8K 95%

Знаем ли мы числа | Полина Леончик | Математический слэм

3 weeks ago

00:18:20

Знаем ли мы числа | Полина Леончик | Математический слэм

4 29%

Решение задач из ВПР по математике 5 класс, задача 3. Объяснение решения задач.

3 weeks ago

00:09:34

Решение задач из ВПР по математике 5 класс, задача 3. Объяснение решения задач.

32 16%

Решение задачи из сборника Турчина 2500: Автомобиль проехал и вернулся с разгрузкой (с пошаговым объяснением)

3 weeks ago

00:05:38

Решение задачи из сборника Турчина 2500: Автомобиль проехал и вернулся с разгрузкой (с пошаговым объяснением)

3 11%

Математический вызов: разбор начинается!

4 weeks ago

00:03:43

Математический вызов: разбор начинается!

2.1K 82%

TeachTouch R2: приложения из раздела Образовательные

4 weeks ago

00:27:38

TeachTouch R2: приложения из раздела Образовательные

34 75%

5. От Мышления к Вычислению. От Понятия к Классу

1 month ago

00:15:06

5. От Мышления к Вычислению. От Понятия к Классу

169 38%

Решение задач из ВПР по математике 5 класс, задача 4. Объяснение решения задач

1 month ago

00:09:50

Решение задач из ВПР по математике 5 класс, задача 4. Объяснение решения задач

13 38%

Решение задач из ВПР по математике 5 класс, задача 2. Объяснение решения задач.

1 month ago

00:05:13

Решение задач из ВПР по математике 5 класс, задача 2. Объяснение решения задач.

5 61%

Сделаны в России. Метафорический неурок.

1 month ago

00:35:03

Сделаны в России. Метафорический неурок.

1.1K 69%

Пифагорейцы первая математическая секта

2 months ago

00:14:39

Пифагорейцы первая математическая секта

446 93%

Как тренировки тела тренируют эмоции Новое поколение фитнеса экономит время и деньги на психолога

2 months ago

00:07:04

Как тренировки тела тренируют эмоции Новое поколение фитнеса экономит время и деньги на психолога

9 75%

0 Comments

Guest