数理論理学・数学基礎論

Sites 4

• 情報証明論 Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
• 高校数学＋α 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。
• 数学基礎論若手の会 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
• 数学基礎論史 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。

Other languages 7

• Deutsch (ドイツ語)
• Español (スペイン語)
• Français (フランス語)
• Italiano (イタリア語)
• Polski (ポーランド語)
• Russian (ロシア語)
• Top (英語)