A modern Principia Mathematica on the webとも評される Norman Megill氏により開発され更新されている オープンソースの...

Wolfram Research, Inc.がフリーで提供している、 Mathematica計算エンジンを備える ドキュメント・ファイル(.cdf file)の プレイヤ...

シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer Kalkül: 論理計...

原題は、 PROOFS WITHOUT WORDS 数学の定理の証明を易しい図のみで表現している 正に「証明の展覧会」のような本。 -----------------...

ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...

ベーシック・イングリッシュやらエスペラント語やら クリンゴン語のような人工言語を言語学の範疇として研究することを主旨とした 非営利の研究会。

　 　知ってるヒトも多いと思うが，四色問題とは「4色あればどんな地図でも隣り合う国々が違う色になるように塗り分けることができる」という……なんつうか経験則の「証明問題」で...

原題は、 Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Tot...

原題は、 The Unknowable こことかにあるような (講義)内容が書かれていて、 LISPでメタ数学してます。 より深く理解するには 姉妹本に当たる数学の限界...

原題は、 SATAN, CANTOR, AND INFINITY and other mind-boggling puzzles レイモンド・Ｍ・スマリヤン著の 論理パ...

Clay Mathematics Instituteが それぞれに100万ドルの 懸賞金を懸けている 数学7つの未解決問題である the Millennium Prize...

原題は、 KEPLER'S CONJECTURE : How Some of the Greatest Minds in History Helped Solve One...

オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...