WolframAlpha computational knowledge AI
imre lakatos, nicolaus copernicus, francis bacon, karl popper, thomas kuhn