...Alexandre's pseudocode would work great if Golarion had a hypercomputer that could check an infinite variety of infinitary metahypotheses, yes.
It's getting anything done with a finite amount of computation that makes SCIENCE!analysis be nontrivial.
But it sure beats not even knowing how to solve the problem using a hypercomputer, and frankly, not all of the researcher-candidates are getting anywhere near that far.