[peter_m1]

Here is a brief history of computability I wrote as a blog a few months ago, https://deeplp.com/blogs/f/the-birth-of-computability-theory. Hope it's helpful to the conversation.