[Distinguished Lecture] New Uses of Computers in Mathematics
Time: 2022-12-02
Published By: Wenqiong Li
Speaker(s): Professor Kevin Buzzard (Imperial College London)
Time: 16:00-17:00 December 5, 2022
Venue: Online
Abstract: For many years now, mathematicians have been using computers to help us compute. But right now we seem to be at the beginning of a new era where mathematicians can use computers to help us to reason. Professor Buzzard will speak about how neural networks and interactive theorem provers are giving mathematicians new ways to use computers in their research.
The talk will be suitable for a general mathematical audience; no background knowledge of either neural networks or interactive theorem provers will be assumed.
Speaker: Kevin Buzzard is currently a Professor of Pure Mathematics at Imperial College London, where he specializes in algebraic number theory. Recently, he has become interested in formal proof verification, specifically through the aid of computers. He is helping to build a database of modern mathematical theorems and definitions, and is passionate about teaching undergraduates how to use this software. In 2002, Professor Buzzard was awarded the Whitehead Prize by the London Mathematical Society for his work in number theory. In 2008, he was awarded the Senior Berwick Prize, as a recognition of his outstanding mathematical research. In 2017, he launched an ongoing formalization project and blog involving the Lean theorem prover and has since promoted the use of computer proof assistants in future mathematics research. He was invited to give a plenary lecture at the International Congress of Mathematicians in 2022.
Zoom ID：889 6676 1223 Passcode: 222578
Broadcast Live: https://live.bilibili.com/25879004
