[localhost]

I'm really interested about his work habits as well - added your questions to my list. Right now I'm procrastinating editing my podcast by reading HN :)

Do you have any questions about The Annotated Turing? For me, I'm really interested in the story behind why he wrote it. As he writes in the introduction:

"Turing's original motivation in writing this paper was to solve a problem formulated by German mathematician David Hilbert ..."

I want to know Petzold's motivation for writing this. I know there's a story behind there somewhere especially given how long it took him to write the book :)

[wildmanx]

Check out this paper:

https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as...

Page 2 gives some background in how Turing's work fit into the problems that Church and Hilbert were about.

[archielc]

That's a very good question.

Given how old is Turing's paper and how much it was 'dissected' for the book, I would ask the following: * Any other top papers that inspired Charles (or he found them worthy of serious deep dive)? * Does he still read modern papers?

The latter is particularly interesting. I don't have academic background, but some of the people I spoke to claimed that there's lots of subpar papers produced nowadays. Obviously, amount produced in every field significantly increased lately, so it would be interesting to learn how someone with decades of experience is able to filter that out.