数理論理学及び数学基礎論に関するサイトを扱います。
Sites 4
Loading new listings for you to review...
- 情報証明論 Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
- 高校数学+α 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。
- 数学基礎論若手の会 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
- 数学基礎論史 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
Loading new listings for you to review...