Zulip Chat Archive

Stream: general

Topic: Hoskinson Center for Formal Mathematics

Charles Hoskinson (Sep 22 2021 at 18:08):

For everyone here: https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html contact Professor Avigad for more details

Jeremy Avigad (Sep 22 2021 at 18:54):

I am happy that Charles had the honor of making this announcement here. We are absolutely delighted. We made the announcement on campus yesterday to an audience that included deans, department heads, and trustees, and the excitement and enthusiasm for Lean and formal mathematics was wonderful. I am humbled by the opportunity.

Patrick Massot (Sep 22 2021 at 18:56):

This is amazing! I'm sure it can make a difference, not only for our community but for all mathematicians.

Floris van Doorn (Sep 22 2021 at 22:39):

Charles Hoskinson shares more of his thoughts in this video: https://www.reddit.com/r/cardano/comments/ptdwum/hoskinson_center_for_formal_mathematics/

Charles Hoskinson (Sep 23 2021 at 01:09):

Here is Professor Avigad's speech https://youtu.be/tbz6cdnFyPc

Jeremy Avigad (Sep 23 2021 at 02:41):

... and here are the slides: https://www.andrew.cmu.edu/user/avigad/Talks/hoskinson_inaugural.pdf. There are overlays, so it would be best to download them and step along. I'll post links and a non-overlay version on my web page tomorrow.

Filippo A. E. Nuccio (Sep 23 2021 at 12:02):

Thanks @Jeremy Avigad for the talk: it was overwhelming and moving.

Charles Hoskinson (Sep 23 2021 at 15:03):

And here's my opening speech https://youtu.be/gCLJOrJFLZQ

Last updated: Dec 20 2023 at 11:08 UTC