[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
9(15): 01/01(水)10:05:33.59 ID:2b7XvZNh(9/10) AAS
つづき
あほサルの続き
さて
『なぜ、ZFC公理まで遡らなくても数学が出来るの？』スレより
itest.5ch.net/rio2016/test/read.cgi/math/1731415731/771
2024/12/21
おサルさん
笑えるよ
>>684-686 >>689
(引用開始)
省26
134: 01/11(土)18:57:13.59 ID:YPfTJbqJ(11/15) AAS
縁なき衆生は度し難し
165: 01/12(日)11:07:43.59 ID:F+I6x7M1(6/26) AAS
>>164
負け惜しみ乙
「ZFで実数は存在しない」は間違い。言い訳無用。
そもそも
>有理コーシー列は出来てもそこで詰む
が意味不明過ぎてなんの言明にもなっていない
434: 01/19(日)12:36:51.59 ID:MeW3b4Rf(3/8) AAS
おっちゃん「周期」の意味分かってんのか？
外部ﾘﾝｸ:ja.wikipedia.org
自分が理解してない用語は一切使うな。
633(2): 01/26(日)14:28:37.59 ID:b1A8rVdb(14/24) AAS
>どちらも、aα=f(A-{aξ：ξ<α}) あるいは aα= f(A∖{aξ∣ξ<α})
>つまり、関数で書くと
>・ｆ：A-{aξ:ξ<α} → aα
>・ｆ：A∖{aξ∣ξ<α} → aα
>定義域 A-{aξ:ξ<α} または {aξ∣ξ<α}
君、関数も知らないの？
f(A∖{aξ∣ξ<α}) ってことは A∖{aξ∣ξ<α} はfの定義域の元だろ？
君が言うように定義域の元が定義域なら x∈x だから正則性公理に反するぞｗ
君、呆れるほど分かってないんだね
処刑されるの公開されて楽しいかい？
652(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)22:30:33.59 ID:57hfZFiX(15/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>651
(引用開始)
>選択関数fの 定義域を
>集合族P(A)-Φ 全体に広げる必要性も、
>必然性もないでしょ！！ｗｗｗ ；ｐ）
じゃあ定義域をAとしてAの元すべての並びを作ってみせて
(引用終り)
省35
688: 01/27(月)17:10:22.59 ID:T6In1xa/(8/15) AAS
>>684
>いま、問題は 関数の定義域だろ？
定義域はP(A)-Φで何の問題も無い
道理の分らぬ馬鹿が言いがかり付けてるだけ
798: 01/29(水)23:50:14.59 ID:a/peK22S(2/2) AAS
メモ
repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/279730
Gentzenから始まる証明論の50年 : 順序数解析を中心として (証明と計算の理論と応用)
新井, 敏康 Aug-2022 数理解析研究所講究録
抄録: おおよそ1930-80年における証明論の主な結果・アイデアを，順序数解析(ordinal analysis)を中心として述べていく．但しこの期間の問題に関わる限り，90年以降の結果も一部盛り込む．尚，記述や記法は後に整理されたかたちで述べるので原論文のままというわけではない．したがって証明論の通史や学史のようなものをこの原稿に期待しないで頂きたい．ここでは紙幅の制限により証明の詳細は省いてある．sequent calculi（とε-calucliも少々）については[A2020a]をご参照願いたい．
www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2228-10.pdf
Gentzen から始まる証明論の50年 - - 順序数解析を中心として
846: 01/30(木)12:40:38.59 ID:Lfcn9eKQ(6/6) AAS
1st ステップ
Aの空でない部分集合からその要素への選択関数fを定義する
2nd ステップ
上述のfを用いて順序数からAの要素への関数aを超限帰納法により定義する
fが先、aが後
fなしにaは定義すらできない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s