[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
797(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/29(水)22:04 ID:a/peK22S(1/2) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>>649に引き続き 『 ZF上で実数は どこまで定義可能なのか？』の前に
Zorn's lemma を、取り上げよう
まず、マクラの続きです
省37
798: 01/29(水)23:50 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年 - - 順序数解析を中心として
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s