数学基礎論の研究について
- 数学基礎論の研究の現状について知りたいです
- 数学基礎論は、不完全性定理によって終結したと言われていますが、まだ興味深い研究が行われています
- 数学基礎論は、計算機科学の基礎としても重要であり、発展に大きく寄与しています
- ベストアンサー
数学基礎論の研究について
数学基礎論の研究について 数学基礎論に興味が有ります。 数学基礎論の分野では現在、どのような研究が行われているのでしょうか？ 自分で調べたところ、この分野は研究室も少なく、不完全性定理等によってもう「終わった」とも言われているようです。 ですがそれでもこの分野に興味があるので、どのような研究をしているか気になります。 また、自分は情報工学を現在専攻してますので、情報工学(計算機科学)との関連も気になります。Wikipediaには「計算機科学の基礎と発展に大きく寄与した」とありますが、具体的にどのようなことでしょうか？ まとめますと、今どのような研究がなされているか、計算機科学との関連、について教えて欲しいです。 よろしくお願いします。
- yaruotto
- お礼率52% (18/34)
- 数学・算数
- 回答数2
- ありがとう数5
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
私には圏論 http://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 が基礎論の今後の中心課題のように見えてます。いわゆる圏論的構造主義 http://philmat.oxfordjournals.org/cgi/content/abstract/12/1/37 の話です。その一部として、トポス http://ja.wikipedia.org/wiki/%E3%83%88%E3%83%9D%E3%82%B9_%28%E6%95%B0%E5%AD%A6%29 と論理とか。 > 情報工学を現在専攻してますので、情報工学(計算機科学)との関連も気になります。Wikipediaには「計算機科学の基礎と発展に大きく寄与した」とありますが、具体的にどのようなことでしょうか？ やはり圏論との関連が大きく見えます。たとえば Haskell は圏論抜きには語れません。Category Theory for Computing Science http://www.cwru.edu/artsci/math/wells/pub/ctcs.html という本もあり、net でも www.cs.toronto.edu/~sme/presentations/cat101.pdf とか、いろいろあります。
その他の回答 (1)
- kabaokaba
- ベストアンサー率51% (724/1416)
＞不完全性定理等によってもう「終わった」とも言われているようです。 へ？誰がそんなことを？ 不完全性定理はスタートにすぎないんですが， 終わったとかいうのは 何も知らない門外漢の勝手な言い草でしょう． とりあえず 東大出版の「ゲーデルの20世紀」のシリーズを よんでみたらどうでしょうね． 不完全性定理「以降」の話もたくさんでてます． 結城浩さんの「数学ガール」の三冊目にも 不完全性定理「以降」の話題がちょろっとだけでてます． 不完全性定理によって「不完全」だということがわかったから， ・不完全性の具体例は何か？ ・その具体例を含めることのできる公理系はあるのか？ ・公理系の「強さ」の比較 ・ある定理を証明するのに最低限必要な公理系は何か？ というようなことが問題になります． ＞Wikipediaには「計算機科学の基礎と発展に大きく寄与した」 チャーチ数，λ計算，チューリングマシンなんかでは不足ですかねえ λ計算なんかはLispやHaskellの根幹だと思います． ペアノ公理系なんかは再帰そのものですよね．
お礼
ありがとうございます。
関連するQ&A
- 数学科に進んで素粒子論の研究者を目指すには
私は今、大学１年生で２年生の時に学科選択があり、物理学科か数学科で悩んでいます。将来は素粒子論の研究者を目指していますが、素粒子の分野と高度な数学の分野（トポロジーや代数幾何、数論（ゼータ関数周辺）など）は密接にかかわりあっていると聞きます。また数学の世界自体、自分はとても興味があります。そこでとりあえず大学在学中は数学科に進み、物理は独学をして、いずれ大学院等で物理の方面に移れたらと考えています。（物理学科に進んで数学を自習するという選択も可能で、それが（素粒子を目指す者にとって）普通のような気もしますが、今の自分にとっては数学の本は読みにくく、物理の本は読みやすいというイメージがあり、数学の方がよりじっくりと取り組まなくてはならず、物理の方が自習しやすそうという見込みがあります。また既存の物理学にとりあえず必要なだけの数学を学ぶだけではなくある程度十分な数学の素養を身につけたいという考えもあります。）そこで素粒子の研究者になるためには具体的に大学院（またはその他）のどの時期に移ればよいのか（例えば博士過程は数学、物理のどちらで進むべきなのか）、またそれは可能な道であるのかを教えていただきたいです。身につけたい数学の素養は例えば代数幾何ではスキーム論（もしくはそれに関する本が読める程度の基礎知識）、数論でいうとゼータ関数周辺のある程度専門的な知識です。大学院のことについてはほとんど知識がありませんので詳しく教えていただけると幸いです。
- 締切済み
- 数学・算数
- 数学の研究の最前線を知るには？
数学の研究の最前線で、どのようなことが行われているのかを知りたいのですが、そのような情報を扱っている書籍、またはインターネットのサイトなどは存在するのでしょうか？？ また、一般的にはそのような情報はどこで手に入れるのでしょうか？ 私は作用素論を研究分野としているのですが、作用素論の研究の最前線で、どのようなことが行われているのか知りたいのです。もし知っている方がいらっしゃいましたら、お願いいたします。
- ベストアンサー
- 数学・算数
- 数学基礎論・論理学を大学で専攻するには
私は欧州で哲学専攻の大学院生です。哲学をやっていくうちに、数学に興味がわいてきました。 数学の中でも数学基礎論や数理論理学です。 哲学の博士論文が終わったら、数学を学びたいと思います。UKかIrelandの大学を考えています。Open University (日本の放送大学のようなもの)も選択肢です。 数学は、学部生の時の統計・経済数学くらいしか覚えていません。 大学院で数学基礎論や数理論理学を専攻するためには、それ以外の分野の数学をどの程度やっておくべきでしょうか？できれば具体的な分野名や良書がある場合には書籍名なども教えてください。
- ベストアンサー
- 数学・算数
- 科学哲学と科学基礎論
科学哲学と科学基礎論の違いって何なのですか？ また、なぜ日本科学哲学会と科学基礎論学会があるのですか？どういった違いがあるのでしょうか？ あと、文系の大学院での科学哲学の研究（大学院 文学研究科 哲学専攻で科学哲学を学ぶことなど）と理系の大学院での科学哲学の研究（大学院 理学研究科 物理学専攻 科学哲学研究室など）の違いを教えてください。 知っている方いれば助かります。よろしくお願いします。
- 締切済み
- 科学
- 情報科学のための数学に関しての本(特に集合論)
情報科学のための数学に関しての本(特に集合論) 情報科学(グラフ理論等)を学ぶための、数学の基礎知識(特に集合論)が不足していまして、それらを総合的に学べる本を探しております。 集合、関係、写像等に関してまとまっている本でお薦めの本を教えてください。 純粋数学をやるわけではないので、一つのことに関して詳しく述べている本が必要なわけではありません
- ベストアンサー
- 数学・算数
- 科学の基礎はどうして数学なんでしょうか？
★「数学をすべての科学的探究の土台としての学問分野にする」という記述をみかけました。数学ってどだいなんでしょうか？数学といわれて計算問題をしかイメージできない私には理解できません。数学の発展と科学の発展は因果関係があるのでしょうか？
- ベストアンサー
- 科学
- 物理学科から数学科の院へ
こんにちは。 僕はある私立大学の学部2年生で現在物理を勉強しています。 今個人的に流体現象に非常に強い興味を持っています。 将来は博士課程に進学して流体の研究者になることを目標に学問にはげんでいます。 僕は理論系の研究がしたくて、様々な研究室を調べたのですが、 工学系の研究室より数学系の流体研究室に強く惹かれてしまいました。 いわゆる数理科学や応用数学に分類される分野です。 いくら流体の研究室とはいえ、やはり数学を専門にしている人が研究しています。 僕は物理学科から数学科の院へ進むことを考えています。 数値計算をしてこんな結果が出ました！ っていうのも好きですが、それ以上に現象の数理的構造を解き明かす方向に進みたいと思っています。 しかし、物理数学と数学科の数学は趣が全然異なります。 周りの友達や先輩や先生にもあまり物理から数学科へ行った人はいないみたいです。 僕は今、物理に加えて、集合位相論や流体力学を学んでいます。 ただ、数学が院に行くまでにちゃんと数学科の方々のような理解ができるかかなり不安ではあります。 なんとか直積集合位までなら今のところ理解できるようになってきてはいるのですが・・・まだまだです。 同じような方向で院に進んだ方、また流体研究をしている方などから物理系の人が数学や流体を学んでいく上でのアドバイスなどをいただきたいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。