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 […]
Memorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch, and Singer
In 2021, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include Edward Witten, Lydia Bieri, Simon Donaldson, Michael Freedman, Dan Freed, and many more. Videos of these talks can be found in this Youtube playlist. https://youtu.be/vb_JEhUW9t4 […]
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