Random Matrix & Probability Theory Seminar
Beginning immediately, until at least December 31, all seminars will take place virtually, through Zoom. In the 2020-2021 AY, the Random Matrix and Probability Theory Seminar will take place on select Wednesdays from 2:00 – 3:00pm virtually. This seminar is organized by Christian Brennecke (brennecke@math.harvard.edu ). To learn how to attend this seminar, please fill out this form. […]
Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL
https://youtu.be/LZMtQNdqtvc Speaker: Lawrence Paulson, University of Cambridge Computer Laboratory Title: Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL Abstract: Are proof assistants relevant to mathematics? One approach to this question is to explore the breadth of mathematical topics that can be formalised. The partition calculus was introduced by Erdös and R. Rado in 1956 […]
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 […]