[irrevenant]

"Of all the useful things we can say, which are the most general?"

As a hill-climbing algorithm, wouldn't this approach tend to result in the local optimum rather than the most general truths?

[pg]

That is an interesting question. I wonder if there is even a way to know if the space has merely local maximums.