Gabriel Ebner (Aug 28 2020 at 10:31):
I've just received this and I haven't seen this posted here yet. I'm not sure if the talk mentions Lean at any point, but maybe you'll find it interesting nevertheless.
As coorganizers, Sneha and I would like to extend our warmest invitation to you all for our next (eighth) talk in the Mathematics Seminar Series on September 1, 2020, Tuesday from 17:30 to 18:30 hours IST. Our speaker for this talk is Prof. Jeremy Avigad who is Professor of Philosophy with an appointment in the Department of Mathematical Sciences at Carnegie Mellon University, United States. His talk is titled "The History of Dirichlet’s Theorem on Primes in an Arithmetic Progression”. It is my understanding that Prof. Avigad will touch upon both mathematical and philosophical aspects of this important number theory theorem. Please find the talk's abstract and a brief bio of Jeremy Avigad is in the poster below. Finally, for the sake of drumming some further interest (!), next below are the two articles referenced in his bio.
"The Mechanization of Mathematics": https://www.ams.org/journals/notices/201806/rnoti-p681.pdf
"Principia. Is it possible that, in the new millennium, the mathematical method is no longer fundamental to philosophy?":
Looking forward to seeing you all on Tuesday, and I’m really excited about this talk! Stay safe, stay sane!
Date and Time: Tuesday, September 1, 17:30 to 18:30 hours IST (Vienna time; local times here)
Title: The History of Dirichlet’s Theorem on Primes in an Arithmetic Progression
Abstract: Please see poster below
Zoom meeting link: https://zoom.us/j/94670346653?pwd=UFVuRmRIZVlGbm5HSkE5Ymp4WFlDUT09
Other notes: The organizers wish to request potential attendees to please download Zoom for your platform from https://zoom.us/download well ahead of time. Please also consider registering at https://zoom.us/signup for attending this talk though this is not required.
BYOB/Bring your own beverage!
Jeremy Avigad (Aug 28 2020 at 14:33):
The talk won't have anything to do with Lean (except to the extent that everything has something to do with Lean), but it's a nice story about 19th century mathematics. Be careful, IST is between most time zones; for example, I'll be lecturing at 8am EST.
Gabriel Ebner (Aug 28 2020 at 14:39):
Thanks for pointing this out! I thought IST referred to something completely different than a timezone...
Last updated: May 10 2021 at 23:11 UTC