Foundations of Mathematics and Computerised Proofs
Abdul Haliq |
TEDxNewton
• March 2022
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.