Math Encounters: "You Want Proof? I'll Give You Proof! Mathematical Arguments from Euclid to Lean" featuring Jeremy Avigad — Wednesday, November 6 at 4:00 pm

Math Encounters:
"You Want Proof?  I'll Give You Proof!  Mathematical Arguments from Euclid to Lean"

featuring Jeremy Avigad

Wednesday, November 6
4:00 pm to 5:30 pm

(in person)

Although proof has been central to mathematics from ancient times, our understanding of what a proof is has evolved in interesting ways.  In the 17th century, Isaac Newton proved things about quantities that are infinitely small while in the 19th century, Georg Cantor proved things about quantities that are infinitely large.  Some proofs rely on calculations that are too long to carry out by hand, whereas there are collaborative proofs that are too large to be understood by any one person.  Now, we can even write proofs in such a way that a computer can understand them and determine whether or not they are correct — and, by the way, so can AI!  Join Jeremy Avigad, Professor of Philosophy and Professor of Mathematical Sciences at Carnegie Mellon University, in an exploration of recent developments that challenge our understanding of mathematical proof.  You’ll even get to experiment yourself with contemporary proof-checking technology.

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.

When
November 6th, 2024 from  4:00 pm to  5:30 pm
Location
225 Fifth Avenue
New York, NY 10010
United States
Contact
Phone: 212-542-0566