Probablistic induction clearly works, since you can mechanise it (ie write simple code to perform it).
But you concern may well be with the other kind of induction, induction as a source of hypotheses.
Probablistic induction clearly works, since you can mechanise it (ie write simple code to perform it).
But you concern may well be with the other kind of induction, induction as a source of hypotheses.