ゲーデルは論理学の正しさは、論理額自体では証明できないことを証明した。論理の限界を証明したことは重要なことだ。どこまでできるのかわかるからだ。 またゲーデルは、「論理学や数学は、人類が正しいと信じているから正しいのだ」ともいっている。 信念…

かつて欧州には数学試合というゲームがあった。ルネッサンス期の話だ。資産家が数学者をよんで、数学の難問を出し、勝利したほうに賞金を与えるというものだ。 数学試合というインセンティブと、大学という研究する場所かつ知識の蓄積を行う場所があったから…

しょうもないものにロジックを使うというおかしさを出してみました。 ― ― ― ― ― ― ― ― ― ― ― ― ― ― ― グリーのリンクをたどるなかで気がついた。グリーにあげられている女性の中で自分の写真を上げているひとは美人が多い。 本当にそうなのか？ 反論として、…