Computational vs inductive definitions