「プログラマは自分で好きなようにルールを作ることが出来る」とは言っても最低限守らなければいけないことはある。ゲーデルの不完全性定理を持ち出すまでもなく、ルールは無矛盾(consistent)でなければならない。(これについての哲学的な問題は、柄谷 行人…