Before revision: Somonomoff induction is provably incomputable, so would not be usable in practice.
After revision: himself proved that thisSomonomoff induction is provably incomputable, so would not be usable in practice.