Tag: turing
HLF 12: Spark Session 1
Making Enemies with the NSA – with Martin Hellman (2015 Turing Award)
GCHQ Christmas Challenge
Mathematical Philosophy: The Decidability Problem
HLF 10: Spark Session 2
Gödels Incompleteness Theorem Explainer
2021 Heidelberg Laureate Forum – Day 4
Ig Nobel Prize with Leslie Lamport (2013 Turing award)
