Metamath.org
A modern Principia Mathematica on the webとも評される
Norman Megill氏により開発され更新し続けられている
オープンソースのproof checkerと
データベース(ライセンスは
GNU General Public License for the softwares
and Creative Commons Public Domain Dedication for the databases
とのこと)のWebサイト。
2 + 2 = 4 Triviaにある
2 + 2 = 4のトータルで25,933ステップにもなる
証明(Zermelo–Fraenkel set theory with the axiom of choiceから
複素数の等式の命題として演繹した)は圧巻。
http://metamath.org/
http://en.wikipedia.org/wiki/...
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2008/09/17更新
- 2008/08/23登録
- 472クリック
ソーシャルブックマーク
「Metamath.org」に関連するキーワード
知の限界
マスク試着室ー N9...
ブログパーツ
- メイン
- コメント(0)
- つながり(3)
- トラックバック(0)
コメント (0)
まだコメントされていません。
つながりキーワード (3)
Tarski's axioms
- (カオナシ)
形式化されたユークリッド幾何の公理系で、 Alfred Tarskiにより発表され 完全で無矛盾で決定可能であることが証明されている理論の一つ。 同じように完全で無矛盾で決定可能であること...
知の限界
- (カオナシ)
原題は、 The Unknowable こことかにあるような (講義)内容が書かれていて、 LISPでメタ数学してます。 より深く理解するには 姉妹本に当たる数学の限界...
Mizar
- (カオナシ)
2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明( ftp://mizar....
携帯でこのページにアクセス
２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます
関心空間人気のキーワード
コンピュータカテゴリー
-
Canon 年賀状作成おたすけサイト くの
-
intel Centrino「優雅な週末」 mtm
-
中村勇吾 golG
-
マスク試着室ー N95など suneo99
-
bbs2chreader （Firefoxアドオン：2chブラウザ） zeek21
-
Touch Diamond™ / S21HT BRAVO30000W!
-
帝国データバンク 倒産情報 コトミ
-
Net Cycling シンクパンク
-
かわいいデスクトップ付箋 Stickypaper nyon
-
Yahoo!きっず で 年賀状作成 jinki
キャンペーン
-
ひそかに完成！
-
7周年ありがとう。8年目もよろしく。
-
新生活を楽しもう。コミュニティもオープン！
-
文化放送 Juicy Style buono! buono!
美人のモト、ただいま放送中！
-
あなたのブログに出張します
