WolframAlpha computational knowledge AI
aristotle, bertrand russell, georg hegel, douglas hofstatter, kurt godel