[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
221(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:24 ID:xSRlEtRO(4/17) AAS
>>214
うん
有名な資料で、旧ガロアすれでも取り上げたが
下記の ”自己言及の論理と計算∗長谷川真人”
”自己言及と対角線論法”
”停止性問題”
”対角線論法から不動点へ”
ここらが、重要キーワードだな （＾＾
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
省13
222(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:44 ID:xSRlEtRO(5/17) AAS
>>221
>”自己言及と対角線論法”
対角線論法より以前に、カントールの最初の実数の非可算を証明した話が下記にある
しかし、繰り返すが >>218『カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている』
ので、下記で 可算選択公理の役割は、定かではない（多分使っていると推測しています）
(参考)
en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
Cantor's diagonal argument
（google訳）
実数
省13
224(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:51 ID:xSRlEtRO(7/17) AAS
>>221-222 補足
”自己言及の論理と計算∗長谷川真人”
の受け売りだが
”自己言及と対角線論法”などにあるように
対角線論法は、集合論の 実数の非可算を越えて
いろんな分野で、使われるようになった
その意味で、対角線論法は
超重要キーワードってことです！（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s