Math Encounters

Math Encounters is MoMath’s popular free public presentation series celebrating the spectacular world of mathematics, produced with support from Simons Foundation International.  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 mathematial proof.

Special introduction by Alex Kontorovich, Professor of Mathematics, Rutgers University.

Math Encounters is MoMath’s popular free public presentation series celebrating the spectacular world of mathematics, produced with support from Simons Foundation International.  Light refreshments will be served.

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!

Presented by Simons Foundation International and the National Museum of Mathematics.

Please note that all children under the age of 16 must be accompanied by an adult.