Теоремы Гёделя о неполноте
Фрагмент лекции (без вопросов и обсуждения) Льва Ламберова «Теоремы Гёделя о неполноте» (2 декабря 2021 г.) из курса «Множества, типы, вычисления» для студентов Уральского гуманитарного института Уральского федерального университета им. первого Президента России Б.Н.Ельцина. Направление подготовки: 45.03.04 Интеллектуальные системы в гуманитарной сфере.

▶︎
I. Основания математики: теория множеств vs. теория типов

▶︎
Самая большая проблема в математики (величайший кризис в математики)
![Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]](https://i.ytimg.com/vi/Nc8Pxx24f-k/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLCFkkknu7luvpJdSHJxnZ4a4cpB9w)
▶︎
Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]

▶︎
Теорема Гёделя, часть 1. Нежное введение и основные понятия.
![Измерение объективной степени случайности конечного набора точек [1] // Владимир Арнольд](https://i.ytimg.com/vi/Wpi06vIdrzc/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4FgAKwA4oCDAgAEAEYZSBVKFMwDw==&rs=AOn4CLCSrc8xMhOKM5KXAtWUll3Ws_5kow)
▶︎
Измерение объективной степени случайности конечного набора точек [1] // Владимир Арнольд

▶︎
НЕПЛАТЕЖИ 9 ТРИЛЛИОНОВ/ КАТАСТРОФА С БЮДЖЕТОМ/ ВПК НАЧАЛ ТОРМОЗИТЬ/ НАБИУЛЛИНА В УЖАСЕ. Милов

▶︎
Математик объясняет теорему неполноты Гёделя | Эдвард Френкель и Лекс Фридман

▶︎
4 закона логики | Дмитрий Гусев

▶︎
АКСИОМА ВЫБОРА: Математика нестрогая наука?

▶︎
Беседы о логике. Часть 1 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

▶︎
Вот что происходит, когда гамма-фотон СОЗДАЕТ электрон и позитрон из ничего.

▶︎
Теорема Гёделя // Алексей Сосинский
![Совершенно иной подход к математике [Veritasium]](https://i.ytimg.com/vi/6F3iVO01Ul4/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLBhqwlnHPi9RDFR_EU61FFhEYN8Vw)
▶︎
Совершенно иной подход к математике [Veritasium]

▶︎
Frequency Of God 963 Hz ✨ Attract Miracles, Divine Blessings & Deep Inner Peace In Your Life

▶︎
Об истории обобщенных функций // Владимир Арнольд

▶︎
Can the Entire Universe Be Described by a Single Theory? — Semikhatov, Musaev

▶︎
Колмогоров и Арнольд // Владимир Тихомиров

▶︎
Теорема Геделя - Философские проблемы физики и математики

▶︎
