[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
987(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)09:23 ID:KYsCHIBD(2/4) AAS
>>985 補足
>社会人レベルは 上記１）,２）のa)〜c) は、立場の違い
>というか、その場そのときで、適切に選んで良いということだね
>牛刀を用いてニワトリを割くがごとく いつも牛刀を持ち出す必要は無い
下記の”無限公理 独立性”
『無限公理の否定もまた、ZFCが無矛盾であるかぎり、ZFCのほかの公理からは導けない(これは他の公理たちが無矛盾ならば、ZFCも無矛盾であると言うに等しい)。よってZFCは無限公理もその否定も導かず、どちらとでも両立する』
ですね
省10
992: 08/23(土)09:44 ID:XQOxXTSd(8/13) AAS
>>987
2)のb)も認めるが
2)のc)も別の考え方として認める、というのはあり
超準解析とはそういうもの
ただ、2)のb)を認めない、というのは、
カントールの実数の定義を否定するので、奇人
そういうこと
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s