数学基礎論リンク集

Martin Goldsternさん による、数理論理学のリンク集。

Gustavus Adolphus College のサイトにある、論理学のリンク集。

University of Florida の Jean A. Larsonさん のサイトにある、集合論研究者のサイトのリンク集。

Syracuse University の Luis E. Sanchisさん のサイトにある、集合論に関するサイトのリンク集。

数理論理学や数学基礎論などのテキストのリンク集。

Philosophy Pages というサイトの中にある哲学事典。

Stanford University のサイトにある哲学事典。

University of Tennessee at Martin のサイトにある哲学事典。

The University of Manchester の Paul Taylorさん が、同じタイトルの書籍をHTML化したもの。

University of Maine System の G. J. Chaitinさん による数学基礎論に関する講義。

Pennsylvania State University の Stephen G. Simpsonさん による数学基礎論のチュートリアル。 DVI、PDF、PostScript、HTMLなど、 さまざまなデータ形式で公開されている。

神戸大学 の 林晋さん による、 数学基礎論とゲーデルに関するエッセイや論文など。

University of California, Davis によって運営されている Front for the ArXiv というアーカイブの中にある論理学のアーカイブ。

University of Pittsburgh のサイトにある、科学哲学のアーカイブ。

Marxists Internet Archive というサイトの中にある、 Andy Blundenさん による哲学のアーカイブ。 マルクス主義関連の論文ばかりではなく、ヒルベルト、ゲーデル、 ラッセル、クワイン、カルナップ、 ポパーといった人々の論文もある。

The Mizar Project のメインサイト。

信州大学 の 中村八束さん ほかによるMizarの講義録。 PDF版 もある。

Yew York University の Martin Davisさん をモデレーターとする、 数学基礎論に関するメーリングリストのサイト。

京都大学 の 佐藤雅彦さん と 五十嵐淳さん による、数学基礎論に関するメーリングリストのサイト。

大阪府立大学 のサイトの中にある、 「数学基礎論若手の会」という合宿形式の研究集会のサイト。

東北大学 の 田中一之さん による、 「数学基礎論および歴史分科会」という 日本数学会の分科会のサイト。