Math Encounters
Math Encounters is MoMath’s popular free public presentation series celebrating the spectacular world of mathematics. This program is funded by Simons Foundation International and administered by the Simons Foundation’s Science, Society & Culture division. For further information, call the National Museum of Mathematics at 212-542-0566 or email mathencounters@momath.org.
Upcoming presentation
“You Want Proof? I’ll Give You Proof! Mathematical Arguments from Euclid to Lean”
featuring Jeremy Avigad
Wednesday, November 6
Presentations at 4:00 pm and 7:00 pm
(in person)
Although proof has been central to mathematics from ancient times, our understanding of what a proof is has evolved through the years. In the seventeenth century, Isaac Newton proved things about infinitely small quantities; two hundred years later, Georg Cantor proved things about quantities that infinitely large. Some proofs rely on calculations that are too long to carry out by hand; some collaborative proofs are too large to be understood by any one person; and now, we can even write proofs that a computer — or AI — can understand and evaluate. Join Jeremy Avigad, Professor of Philosophy and Professor of Mathematical Sciences at Carnegie Mellon University, as you experiment with contemporary proof-checking technology and explore recent developments that challenge our understanding of mathematical proof.
Special introduction by Alex Kontorovich, Professor of Mathematics, Rutgers University.
Light refreshments will be served.
Math Encounters is MoMath’s popular free public presentation series celebrating the spectacular world of mathematics. This program is funded by Simons Foundation International and administered by the Simons Foundation’s Science, Society & Culture division.
Register to attend
Photography notice
By registering for a Math Encounters presentation, you acknowledge that you may be photographed or videotaped by Museum staff and associates and agree to abide by the MoMath General Policies for Events and Photograph Release.
Books by the speakers
We are happy to offer books edited or authored by Math Encounters speakers through our online shop.
Math Encounters available on YouTube and DVD
Math Encounters presentations are generally posted to our YouTube page within one to two months of filming. Due to copyright issues, some presentations may not be reproduced on the internet. Presentations posted online are also available for purchase via our online shop. Click here to purchase yours today!
Math Encounters is MoMath’s popular free public presentation series celebrating the spectacular world of mathematics. This program is funded by Simons Foundation International and administered by the Simons Foundation’s Science, Society & Culture division.
Please note that all children under the age of 16 must be accompanied by an adult.