It would probably give us some new insight on what computation actually is. Our inability to formally proof class separation suggests we're missing something.