Введение в математическую логику 15. Программа Гильберта

Uploaded By: Myvideo

Published on

25 Aug 2024

7 views

0

0 votes

0

About Share Download Add to

00:00:00 - Начало 00:00:34 - Теорема Гёделя о неполноте 00:04:33 - Семантическая версия 00:08:27 - Утверждение о перечислимости множества выводимых формул 00:15:55 - Синтаксическая версия 00:27:09 - Пример арифметики Пеано 00:45:03 - Вычислимые функции без тотального вычислимого продолжения 01:07:04 - Вторая теорема о неполноте 01:17:56 - Теорема Гудстейна Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VmdiT2hEb2VlNDZwSjdtcjVlMlp6QTRoRkk4d2tLTTRzWTV2MVBmMHZ1RT0" 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

Bruce Kurtin Art Studio Тир Лист Правительств Civilization 6.

15 hours ago

01:23:27

Bruce Kurtin Art Studio Тир Лист Правительств Civilization 6.

3 24%

100 фишек в Blender, которые сэкономят тебе 100 часов. Часть 3.

16 hours ago

00:41:14

100 фишек в Blender, которые сэкономят тебе 100 часов. Часть 3.

18 91%

Ипотека под 2% и 2 миллиона приезжим: Есть ли будущее на Дальнем Востоке|

16 hours ago

00:23:29

Ипотека под 2% и 2 миллиона приезжим: Есть ли будущее на Дальнем Востоке|

223 94%

Введение в Послание к Колоссянам, Кол. 1:1-3 / Илья Скольжиков,

16 hours ago

00:17:33

Введение в Послание к Колоссянам, Кол. 1:1-3 / Илья Скольжиков,

1 26%

Сотрудниками Госавтоинспекции вводилось реверсивное движение на 1725 км автодороги Москва-Челябинск, в связи с дорожно-транспо

16 hours ago

00:00:29

Сотрудниками Госавтоинспекции вводилось реверсивное движение на 1725 км автодороги Москва-Челябинск, в связи с дорожно-транспо

1 82%

Как правильно хвалить и критиковать ребенка

16 hours ago

00:05:24

Как правильно хвалить и критиковать ребенка

1 40%

Новолуние 31 декабря, Январь 2025, оппозиция Марс и Плутон, первая неделя года | EREVICH

15 hours ago

00:17:40

Новолуние 31 декабря, Январь 2025, оппозиция Марс и Плутон, первая неделя года | EREVICH

44 87%

Сотрудники скорой помощи Бийска благодарят правительство региона за инициативу по введению дополнительных ежемесячных выплат для

18 hours ago

00:00:42

Сотрудники скорой помощи Бийска благодарят правительство региона за инициативу по введению дополнительных ежемесячных выплат для

32 8%

08 03 Денежное обращение 1721-1731 годов (Екатерина I и Петр II)

18 hours ago

00:24:20

08 03 Денежное обращение 1721-1731 годов (Екатерина I и Петр II)

6 91%

Курьeр

20 hours ago

01:43:19

Курьeр

1.4K 89%

Важные правила и изменения, а также мешок подарков 2025

21 hour ago

01:36:41

Важные правила и изменения, а также мешок подарков 2025

4 78%

Не жалуйтесь, если вам не повезло встречать Новый год на работе. Кто-то рискует встретить его в очереди на границе с Эстонией

21 hour ago

00:00:26

Не жалуйтесь, если вам не повезло встречать Новый год на работе. Кто-то рискует встретить его в очереди на границе с Эстонией

6 10%

Noena YumeshiroVtuber АСМР Добрый клоун хочет заставить вас улыбнуться!

21 hour ago

00:40:24

Noena YumeshiroVtuber АСМР Добрый клоун хочет заставить вас улыбнуться!

8 28%

Смысл обложки The Economist 2025. Шанс для России

22 hours ago

00:17:24

Смысл обложки The Economist 2025. Шанс для России

124 76%

Предсказания Симпсонов На 2025 ШОКИРУЮТ ВЕСЬ МИР!

22 hours ago

00:17:10

Предсказания Симпсонов На 2025 ШОКИРУЮТ ВЕСЬ МИР!

106 19%

AGAGRAD БЕЗУМНЫЙ АЙСБЕРГ MISIDE | ФАКТЫ, СЕКРЕТЫ, ТАЙНЫ, ПАСХАЛКИ

23 hours ago

00:25:01

AGAGRAD БЕЗУМНЫЙ АЙСБЕРГ MISIDE | ФАКТЫ, СЕКРЕТЫ, ТАЙНЫ, ПАСХАЛКИ

3 39%

CBC TV Azerbaijan Кобахидзе назвал санкции США наградой

23 hours ago

00:02:05

CBC TV Azerbaijan Кобахидзе назвал санкции США наградой

50 88%

ОСТЕОПАТИЯ ДУШИ ХВАТИТ СЕБЯ ЖАЛЕТЬ! / Медитация, которая ИЗБАВИТ вас от роли ЖЕРТВЫ

23 hours ago

00:24:13

ОСТЕОПАТИЯ ДУШИ ХВАТИТ СЕБЯ ЖАЛЕТЬ! / Медитация, которая ИЗБАВИТ вас от роли ЖЕРТВЫ

2 7%

Школа Призывника Военныи сборы школьников и студентов техникума

24 hours ago

00:04:32

Школа Призывника Военныи сборы школьников и студентов техникума

9 85%

Orlauf Larus беговая дорожка, превращающая ваш дом в фитнес-центр будущего!

24 hours ago

00:01:21

Orlauf Larus беговая дорожка, превращающая ваш дом в фитнес-центр будущего!

1 20%

Вступление Грузии в НАТО не имеет никакого отношения к самой стране

24 hours ago

00:00:27

Вступление Грузии в НАТО не имеет никакого отношения к самой стране

6.1K 10%

Orlauf Vultur беговая дорожка для домашних рекордов и уютных пробежек

1 day ago

00:00:57

Orlauf Vultur беговая дорожка для домашних рекордов и уютных пробежек

1 51%

Ирина Винер про Кабаеву, Путина, страх войны, политику в спорте, Россию, гимнасток и деньги.

1 day ago

00:54:03

Ирина Винер про Кабаеву, Путина, страх войны, политику в спорте, Россию, гимнасток и деньги.

108 71%

Orlauf Loon массажер, который превращает усталые ноги в счастливые

1 day ago

00:01:34

Orlauf Loon массажер, который превращает усталые ноги в счастливые

1 66%

0 Comments

Guest