2012年09月18日のツイート
@kururu_goedel: いまどきよっぽどのことでない限り、基礎付けはどこかでできているのだから、ちゃんと公理定義定理証明になってなかろうが正確さに影響がでるとは思えないのだけど。
@kururu_goedel: URL URL 【 その大部分は、ユークリッド幾何学や集合論のように公理、定理や補助定理で満たされている。このように正式であることが、正確さを創りだすと考えれている 】なんか壮絶な誤解があるような。
@kururu_goedel: @crobert_z 集合論怖くないよー。
2012-09-18 10:07:32 via TweetDeck to @crobert_z
@kururu_goedel: @salmonsnare 多分ほとんどないとは思いますが。
2012-09-18 04:34:51 via TweetDeck to @salmonsnare
@kururu_goedel: 「ブラジルのビーチで研究が一番進んだ」とグラントの報告に書いて途中でそのグラントが引き上げられてしまった数学者がいるという話を師匠から聞いたことがあるのだけれども、誰のことなんだろう。師匠は名前を挙げて言っていたけれども、忘れてしまった。
@kururu_goedel: URL がけっこう伸びちゃっているんだけれども、8月上旬の時点で言っている人(URL がいますからね。URL なんか元ネタの方が「復活」のパロディだと言っているし。
@kururu_goedel: @ken_m123 おめでとうございますというか、ツイートから伺える忙しさ加減からみて妥当だというより当然のような気が。
2012-09-18 02:40:09 via TweetDeck to @ken_m123
@kururu_goedel: @kururu_goedel アメリカにいることの問題点は、アニメがリアルタイムで見られないことくらいかなぁ。くらいっつうか、もし見られる時間があるならでかいというか、アニメみるために日本帰るナリよ!コミケット行くナリよ!!
2012-09-18 02:24:15 via web to @kururu_goedel