Hoskinson Center for Formal Mathematics

Stream: general

[Charles Hoskinson]

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]

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]

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

[Floris van Doorn]

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]

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

[Jeremy Avigad]

... 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]

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

[Charles Hoskinson]

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