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

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

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

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

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

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

Теоремы Гёделя о неполноте
▶︎

Теоремы Гёделя о неполноте

Почему простые числа образуют спирали? [3Blue1Brown]
▶︎

Почему простые числа образуют спирали? [3Blue1Brown]

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

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

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

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

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

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

Самая легендарная задача математических олимпиад // Vital Math
▶︎

Самая легендарная задача математических олимпиад // Vital Math

Совершенно иной подход к математике [Veritasium]
▶︎

Совершенно иной подход к математике [Veritasium]

ACADEMICIAN LEV BEKLEMISHEV: MATHEMATICAL LOGIC IS A BRIDGE BETWEEN MATHEMATICS AND THE HUMANITIES
▶︎

ACADEMICIAN LEV BEKLEMISHEV: MATHEMATICAL LOGIC IS A BRIDGE BETWEEN MATHEMATICS AND THE HUMANITIES

Как мнимые числа спасли математику [Veritasium]
▶︎

Как мнимые числа спасли математику [Veritasium]

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

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

Set Theory: Logic, Formalism, and Crisis
▶︎

Set Theory: Logic, Formalism, and Crisis

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

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

ФИНКЕЛЬБЕРГ. ГОМОЛОГИИ
▶︎

ФИНКЕЛЬБЕРГ. ГОМОЛОГИИ

Мнимые числа реальны: #1-13 [Welch Labs]
▶︎

Мнимые числа реальны: #1-13 [Welch Labs]

Измерение объективной степени случайности конечного набора точек [1] // Владимир Арнольд
▶︎

Измерение объективной степени случайности конечного набора точек [1] // Владимир Арнольд

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

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

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

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

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

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