数理論理学・数学基礎論
Mission
Problems & Solutions
The system
Suggest
&
Edit
F.A.Q.
Contact
ODP
Amp
World
Japanese
科学
自然科学
数学
数理論理学・数学基礎論
数理論理学及び数学基礎論に関するサイトを扱います。
Sites
4
情報証明論
Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
高校数学+α
数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。
数学基礎論若手の会
学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
数学基礎論史
林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
Other languages
7
Deutsch (ドイツ語)
Español (スペイン語)
Français (フランス語)
Italiano (イタリア語)
Polski (ポーランド語)
Russian (ロシア語)
Top (英語)