Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will likely become possible to perform special-purpose quantum computations that, while not immediately useful for anything, are plausibly hard to simulate using a classical computer. These "quantum supremacy experiments" would be a scientific milestone---decisively a ... Show More
Oct 27
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
48m 12s
May 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
Jun 2017
Episode 83: Advanced Quantum Mechanics Part I
An examination of some more advanced concepts of quantum mechanics, focusing on describing Dirac's bra-ket formulation of quantum theory. I discuss the formulation of quantum mechanics in terms of vectors in Hilbert spaces, Hermitian operators as corresponding to observables, ort ... Show More
58m 56s
Jul 2021
Alyssa Ney, "The World in the Wave Function: A Metaphysics for Quantum Physics" (Oxford UP, 2021)
Quantum mechanics is full of weird findings – for example, that systems widely separated can somehow still be correlated, and that a system may be in two different possible states at the same time. Entanglement and superposition, among other phenomena, have prompted debate since ... Show More
1h 11m