2011年04月25日のツイート
@kururu_goedel: 学生の一人に、現時点での成績の計算の説明をするメールを書くのに45分もかかってしまった。確かにスプレッドシートに少しバグがあったのだけれども。
@kururu_goedel: @SillyCrown 汎用人型決戦計算機ですから、彼は。3+4が計算できなくなった頃は、人型であったことの無理がたたってきたのでしょう。
@kururu_goedel: えーと、デデキント無限と「有限でない」って無限が同値になることを言うには選択公理が必要とかは端折っていいですよね。あと、集合が有限であるというのが「ある自然数と濃度が同じ」としか書けないのは数理論理学的にとても重要ですけど、そこをほじくる必要はないですよね。
@kururu_goedel: @undefined_k @np2i 集合が無限というのは有限でないということです(同値な他の定義もありますが)。有限であるということは、{0, 1, 2, ..., n-1}との一対一対応がある(nは何か自然数)ということです。私なら授業でちゃんと定義します。
@kururu_goedel: @undefined_k @np2i 大学レベルの教科書なら普通定義されていると思うんですが…。「素数が無限個」の方は集合のサイズが無限ということなので濃度の話、(実数の)極限の方は連続的なものである実数の話なので、関連付けはできますが一応違う話です。
@kururu_goedel: @sarabayuutsu あれは無謀過ぎます。
2011-04-25 14:17:12 via TweetDeck to @sarabayuutsu