Strachey Lecture: The Continuing Evolution of C++

Strachey Lecture: The Continuing Evolution of...

Up next

Advances in Garbled Circuits

MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ...  Show more

Will Computers prove theorems?

Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brainstorming big ideas but are ...  Show more

Recommended Episodes

Evaluating Arguments Part Two
Critical Reasoning for Beginners

Part six of a six-part series on critical reasoning. In this final lecture we will look at fallacies. These are bad arguments that can easily be mistaken for good arguments. 

8.4 Persons, Humans and Brains
General Philosophy

Part 8.4. The final part of this series. Explores the distinction between mind and body and whether this makes a difference to the idea of personal identity. 

Moving from War to Peace
First World War: New Perspectives

The 3rd Keynote of the War Time 2016 conference held 9-11 November 2016 

1a. Hume's Theory of Ideas and the Faculties
Introduction to David Hume's Treatise of Human Nature Book One

First part of lecture one of Peter Millican's series on David Hume's Treatise on Human Nature Book One.