代数学総合スレッド Part2

代数学総合スレッド Part2 at MATH

747:１３２人目の素数さん
04/07/05 19:56
＞結局、基礎論に行くことになって、
＞本来の数学とはあまり縁がなくなるんだ

って>>585で言ってるけど、>>744でも言ったようにMordell-Lang予想
っていう、純粋な代数幾何の問題がmodel theoryという基礎論の
テクニックを使って証明されるというセンセーショナルな出来事があった。
人によっていろいろな考え方があると思うが、おれは細かいことでも
気になることがあったら徹底的に考え、調べるべきだと思う。
集合論だから、基礎論だから深入りせずにスルーしようという態度では
限られたものの見方しかできない。

次ページ

続きを表示

1を表示