From Socrates to Expert Systems: The Limits of Calculative Rationality