- 追加された行はこの色です。
- 削除された行はこの色です。
* クロメル感想置き場 [#jeb27791]
|~ページ|[[執筆中/数学のレシピ (1) (K.I.著)]]|
|~投稿者|[[クロメル]]|
|~状態|#listbox3(感想,査読2,state)|
|~投稿日|2007-05-31 (木) 21:37:32|
** メッセージ [#q2d8ca41]
誰もが一度は心に思い描く、しかし9割の人は実行しない(私もその中の一人です)数学の基礎からの組み立てですね。本物をみるのは初めてですよ。一度で読むには多すぎるので、少しずつ感想を書いていこうと思います。
(1) 命題論理の記号と文法
まず自然数を考えて、足し算や引き算等の演算によって広がっていく世界の事かなと思ってみたら、なんと言語、文法からの構築なのですね。公理が最小限ですっきりとした印象をもちました。これから、これがどのように意味を持たせていくか楽しみです。
(2) 命題論理の公理系と推論規則
(3) 命題論理の形式的証明論 (1)
(4) 命題論理の形式的証明論 (2)
(5) 命題論理の形式的証明論 (3)
(6) 命題論理の意味論
(7) 命題論理の健全性
(8) 命題論理の内容的完全性
** 返答 [#u75ef3ab]
- 早速お読み頂きまして有り難うございます。「まず自然数を考えて云々」は,数学のレシピ補遺で簡単な数論として組み立てる予定です。元々は,レシピに入れていたのですが,「形式的世界」と「現実世界」との区別が曖昧になってしまう事を恐れて,わざと外しました。そうですね,「補遺」も来週中にアップします。述語論理はもうちょっと待って下さい。 -- [[K.I.]] &new{2007-05-31 (木) 21:47:31};
#comment
#br
#topicpath