WolframAlpha computational knowledge AI
david hume, joseph agassi, philipp frank, karl popper, rudolf carnap