Seminars & Colloquia Calendar
Teaching mathematics with formal assistance
Heather Macbeth (Fordham U.)
Location: Hill Center Room 705
Date & time: Wednesday, 20 April 2022 at 3:30PM - 4:30PM
Abstract: Interactive proof assistants (such as Coq, Isabelle and Lean) feature a formal language for expressing mathematical statements, and collections of "tactics" for building proofs of these statements, down to the axioms. In addition to their potential research application, these systems hold great promise for making mathematics teaching more rigorous.
I will discuss experiments in using the system Lean as an optional supplement to undergraduate mathematics teaching, in real analysis and more recently in intro-to-proof. I will particularly consider the question of how to minimize the difference between the mainstream and formal parts of a course: by careful selection of subject matter, by custom automation of common argument types, and by encouraging particular stylistic patterns in both informal and formal proof.
R. Shapiro Organizer's Page
Eilidh McKemmie -Charles Weibel Organizer's Page
Narek Hovsepyan and Ewerton Rocha Vieira Organizer's page
Ziming Shi, Sagun Chanillo, Xiaojun Huang, Chi Li, Jian Song Seminar website Old seminar website
Sepehr Assadi Seminar webpage
Jeffry Kahn, Bhargav Narayanan, Jinyoung Park Organizer's webpage
Robert Dougherty-Bliss and Doron Zeilberger --> homepage
Paul Feehan, Daniel Ketover, Natasa Sesum Organizer's webpage
Lev Borisov, Emanuel Diaconescu, Angela Gibney, Nicolas Tarasca, and Chris Woodward Organizer's webpage
Hong Chen Seminar webpage
Fanxin Wu and Nkhalo Malawo Organizer's website
James Holland; Organizer website
Organizers: Maxime Van de Moortel and Avy Soffer. Organizer's Page
Yanyan Li, Zheng-Chao Han, Jian Song, Natasa Sesum Organizer's Webpage
Organizer: Luochen Zhao
Yanyan Li, Zheng-Chao Han, Natasa Sesum, Jian Song Organizer's Page
Lisa Carbone, Yi-Zhi Huang, James Lepowsky, Siddhartha Sahi Organizer's webpage
Simon Thomas website
Kasper Larsen, Daniel Ocone and Kim Weston Organizer's page
Joel Lebowitz, Michael Kiessling
Yanyan Li, Dennis Kriventsov Organizer's Webpage
Alex V. Kontorovich, Vlada Sedláček seminar website
Stephen D. Miller
Organizers: Yanyan Li, Z.C. Han, Jian Song, Natasa Sesum
Kristen Hendricks, Xiaochun Rong, Hongbin Sun, Chenxi Wu Organizer's page
Fioralba Cakoni Seminar webpage
Organizer's webpage: Organizer's webpage
For information on the Statistical Mechanics Conference, visit HERE
- Show events from all categories
Special Note to All Travelers
Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.
Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.