This.. this seminal thesis on discovery AI in science, covering methods from comp. sc., cogn. psy, heuristics, probabilistics, TM, Kolmogor. stuff, using all means to find the most probable explanation and theory, with just a computer