imre lakatos, nicolaus copernicus, francis bacon, karl popper, thomas kuhn