2 ms·It is defined, very rigorously actually. But it is uncomputable.by balfirevic 7y agoIt is defined, very rigorously actually. But it is uncomputable.