Mechanising (Graphical) Mathematical Proofs - Computerphile

A graphical problem seems intuitive to a human, but how do you explain something formally to a machine? Dr. Mohammad Abdulaziz, Lecturer in Artificial Intelligence, King's College LondonThis video was initially titled "Mechanizing Mathematical Proofs"https://www.facebook.com/computerphilehttps://twitter.com/computer_phileThis video was filmed and edited by Sean Riley.Computer Science at the University of Nottingham: https://bit.ly/nottscomputerComputerphile is a sister project to Brady Haran's Numberphile. More at https://www.bradyharanblog.comThank you to Jane Street for their support of this channel. Learn more: https://www.janestreet.com Learn more about your ad choices. Visit megaphone.fm/adchoices