- 435 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/04/11(火) 20:54:24.60 ID:lkRTR/rP.net]
- これ面白いわ（＾＾
https://sites.google.com/site/sendailogichomepage/files/ref/ref_07
数学基礎論と消えたパラドックス 仙台ロジック倶楽部 『数学セミナー』1993年8月号より）
パラドックスから数学基礎論の誕生，不完全定理への流れを解説．
■ はじめに
ヒルベルトの提起した２３問題の筆頭である連続体仮説の独立性をコーエンが証明してからちょうど３０年になる．
集合論の研究者たちはよく冗談に“コーエン以前”をB.C. (Before Cohen の意)といい、
ゲーデル (Goedel) を B.C. の神 (God) であるといったりするが、
1960 年代には数学基礎論の各分野でこのような大事件が起きており、
まさに基礎論全体の変革期であった．
６０年代革命の激しさは、その教科書の変化によく現われている．
古き良き時代の教科書（例、文献[1]）にはパラドックスから数学基礎論の誕生に至る歴史が悠然と述べられていたが、
革命後のもの（例、文献[2]）にはパラドックスのパの字の解説もなく、�
|
 |
