Spectacularly accessible article, going from Hilbert to Goedel to Turing to von Neumann. And nice to see that Simson Garfinkel wrote it.

This is exactly the sort of thing that can explain the beauty of computer science and discrete mathematics to people who think that just means "programming". It's so much more.