Теорема Гёделя. Почти строгое доказательство!

Как же хочется поскорее разобрать основную идею доказательства... Но сначала нам предстоит понять что общего между высказываниями, числами и формальными системами, а также зачем одно переводить в другое! (пожалуйста, не спрашивайте когда будет следующая часть)

Книга Ньюмена и Нагеля: https://www.amazon.com/G%C3%B6dels-Pr...

Книга Мендельсона: https://www.routledge.com/Introductio...

ссылка про формальные системы: https://cs.lmu.edu/~ray/notes/formals...

Таймкоды:
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 Финальные выводы

#Гедель #логика #парадокс