数学者が「幾何学の起源」や「基礎論」を疑い、別の幾何学や不完全性定理を導きだしたように。 http://d.hatena.ne.jp/KGV/20081203#1228309384 なんかタイトルで終わってますが、まあそういうことです。元記事では枝葉末節の部分なのでどうでもよいのですが…

ProofWeb知らなかった。CoqとかIsabelleとかのような定理証明器をウェブ上で動かせます。インストールがいらないのでちょっと遊んでみるのに便利ですね。まあ、操作性では劣りますが。

必要な予備知識を最低限にした論文なのに査読に時間がかかるなぁとか思っていたのですが、査読を見たら山ほど間違いとか不自然な表現とかを指摘されていて、要するにそういうのをピックするのに時間を取らせてしまったようです。ごめんなさい、ごめんなさい…