Video: Bohua Zhan, "Formalizations in set theory: challenges and opportunities"

Video From 23w5124: Formalization of Cohomology Theories

Bohua Zhan, Institute of Software, Chinese Academy of Sciences

Friday, May 26, 2023 09:30 - 10:30

Formalizations in set theory: challenges and opportunities

Bohua Zhan, Video: Formalizations in set theory: challenges and opportunities

Bohua Zhan, Formalizations in set theory: challenges and opportunities, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

presentation

mpeg4

61M

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305260930-Zhan.html

Download this video (61M)