Ideas worth spreading

TEDxNewton

March 2022

|203 views

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.

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!

This talk was presented to a local audience at TEDxNewton, an independent event.

Read more about TEDx.

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.

This talk was presented to a local audience at TEDxNewton, an independent event.

Read more about TEDx.

About TEDx

TEDx was created in the spirit of TED's mission, "ideas worth spreading." It supports independent organizers who want to create a TED-like event in their own community.

Find a TEDx event near you