George Dyson has good evidence that von Neumann and the IAS team studied Turing's paper in the Proceedings of the London Mathematical Society. You can find vid

George Dyson has good evidence that von Neumann and the IAS team studied Turing's paper in the Proceedings of the London Mathematical Society. You can find video of Dyson talking about this: <https://www.youtube.com/watch?v=_FibuHyIHnU&t=1131s https://www.youtube.com/watch?v=_FibuHyIHnU&t=1131s>