現代数学の系譜古典ガロア理論を読む36

現代数学の系譜古典ガロア理論を読む36at MATH

現代数学の系譜古典ガロア理論を読む36 - 暇つぶし2ch340:November 2016 (04:31JST) 版とあるから、改訂されたんやねが、手元の2014版との違いが分からないファイルサイズが大きくなってはいるが http://fuchino.ddo.jp/misc/cohenx.pdf “コーエンの強制法” と強制法1) 2) 渕野昌 12．November 2016 (04:31JST) 版 1) このテキストは，『数理科学』2014 年 10 月号に掲載予定の同名の記事の拡張版です．ページ数の制限のために記事から削除せざるを得なかった細部や，そこには含めないことにしたリマークのいくつかを加えてあります． 377 2017/04/11 https://sites.google.com/site/sendailogichomepage/files/ref/ref_07 数学基礎論と消えたパラドックス仙台ロジック倶楽部『数学セミナー』1993年8月号より）パラドックスから数学基礎論の誕生，不完全定理への流れを解説． ■ はじめに　ヒルベルトの提起した２３問題の筆頭である連続体仮説の独立性をコーエンが証明してからちょうど３０年になる．集合論の研究者たちはよく冗談に“コーエン以前”をB.C. (Before Cohen の意)といい、ゲーデル (Goedel) を B.C. の神 (God) であるといったりするが、1960 年代には数学基礎論の各分野でこのような大事件が起きており、まさに基礎論全体の変革期であった．　６０年代革命の激しさは、その教科書の変化によく現われている．古き良き時代の教科書（例、文献[1]）にはパラドックスから数学基礎論の誕生に至る歴史が悠然と述べられていたが、革命後のもの（例、文献[2]）にはパラドックスのパの字の解説もなく、それはもはや禁句になった感すらある．（残念ながら日本では今もB.C. 時代のイメージが蔓延しているようで、それについては文献[5]の筆者のコメントを参照．）　このような状況を踏まえた上で、なぜまたここでカビ臭いパラドックスの話を持ち出すかというと、新歴３０年を迎え、そろそろ新・旧基礎論を総括的に見直そうという気運が高まっているように思うからである．最近次々と基礎論の専門誌の編集方針が変わったのだが、そこにもそういう動きが読み取れる．以下略 (引用終り) つづく

次ページ

続きを表示

1を表示