[samwho]

This is correct, they were independent works. It’s spoken about in “The Annotated Turing” by Charles Petzold.