古典がPDFになってた．
数理論理学の古典．
例として1+1=2を論理的に300ページ以上かけて証明している．
実際，p.379 *54・53 で証明されている命題が，1+1=2 といえる．そこに到達するのに，1518個のサブ定理を 11086ステップかけて証明している．
ペアノの公理系から証明するのは以前書いたことがある＞以前の記事
くろべえ JG1BGT の受け狙い人生 >> 数学，学校，旅行，単車，鉄道，囲碁，トロンボーン，ドラム，アマチュア無線 JG1BGT，CWが好きです。でもQRPのほうがもっと好きです。
0 件のコメント:
コメントを投稿
スパム対策のため，コメントは，承認するまで表示されません。
「コメントの記入者:」は「匿名」ではなく，「名前/URL」を選んで，なにかニックネームを入れてください．URL は空欄で構いません．