執筆中/数学のレシピ (1) (K.I.著)/3
をテンプレートにして作成
査読
rst2hooktail
進行表
執筆中
かぎマニュ
物理のかぎプロジェクト
トップ
最近の更新
ヘルプ
開始行:
* クロメル感想置き場 [#jeb27791]
|~ページ|[[執筆中/数学のレシピ (1) (K.I.著)]]|
|~投稿者|[[クロメル]]|
|~状態|#listbox3(感想,査読2,state)|
|~投稿日|2007-05-31 (木) 21:37:32|
** メッセージ [#q2d8ca41]
誰もが一度は心に思い描く、しかし9割の人は実行しない(私...
-(1) 命題論理の記号と文法
まず自然数を考えて、足し算や引き算等の演算によって広がっ...
-(2) 命題論理の公理系と推論規則
公理系の節に「数学の公理系も どの世界でも明らかに成り立つ...
以下に書く、註も付けてくださるとうれしいです。(間違って...
..[*] :ここで「正しい」という言葉を使いましたが、これはこ...
次に推論規則の節ですが、すこし話が分かりにくいなと思った...
体系M_0において,理論を出発させる[証明できないが正しいも...
いままで書いたことはすべてあくまで私の認識に基づいた案で...
、または別の変え方をするかはK.I.さんにお任せします。
-(3) 命題論理の形式的証明論 (1)
-(4) 命題論理の形式的証明論 (2)
Th0401 の証明のところで、(A→A)→(A→C)のCは、Bの...
-(5) 命題論理の形式的証明論 (3)
-(6) 命題論理の意味論
おもしろくなってきました。ところで、原子論理式とあります...
-(7) 命題論理の健全性
どうでもいいことですが中盤に「その場合,証明の木の一番上...
-(8) 命題論理の内容的完全性
** 返答 [#u75ef3ab]
- 早速お読み頂きまして有り難うございます。「まず自然数...
- クロメルさん> 私には「現実では明らかに正しい論理があ...
- たとえば、三段論法ってありますよね。これは現実世界で明...
- 気を悪くなさらないで下さいと先にお願いしておきますが...
- KIさん、ありがとうございます。私の言いたかったことを、...
- 一つ質問したいのですが、公理は(仮定なしに?)証明可能...
- 証明可能とはどういう意味ですか? -- [[Joh]] &new{2007-0...
- K.I.さんの返事に、「形式的世界では公理とは「何の仮定も...
- なるほど、形式的世界でも、無矛盾姓などでその体系を(現...
- なるほど。KIさんのその書き方だと、『証明可能』の部分が...
- まだ改訂していません。ごめんなさい。 返事だけ書いて...
- K.I.さん、返答ありがとうございます。形式的世界では、真...
- Joh さん,「範疇性」とは何ですか? / 「公理の独立...
- 一つの公理系を満たす二つ以上の体系があっても、これらが...
- Joh さん,範疇性のお答え,有り難うございます。ヒルベ...
- 一日一個ずつ読んでいこうと思っていたのですが、予想以上...
- だいぶ時間が経ってしまいましたが、また査読を始めようと...
#comment
#br
#topicpath
終了行:
* クロメル感想置き場 [#jeb27791]
|~ページ|[[執筆中/数学のレシピ (1) (K.I.著)]]|
|~投稿者|[[クロメル]]|
|~状態|#listbox3(感想,査読2,state)|
|~投稿日|2007-05-31 (木) 21:37:32|
** メッセージ [#q2d8ca41]
誰もが一度は心に思い描く、しかし9割の人は実行しない(私...
-(1) 命題論理の記号と文法
まず自然数を考えて、足し算や引き算等の演算によって広がっ...
-(2) 命題論理の公理系と推論規則
公理系の節に「数学の公理系も どの世界でも明らかに成り立つ...
以下に書く、註も付けてくださるとうれしいです。(間違って...
..[*] :ここで「正しい」という言葉を使いましたが、これはこ...
次に推論規則の節ですが、すこし話が分かりにくいなと思った...
体系M_0において,理論を出発させる[証明できないが正しいも...
いままで書いたことはすべてあくまで私の認識に基づいた案で...
、または別の変え方をするかはK.I.さんにお任せします。
-(3) 命題論理の形式的証明論 (1)
-(4) 命題論理の形式的証明論 (2)
Th0401 の証明のところで、(A→A)→(A→C)のCは、Bの...
-(5) 命題論理の形式的証明論 (3)
-(6) 命題論理の意味論
おもしろくなってきました。ところで、原子論理式とあります...
-(7) 命題論理の健全性
どうでもいいことですが中盤に「その場合,証明の木の一番上...
-(8) 命題論理の内容的完全性
** 返答 [#u75ef3ab]
- 早速お読み頂きまして有り難うございます。「まず自然数...
- クロメルさん> 私には「現実では明らかに正しい論理があ...
- たとえば、三段論法ってありますよね。これは現実世界で明...
- 気を悪くなさらないで下さいと先にお願いしておきますが...
- KIさん、ありがとうございます。私の言いたかったことを、...
- 一つ質問したいのですが、公理は(仮定なしに?)証明可能...
- 証明可能とはどういう意味ですか? -- [[Joh]] &new{2007-0...
- K.I.さんの返事に、「形式的世界では公理とは「何の仮定も...
- なるほど、形式的世界でも、無矛盾姓などでその体系を(現...
- なるほど。KIさんのその書き方だと、『証明可能』の部分が...
- まだ改訂していません。ごめんなさい。 返事だけ書いて...
- K.I.さん、返答ありがとうございます。形式的世界では、真...
- Joh さん,「範疇性」とは何ですか? / 「公理の独立...
- 一つの公理系を満たす二つ以上の体系があっても、これらが...
- Joh さん,範疇性のお答え,有り難うございます。ヒルベ...
- 一日一個ずつ読んでいこうと思っていたのですが、予想以上...
- だいぶ時間が経ってしまいましたが、また査読を始めようと...
#comment
#br
#topicpath
ページ名:
Modified by
物理のかぎプロジェクト
PukiWiki 1.4.6
Copyright © 2001-2005
PukiWiki Developers Team
. License is
GPL
.
Based on "PukiWiki" 1.3 by
yu-ji
Powered by PHP 5.3.29 HTML convert time to 0.003 sec.