Computability and problem-solving: part one.

You can also read this story on my blog.

The divide between the theoretical computer scientist and the software engineer has never been larger. …