Without context, one could indeed get this impression. However, Kurt Gödel and John von Neumann had met each other and exchanged letters long before that alread

Without context, one could indeed get this impression. However, Kurt Gödel and John von Neumann had met each other and exchanged letters long before that already, and Gödel was fully aware that von Neumann was interested in this area. For example, quoting from: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... “Gödel announced his first incompleteness theorem at a roundtable discussion session on the third day of the conference. The announcement drew little attention apart from that of von Neumann, who pulled Gödel aside for conversation. Later that year, working independently with knowledge of the first incompleteness theorem, von Neumann obtained a proof of the second incompleteness theorem, which he announced to Gödel in a letter dated November 20, 1930 (Dawson 1996, p. 70).” To that letter, Gödel politely replied that he had already submitted the result for publication.