CMSA Math-Science Literature Lecture: Isadore Singer’s Work on Analytic Torsion
Edward Witten (IAS) Title: Isadore Singer’s Work on Analytic Torsion Abstract: I will review two famous papers of Ray and Singer on analytic torsion written approximately half a century ago. Then I will sketch the influence of analytic torsion in a variety of areas of physics including anomalies, topological field theory, and string theory. This talk is […]
Type theory from the perspective of artificial intelligence
https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of artificial intelligence and cognitive science. From an artificial intelligence perspective it will be argued that type theory is central to defining the "game" of mathematics […]
CMSA Math-Science Literature Lecture: Quantum error correcting codes and fault tolerance
Peter Shor (MIT) Title: Quantum error correcting codes and fault tolerance Abstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments in the field. Talk chair: Zhengwei Liu Video