答案是：永遠不可能有這種機器存在
計算機科學有兩個相當有名的定理：羅素悖論跟哥德爾定理
這兩個定理證明了，邏輯永遠是不完備的
例如：「這句話是謊話」<