不可能、不確定、不完全―「できない」を証明する数学の力

・無矛盾の公理の中では証明できないものもある。
・量子のサイズではその運動量と位置を同時に知ることはできない。
・真に民主的な投票方法は存在しない。

知ることには限界があるというのに、『知らない』ということが認識できる事柄が山のようにあるのはものすごく不思議ですね。『できない』ということを証明することで、各分野のデッドラインを決めてしまったはずなのですから。

無限論の中で、対角線論法を毎度毎度見かけますが相変わらずわからん。