査読

rst2hooktail

進行表

執筆中

かぎマニュ

物理のかぎプロジェクト

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 執筆中/数学のレシピ (1) (K.I.著)/3 へ行く。
  • 1 (2007-05-31 (木) 21:37:32)
  • 2 (2007-05-31 (木) 21:37:32)
  • 3 (2007-05-31 (木) 21:40:45)
  • 4 (2007-05-31 (木) 21:47:31)
  • 5 (2007-06-01 (金) 20:08:43)
  • 6 (2007-06-01 (金) 20:20:49)
  • 7 (2007-06-01 (金) 20:21:16)
  • 8 (2007-06-01 (金) 20:22:51)
  • 9 (2007-06-01 (金) 20:35:01)
  • 10 (2007-06-01 (金) 20:37:21)
  • 11 (2007-06-01 (金) 20:45:14)
  • 12 (2007-06-01 (金) 20:50:08)
  • 13 (2007-06-02 (土) 08:54:29)
  • 14 (2007-06-02 (土) 19:48:31)
  • 15 (2007-06-02 (土) 20:09:01)
  • 16 (2007-06-02 (土) 20:29:21)
  • 17 (2007-06-02 (土) 20:33:52)
  • 18 (2007-06-02 (土) 20:40:03)
  • 19 (2007-06-02 (土) 20:42:02)
  • 20 (2007-06-02 (土) 20:44:24)
  • 21 (2007-06-02 (土) 20:49:47)
  • 22 (2007-06-02 (土) 20:52:16)
  • 23 (2007-06-02 (土) 20:55:20)
  • 24 (2007-06-02 (土) 20:58:09)
  • 25 (2007-06-02 (土) 20:59:12)
  • 26 (2007-06-03 (日) 18:17:02)
  • 27 (2007-06-03 (日) 19:04:56)
  • 28 (2007-06-04 (月) 20:20:57)
  • 29 (2007-06-04 (月) 20:52:22)
  • 30 (2007-06-04 (月) 21:25:36)
  • 31 (2007-06-30 (土) 18:32:50)
  • 32 (2009-07-27 (月) 23:36:22)
  • 33 (2009-07-29 (水) 06:31:54)
  • 34 (2009-07-29 (水) 06:46:53)
  • 35 (2009-07-29 (水) 06:53:29)

クロメル感想置き場 †

メッセージ †

誰もが一度は心に思い描く、しかし９割の人は実行しない（私もその中の一人です）数学の基礎からの組み立てですね。本物をみるのは初めてですよ。一度で読むには多すぎるので、少しずつ感想を書いていこうと思います。

(1) 命題論理の記号と文法

まず自然数を考えて、足し算や引き算等の演算によって広がっていく世界の事かなと思ってみたら、なんと言語、文法からの構築なのですね。公理が最小限ですっきりとした印象をもちました。これから、これがどのように意味を持たせていくか楽しみです。

(2) 命題論理の公理系と推論規則

(3) 命題論理の形式的証明論 (1)

(4) 命題論理の形式的証明論 (2)

(5) 命題論理の形式的証明論 (3)

(6) 命題論理の意味論

(7) 命題論理の健全性

(8) 命題論理の内容的完全性

返答 †