[過去ﾛｸﾞ] Michael F. Atiyahがリーマン予想を証明しました。 (448ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
268(3): 2018/10/02(火)19:40 ID:043Grh/f(1/3) AAS
>>263
微妙に違うな
矛盾とはある公理系からφ∧¬φが証明されることであって、カントールの集合論は公理系がないので矛盾の定義に該当しない
お前の言う「敗北主義」の定義は公理主義が制定されていることを前提としていて普遍的ではなく、個人攻撃のために定めたもののように見える
仮にそこから公理主義の前提を除くと、カントールが連続体仮説に生涯を費やす所に独立という結論を持ち寄ったコーエンは「敗北主義」となるから、ダブルスタンダードを回避するためなのかもしれないが
272(1): 2018/10/02(火)21:06 ID:Lwg14AWe(1) AAS
>>268
> 矛盾とはある公理系からφ∧¬φが証明されることであって、カントールの集合論は公理系がないので矛盾の定義に該当しない
ものすごく頭の悪い事を言ってるな
284: 2018/10/03(水)21:13 ID:pFmzzBgP(1) AAS
>>268
>カントールの集合論は公理系がない
というのは言い過ぎ
293(1): 2018/10/05(金)06:52 ID:Y14TDbxc(1) AAS
>>268
＞
＞矛盾とはある公理系からφ∧¬φが証明されること
ではない！ (^o^)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.979s*