Directory of 数理論理学・数学基礎論 Resources

Home > World > Japanese > 科学 > 自然科学 > 数学 > 数理論理学・数学基礎論

数理論理学及び数学基礎論に関するサイトを扱います。

Resources in This Category

• 情報証明論

  http://markun.cs.shinshu-u.ac.jp/learn/iproof/
  Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。

• 数学基礎論史

  http://www.shayashi.jp/HistoryOfFOM/
  林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。

• 数学基礎論若手の会

  http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/
  学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。

• 高校数学＋α

  http://www.h6.dion.ne.jp/~hsbook_a/
  数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

Other Languages

• 英語
• ドイツ語
• スペイン語
• イタリア語
• ロシア語
• ポーランド語
• フランス語

 

Home > World > Japanese > 科学 > 自然科学 > 数学 > 数理論理学・数学基礎論

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us