39. Введение в теорему Гёделя о неполноте

Uploaded By: Myvideo

Published on

28 Nov 2024

1 view

0

0 votes

0

About Share Download Add to

1:51 - еще раз про формальные языки 5:50 - описание языка арифметики 7:37 - запись нумералов 9:43 - термы и предикаты 11:35 - формулы 13:00 - аксиомы арифметики Пеано 31:55 - о программе Гильберта 34:11 - парадокс лжеца 37:15 - парадокс брадобрея 37:43 - парадокс прилагательных 41:51 - доказуемость и истинность 45:16 - суть теоремы Геделя 53:42 - план доказательства теоремы Геделя

Share with your friends

Link:

Embed:

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

Как исчезнуть, чтобы ПРЕОБРАЗИТЬ СЕБЯ НАВСЕГДА

5 days ago

00:17:17

Как исчезнуть, чтобы ПРЕОБРАЗИТЬ СЕБЯ НАВСЕГДА

1 64%

Идеальная Игра Чтобы Потерять Друзей - Gremlins Inc

5 days ago

00:19:17

Идеальная Игра Чтобы Потерять Друзей - Gremlins Inc

1 51%

Главный миф экономики. Свободный рынок

7 days ago

00:38:37

Главный миф экономики. Свободный рынок

1 39%

Как подключить VPN через WI-FIна XBOX Series S/Xзапускаем игры через облако / Cloud на Xbox и ПК

1 week ago

00:07:17

Как подключить VPN через WI-FIна XBOX Series S/Xзапускаем игры через облако / Cloud на Xbox и ПК

1 57%

Главное условие счастья в отношениях! / Подкаст Марка Ифраимова, Танит и Андрея Князя

2 weeks ago

01:10:06

Главное условие счастья в отношениях! / Подкаст Марка Ифраимова, Танит и Андрея Князя

1 76%

#746 Молекулярный деструктор, принцип работы. Инопланетные технологии переработки отходов. Гравиметр

2 weeks ago

01:06:12

#746 Молекулярный деструктор, принцип работы. Инопланетные технологии переработки отходов. Гравиметр

3 54%

АЛГОРИТМ ВЛАСТИ: Как BlackRock ЗАВЛАДЕЛ Миром

2 weeks ago

00:45:11

АЛГОРИТМ ВЛАСТИ: Как BlackRock ЗАВЛАДЕЛ Миром

1 14%

Кто убил СССР: называем поименно

2 weeks ago

00:54:09

Кто убил СССР: называем поименно

1 45%

ЕГЭ профиль | Практикум | Задание 18: Параметры начало

2 weeks ago

02:12:03

ЕГЭ профиль | Практикум | Задание 18: Параметры начало

1 9%

КАК VK УНИЧТОЖАЕТ СЕБЯ: Интерфейс, система партнёров, VK Видео и Роскомнадзор

2 weeks ago

00:26:07

КАК VK УНИЧТОЖАЕТ СЕБЯ: Интерфейс, система партнёров, VK Видео и Роскомнадзор

1 47%

Python - Полный Курс по Python 15 ЧАСОВ

3 weeks ago

15:41:56

Python - Полный Курс по Python 15 ЧАСОВ

1 22%

Фигма уроки: 50+ фишек Figma в 2023 (плагины, маски, шорткаты)

3 weeks ago

00:52:02

Фигма уроки: 50+ фишек Figma в 2023 (плагины, маски, шорткаты)

1 64%

#745 История Санкт-Петербурга. Энергетика города. Тайны статуй. Портал над Исаакиевским собором.

3 weeks ago

01:28:04

#745 История Санкт-Петербурга. Энергетика города. Тайны статуй. Портал над Исаакиевским собором.

1 10%

Семинар 3. МКЭ. Моделирование теплового состояния пластины с ГУ 1-го рода.

4 weeks ago

01:53:12

Семинар 3. МКЭ. Моделирование теплового состояния пластины с ГУ 1-го рода.

1 16%

React & ИНТЕРНЕТ МАГАЗИН С НУЛЯ. PERN stack PostgreSQL + express + React js +

2 months ago

02:39:26

React & ИНТЕРНЕТ МАГАЗИН С НУЛЯ. PERN stack PostgreSQL + express + React js +

1 84%

Росла в монастыре Сергия Романова и не могла уйти. Побои, манипуляции и ложь.Помолчим в кавычках #22

2 months ago

01:19:58

Росла в монастыре Сергия Романова и не могла уйти. Побои, манипуляции и ложь.Помолчим в кавычках #22

1 45%

Топология в Blender с Нуля. 20+ упражнений.

2 months ago

00:48:07

Топология в Blender с Нуля. 20+ упражнений.

1 21%

Бои в Курской области: тактика ВСУ | Юрий Кнутов

3 months ago

01:01:43

Бои в Курской области: тактика ВСУ | Юрий Кнутов

1 14%

СОЗЫВ Руководителей государств БРИКС Прямой ЭФИР в 17:17:17 МСК

3 months ago

00:55:05

СОЗЫВ Руководителей государств БРИКС Прямой ЭФИР в 17:17:17 МСК

1 7%

ПЕТР НАЛИЧ - первое интервью после долгого перерыва. Жизнь. Карьера. Любовь.

3 months ago

01:13:09

ПЕТР НАЛИЧ - первое интервью после долгого перерыва. Жизнь. Карьера. Любовь.

1 18%

РОДНЫЕ БРАТЬЯ НАСИЛОВАЛИ МНОГО ЛЕТ / ВОЗВРАЩЕНИЕ В НОРМАЛЬНУЮ ЖИЗНЬ. ПОМОЛЧИМ В КАВЫЧКАХ #21

3 months ago

01:39:18

РОДНЫЕ БРАТЬЯ НАСИЛОВАЛИ МНОГО ЛЕТ / ВОЗВРАЩЕНИЕ В НОРМАЛЬНУЮ ЖИЗНЬ. ПОМОЛЧИМ В КАВЫЧКАХ #21

1 93%

ЛУЧШИЙ ОБЗОР THE LEGEND OF ZELDA: ECHOES OF WISDOM

3 months ago

00:14:04

ЛУЧШИЙ ОБЗОР THE LEGEND OF ZELDA: ECHOES OF WISDOM

1 65%

Истоки Серии - Splinter Cell & Pandora Tomorrow

3 months ago

00:49:29

Истоки Серии - Splinter Cell & Pandora Tomorrow

1 54%

Как СПЕЦСЛУЖБЫ находят людей Метод ФСБ

3 months ago

00:12:13

Как СПЕЦСЛУЖБЫ находят людей Метод ФСБ

1 30%

0 Comments

Guest