2015-01-24 0123 「円周率の無限小数の中に0が100個続く部分があるかどうか分からない」というのはブラウワーの言葉だけれども、この言葉の意味をようやく了解できたように思う。彼の功績は、「円周率の全ての桁ははじめから決まっている」という文が、そもそもナンセンスな主張であるということを看破したことにある。ウィトゲンシュタインがブラウワーの講演に影響を受けた理由が、今ならなんとなくわかる。 計算数学。来週発表なのでそろそろ大詰めです。教室のPCをさらに2台借りて、あとはひたすら計算。収束してくれ、頼む。