カントールの対角線論法―ミーたんとコウちんは闇の数学講座で無限の正体を見た (PARADE BOOKS)作者: 市川秀志出版社/メーカー: パレード発売日: 2006/06/20メディア: 単行本 クリック: 6回この商品を含むブログ (1件) を見る書店でみかけたのですが、その時…

くるるさんの「実数ってなんや！」id:kururu_goedel:20061203:1165133677計算可能性と計算複雑度で実数の階層を細かく調べようとすると、実数の表現として有理数のCauchy列を使うか無限小数を使うかDedekind切断を使うかで挙動が変わって、とってもとっても…

ここに書いても意味ないけど。緊急メンテナンスのため、http://www.openbsd.ics.nara-wu.ac.jp/ と http://taurus.ics.nara-wu.ac.jp/ は止めています。 復旧には数日かかります。

田崎晴明さんの「「水からの伝言」を信じないでください」宣伝に協力するためにリンクしておきます。

天が落ちてくる心配はやめましょう。みなさん、Mizar（でなくて他の証明検証系でも同じだけど）をかいかぶりすぎ。今のMizarがそのままツールとして普及するはずはありません。そのような未来を心配する必要はありません。Mizarプロジェクトでわかったことは…

「惑星の定義」についての田崎さんの感想で、数学ではこういうことはないという話題に触れていて、そうだなあと思い出したことです。何年も前に、論文で Takagi function と書いたら、「van der Waerden function に直せ」と査読者にいわれたことがあります…

色覚異常のうち強度のものを「色盲」、それ以外を「色弱」と呼ぶ用法があるけど、なぜ三段階でも十段階でもなく二段階に分けるのか、医学的必然性を感じられないので、個人的には、総称の「色覚異常」だけを使っています。最近、「色弱」に統一する提案があ…

二文字のユーザ名が使えないので wd0 (whisky delta zero) にしたのに、wdo (whisky delta oscar) に見えるではないですか。ぷんぷん。