ちなみに論理学の話としては
「すべての問題を解決できる装置」は「解決できない問題を作れ」という問題を解くことができるか
という問があるんやで