[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
201: 2022/04/11(月)01:45:58.79 ID:9bKb8XrF(1/9) AAS
番組中に出てきたabc予想の不等式がちょっと気になったんだけど……
336: 2022/04/16(土)09:09:39.79 AAS
>>334
無理くりで五人論文載せた責任を追及された挙句の退職じゃね？
>>335
ま、名目は自主退職だろうが、実態は限りなく解雇ｗ
349(2): 2022/04/17(日)16:09:16.79 ID:/iVb7e4g(1/2) AAS
>>348
説明なんぞする義理もない
理解したいなら教科書読んで論文読んで勉強するしかない
学問に王道はない
440(1): 2022/04/21(木)06:18:38.79 ID:72/7EJMd(1/5) AAS
>>435
>私は数学素人ですけど
じゃ玄人として望月新一を信用しないほうがいいと忠告するね
日本人が糞と味噌の区別がつかない阿呆って馬鹿にされるから
562(1): 2022/04/24(日)11:28:05.79 ID:LmbsoJPA(1) AAS
ちょっとはマシな事書くようになったかとも思ったがやっぱりどこまで行ってもセタはセタやな
結局元に戻る
高木も松坂君もおんなじ
654(1): 2022/04/27(水)06:15:17.79 AAS
下げマスの書き込み
4/26(火) n8Wwiz6U
>>605-606 （数学と無関係な発言）
>>652
>ショルツェ氏の言い分
>「”Th 3.11までは自明（トリビアル）”
> つまりは、”屁みたいなわかりきった命題ばかり
> だから、Cor 3.12を証明するには、全く足りていない」
>一般の数学者 （woit、デイビッド･ロバーツ氏。ケドラヤ、ファルティングス師匠）
>「なんとか劇場とか、テータ橋梁とか、何をやろうとしているのか？
省7
680(1): 2022/04/28(木)16:41:23.79 ID:90oIbXEw(4/4) AAS
>>679
つづき
外部ﾘﾝｸ:ja.wikipedia.org
集合論において、数学者のツェルメロとフレンケルにちなんで名付けられたツェルメロ＝フレンケル集合論は、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。歴史的に議論を呼んだ選択公理（AC）を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学基礎論となっている。選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択(Choice)公理を[1] 、 ZFは選択公理を除いたツェルメロ(Zermelo)＝フレンケル(Fraenkel)集合論の公理を表す。
ツェルメロ＝フレンケル集合論は、単一の原始概念の形式化、すなわち整礎的純粋（英語版）集合の概念の形式化を目的としているため、議論領域内のすべての対象(entity)はそのような集合となる。したがって、ツェルメロ＝フレンケル集合論における公理は純粋集合（英語版）のみに言及し、そのモデルにurelements（英語版）（集合の元であって、それ自体が集合ではないもの）が含まれないようにしている。さらに、真のクラス（それに属する元が共通してもつ属性によって定義された数学的対象の集まりであり、集合とするには大きすぎるもの）は、間接的にしか扱えない。具体的には、ツェルメロ＝フレンケル集合論では、普遍集合（すべての集合を含む集合）の存在も無制限の理解（英語版）も許容しないため、ラッセルのパラドックスを回避できる。フォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版）（NBG）は、ツェルメロ＝フレンケル集合論の保存拡大としてよく用いられており、真のクラスを明示的に扱うことができる。
ZFCは一階述語論理における1ソート理論である。
2.7 7. 無限公理
(引用終り)
以上
822: 2022/04/30(土)15:33:43.79 ID:QDqkNpTQ(2/2) AAS
ぉ慈悲~
ぉ慈悲~
たれwww
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.063s*