だるろぐ

明日できることは、今日しない。

2013-03-30から1日間の記事一覧

愛媛・松山に行ってきます

空港で朝ごはんを食べながら、このブログを書いている。前回飛行機に乗り遅れたので、今回は気合をいれて早起きしたのだけど、流石にちょっと早かった。出発まで1.5時間以上ある。そうそう、いつも羽田空港へ行くには京急を使うのだけど、今回はモノレールに…

定理は発見されるのか、あるいは発明されるのか?

よくわからないけれど、発明されている部分は大きいと感じる。かつて19世紀のドイツの数学者レオポルト・クロネッカーがこんなことを言ったのだそうだ。 整数は神の作ったものだが、他は人間の作ったものである けれど、この整数ですら、人間が作った(発明…