2008年9月14日日曜日

Principia mathematica

古典がPDFになってた.

数理論理学の古典.
例として1+1=2を論理的に300ページ以上かけて証明している.
実際,p.379 *54・53 で証明されている命題が,1+1=2 といえる.そこに到達するのに,1518個のサブ定理を 11086ステップかけて証明している.

ペアノの公理系から証明するのは以前書いたことがある>以前の記事

0 件のコメント:

コメントを投稿

「コメントの記入者:」は「匿名」ではなく,「名前/URL」を選んで,なにかニックネームを入れてください.URL は空欄で構いません.