査読/記号論理学の言葉(Joh著)/2
をテンプレートにして作成
査読
rst2hooktail
進行表
執筆中
かぎマニュ
物理のかぎプロジェクト
トップ
最近の更新
ヘルプ
開始行:
* 面白く読ませて頂きました。 [#uadc13a2]
|~ページ|[[査読/記号論理学の言葉(Joh著)]]|
|~投稿者|[[K.I.]]|
|~状態|#listbox3(感想,査読2,state)|
|~投稿日|2007-05-07 (月) 18:37:33|
** メッセージ [#uae7e5d5]
Joh さん,こんにちは。 K.I. です。執筆お疲れさまです。
残念ながら私は理系人間と自称して文学に全然興味を示さな...
反省。
記事内容としては読みやすいですし,
大枠としてはこれで良いのではないでしょうか。
気づいた事を数点書いておきます。
記事の完成度が高いので,極些細な事を書いてしまいました。
これは執筆者の趣味の問題ですから,
あまり深く考えなくても良いと思います。番号が大きくなるに...
いちゃもんに近づいているような気がします。
私の個人的趣味の問題であると断っておきます。
(1) if や then などは立体の方が読みやすいと思います。
これらは数学記号ではないですから。
(2) 論理学に於ける「文」とは「命題」(や「論理式」) である...
記述してある方が分かりやすいと思います。
(3) 数学的記述に無駄がない,と言うのは言い過ぎではないで...
例えば, P ←→ Q というのは, (P → Q) ∧ (Q → P) と書けます...
もっと極端な例を示しますと, P ∨ Q は (¬P) → Q と書けます...
まぁ, P ∨ Q と書けるのに (¬P) → Q と書く方が無駄だと言...
(4) 意味論……うぅむ。
Joh さん,行間を読んで下さい (笑) ……
というのは査読として適当ではありませんね。意味論も大切で...
数学の形式化という観点からは……でも,分かりやすい説明のた...
難問です。
** 返答 [#m7a4e7ce]
- 査読ありがとうございます。私はもともと文系が好きです。...
- そうですね,ある情報は矢張り言葉で表す事が出来るでし...
#comment
#br
#topicpath
終了行:
* 面白く読ませて頂きました。 [#uadc13a2]
|~ページ|[[査読/記号論理学の言葉(Joh著)]]|
|~投稿者|[[K.I.]]|
|~状態|#listbox3(感想,査読2,state)|
|~投稿日|2007-05-07 (月) 18:37:33|
** メッセージ [#uae7e5d5]
Joh さん,こんにちは。 K.I. です。執筆お疲れさまです。
残念ながら私は理系人間と自称して文学に全然興味を示さな...
反省。
記事内容としては読みやすいですし,
大枠としてはこれで良いのではないでしょうか。
気づいた事を数点書いておきます。
記事の完成度が高いので,極些細な事を書いてしまいました。
これは執筆者の趣味の問題ですから,
あまり深く考えなくても良いと思います。番号が大きくなるに...
いちゃもんに近づいているような気がします。
私の個人的趣味の問題であると断っておきます。
(1) if や then などは立体の方が読みやすいと思います。
これらは数学記号ではないですから。
(2) 論理学に於ける「文」とは「命題」(や「論理式」) である...
記述してある方が分かりやすいと思います。
(3) 数学的記述に無駄がない,と言うのは言い過ぎではないで...
例えば, P ←→ Q というのは, (P → Q) ∧ (Q → P) と書けます...
もっと極端な例を示しますと, P ∨ Q は (¬P) → Q と書けます...
まぁ, P ∨ Q と書けるのに (¬P) → Q と書く方が無駄だと言...
(4) 意味論……うぅむ。
Joh さん,行間を読んで下さい (笑) ……
というのは査読として適当ではありませんね。意味論も大切で...
数学の形式化という観点からは……でも,分かりやすい説明のた...
難問です。
** 返答 [#m7a4e7ce]
- 査読ありがとうございます。私はもともと文系が好きです。...
- そうですね,ある情報は矢張り言葉で表す事が出来るでし...
#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.002 sec.