ページ | 執筆中/数学のレシピ (1) (K.I.著) |
---|---|
投稿者 | クロメル |
状態 | |
投稿日 | 2007-05-31 (木) 21:37:32 |
誰もが一度は心に思い描く、しかし9割の人は実行しない(私もその中の一人です)数学の基礎からの組み立てですね。本物をみるのは初めてですよ。一度で読むには多すぎるので、少しずつ感想を書いていこうと思います。
(1) 命題論理の記号と文法 まず自然数を考えて、足し算や引き算等の演算によって広がっていく世界の事かなと思ってみたら、なんと言語、文法からの構築なのですね。公理が最小限ですっきりとした印象をもちました。これから、これがどのように意味を持たせていくか楽しみです。
(2) 命題論理の公理系と推論規則
(3) 命題論理の形式的証明論 (1)
(4) 命題論理の形式的証明論 (2)
(5) 命題論理の形式的証明論 (3)
(6) 命題論理の意味論
(7) 命題論理の健全性
(8) 命題論理の内容的完全性