決定不可能
計算不可能
とだいたい同じ
「決定すること」が「計算不可能」なだけなので。