Dan Simpson Limits to Computation: The Naive's Guide to Most of Computing Science! 234-246 1989 3 AI Soc. 3 db/journals/ais/ais3.html#Simpson89