I. Основания математики: теория множеств vs. теория типов
Фрагмент лекции (без вопросов и обсуждения) Льва Ламберова «I. Основания математики: теория множеств vs. теория типов» (8 февраля 2022 г.) из раздела «Современный теоретико-типовой подход к основаниям математики» курса "История и философия науки" для слушателей Института переподготовки и повышения квалификации Уральского федерального университета им. первого Президента России Б.Н.Ельцина.

▶︎
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1

▶︎
Комплексные числа: коротко и понятно – Алексей Савватеев | Лекции по математике | Научпоп

▶︎
Теоремы Гёделя о неполноте
![Почему простые числа образуют спирали? [3Blue1Brown]](https://i.ytimg.com/vi/DxntHp7-wbg/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAImzbW2ot1mwoGgtrG_G0zI7-zxA)
▶︎
Почему простые числа образуют спирали? [3Blue1Brown]

▶︎
Математика без оснований, но с философией

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

▶︎
Теория групп. Лекция 1 (Алексей Савватеев)

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

▶︎
ACADEMICIAN LEV BEKLEMISHEV: MATHEMATICAL LOGIC IS A BRIDGE BETWEEN MATHEMATICS AND THE HUMANITIES
![Как мнимые числа спасли математику [Veritasium]](https://i.ytimg.com/vi/xJR8oL7UtQY/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLAgVAmMLzwCjMMy6PT7Fe4HJy3JEQ)
▶︎
Как мнимые числа спасли математику [Veritasium]

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

▶︎
Set Theory: Logic, Formalism, and Crisis

▶︎
В чем удивительная красота гармонического ряда? // Vital Math

▶︎
ФИНКЕЛЬБЕРГ. ГОМОЛОГИИ
![Мнимые числа реальны: #1-13 [Welch Labs]](https://i.ytimg.com/vi/kicp_odjsRs/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDj-5D1_EAX-UoFsnOXjh4Q359pOg)
▶︎
Мнимые числа реальны: #1-13 [Welch Labs]
![Измерение объективной степени случайности конечного набора точек [1] // Владимир Арнольд](https://i.ytimg.com/vi/Wpi06vIdrzc/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4FgAKwA4oCDAgAEAEYZSBVKFMwDw==&rs=AOn4CLCSrc8xMhOKM5KXAtWUll3Ws_5kow)
▶︎
Измерение объективной степени случайности конечного набора точек [1] // Владимир Арнольд

▶︎
Математика и Теория игр вокруг нас (Рига)

▶︎
Ты живешь БЛАГОДАРЯ МАТЕМАТИКЕ! И вот почему! / Редакция.Наука

▶︎
