Mathematician explains Turing's halting problem | Edward Frenkel and Lex Fridman