It would let us understand way better what computation really is I think. If we can separate computational problem into classes, it means we can create some hie

It would let us understand way better what computation really is I think. If we can separate computational problem into classes, it means we can create some hierarchy of computations and understand what makes them move between those classes. It might be much more enlightening than all the crazy stuff that could happen if P=NP.