[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
961(1): 2021/02/20(土)11:22 ID:c8yOLip1(45/65) AAS
>>952
＞選択公理の虚をついた仕事なんじゃないのか。
いまだに「選択公理」を排除したがる態度の理由が分からない
選択関数が構築できないなら意味がない、といいたいようだが
それは「具体的に計算できないものは無矛盾であっても無意味」
ということかい？
963(1): 2021/02/20(土)11:27 ID:+Wu9Px2F(4/21) AAS
>>961
複素解析など、具体的に計算できるものは、
有限ステップですべて定義してきたわけだが、
選択公理は、人類の営みとして高々有限的にしか扱えないというタプーを超えている。
パラドクスがおきるのは必然。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s