Definability as hypercomputational effect