Abdul Haliq • TEDxNewton

Foundations of Mathematics and Computerised Proofs

Become a TED Member
Want to hear more great ideas like this one? Sign up for TED Membership to get exclusive access to captivating conversations, engaging events, and more!