Abdul Haliq • TEDxNewton
Foundations of Mathematics and Computerised Proofs
Explore the philosophical motivations to make mathematics rigourous. Introducing the Foundations of mathematics where we explore formalisms. From set theory to category theory, proof assistants and even type theories at the cutting edge of research, forming the basis of the curry howard lambek correspondance.