2016-03-12から1日間の記事一覧
ゲーデルは、その第一不完全性定理において、決定不可能な数学的命題が存在することを証明し、第二不完全性定理では以下のことを言っています。『数学が無矛盾である限り、数学は己れの無矛盾性を自分では証明できない』 これは、要するに健康な人は自分だけ…
ゲーデルは、その第一不完全性定理において、決定不可能な数学的命題が存在することを証明し、第二不完全性定理では以下のことを言っています。『数学が無矛盾である限り、数学は己れの無矛盾性を自分では証明できない』 これは、要するに健康な人は自分だけ…