"In 1991, I videotaped talks at the Kurt Gödel Colloquium in Kirchberg
(it was supposed to be held jointly with the Wittgenstein Symposium,
that got cancelled). I also videotaped a conversation with Hao Wang
and Robin Gandy, students and friends, respectively, of Gödel and
Turing. I can’t for the life of me remember who the interviewer was.
Anyway, you may find it interesting:"
http://richardzach.org/2016/09/03/interview-with-hao-wang-and-robin-gandy/