Top: World: Japanese: 科学: 自然科学: 数学: 数理論理学・数学基礎論:
Attention webmaster:

fopen(cache/028d38c6253cbee3d586a9e8a301c9f5) [function.fopen]: failed to open stream: No such file or directory
Attention webmaster:

Error writing to cache!
Make sure the cache folder exists and is writeable by this script (you may also disable the cache)

ほかの言語でのこのカテゴリ
   
英語  (805)   ドイツ語  (8)   スペイン語  (9)  
フランス語  (21)   イタリア語  (4)   ポーランド語  (6)  
ロシア語  (4)  
  • 情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
  • 数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。
  • 数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
  • 記号論理と情報科学研究集会 - 記号論理学と情報科学の境界領域に関する研究発表や研究討論。
  • 高校数学＋α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。