[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
733(2): 現代数学の系譜11 ガロア理論を読む 2016/08/11(木)22:03 ID:AONA9sxo(44/47) AAS
>>731 関連
外部ﾘﾝｸ:d.hatena.ne.jp
hiroyukikojimaの日記 2008-06-05 憧れの超準解析
(抜粋)
このところずっと、数学基礎論の勉強をしている。取り組んでいるのは、田中一之『数の体系と超準モデル』 数の体系と超準モデル 作者: 田中一之 出版社 裳華房 発売日: 2002/04
そもそも、基礎論には少年期から憧れがあった。ゲーデルの「不完全性定理」は、中高生のときにナーゲル＆ニューマン『数学から超数学へ』を読んで以来、理解したい、と焦がれる定理の一つになったし、超準解析は、たぶん、数学セミナーかなんかで知って、どうしても緻密に理解したいものの一つとなった。
それに対して、ゲーデルの「完全性定理」のほうは、だいぶ後に知った。塾で中学生に初等幾何を教えるテキストを作成しているとき、どうやったら「論証とは何か」をわかってもらえるかに悩んでいて、基礎論を専攻していた同僚から「完全性定理」のことを聴いたとたん、「これだ」という手応えを感じたのがきっかけとなった。
さて、田中『数の体系と超準モデル』だ。この本はぼくにとってもフィットする。どこがか、というと、適度に不親切なところである。
細部まで精密に証明は書かず、ちょっとしたところは自分で埋めるようにわざと仕組まれている。だから、たびたび立ち止まって、考えなければならない。そして、考えてわからなくなることで、自分がきちんと定義を理解できてないことに気がつかされる。
基礎論は、定義が最も重要だといっていい。定義の機微がわからないと定理を精密に理解することはできない。ぼくは、(ぼくが頭が悪いせいかもしれないが、トホホ)、何度も何度もつっかえては、元に戻って、定義を理解し直すことを繰り返している。
でも、こうしているからこそ、定義に内在する「想い」みたいなものが伝わってきて、そのみごとな整合性に舌を巻くことになるのである。
今、4章まで読んだところで、ここまでの成果だと、「完全性定理」のほぼ完璧な理解と、「モデルの理論」のまあまあの理解に達した感じだ。少なくとも、塾講師時代のテーマであった「正しいこと」と「証明できること」の差異については、思いを遂げた感触である。
まあ、もう、塾で働いていないので、初等幾何教育に活かすことはできないんだけどね。で、「モデルの理論」で得た成果は、「超準解析」の理解だ。
上下前次1-新書関写板覧索設栞歴
あと 75 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s