Скачать или смотреть Prof. Kevin Buzzard | Formalizing Fermat: how it's going

Title: Formalizing Fermat: how it's going
Speaker: Professor Kevin Buzzard (Imperial College London)
Date: 9th Jun 2025 - 10:15 to 11:15

🗓️ Event: (BPRW03) Big proof: formalizing mathematics at scale
🔗 Find out more: https://www.newton.ac.uk/seminar/46695

-------------------

FOLLOW US
🌐| Website: https://www.newton.ac.uk
🎥| Main Channel:    / @isaacnewtoninstitute  
🐦| Twitter:   / newtoninstitute  
💬| Facebook:   / newton.institute  
📷| Instagram:   / isaacnewtoninstitute  
🔗| LinkedIn:   / isaac-newton-institute-for-mathematical-sc...  

SEMINAR ROOMS
🥇| INI Seminar Room 1:    / @iniseminarroom1  
🥈| INI Seminar Room 2:    / @iniseminarroom2  
🛰️| INI Satellite Events:    / @inisatellite  

ABOUT
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.

👉 Learn more about us and our events here: https://www.newton.ac.uk