Stephen Wolfram in a talk about computation and computational foundations of physics, mathematics and AI (King's College London):