History of the people involved is indeed very interesting. Particularly recommend the BBC2 film "Dangerous Knowledge". BTW: The article "Turing Uncomputabil

History of the people involved is indeed very interesting. Particularly recommend the BBC2 film "Dangerous Knowledge". BTW: The article "Turing Uncomputability" got some of the history wrong about the 1930 interaction between von Neumann and Gödel. See the following: Jan von Plato. "In search of the sources of incompleteness" Proceedings of the International Congress of Mathematicians. 2018.