The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
Профессор Ю.Н. Харари: угрозы и риски ИИ в будущем (Давос 2026)
ЛЕКЦИЯ ПРО НАДЁЖНЫЕ ШИФРЫ НА КОНФЕРЕНЦИИ БАЗОВЫХ ШКОЛ РАН В ТРОИЦКЕ
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
The Life of Alexander Grothendieck & Topos Theory | Colin McLarty
01 Course Introduction
The Langlands Program - Numberphile
F. William Lawvere - Categorical Dynamics Revisited
F. William Lawvere - Dialectic of the Continuous and Discrete
Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман
Eugenia Cheng: Distributive laws for Lawvere theories
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
Does Infinite Cardinal Arithmetic Resemble Number Theory? - Menachem Kojman
F. William Lawvere - What is a Space?
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Морфогенетические поля
Почему Питер Шольце — математик, каких бывает раз в поколение?
Lecture 1: Invitation to topos theory
Josh Lalonde - Dialectical Mathematics: Lawvere and Hegel • CaCS22
Теория категорий для начинающих: Введение