3 ms·
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 so
by kylemaxwell 15y ago
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.