Panel Discussion - The Role of Foundational Studies in Mathematics

The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics

The Continuum Hypothesis and the search for Mathematical Infinity, W. Hugh Woodin

Frank Calegari: 30 years of modularity: number theory since the proof of Fermat's Last Theorem

“The Continuum Hypothesis and the Search for Ultimate (Mathematical) Truth,” W. Hugh Woodin

ЛЕКЦИЯ ПРО НАДЁЖНЫЕ ШИФРЫ НА КОНФЕРЕНЦИИ БАЗОВЫХ ШКОЛ РАН В ТРОИЦКЕ

Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]

Infinite Necessity (Hugh Woodin) - Distinguished Lecture Series at UIC

The Langlands Program - Numberphile

Riehl, Bradley, Cheng, Dancstep, and Lugg: "Category theory outreach panel"

Can the Continuum Problem be Solved? - Menachem Magidor

Grothendieck's 1973 topos lectures - C. McLarty

How I became seduced by univalent foundations

ИИ - ЭТО ИЛЛЮЗИЯ ИНТЕЛЛЕКТА. Но что он такое и почему совершил революцию?

Hugh Woodin (Harvard University): Mathematical Truth and the Necessity of the Infinite

Орешник, ООН и Венесуэла: новая геополитическая реальность | Дмитрий Евстафьев

INCOMPLETENESS: The Proof and Paradox of Kurt Godel, Dr. Rebecca Goldstein, Harvard

17) Я и Карлсен

A Discussion of Artificial Intelligence with John Searle and Luciano Floridi

Does Infinite Cardinal Arithmetic Resemble Number Theory? - Menachem Kojman

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман