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