Mathematical Colloquium með Joseph Tooby-Smith

Mathematical Colloquium
Fyrirlesari:  Joseph Tooby-Smith (RU)
Dags.: Fimmtudagurinn 15. maí, kl. 13:20
Staðsetning: 157, VR-II

Titill: Interactive theorem provers and mathematics.

Ágrip: Interactive theorem provers are gaining popularity and becoming increasingly powerful. In this talk, I will introduce what interactive theorem provers are and explain how they are being used in mathematics. I will also discuss the future of interactive theorem provers and the potential role artificial intelligence may play in their story.