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>