[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
497(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月)18:55 ID:rNo847jr(2/2) AAS
>>476 補足
連続体仮説でいうと
20世紀前半は、連続体仮説が証明できると思っていた人多数
20世紀後半には、連続体仮説が成立するのも、不成立なのも、公理の立て方によるって話に落ち着いたわけ
と、同様に、>>478より
a)0.999...=0
b)0.999...≠0
省4
504(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/25(火)21:06 ID:SuJQZ9Ih(1/4) AAS
>>497 補足
(引用開始)
a)0.999...=0
b)0.999...≠0
選択肢a)は、スタンダード
選択肢b)は、ノンスタンダード
それだけのこと
省18
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.038s