可计算性

不可计算的最小值