プログラミング言語リンク集その他/ 数学基礎論リンク集

数学基礎論リンク集

目次

リンク集
用語集
チュートリアル
アーカイブ
その他
Mathematical Logic around the world
http://world.logic.at/
Martin Goldsternさん による、数理論理学のリンク集。
Logic Links
http://www.gac.edu/oncampus/academics/philosophy/llogic.html
Gustavus Adolphus College のサイトにある、論理学のリンク集。
Set Theory homepages
http://www.math.ufl.edu/~jal/set_theory.html
University of Florida Jean A. Larsonさん のサイトにある、集合論研究者のサイトのリンク集。
Set Theory Page
http://www.cis.syr.edu/~sanchis/setory.html
Syracuse University Luis E. Sanchisさん のサイトにある、集合論に関するサイトのリンク集。
オンラインで入手できる数理論理学・数学基礎論のテキスト
http://klapaucius.web.fc2.com/logic/online-textbooks.html
数理論理学や数学基礎論などのテキストのリンク集。

用語集

A Dictionary of Philosophical Terms and Names
http://www.philosophypages.com/dy/
Philosophy Pages というサイトの中にある哲学事典。
Stanford Encyclopedia of Philosophy
http://plato.stanford.edu/
Stanford University のサイトにある哲学事典。
The Internet Encyclopedia of Philosophy
http://www.iep.utm.edu/
University of Tennessee at Martin のサイトにある哲学事典。

チュートリアル

Practical Foundations of Mathematics
http://www.cs.man.ac.uk/~pt/Practical_Foundations/
The University of Manchester Paul Taylorさん が、同じタイトルの書籍をHTML化したもの。
A Century of Controversy over the Foundations of Mathematics
http://www.umcs.maine.edu/~chaitin/lowell.html
University of Maine System G. J. Chaitinさん による数学基礎論に関する講義。
Foundations of Mathematics
http://www.math.psu.edu/simpson/foundations/
Pennsylvania State University Stephen G. Simpsonさん による数学基礎論のチュートリアル。 DVI、PDF、PostScript、HTMLなど、 さまざまなデータ形式で公開されている。
ゲーデルと数学基礎論の歴史
http://www.shayashi.jp/HistoryOfFOM/
神戸大学 林晋さん による、 数学基礎論とゲーデルに関するエッセイや論文など。

アーカイブ

math.LO Logic
http://front.math.ucdavis.edu/math.LO
University of California, Davis によって運営されている Front for the ArXiv というアーカイブの中にある論理学のアーカイブ。
PhilSci Archive
http://philsci-archive.pitt.edu/
University of Pittsburgh のサイトにある、科学哲学のアーカイブ。
MIA Philosophy Resource from Andy Blunden
http://www.marxists.org/reference/subject/philosophy/
Marxists Internet Archive というサイトの中にある、 Andy Blundenさん による哲学のアーカイブ。 マルクス主義関連の論文ばかりではなく、ヒルベルト、ゲーデル、 ラッセル、クワイン、カルナップ、 ポパーといった人々の論文もある。

その他

The Mizar Home Page
http://www.mizar.org/
The Mizar Project のメインサイト。
Mizar講義録(改訂版)
http://markun.cs.shinshu-u.ac.jp/kiso/projects2/proofchecker/mizar/Mizar-J/Miz-tit.htm
信州大学 中村八束さん ほかによるMizarの講義録。 PDF版 もある。
FOM -- Foundations of Mathematics
http://www.cs.nyu.edu/mailman/listinfo/fom/
Yew York University Martin Davisさん をモデレーターとする、 数学基礎論に関するメーリングリストのサイト。
メイリングリスト案内
http://www.sato.kuis.kyoto-u.ac.jp/mailing-lists/index.html.ja
京都大学 佐藤雅彦さん 五十嵐淳さん による、数学基礎論に関するメーリングリストのサイト。
数学基礎論若手の会
http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/
大阪府立大学 のサイトの中にある、 「数学基礎論若手の会」という合宿形式の研究集会のサイト。
数学基礎論および歴史分科会
http://www.math.tohoku.ac.jp/~tanaka/kisoron/
東北大学 田中一之さん による、 「数学基礎論および歴史分科会」という 日本数学会の分科会のサイト。
プログラミング言語リンク集その他/ 数学基礎論リンク集

Last modified: Friday, 14 May 2010
Copyright (C) 2002-2010 Daikoku Manabu