サクサク読めて、アプリ限定の機能も多数！
別に無矛盾で独立ならどんな公理系でもいい。要は1=0.999…からテデキント切断が導けるか(実数をcharacterizationできるか)って話でしょ？
nt46 のブックマーク 2016/10/27 14:22
このブックマークにはスターがありません。 最初のスターをつけてみよう！
anond.hatelabo.jp2016/10/26
0.999…が1と等しい事がわからん中学生がいる、っていう増田のエントリ[1]があって、 それに対してわっと氏が「等しいのは公理だから」って返答[2]している。 [1] http://anond.hatelabo.jp/20161024040352 [2] ht...
43 人がブックマーク・12 件のコメント
＼ コメントが サクサク読める アプリです ／
別に無矛盾で独立ならどんな公理系でもいい。要は1=0.999…からテデキント切断が導けるか(実数をcharacterizationできるか)って話でしょ？
このブックマークにはスターがありません。
最初のスターをつけてみよう！
0.999…=1は公理じゃねぇぇぇぇ
0.999…が1と等しい事がわからん中学生がいる、っていう増田のエントリ[1]があって、 それに対してわっと氏が「等しいのは公理だから」って返答[2]している。 [1] http://anond.hatelabo.jp/20161024040352 [2] ht...
43 人がブックマーク・12 件のコメント
＼ コメントが サクサク読める アプリです ／