Search for tag: "proofs"

A Global History of Mathematics: An Urgent Human Concern - Agathe Keller

Is it all about proofs? Reflections on the…

+20 More
From  Greg McCracken 0 likes 48 plays 0  

A hierarchy of propositional proof systems - Pavel Pudlak

Mathematical Approaches to Lower Bounds:…

+20 More
From  Iain Cms 0 likes 16 plays 0  

Survey on meta complexity - Rahul Santhanam

Mathematical Approaches to Lower Bounds:…

+20 More
From  Iain Cms 0 likes 15 plays 0  

Vladimir Fomichov EVA Talk Preview

This talk has captions. You can remove these by…

+28 More
From  Anna Munro 0 likes 22 plays 0  

BMC BAMC 2021 Kevin Buzzard

6-9 April 2021, BMC BAMC 2021 Titled: When Will…

From  Jane Walker 0 likes 63 plays 0  

LMS Computer Science Colloquium - Anupam Das (Birmingham)

An automated programme is used to generate the…

+20 More
From  Liam Holligan 0 likes 23 plays 0  

Dependent Types

Advances in Programming Languages 2018/19 Lecture…

+22 More
From  Ian Stark 0 likes 20 plays