Гёдель и антигёдель: о граничных условиях теорем Гёделя о неполноте // Лев Беклемишев / ЛШСМ 2023

Uploaded By: Myvideo

Published on

6 Aug 2023

5,014 views

0

0 votes

0

About Share Download Add to

Я обсужу (без подробных доказательств) теоремы Гёделя о неполноте и попробую рассказать об некоторых примерах формальных теорий, в которых можно сформулировать и доказать утверждение о собственной непротиворечивости. В последнее время появились новые интересные примеры такого рода, но, разумеется, все они в той или иной степени экзотические. Беклемишев Лев Дмитриевич — доктор физико-математических наук, академик РАН. Летняя школа «Современная математика», г. Дубна 27 июля 2023 г.

Share with your friends

Link:

Embed:

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

Заменит ли Искусственный Интеллект Человека / Технологическая Сингулярность / Плюс Наука #1

3 months ago

03:22:02

Заменит ли Искусственный Интеллект Человека / Технологическая Сингулярность / Плюс Наука #1

1 55%

Могут ли чёрные дыры стать нашими машинами времени

3 months ago

03:47:45

Могут ли чёрные дыры стать нашими машинами времени

1 81%

Провокация смысла 2. Главная битва

3 months ago

01:21:54

Провокация смысла 2. Главная битва

1 65%

ОТ САМОРАЗРУШЕНИЯ К САМОРАЗВИТИЮ_ЗанятиеГруппа 2024.4

4 months ago

00:00:00

ОТ САМОРАЗРУШЕНИЯ К САМОРАЗВИТИЮ_ЗанятиеГруппа 2024.4

3 69%

Л.Д.Беклемишев. Логика и топология: родственные связи (ЛШСМ-2024)

5 months ago

01:19:50

Л.Д.Беклемишев. Логика и топология: родственные связи (ЛШСМ-2024)

1 58%

НАУКА И РЕЛИГИЯ, АТЕИСТЫ и УШИ БОГА // ВЫЗЫВАЙТЕ ДОКТОРА! АЛЕКСЕЙ САВВАТЕЕВ

5 months ago

00:57:17

НАУКА И РЕЛИГИЯ, АТЕИСТЫ и УШИ БОГА // ВЫЗЫВАЙТЕ ДОКТОРА! АЛЕКСЕЙ САВВАТЕЕВ

1 29%

#17 Арсений Якунин. Сила в правде! А что есть правда...

6 months ago

01:54:00

#17 Арсений Якунин. Сила в правде! А что есть правда...

1 63%

НЕЙРОБИОЛОГ | Владимир Алипов | Авторитет Мысли (AM podcast #155)

6 months ago

03:50:56

НЕЙРОБИОЛОГ | Владимир Алипов | Авторитет Мысли (AM podcast #155)

1 35%

Чего мы не знаем о мозге. Татьяна Черниговская

6 months ago

00:09:40

Чего мы не знаем о мозге. Татьяна Черниговская

1 9%

Андрей Мычка (Райффайзен Банк) Монады в Java за 20 минут

7 months ago

00:44:27

Андрей Мычка (Райффайзен Банк) Монады в Java за 20 минут

1 10%

Как можно сломать теорию множеств за 900 секунд

7 months ago

00:17:27

Как можно сломать теорию множеств за 900 секунд

1 59%

204 Сергей Жариков - Joёl Bastenaire (Мар 2024)

8 months ago

00:52:01

204 Сергей Жариков - Joёl Bastenaire (Мар 2024)

1 7%

Теорема Гёделя о (не)полноте

9 months ago

01:23:36

Теорема Гёделя о (не)полноте

1 19%

ХОВАНСКИЙ И САВВАТЕЕВ: Проблемы онлайн-образования в РФ, Дугин, Ильин, ФБК Предатели

9 months ago

01:58:31

ХОВАНСКИЙ И САВВАТЕЕВ: Проблемы онлайн-образования в РФ, Дугин, Ильин, ФБК Предатели

2 65%

Стрим-дискуссия: Кагарлицкий-негр и как делают дипфейки. Про ИИ (Катунцев vs Ярский)

9 months ago

04:09:51

Стрим-дискуссия: Кагарлицкий-негр и как делают дипфейки. Про ИИ (Катунцев vs Ярский)

1 65%

Путешествие в Мир Квантов: ТОК В ПРОВОДНИКЕ - Исследование Феномена

9 months ago

00:16:00

Путешествие в Мир Квантов: ТОК В ПРОВОДНИКЕ - Исследование Феномена

1 17%

Введение в философию ненасильственного развития. Монография. Острецов И.Н. Аудиокнига.

10 months ago

09:06:50

Введение в философию ненасильственного развития. Монография. Острецов И.Н. Аудиокнига.

1 95%

Курт Гёдель

10 months ago

00:14:17

Курт Гёдель

1 86%

Определение себя. Что такое сознание // Искусственный интеллект

10 months ago

01:56:02

Определение себя. Что такое сознание // Искусственный интеллект

1 59%

Вассерман в гостях у Маргинала и Каргина

11 months ago

02:54:15

Вассерман в гостях у Маргинала и Каргина

1 83%

Себрант о цифровой диктатуре, трансгуманизме, сверхинтеллекте и мастридах. Книжный чел #16

12 months ago

00:55:54

Себрант о цифровой диктатуре, трансгуманизме, сверхинтеллекте и мастридах. Книжный чел #16

1 12%

Беседы о логике: часть 2 беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

1 year ago

01:04:17

Беседы о логике: часть 2 беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

11 18%

Знакомство с теорией моделей. Лекция в New Zeon от

1 year ago

01:58:06

Знакомство с теорией моделей. Лекция в New Zeon от

1 5%

Вера в Бога. Христианство. Православие. Эфир и презентация на тему Религия, философия, наука.

1 year ago

02:53:01

Вера в Бога. Христианство. Православие. Эфир и презентация на тему Религия, философия, наука.

1 78%

0 Comments

Guest