Hume meant inductive proof. I checked Solomonoff induction, and it seems to be talking about probabilistic inductive reasoning. It isn't logically possible to

Hume meant inductive proof. I checked Solomonoff induction, and it seems to be talking about probabilistic inductive reasoning. It isn't logically possible to prove anything affirmatively. That's what Hume was referring to. https://en.wikipedia.org/wiki/Problem_of_induction https://en.wikipedia.org/wiki/Problem_of_induction