数理論理学・数学基礎論 - 数学, 自然科学, 科学, Japanese

Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。

林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。

学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。

記号論理学と情報科学の境界領域に関する研究発表や研究討論。

数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

Help build the largest human-edited directory on the web.