砂手紙のなりゆきブログ

KindleDPで本を出しました。Kindleが読めるデバイスで「砂手紙」を検索してください。過去テキストの一覧はこちら→http://d.hatena.ne.jp/sandletter/20120201/p1

2016-03-12から1日間の記事一覧

ゲーデル式健康法

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