数学基礎論の役立つサイト

tanaka@math.tohoku.ac.jp

数学基礎論

• 世界のロジック： http://www.uni-bonn.de/logic/world.html
• アメリカの大学 ロジック編： http://www.usnews.com/usnews/edu/beyond/gradrank/gbmatsp4.htm
• 記号論理学会： http://www.math.uiuc.edu/~asl/
• ロジックEprint： http://www.math.ufl.edu/~logic/
• 計算論： http://www.nd.edu/~cholak/computability/
• A.Hodgesのページ(Penrose, Turing)： http://www.wadham.ox.ac.uk/~ahodges/main.html
• ゲーデル学会： http://www.logic.at/kgs/home.html
• ゲーデル： http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html
• チューリング１： http://www.wadham.ox.ac.uk/~ahodges/Turing.html
• チューリング２： http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Turing.html
• ギャンディー： http://www.turing.org.uk/turing/scrapbook/robin.html

数学一般

• 数学サイト集（Penn State編）： http://www.math.psu.edu/PSUmathhome/cool.html
• 数学サイト集（静岡大編）： http://www.sci.shizuoka.ac.jp/~math/link.html
• Zentralblatt: http://www.emis.de/cgi-bin/MATH
• Math Review: http://www.ams.org/mathscinet/

一般検索

• CSJ What's Best!
• goo
• YAHOO! JAPAN
• infoseek