Как же хочется поскорее разобрать основную идею доказательства... Но сначала нам предстоит понять что общего между высказываниями, числами и формальными системами, а также зачем одно переводить в другое! (пожалуйста, не спрашивайте когда будет следующая часть)
Книга Ньюмена и Нагеля: ödels-Proof-Ernest-Nagel/dp/0814758371
Книга Мендельсона:
ссылка про формальные системы: ~ray/notes/formalsystems/
Таймкоды:
00:00 Мы начинаем!
2:28 Предисловие (изоморфизм и структуры)
7:13 Языки и формальные системы
11:13 Кодирование и типы высказываний
15:16 Противоречия, полнота и выводимость
19:21 Арифметика и теория множеств
26:47 Формальные системы с арифметикой
31:58 Логические пояснения
33:48 Высказывания и числа
43:25 Метаматематика и доказательства
53:58 План доказательства
57:01 Поясняем шаги!
1:09:13 Ф
1 view
1315
406
2 months ago 03:22:02 1
Заменит ли Искусственный Интеллект Человека? / Технологическая Сингулярность / Плюс Наука #1
2 months ago 03:47:45 1
Могут ли чёрные дыры стать нашими “машинами времени“? 🚀
2 months ago 01:21:54 1
Провокация смысла 2. Главная битва
4 months ago 00:00:00 3
ОТ САМОРАЗРУШЕНИЯ К САМОРАЗВИТИЮ_ЗанятиеГруппа 2024.4
4 months ago 01:19:50 1
Л.Д.Беклемишев. Логика и топология: родственные связи (ЛШСМ-2024)
4 months ago 00:57:17 1
НАУКА И РЕЛИГИЯ, АТЕИСТЫ и “УШИ БОГА” // ВЫЗЫВАЙТЕ ДОКТОРА! — АЛЕКСЕЙ САВВАТЕЕВ
5 months ago 01:54:00 1
#17 Арсений Якунин. Сила в правде! А что есть правда...?
5 months ago 03:50:56 1
НЕЙРОБИОЛОГ | Владимир Алипов | Авторитет Мысли (AM podcast #155)
6 months ago 00:30:33 1
Самая большая проблема в математике (величайший кризис в математике)
8 months ago 01:23:36 1
Теорема Гёделя о (не)полноте
8 months ago 04:09:51 1
Стрим-дискуссия: Кагарлицкий-негр и как делают дипфейки. Про ИИ (Катунцев vs Ярский)
9 months ago 00:16:00 1
“Путешествие в Мир Квантов: «ТОК В ПРОВОДНИКЕ» - Исследование Феномена“
9 months ago 09:06:50 1
«Введение в философию ненасильственного развития». Монография. Острецов И.Н. Аудиокнига.
9 months ago 01:56:02 1
Определение себя. Что такое сознание? // Искусственный интеллект
10 months ago 02:54:15 1
Вассерман в гостях у Маргинала и Каргина
1 year ago 00:16:24 1
🔘 Рационализм / Философия / Кратко #Рационализм #РенеДекарт #БарухСпиноза #Лейбниц #InnaBesedina
1 year ago 02:13:12 1
Олег Ильев. Что такое теорема Гёделя о неполноте с точки зрения физика?
1 year ago 00:01:55 1
Вселенная это форма сознания.
1 year ago 00:42:11 1
О квантовой физике, мозге, теореме Геделя и судах присяжных. Алексей Редозубов (2015)
1 year ago 00:25:15 1
Лекция 118. Скрябин. Прелюдии, опус 16. Окончание. | Композитор Иван Соколов о музыке.
1 year ago 01:11:18 1
Теорема Гёделя. Почти строгое доказательство!
1 year ago 00:25:58 1
Петля Мёбиуса и Теорема Гёделя #математикаИкосмос #Гарат #школаСорадение #ЛентаМёбиуса