11/11/06 19:45:10.39
なかったので立てました
2:KingMathematician ◆5lHaaEvFNc
11/11/06 22:00:49.67
A and not B は AがBを内含しない条件になる.
一方, not A or B は AがBを内含することになるとは限らない.
「2は素数でないか3は素数である」は成り立つが,2が素数であることは3が素数であることを内含しない.
A⇒A,A⇒BかつB⇒CのときA⇒C は正しい.
3:１３２人目の素数さん
11/11/06 22:49:29.05
らしい
4:１３２人目の素数さん
11/11/08 20:23:35.11
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する「論理革命」は、おそらく、世界を席巻
することとなろう。
5:１３２人目の素数さん
11/11/08 23:49:42.95
哲学板の巣に戻れよ
6:１３２人目の素数さん
11/11/09 14:48:05.89
㌧デモと見える学説に対しては、、一般論として、我々は慎重でなければならないと思う。
学問の歴史を振り返ってみれば、最初は、大多数の人間には、㌧デモと思われていた学説が、
のちのち、定説となったものが「実に多い」からだ。
有名なところでは、地*球*説にしてしかり、地動説にしてしかり、大陸移動説にしてしかり。
ド・プロイの電子波説にしても、提唱された当初は、物理学者一般には「物笑いの種」だった
し、また、アインシュタインの特殊相対性理論の場合も、最初は、トップクラス物理学者の中
のごく一部の人に認められただけだったという歴史的事実を直視すべきだろう。
ここで、ネット数学四天王と呼ばれている面々について考えてみると、まず、マツシン先生に
ついては、見るべき理論は無いので、論外として、イマイ爺の場合は、一応、独自の"理論"は
立てているが、なにせ、「程度が低くて」問題にならない。 むしろ、それを読んだ中・高生
に"害"を及ぼす怖れのほうが大きいと思われる。 一方、ヤマジンにの例の"証明"のほうは、
㌧デモのままで終わると見て間違いないだろう。
注目すべきは、エムシラ理論だろう。 四色定理の証明や不可完全性定理についての論考さえも
隅っこ扱いされているような、壮大な理論で、ちょっと判断に迷うが、ひょっとすればひょっと
するという気持ちを抱かせる「何か」がある。 ケンブリッジで講演する予定のようだけど、
ケンブリッジを席巻してしまう可能性、無きにしもあらずだろう。 今後、何年後以降からは、
世界の論理学の教科書はすべてエムシラ理論に準拠したものになる*かも*知れない。
URLﾘﾝｸ(www.age.ne.jp)
7:１３２人目の素数さん
11/11/11 07:05:49.40
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する【論理改革】は、おそらく、世界を席巻
することとなろう。
URLﾘﾝｸ(www.age.ne.jp)
8:１３２人目の素数さん
11/11/11 11:35:46.21
ゴミはゴミ捨て場の哲学板へ捨てるように。
9:＾
11/11/11 22:47:06.53
論理法則とは、そも、何ぞや ？
In the first place, what does a logical law mean ?
10:１３２人目の素数さん
11/11/12 13:03:38.41
ことがら Ａ，Ｂ，Ｃ，Ｄ が在り、これらについて次の２つの関係が成り立って
いるものとする。
(ｲ) Ａであれば、Ｂか又はＣである。
(ﾛ) Ｄであれば、ＢでもＣでもない。
このとき、以下の主張 (1) ～ (8) のうち正しいものを列挙せよ。尚、解法も述べよ。
(1) Ｄでなければ、Ａではない。
(2) Ｃであれば、Ｄではない。
(3) Ａでなければ、Ｄでないか又はＢではない。
(4) Ａでなければ、Ｄではない。
(5) Ｂでなければ、Ａでないか又はＤである。
(6) Ｂでなければ、Ａでないか又はＣである。
(7) Ｂであれば、Ｃではなく、Ｄでもない。
(8) ［Ｂでなければ、Ｄではない］か又は［Ｄでなければ、Ｂではない］
11:１３２人目の素数さん
11/11/12 21:30:03.35
>>4
それって、集合論じゃん。
∀p,q.(∀x.(x∈p⇒x∈q))⇒(∀y.(￢y∈q⇒￢y∈p))
12:１３２人目の素数さん
11/11/12 21:45:13.42
ところで、これは証明できるかな。
∀x.￢x∈x⇒∀x∃y.￢y∈x
「いかなる集合xも、自分自身を要素として含まないのであれば
いかなる集合xについても、それぞれ、xの要素とならない集合yが存在する。」
（ヒント）どんなyが条件を満たすか考えよ。
13:１３２人目の素数さん
11/11/13 06:05:10.97
>>12
＞ ∀x.￢x∈x⇒∀x∃y.￢y∈x
意味不明！！！！
14:１３２人目の素数さん
11/11/13 08:20:11.54
ベルトランの逆説に関しての議論で、M.Shiraishi氏が自爆したようなこと
を書いているヤシがいるけど、そいつって、マツシン並みの間抜けだよな（ｗ
M.Shiraishi氏は、「ベルトランの逆説に関しての従来の通説は間違いである
ことに気づいた」と言い出し、「この逆説は、確率の従来の定義が間違って
いたことによるものだ」として、議論を決着させている。
自爆どころか、２０世紀の確率論の基礎を覆す、凄い発見というべきだろう。
URLﾘﾝｸ(www.age.ne.jp)
15:１３２人目の素数さん
11/11/13 10:33:18.43
>>13
ああ、限量子を知らない素人だったか。
「Ｐ(ｘ)⇒/x/Ｑ(ｘ)」を、数学では∀x．P(x)⇒Q(x)って書くんだよ。
で、∃x.(P(x)＆Q(x))は、￢∀x．P(x)⇒￢Q(x)だな。
ＭＳの記法では、「￢（Ｐ(ｘ)⇒/x/￢Ｑ(ｘ)）」となるだろう。
16:１３２人目の素数さん
11/11/13 10:45:35.73
それから、中置記法がダメなら、全部、前置記法に直してやるぞ
ａ∈ｂを、Ｅ（ａ，ｂ）とすればいいだけのこと。
つまり、∀x.￢x∈x⇒∀x∃y.￢y∈x は
∀x.￢Ｅ(x,x)⇒∀x∃y.￢Ｅ(y,x)
もっとわかりやすく書けば
∀x.(￢Ｅ(x,x)⇒∃y.￢Ｅ(y,x))
ここまで書けば答えはミエミエだろう。
17:１３２人目の素数さん
11/11/13 12:39:55.53
ﾐｴﾐｴだが、それがどーすた？
18:１３２人目の素数さん
11/11/13 13:04:00.41
>>9
>
> 論理法則とは、そも、何ぞや ？
>
> In the first place, what does a logical law mean ?
文がトートロジーであることを証明する道具
19:１３２人目の素数さん
11/11/13 16:44:25.62
>>17
したがって意味不明は思考欠如によるものだと証明されたｗ
20:１３２人目の素数さん
11/11/13 16:46:17.64
>>18
一つ質問しよう。
論理法則によりトートロジーが証明される
という保証はいかにして行うのか？
21:１３２人目の素数さん
11/11/13 21:27:42.51
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する【論理改革】は、おそらく、世界を席巻
することとなろう。
URLﾘﾝｸ(www.age.ne.jp)
22:１３２人目の素数さん
11/11/14 04:53:44.64
>>8 ：１３２人目の素数さん：2011/11/13(日) 13:04:00.41
＞ >>9
＞ >
＞ > 論理法則とは、そも、何ぞや ？
＞ >
＞ > In the first place, what does a logical law mean ?
＞
＞ 文がトートロジーであることを証明する道具
つーか、論理法則ってのは、トートロジー自体のことではないのか？
23:１３２人目の素数さん
11/11/14 12:23:39.81
>>22
＞論理法則ってのは、トートロジー自体のことではないのか？
No !
(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである)ならば、(ＱでないならばＰではない)”が成立する。
しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”は
成立しない。
24:１３２人目の素数さん
11/11/14 12:25:24.10
直観主義論理を知らんのか
25:１３２人目の素数さん
11/11/14 12:28:55.29
>>22
＞論理法則ってのは、トートロジー自体のことではないのか？
No !
(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである) ならば (ＱでないならばＰではない)”が成立する。
しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“[ＰならばＱかＲである] ならば、[ＰならばＱ] か又は [ＰならばＲ]である”
は成立しない。
26:１３２人目の素数さん
11/11/15 07:14:06.62
>>25
＞[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
＞“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”
＞は成立しない。
「ＰならばＱ」と「Ｐを前提としてＱが導ける」は同値だが。
「ＰならばＱ、かまたは、ＰならばＲである」は
「Ｐを前提としてＱが導ける、かまたは、Ｐを前提としてＲが導ける」と
同値ではないよ。
後者から前者はいえるが、前者から後者はいえない。
27:１３２人目の素数さん
11/11/15 07:19:37.11
>>25-26
端的にいえば、
Ｐ∨￢Ｐ（Ｐまたは￢Ｐ）は tautology だからといって、
Ｐが前提なしに導ける、かまたは、￢Ｐが前提なしに導ける、
といえるわけではない。
28:１３２人目の素数さん
11/11/15 07:33:53.29
>>25
あと、もしＡ⊃Ｂを∀x.(A(x)⊃B(x))と理解しているなら、
[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] が tautology であっても
∀x.[P(x)⊃(Q(x)ＶR(x))]⊃[∀x.(P(x)⊃Q(x))Ｖ∀x.(P(x)⊃R(x))]
は 述語論理の恒真式 ではないから、その理解は誤解だよ。
29:１３２人目の素数さん
11/11/15 07:38:05.02
>>28
ＥＵＲＭＳの活動が、Ａ⊃Ｂを∀x.(A(x)⊃B(x))と"定義"した上で、
その"定義"において正しくなる論理規則を、「新しい論理」とする
ということなら、まあ、やってごらん、というところだな。
ケンブリッジからお呼びがかかるかどうかはわからないけど。
30:官軍（一兵卒）(＾o＾)
11/11/15 12:31:20.54
>>28 ：１３２人目の素数さん：2011/11/15(火) 07:33:53.29
＞ >>25
＞ もしＡ⊃Ｂを∀x.(A(x)⊃B(x))と理解しているなら、
我々は、そのように理解してはいない。
Ａ⊃Ｂ] is defined to mean [￢Ａ or Ｂ] by Bertrand A W Russell(1872-1970)
Good Luck to You and to Us All except MatsuShinTan !
31:)
11/11/15 12:33:36.08
ことがら Ａ，Ｂ，Ｃ，Ｄ が在り、これらについて次の２つの関係が成り立って
いるものとする。
(ｲ) Ａであれば、Ｂか又はＣである。
(ﾛ) Ｄであれば、ＢでもＣでもない。
このとき、以下の主張 (1) ～ (8) のうち正しいものを列挙せよ。尚、解法も述べよ。
(1) Ｄでなければ、Ａではない。
(2) Ｃであれば、Ｄではない。
(3) Ａでなければ、Ｄでないか又はＢではない。
(4) Ａでなければ、Ｄではない。
(5) Ｂでなければ、Ａでないか又はＤである。
(6) Ｂでなければ、Ａでないか又はＣである。
(7) Ｂであれば、Ｃではなく、Ｄでもない。
(8) ［Ｂでなければ、Ｄではない］か又は［Ｄでなければ、Ｂではない］
32:１３２人目の素数さん
11/11/15 15:19:08.30
命題 Ｐ(α) と命題 Ｑ(α) とが矛盾するとき、
次の（１）～（４）のうち、正しいものを選べ：－
（１）Ｐ(α) , Ｑ(α) のうち、いずれか一方は真で
あり他方は偽である。
（２）Ｐ(α) , Ｑ(α) は、「共に真」ではありえない。
（３）Ｐ(α) , Ｑ(α) は、「共に偽」ではありえない。
（４）Ｐ(α) , Ｑ(α) のうち、少なくとも一方は偽である。
33:官軍（一兵卒）(＾o＾)
11/11/15 15:45:49.09
>>29 ：１３２人目の素数さん：2011/11/15(火) 07:38:05.02
＞
＞ Ａ⊃Ｂを∀x.(A(x)⊃B(x))と"定義"した上で、
Ａ(x)⇒/x/Ｂ(x) を ∀x.(Ａ(x)⊃Ｂ(x))と"定義"した上で、
34:１３２人目の素数さん
11/11/15 15:51:59.02
>>33
「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？
35:官軍（一兵卒）(＾o＾)
11/11/16 05:58:19.35
「Ａ(x)⇒/x/Ｂ(x)」の「/x/」⇒」の後に書くのは不合理では？
Ｃ{Ａ(x)}⊆Ｃ{Ｂ(x)} を意味する、
御大の記法だよ。URLﾘﾝｸ(www.age.ne.jp)
36:官軍（一兵卒）(＾o＾)
11/11/16 06:19:39.41
>>34 ：１３２人目の素数さん：2011/11/15(火) 15:51:59.02
＞ >>33
＞ 「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
＞ 「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？
Ｃ{Ａ(x)}⊆Ｃ{Ｂ(x)}を意味する、
御大の記法だよ。仮言変項が何であるかがわかって、それなりに合理的。
URLﾘﾝｸ(www.age.ne.jp)
37:１３２人目の素数さん
11/11/16 06:45:13.93
ところで
「ＰならばＱ、かつ、ＰならばＲ ならば Ｐならば（ＱかつＲ）」
の最初の「かつ」と、二番目の（ＱかつＲ）の「かつ」は、どう違う？
38:１３２人目の素数さん
11/11/16 06:56:04.11
(∀x.P(x)⊃(Q(x)∩R(x))) と
(∀x.P(x)⊃Q(x)) かつ (∀x.P(x)⊃R(x)) は 同値。
(∀x.(Q(x)∪R(x))⊃P(x)) と
(∀x.Q(x)⊃P(x)) かつ (∀x.R(x)⊃P(x)) は 同値。
(∀x.P(x)⊃Q(x)) または (∀x.P(x)⊃R(x)) から
(∀x.P(x)⊃(Q(x)∪R(x))) は いえる が、逆は不可。
(∀x.Q(x)⊃P(x)) または (∀x.R(x)⊃P(x)) から
(∀x.(Q(x)∩R(x))⊃P(x)) は いえる が、逆は不可。
それで？
39:１３２人目の素数さん
11/11/16 07:22:57.91
超論理法則について
「必要ではないことは 反例をあげれば済むことなのですが、
残念ながらそのような反例を見つけてはいません。」
といってるが
URLﾘﾝｸ(www.age.ne.jp)
の後半４行はまさに”反例”だと思うが。
40:１３２人目の素数さん
11/11/16 07:31:32.01
>>39
それとも、(P⊃(Q∪R))⊃((P⊃Q)∪(P⊃R)) と
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x))) は
異なる（前者はトートロジーだが後者はそうではない）ことを
認めているということか？
41:１３２人目の素数さん
11/11/17 04:34:52.49
>>40
Yes.
42:１３２人目の素数さん
11/11/17 16:49:21.01
>>35
自分のことを「御大」と呼ぶとは白石はマジ基地だなｗｗｗ
同じ白石でも白石ひとみとはエラい違いだｗｗｗ
43:^
11/11/18 02:47:06.62
>>42 は、松芯痰 (^o^)
44:１３２人目の素数さん
11/11/18 02:52:29.04
どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる
45:１３２人目の素数さん
11/11/18 03:32:25.75
マツシン痰は、教科書に書いてあるんだから、それが正しんだって
頭(atama)から信じ込んじゃって、今の理論には矛盾があるってこと
すら 気 が付なかった！
46:１３２人目の素数さん
11/11/18 14:33:45.93
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
47:１３２人目の素数さん
11/11/18 16:11:56.17
魂は幾何学
誰か(アメリカ)気づいた
ソウルコピー機器
テロ装置の再読願います
48:１３２人目の素数さん
11/11/19 04:39:33.75
>>42
＞ 同じ白石でも白石ひとみとはエラい違い
そうやな。 御大は、自分の全裸画像を公開するような「恥知らず」ではないからな。 ヽ(^。^)ノ
URLﾘﾝｸ(www5b.biglobe.ne.jp)
49:１３２人目の素数さん
11/11/19 10:46:21.22
この世をば
地獄とぞ思う
新月の
全部欠けてお先真っ暗
松芯痰 圖
50:１３２人目の素数さん
11/11/19 11:34:05.66
>>45
＞今の理論には矛盾がある
上記の矛盾とは、ズバリ、
「(P⊃(Q∪R))⊃((P⊃Q)∪(P⊃R))がトートロジーだが
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x)))
はそうではない」
という事実を指しているのでしょうか？
で、仮にそうだとして、どこが矛盾でしょうか？
51:官軍（一兵卒）(^o^)
11/11/19 15:33:16.69
(Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) は tautology であり。
“(ＰならばＱである)ならば、(ＱでないならばＰではない)”が成立する。
しかし、[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”は
成立しない。
52:１３２人目の素数さん
11/11/19 15:35:58.97
>>51
P, Q, R は例えば何ですか？
53:官軍（一兵卒）(^o^)
11/11/19 15:43:54.05
>>52 ：１３２人目の素数さん：2011/11/19(土) 15:35:58.97
>>51
P, Q, R は例えば何ですか？
P, Q, R は論理式。 論理式の例：－ＡｖＢ
54:１３２人目の素数さん
11/11/19 15:53:44.27
>>53
どんな論理式でもいいんですか？
55:１３２人目の素数さん
11/11/19 16:45:35.63
>>51
>>51
>[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は tautology であるのに
>“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”
>は 成立しない。
>>53
>P, Q, R は論理式。
Ｐ，Ｑ，Ｒは、性質ではなく、論理式なんですね？
例えば「攝津の住人ならば、大阪府民か兵庫県民」という場合
Ｐは「摂津の住人」という性質、ではなく、
「ある人物ｘが摂津の住民である」という
命題（論理式）なんですね？
56:１３２人目の素数さん
11/11/19 16:47:53.78
なぜにその確認
57:１３２人目の素数さん
11/11/19 16:48:37.25
ああ、それから「ＰならばＱ」の意味ですが、
ＰとＱが、性質ではなく、論理式であるとして
もし、「ＰであってＱでない、ということはない」
という意味でないとしたら、どういう意味だと
いいたいのでしょうか？
性質（つまり述語）を用いず、論理式（つまり命題）だけで
意味を表現できますか？
58:１３２人目の素数さん
11/11/19 16:59:26.63
要は、古典論理ではなく直観主義論理をスタンダードにすべきだ
というようなことが言いたいのだろうから、２つの差異を明らかにするには命題論理の範囲でいいんじゃない？
59:１３２人目の素数さん
11/11/19 17:26:03.84
>>48
> >>42
> ＞ 同じ白石でも白石ひとみとはエラい違い
白石ひとみは神
白石御大はゴミ
60:１３２人目の素数さん
11/11/19 17:58:07.69
>>56
“ＰならばＱかＲであるならば、ＰならばＱかまたはＰならばＲである”を
(∀x.P(x)⊃(Q(x)∪R(x)))⊃((∀x.P(x)⊃Q(x))∪(∀x.P(x)⊃R(x))) とは
考えていないと確認したかった。
61:１３２人目の素数さん
11/11/19 18:12:18.30
>>58
EURMSの目的が直観主義の用語とは思えない。
直接的には（Ｐ⊃（Ｑ⊃Ｒ））のような表現を否定したいようだ。
「ならば」の意味を、集合の包含関係に関連付ける意図は
そこにあると思われる。
62:EURMS
11/11/20 05:07:33.62
>>61 ：１３２人目の素数さん：2011/11/19(土) 18:12:18.30
＞ >>58
＞ ＥＵＲＭＳの目的が直観主義の用語とは思えない。
＞
＞ 直接的には（Ｐ⊃（Ｑ⊃Ｒ））のような表現を否定したいようだ。
＞ 「ならば」の意味を、集合の包含関係に関連付ける意図は
＞ そこにあると思われる。
You are Quite Right.
# We would like you to join us if you do not mind.
63:官軍（一兵卒）(^o^)
11/11/20 07:59:57.43
>>57 ：１３２人目の素数さん：2011/11/19(土) 16:48:37.25
＞ ああ、それから「ＰならばＱ」の意味ですが、
＞ ＰとＱが、性質ではなく、論理式であるとして
＞ もし、「ＰであってＱでない、ということはない」
＞ という意味でないとしたら、どういう意味だと
＞ いいたいのでしょうか？
＞
＞ 性質（つまり述語）を用いず、論理式（つまり命題）だけで
＞ 意味を表現できますか？
「論理式」というは、ＦＬ(the Fregean Theory of Logic) での用語であって、
ＲＬ(the Reformed Theory of Logic)では、廃語。
代わりに「述型」という。 何で廃語としたかと言えば、命題と論理式との
区別がイマイチはっきりしていないから。
［私は摂津の住民である］は命題。 ｘを変項とするとき、[ｘは摂津の住民である]
は、命題ではなくて、述型。
# 今、忙しいので、残りの質問には私が 後で お答えします。４日間ぐらい待ってね。ヽ(^。^)ノ
64:１３２人目の素数さん
11/11/20 09:09:36.75
>>53
＞P, Q, R は論理式。
>>63
＞「論理式」というは、ＦＬ(the Fregean Theory of Logic) での用語
＞であって、 ＲＬ(the Reformed Theory of Logic)では、廃語。
＞代わりに「述型」という。 何で廃語としたかと言えば、
＞命題と論理式との区別がイマイチはっきりしていないから。
＞［私は摂津の住民である］は命題。
＞ｘを変項とするとき、[ｘは摂津の住民である] は、
＞命題ではなくて、述型。
その場合、53の回答は、どう改められますでしょうか？
P,Q,Rは命題ですか？それとも、"述形"ですか？
ところで、
「ｘが人間であるなら、ｘを生んだ母親ｙがいる。」
という文章は、述語論理では、例えば
∀ｘ．∃ｙ．人間（ｘ）⊃母子（ｙ、ｘ）
と書けますが、ＲＬではどう表現されますか？
65:官軍（女性軍「中尉」）(^o^)
11/11/20 14:47:41.80
>>64
＞＞P,Q,Rは命題ですか？それとも、"述形"ですか？
"述形"ではなくて、"述型"ですよ。(^o^)
ＲＬ(the Reformed Theory of Logic)の場合だと（断固として！）「述型です。
ＦＬ(the Fregean Theory of Logic)の場合は曖昧だと思います。
66:官軍（女性軍「中尉」）(^o^)
11/11/20 15:36:15.32
と言うよりも、“二偕の変項”と言ったほうが正確ですね。
67:官軍（女性軍「中尉」）
11/11/20 19:58:05.57
>>64
＞ ＲＬではどう表現されますか？
[ｘが人間である]⇒/x/∃<y>{ｙはｘの母親である}
の筈です。 Wansui, Wansui, WanWansui ＼(-o-)／
68:１３２人目の素数さん
11/11/20 20:02:58.35
Wansui, Wansui, WanWansui って、何語でどういう意味よ？？？？
69:官軍（中尉）
11/11/20 20:27:03.08
>>34 ：１３２人目の素数さん：2011/11/15(火) 15:51:59.02
＞ >>33
＞ 「Ａ(x)⇒/x/Ｂ(x)」の「/x/」を
＞ 「⇒」の後に書くのは不合理では？自分で書いてて混乱しないの？
「Ａ(ｘ)⇒/x/Ｂ(ｘ)」で、「/x/」の x は「半角英数」で書くか、或いは「⇒」の上にのせて書く。
一方、Ａ(ｘ)やＢ(ｘ)のｘは「全角英数」。
70:１３２人目の素数さん
11/11/21 00:29:49.51
>>11
だな。精密に言えば「より強い条件例の上での対偶率」だ｡
71:１３２人目の素数さん
11/11/21 07:31:11.88
>>65 ＞ＲＬ(the Reformed Theory of Logic)の場合だと（断固として！）述型です。
>>66 ＞と言うよりも、“二偕の変項”と言ったほうが正確ですね。
つまり、集合論で
∀P,Q.(∀x.(x∈P⊃(x∈Q∨x∈R)))⊃
(∀x.(x∈P⊃x∈Q)∨∀x.(x∈P⊃x∈R)) (1)
と書くのと同じでしょうか？
ところで、述語論理では、(1)は
∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R)) (2)
とは違いますが、その点は御存知でしょうか？
72:１３２人目の素数さん
11/11/21 16:10:06.15
>>70
なんが「対偶率」だ｡ 「対偶*律*」やろが（爆笑
73:１３２人目の素数さん
11/11/21 21:01:53.63
>>71
＞∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R)) (2)
強いてEURMS風に書けば
￢P(x)∨Q(x)∨R(x)⇒/R,Q,x/(￢P(x)∨Q(x))∨(￢P(x)∨R(x))
か。
74:官軍 「（女性軍）中尉」(^o^)
11/11/22 12:41:10.22
>>73 ：１３２人目の素数さん：2011/11/21(月) 21:01:53.63
>>71
＞∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R)) (2)
強いてEURMS風に書けば
￢P(x)∨Q(x)∨R(x)⇒/R,Q,x/(￢P(x)∨Q(x))∨(￢P(x)∨R(x))
か。
ちゃうワ！
75:(^o^)
11/11/22 19:31:46.32
帰ってみたら、トイレが詰まってた ---- ビックリすた。
76:１３２人目の素数さん
11/11/22 22:07:21.92
漏、ワケわからん！！！！
糞して、屁こいて、万個なめて、寝るっｽ !!!!
77:」
11/11/23 06:18:14.97
>>76
ﾜﾛﾀ
78:１３２人目の素数さん
11/11/23 06:30:51.26
>>76
さぞや*安眠*できたことだろうのう同志ｗ
79:１３２人目の素数さん
11/11/23 08:21:10.73
>>74
じゃ、
￢P∨Q∨R⇒/P,Q,R/(￢P∨Q)∨(￢P∨R)
か
80:官軍（女性軍「中尉」）
11/11/23 12:32:26.00
>>79 ：１３２人目の素数さん：2011/11/23(水) 08:21:10.73
＞ >>74
＞ じゃ、
＞ ￢P∨Q∨R⇒/P,Q,R/(￢P∨Q)∨(￢P∨R)
＞ か
Still Strange
Conquer M_SHIRAISHI's Web Page;- URLﾘﾝｸ(www.age.ne.jp) Good Luck !
81:官軍（一兵卒）(＾o＾)
11/11/24 03:25:04.01
>>57 ：１３２人目の素数さん：(土)19_xi_2011, 04:48:37.25 pm, JMT.
話がややこしくなるので、用語をＲＬのものに統一して、お答えします；－
＞
＞「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、ＰとＱが、述型変項ではなく、
＞ 述型であるとして云々
答：［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］において、ＰとＱは述型変項(＝二階の変項)です、
述型ではありません。
＞ 性質（つまり述語）を用いず、述型（つまり命題）だけで
＞ 意味を表現できますか？
先ず、「命題は述型ではないし、術型は命題ではい」ことを確認して
おいてください。
述型{ｘは実数である}は、明らかに意味をもちます。しかし、真か偽
のどちらかと問えば、どちらともいえず、ｘがどんな値をとるかによります。
82:１３２人目の素数さん
11/11/24 06:45:31.67
>>80
では、
「PでないかQかRか、ならば
PでないかQ か PでないかR のいずれかである」
という文章を、RLで表現してください。
83:１３２人目の素数さん
11/11/24 06:51:01.09
>>81
術型は述型の誤りですね。
ではないが、ではいになるなどの打ち間違いも見られます。
精神的に不安定な状況ではネットにアクセスしないほうがいいですよ。
84:１３２人目の素数さん
11/11/24 06:56:54.96
>>81
>［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］において、ＰとＱは述型変項(＝二階の変項)です
>述型ではありません。
つまりｘは実数であるのｘが定項ではなく変項ということですね。
その場合、57の文章の解釈
『「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、
ＰとＱが、述型変項ではなく、 述型であるとして』
は間違っています。正しい解釈は
『「Ｐ(ｘ)ならばＱ(ｘ)である」の意味ですが、
ＰとＱが、述型ではなく、"述型に定項を入れたもの"であるとして』
です。
85:１３２人目の素数さん
11/11/24 06:59:41.59
＞述型{ｘは実数である}
ところで｛０は実数である｝はRLでは何と言うのですか？
命題でいいのですか？
その場合>>84の"述型に定項を入れたもの"は
命題と直してください。
86:官軍（女性軍「中尉」）(＾o＾)
11/11/24 09:25:39.39
85 ：１３２人目の素数さん：2011/11/24(木) 06:59:41.59
＞＞述型{ｘは実数である}
＞
＞ ところで｛０は実数である｝はＲＬでは何と言うのですか？
＞ 命題でいいのですか？
Yes. ｛０は実数である｝is a proposition.
87:官軍（一兵卒）
11/11/24 17:19:07.91
>>82 ：１３２人目の素数さん：2011/11/24(木) 06:45:31.67
＞ >>80
＞ では、
＞ 「PでないかQかRか、ならば
＞ PでないかQ か PでないかR のいずれかである」
＞ という文章を、ＲＬで表現してください。
[￢Ｐ(ｘ)ＶＱ(ｘ)ＶＲ(ｘ)] ⇒/p,q,r,x/［￢Ｐ(ｘ)ＶＱ(ｘ)］Ｖ［￢Ｐ(ｘ)ＶＲ(ｘ)］
一応、上掲のようになるが、Still STRANGE ! It is not beautiful, at least,
88:M_SHIRAISHI
11/11/24 17:30:57.75
>>39 ：１３２人目の素数さん：2011/11/16(水) 07:22:57.91
＞ 超論理法則について
＞ 「必要ではないことは 反例をあげれば済むことなのですが、
＞ 残念ながらそのような反例を見つけてはいません。」
＞ といってるが
＞ URLﾘﾝｸ(www.age.ne.jp)
＞ の後半４行はまさに”反例”だと思うが。
うっかりしてました。ご指摘のとおりです。
メールください。
お礼の品（複数）を差し上げます。
89:１３２人目の素数さん
11/11/24 21:54:31.97
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
藤原先生は虚偽申請をやりました。藤原先生は虚偽申請をやりました。
90:１３２人目の素数さん
11/11/24 23:15:00.52
>>72
くっくっく…分かってるなら聞くなよ…流石はコミュ障板ｗｗ
意味補完さえもできない程のコミュ障、コミュニケーションレベル０!!
91:１３２人目の素数さん
11/11/24 23:20:50.53
論理と集合を綯い交ぜにせんとするMad_Mathemaktician、Ｍ白
92:猫にコネは不必要 ◆MuKUnGPXAY
11/11/25 00:25:03.54
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。
猫
93:１３２人目の素数さん
11/11/25 00:25:24.00
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。猫は痴漢をしました。痴漢をしました。痴漢をしました。痴漢をしました。
芳雄
94:１３２人目の素数さん
11/11/25 07:26:25.78
>>62 >>88
現在、事情により、居場所を教えることはできません。悪しからず。
ところで、そちらの住所は、以下のところであってますでしょうか？
ユルムス（ｅｕｒｍｓ）
島根県 西伯郡大山町 下市75
95:１３２人目の素数さん
11/11/25 07:59:43.49
おもしろいサイトを見つけた：－
URLﾘﾝｸ(ansaikuropedia.org)
96:１３２人目の素数さん
11/11/25 10:07:38.41
― 『韓非子』難編（一）
【原文】
楚人有鬻盾與矛者 譽之曰 吾盾之堅 莫能陷也 又譽其矛曰 吾矛之利 於物無不陷也 或曰
以子之矛 陷子之盾 何如 其人弗能應也
【書き下し文】
楚人に盾と矛とを鬻(hisa)ぐ者あり。之(kore)を誉(ho)めて曰(iwa)く
「吾が盾の堅きこと、能(yo)く陥(to^o)すもの無きなり。」と。
また、その矛を誉めて曰く「わが矛の利なること、物において陥さざることなきなり。」と。
あるひと曰く「子の矛を以て、子の盾を陥さばいかん。」と。その人応ふること能(ata)は
ざるなり。
【現代日本語訳】
楚の国に盾と矛を売っている商人がいた。 自慢して言った：－
「私の盾は頑丈でどんなものも突き通さない。 一方、私の矛は鋭く､どんなものでも突き通す。」
ある客が言った。「あんたの矛をあんたの盾に突き通そうとしたら、どないなるんや？」
商人は、返答に窮してしまい、何も言えなかった。
97:１３２人目の素数さん
11/11/25 13:42:52.38
月星紅旗
ここでは我も
異邦人
詠み人知らず 圖
98:１３２人目の素数さん
11/11/25 16:37:04.89
五省
一 至誠（しせい）に悖る（もと）るなかりしか
一 言行に恥づるなかりしか
一 気力に欠くるなかりしか
一 努力に憾（うら）みなかりしか
一 不精に亘（わた）るなかりしか
99:１３２人目の素数さん
11/11/25 17:41:38.92
>>91 は、松芯痰 ｗ
100:１３２人目の素数さん
11/11/26 16:26:35.92
倭の国に盾と矛を売っている商人がいた。 自慢して言った：－
「私の盾は頑丈でどんなものも突き通さない。 一方、私の矛は鋭く､どんなものでも突き通す。」
ある客が言った。「あんたの矛をあんたの盾に突き通そうとしたら、どないなるんや？」
商人はこう答えた。
「いい忘れてましたが、盾が突き通さないものの中に私の矛は含まれません。
また、矛が突き通せるものの中に私の盾は含まれません。
私の矛で私の盾が突き通せるか否かについてはわかりません。
両方お買い上げいただければ、お客様自ら御確認できます。いかがですか？」
客曰く 「ギャフン！」
101:１３２人目の素数さん
11/11/26 16:54:47.24
ところで、EURMSでは「P(a) -3 Q(a)」なる表現で
P(x)⇒/x/Q(x)が成立し、かつaなる項が存在する
ことを表わしているようですが、この表現は
必要でしょうか？
P(a)からQ(a)を導く法則としては
(P(x)⇒/x/Q(x)＆P(a))⇒/P,Q/Q(a)
を示せばよいだけかと思われますが、如何でしょうか？
102:１３２人目の素数さん
11/11/26 17:22:07.13
>>100
また大阪人無敵伝説
103:１３２人目の素数さん
11/11/27 07:53:26.94
>>100
ﾜﾛﾀ
104:１３２人目の素数さん
11/11/27 08:16:39.66
>>54 ：１３２人目の素数さん：2011/11/19(土) 15:53:44.27
＞ >>53
＞ どんな論理式でもいいんですか？
主語が省略されているので、イマイチ、意味が分かりません。 (^o^)
105:１３２人目の素数さん
11/11/27 08:18:44.33
>>102-103
いいわすれてましたが、倭の国の商人がモノを売るとき
必ずこの曲を流していたそうな。
「♪じゃ～ぱねっと じゃぱねっと～
たかた じゃぱねっと たかた～」
106:１３２人目の素数さん
11/11/27 09:00:32.96
＞＞105
「♪じゃ～ぱねっと じゃぱねっと～
たかた じゃぱねっと たかた～」
どういう節回しで歌うの？？？？
どういう父子
107:M_SHIRAISHI
11/11/27 11:05:45.20
>>101 ：１３２人目の素数さん：(土)26_xi_2011;16:54:47.24_JMT
＞ＥＵＲＭＳでは「Ｐ(a) -3 Ｑ(a)」なる表現で
先ず、確認しておきます：－「Ｐ(a) -3 Ｑ(a)」は「Ｐ(a)⊰Ｑ(a)」の意味ですね？
話題は、若干、それます:-、"⊰" は、ご承知かも知れませんが、いわゆる『様相論理(Modal Logic)』
から借用したものです（"Symbolic Logic (2nd ed.)" by C_I_ LEWIS ＆ C_H_LANGFORD {p.124}）
しかし、混乱の原因になるので、これからは、“➞”を用いることにします。
「きっかけ」を与えて下さったことを感謝します。
お礼に『素敵なｗ景品』を差し上げます。 E-mail を下さい。
＞Ｐ(ｘ)⇒/x/Ｑ(ｘ)が成立し、かつaなる項が存在する
＞ことを表わしているようですが、この表現は必要でしょうか？
イマイチ、意味が解かりません。 (^o^)
108:１３２人目の素数さん
11/11/27 15:06:42.49
>>107
⊰は知りませんでした。これはいかなる文字でしょうか？
私が言いたいのは、Ｐ(a)⊰Ｑ(a)なる表現は
必要ないのではないか、ということです。
109:M_SHIRAISHI
11/11/27 16:52:20.08
>>108 ：１３２人目の素数さん：2011/11/27(日) 15:06:42.49
＞ >>107
＞ ⊰は知りませんでした。これはいかなる文字でしょうか？
実質(的)内含(material implication)に疑問を持ち、論駁を試みた
Clarence_I_ LEWIS の 唱えた「厳密内意(strict implication)」
を表わす記号です。
＞私が言いたいのは、Ｐ(a)⊰Ｑ(a)なる表現は必要ないのではないか、
＞ということです。
イマイチ、意味が分りません。 (^o^)
# 具体例を上げていただければ幸甚です。
110:１３２人目の素数さん
11/11/27 19:45:11.83
やっと論理学の面白さが分かってきたよ。
今は演繹定理に夢中。
111:１３２人目の素数さん
11/11/27 21:10:18.76
⊰はUnicodeではPrecedes under relation
⊱はUnicodeではSucceeds under relation
とあるな。
112:粋蕎 ◆C2UdlLHDRI
11/11/28 00:05:26.62
おお、見えん。其の字はPCなら見えるんかのう？
広島住みなのに東北地震以来、自宅PC封印したままじゃから分からん
>>107
Eメールアドレス公開はリスクが高いがMixyを通じてEメール交換はできる
但しMixyで迷惑メールは増える
113:粋蕎 ◆C2UdlLHDRI
11/11/28 00:10:08.15
>>105
× ♪じゃ～ぱねっと じゃぱねっと～
たかた じゃぱねっと たかた～
〇 ♪じゃ～ぱねっと じゃぱねっと～
ゆめの じゃぱねっと たかた～
>>106
例えばジャパネットたかた通販番組のオープニング曲
114:１３２人目の素数さん
11/11/30 07:14:10.65
>>113
御指摘有難う。
ところで➞はみえますか？みえませんか。
115:１３２人目の素数さん
11/12/08 15:59:07.75
実質内含のパラドックスと同じく、
厳密内意でもパラドクスが起きるわけですが、
そのパラドクスは無視しても良いとお考えなのでしょうか？
116:１３２人目の素数さん
11/12/09 07:26:29.04
難しいことを言うと主役に逃げられてしまうよ
117:１３２人目の素数さん
11/12/12 06:05:49.77
主役は逃げてしまったようだな
118:無限の猿定理
11/12/12 21:56:32.84
無限の猿定理
論理生成器の運用手順
1.文をランダムに生成する。
2.生成された文を論理判定器にかける。
3.論理を記述していない文をふるい落とす。
4.残った文が論理を記述する文である。
論理判定器をどうやって作ります？
119:１３２人目の素数さん
11/12/19 03:26:26.26
哲学板で下記の質問をしました。
すると、違うといわれました。
本当に違うのでしょうか？
■「○○さん（14歳）」という表示を見て、
・この人は14歳だから小学生ではないだろう
と思うのが帰納、
・この人は14歳だから高校生ではないだろう
と思うのが演繹、
であってますか？
120:１３２人目の素数さん
11/12/19 07:41:23.32
Ａ君（１４歳）は小学生ではなかった
Ｂさん（１４歳）も小学生ではなかった
．．．
Ｚ君（１４歳）も小学生ではなかった
Ａ０殿（１４歳）も小学生ではなかった
．．．
これらから、全ての１４歳は小学生ではないのだろうと推論される→というのが帰納法
学校に入学する法律によると、
４月２日に６歳だったら小学校に入学でき、小学１年生
．．．
４月２日に１１歳だったら小学６年生
４月２日に１２歳だったら中学１年生
４月２日に１３歳だったら中学２年生
４月２日に１４歳だったら中学３年生
他の日付も考えると、１４歳ならば中学２年か、中学３年→というのが演繹法
○○さんは１４歳
１４歳は小学生でも高校生でもない
○○さんは小学生でも、高校生でもない→というのが三段論法
121:119
11/12/19 09:05:12.90
回答ありがとうございます。
うろ覚えなのですが、元々は、14歳の小学生は珍しいがわずかに存在する、
しかし法律上14歳では高校生になれない、という話から、
小学生を否定するのは経験則によるので帰納、高校生を否定するのは法律によるので演繹、
という話だったと思います。
＞４月２日に１４歳だったら中学３年生
最後に「以下」をつければ演繹ですね。
122:猫はぱァ～ ◆MuKUnGPXAY
11/12/19 11:04:00.84
>>112
訂正：
Mixy → Mixi
猫
123:１３２人目の素数さん
11/12/19 14:30:05.49
>>119 釣りだとは思うが、補足
Ａ君（１４歳）は高校生ではなかった
Ｂさん（１４歳）は高校生ではなかった
．．．
これらから、全ての１４歳は高校生ではないだろうと推論される、というのは帰納的結論
年齢主義によれば、１１歳か１２歳で小学校を卒業している
従って１４歳の子は小学生ではないと考えられる、というのは演繹的結論
このように、１４歳は高校生ではないを帰納的に結論を出すことも出来るし、
１４歳は小学生ではないと演繹的に結論することも出来る。
>>119の部分だけから、それが帰納的なものか、演繹的なものか判断などできない。
つまり、帰納的なものか、演繹的なものなのかは、どのような「論理」が使われているか
（帰納的な場合は、多くの例が示されるだろうし、帰納的な場合は適用した法律とか
公理等を持ち出しているだろう）が示されなければ、判断のしようがない。
「この人は14歳だから小学生ではないだろう」とか
「この人は14歳だから高校生ではないだろう」とかの最終結論だけから、
その結論を帰納的に導いたのか、演繹的に導いたのか判断のしようがない。
124:１３２人目の素数さん
11/12/19 19:30:38.58
論理的に相手を論破したいんですけど、
何を学べば強くなれますか？
125:１３２人目の素数さん
11/12/19 19:36:19.58
議題についてよく調べ、考えること
126:１３２人目の素数さん
11/12/19 21:04:59.87
>>125
なるへそ、
お題があって(情報収集しやすいもの、政治経済とかはわけわかめ)、討論している場所とか知りませんか？
127:１３２人目の素数さん
11/12/19 21:18:03.09
「競技ディベート」でググレ
128:１３２人目の素数さん
11/12/19 21:21:44.34
>>127
ありまとー
129:１３２人目の素数さん
11/12/19 22:54:49.46
競技ディベートでググってもくそばっか
>>127はアホ
130:119
11/12/20 12:39:17.07
>>123
釣りではありません。
真面目な質問なのですが？
＞年齢主義によれば、１１歳か１２歳で小学校を卒業している
＞従って１４歳の子は小学生ではないと考えられる、というのは演繹的結論
つまり、演繹の場合には前提が間違っていると結論も誤っている可能性があるという典型例なのですね。
「14歳なので小学生ではない」という推論は、帰納でしかできないという意味だったのですが、
確かに「演繹法での誤った推論」も可能ですね。
131:１３２人目の素数さん
11/12/20 15:59:27.00
>>119
は数行足りない。
論理もへったくれもない。
132:１３２人目の素数さん
11/12/20 16:51:04.71
>>119の質問では一体何を聞きたかったんですか？
YesかNoかが聞きたかったんですか？
帰納法と演繹法、これらは対比的に使われることがある。
そして、一方は「小学生ではない」、もう一方は「高校生ではない」と
こちらも中学生を挟んで、対比的な使い方をしている。
そのような並べ方をしたら、質問者は年齢を基準に帰納か演繹か、あるいは、
上からの制限か、下からの制限かで、帰納か演繹か等と思って判断しようとしている
のではないかと、回答をしようとする人に勘違いさせてしまうような可能性に
全く気づかない天然ぶりを発揮している。
かと思えば、回答のあった一時間ちょっと後には、きちんと、一方は経験則、一方は法律に
よるものだと、明確に自ら説明を行い、哲学版での回答を、自分で否定しようとしている。
全く天然性がない。まるで、最初からこの返答を用意していたかのようにだ。
あえて、「経験則によって」小学生ではない、「法律によって」高校生ではない、の
括弧の部分を隠して、質問したと見えてならない。
この様なことをするのは、釣り師。振り返れば、>>119で本当に知りたかった内容も不明確。
>>130の「真面目な質問なのですが？ 」というのも釣り臭がぷんぷんする。
釣り師には潔く釣りを認めるものもいれば、繰り返し否定するものもいる。結局そういうことだ。
133:１３２人目の素数さん
11/12/20 17:08:55.02
＞哲学版での回答を、自分で否定しようとしている。
そっちで回答なんてあったの？
134:１３２人目の素数さん
11/12/20 17:17:54.34
>>133
実際にあったかどうかは知らないが、>>119では、そこで質問して違うと言われたと書かれている
135:１３２人目の素数さん
11/12/20 17:21:07.81
>>119は、それぞれ帰納、演繹になるように行間を埋めろ
というクイズだったわけだな
136:１３２人目の素数さん
11/12/21 03:31:03.34
単純に馬鹿なだけだろ
137:１３２人目の素数さん
11/12/24 06:58:40.11
なんで論理学のスレッドが数学板にあるんでしょう？
138:１３２人目の素数さん
11/12/25 01:51:35.12
隔離用
139:１３２人目の素数さん
11/12/25 06:08:22.57
「数学基礎論・数理論理学」スレッドで、
時代遅れの「数学基礎論」という言葉を取り除けという派と、
分かりやすさの為に定着した名称をそのままで行こう派が、
論争を繰り広げていたんだが、
両派が住み分けるために前者派の為にこのスレッドが出来た。
140:１３２人目の素数さん
11/12/25 12:16:32.60
小学校では、
正三角形は二等辺三角形ではないと教えている。
141:１３２人目の素数さん
11/12/25 14:37:50.22
>>140は嘘つき
142:１３２人目の素数さん
11/12/26 00:21:54.13
>>139
> 「数学基礎論・数理論理学」スレッドで、
> 時代遅れの「数学基礎論」という言葉を取り除けという派と、
> 分かりやすさの為に定着した名称をそのままで行こう派が、
> 論争を繰り広げていたんだが、
> 両派が住み分けるために前者派の為にこのスレッドが出来た。
「論理学」と「数理論理学」じゃ随分とニュアンスが違うから
前者派にとってはスレタイが「論理学」では納得しない。
あそこの問題については、基礎論廃止派向けの「数理論理学」と
基礎論存続派の「数学基礎論」という２つのスレに分けるしか解決しない。
143:１３２人目の素数さん
11/12/26 00:32:32.18
>>142
と言っているのを見ると、こいつは前者派のようだな。くだらん。
144:１３２人目の素数さん
11/12/26 10:27:49.89
ここは論理学関連に対する自爆テロリストの核利用スレだろ
基礎論・数理論理学スレを荒らしまくったあげく
哲学板で珍しくマトモに議論してた論理学スレを荒廃においやった
エムシラが好きに暴れても良いようにするためのサンドボックス
145:119
11/12/26 20:27:20.47
>>132
なぜか悪意に取られているようですが、こちらは分からないから質問したのです。
そもそもどこがおかしいかが分かっていたら、ちゃんと正しい書き方をしてから書いたのですが。
詳しい人が私のレスで被害に会うわけはないですし、なぜおおごとにするんでしょうか？
146:い
11/12/26 22:32:41.96
>>145
その答えは>>132に書かれてるが、>>132の内容を理解しないからこその疑問である以上、理解するのは不可能だね。
147:１３２人目の素数さん
11/12/26 22:41:38.54
スレッドの方針で揉めてたんじゃなくて名称で揉めてたってことか
そんなんでいちいち別スレッド立てんなよ
148:１３２人目の素数さん
11/12/28 03:02:15.42
俺は
>>132の発言の意味と、
>>132の性格が悪いという事が分かる。
149:１３２人目の素数さん
11/12/28 03:40:55.16
>>145
>>119の問いは 哲学板の「論理学」スレの>>891で見かけたモノだけれども、
あちらのスレは もう老けてて こちらは まだ若いから、こちらで答えよう。
そのような思考法を〈演繹〉・〈帰納〉へと二分するコトは「あっている」とは言いがたい。 (*)
というのも、どちらの思考法も〈推理法〉としては
〈演繹法〉の一種である〈三段論法〉の〈妥当な格式( Ferio ないしは Darii )〉に落とし込めるモノだから。
ゆえに、問われている思考法はどちらも〈妥当な演繹法〉だとみなせる……はずなのだが、
当の演繹法は〈反例〉を有しうるコトに因って“演繹的論証の根本則_la Esenca Legxo de Dedukta Argumento”：
その前提をなす言明のすべてが承認されえるモノであるならば、その結論をなす言明もまた承認されえるモノでなければならない。
Se cxiu el la frazoj kiuj faras la Antecedenton estas akcepteblaj, tiam ankaux la frazo kiu faras la Konsekvencon devas esti akceptebla.
を充たしえないモノであるがゆえに〈非妥当な演繹法〉であるに止まっている。
もっとも《〈演繹法〉とは〈帰納法のうちの特殊的な形式(aux, 理想的形式)〉に他ならない》という観方を採れば、
両つの思考法は共に〈蓋然性の有る帰納法〉だとみなせる。
さらに“「○○さん（14歳）」という表示”が〈"○○さん"という名の“非実在青少年”についての設定〉であるようなケースについては、
両つの思考法は それらが〈演繹法〉・〈帰納法〉のどちらとして妥当なモノであるにしても〈真偽性を欠く推理法〉だと評しうる。
--------------------------------------------------------------------------
(*) >>121で明かされているような〈演繹〉・〈帰納〉への仕分け方は
論理学での〈演繹〉・〈帰納〉の特徴づけに慣れた目には“突飛な仕分け方”に見える。
150:119
11/12/28 11:57:21.76
>>149
すみません。
長くて何を言っているか分かりません。
分かりやすくお願いできませんか？
151:い
11/12/28 13:52:04.84
普通の文章では理解しないと分かって詳しく説明した人が、長くて分からんと返されちまったら普通は怒るだろうな。
152:119
11/12/28 22:16:00.76
>>150は偽者です。
まあ、IDもないし手遅れですが・・・
153:119
11/12/29 00:44:32.37
>>152
はい？ご自身で自演ですか？
154:１３２人目の素数さん
11/12/29 01:39:32.44
>>2
king = エムシラ だったのか
155:１３２人目の素数さん
12/01/02 07:01:15.44
>>150
>>119での例のような２つの思考法を片や〈帰納〉片や〈演繹〉と別かつような
〈帰納〉・〈演繹〉の理解の仕方は「あっている」とはいえない。
どうしてかといえば、論理学用の色メガネを掛けて視ると 両つの思考法は〈共に妥当でありそこなう演繹法〉
あるいは〈共に蓋し然うだと見込める帰納法〉のように見えるから。
どちらであるにしろ、「○○さん（14歳）」が虚構の表示であれば 両つの思考法は〈共に真偽性を有たない〉。
以上“長くて何を言っているか分からない”>>149を “長くない または 何を言っている分からない”文章にしてみた。
156:１３２人目の素数さん
12/01/02 21:00:24.16
140 ：１３２人目の素数さん：2011/12/25(日) 12:16:32.60
小学校では、
正三角形は二等辺三角形ではないと教えている。
141 ：１３２人目の素数さん：2011/12/25(日) 14:37:50.22
>>140は嘘つき
いや、本当の話。
嘘だと思ったら、本屋で小学校３年あたりの図形の問題を見てごらん。
「以下の図形のうちで二等辺三角形を選びましょう。」
という問題で、正三角形を選ぶと「間違い」になる。
157:１３２人目の素数さん
12/01/03 14:15:53.54
>>156
その問題集の答えが誤りかと思われる。
正三角形は二等辺三角形の一つ
正方形は長方形の一つ
長方形は平行四辺形の一つ
こんなことはいわずもがな。
158:いや
12/01/03 17:56:36.92
>>157
>正三角形は二等辺三角形の一つ
>正方形は長方形の一つ
>長方形は平行四辺形の一つ
>こんなことはいわずもがな。
小学校には通用しない。
>その問題集の答えが誤りかと思われる。
どの出版社の問題集もそうなってる。ｗｗ
159:１３２人目の素数さん
12/01/04 00:33:49.74
>>154
> king = エムシラ だったのか
kingはエムシラよりはマシだと思うぞ。
エムシラと同じ扱いじゃさすがのkingでも失礼ってもんだ。
エムシラは文字通りの白痴に近いバカでキチガイ。
160:１３２人目の素数さん
12/01/04 05:26:04.79
>>158
は嘘つき
161:きっぱり
12/01/04 17:16:00.35
>>160
確かめもしないお前は馬鹿
162:１３２人目の素数さん
12/01/05 17:06:54.21
>>161が釣れた
163:１３２人目の素数さん
12/01/06 22:30:46.59
釣りじゃねえ。事実だ、ぼけ。
164:１３２人目の素数さん
12/01/08 18:02:39.59
>どの出版社の問題集もそうなってる。ｗｗ
単にどの出版社の問題集の答えも誤ってるというだけのこと。
おかしくもなんともない。
問題集の答えが間違ってることなんて珍しくない。
だってバカが作ってるんだぜｗ
165:単に
12/01/09 16:23:54.21
小学校も出版社も間違ったことを教えてるってこと。
正三角形に限らない。
次の図形の内、長方形を選びなさいという問題で、正方形を選んだら×
平行四辺形を選びなさいという問題でひし形を選んだら×
これが小学校なんだよ。
166:１３２人目の素数さん
12/01/10 06:15:00.35
また>>165が釣れた
167:１３２人目の素数さん
12/01/14 16:20:41.03
>>166
馬鹿は書き込み禁止
168:１３２人目の素数さん
12/01/14 21:52:01.66
>>165
＞小学校も出版社も間違ったことを教えてるってこと。
別に珍しくない。小学校どころか中学校も高校も間違ったことを教えてる。
ニュートン力学は正しくない。正しいのは相対論。
169:１３２人目の素数さん
12/01/18 21:55:37.60
>>168
おまえ ずれてるよ
170:１３２人目の素数さん
12/01/18 21:59:30.78
ずれてるというか歪んでるね
171:１３２人目の素数さん
12/01/19 21:42:05.68
>>168
ニュートン力学は命題として捉えれば正しいだろ。
ニュートン力学における仮定が偽になるがｗ
172:１３２人目の素数さん
12/01/24 21:10:43.99
ところで、その昔大学で論理学の講義をとった時のテキストは
清水義夫「記号論理学」（東京大学出版会）だったのだが、
集合論などの数学方面の議論の根本の部分を考える上で参照すべき
論理学のテキストで、いま何かいいものあります？
ちょっと大きめの本屋で論理学のコーナー覗いても
野矢先生か三浦某の本しか置いてなくて、うんざり。
173:１３２人目の素数さん
12/01/24 21:25:59.46
＞数学方面の議論の根本の部分を考える
じゃ何したいのか分からん
古めの英語の本で良いのならその本に載ってる参考文献読めば良いよ
174:１３２人目の素数さん
12/01/24 21:28:34.51
>>172
たぶん、書店の人文系コーナーしか見てないんじゃないか
ロジックの専門書は理工系コーナーに置いてあるから、自分の目的に沿ったものを探してみたら
175:１３２人目の素数さん
12/01/24 22:56:02.83
＞清水義夫「記号論理学」
Amazonで28円で売っとる…
悪い本じゃないのになー
176:１３２人目の素数さん
12/01/24 23:49:37.77
172です。
基本的には、当時そんなにきちんと理解できなかった清水先生の本を
もういちどちゃんと理解するのが第一目標です。
その背景の部分を詳しくみるには、確かにまずは参考文献に載ってる本を見ればよいですね。
それに加えて、論理式を書く作法とかが人によっていろいろ違うこともあるようなので、
他のテキストと読み比べてみたいというのと、
少し古い本なので、新しいテキストがないかなとも思って質問してみた次第です。
（できれば、もう１段階入門レベルのテキストもあればと。）
行った本屋がちょっと理工系のコーナーがしょぼかったのも事実ｗ
28円はひどいっすね
177:１３２人目の素数さん
12/01/25 00:30:47.68
＞もう１段階入門レベルのテキストもあればと
松本和夫『復刊 数理論理学』
URLﾘﾝｸ(www.amazon.co.jp)
新しいテキストではありませんが、
基本事項の解説は今でも変わらないことと、レベルが適当と思われることから上記の本を挙げてみました。
清水さんの本は、基本的にはヒルベルト流の公理系（推論規則をできるだけ少なくしたシステム）を使っており、
ゲンツェン流の自然演繹は紹介程度に留めてあったかと思います。
上記の本ではこれら二つの流儀、及びシークエント計算を用いる流儀について丁寧に解説してあります。
「自然数論の無矛盾性」という、実に数学基礎論らしいトピックも扱っています。
178:１３２人目の素数さん
12/01/25 00:37:20.50
松本は清水よりも少し難しいような…（解説がコンパクトであるという点で）
解説自体は松本の方が上手だけど
179:１３２人目の素数さん
12/01/25 03:01:49.83
>>177 >>178
ありがとうございます。
いずれにせよ、その松本先生の本は持っていた方がよさそうですね。
１つの流儀しか把握していないと、議論がかみ合わなくなることがあるのが
怖かったので、少しハードルが高くても勉強してみます。
180:１３２人目の素数さん
12/01/25 21:30:37.47
めぼしいものでは
論理と計算のしくみ 萩谷昌己・西崎真也
記号論理入門 前原昭二
形式論理学―その展望と限界 リチャード=ジェフリー（著） 戸田山和久（訳）
とか。まあどれも一長一短だけど。
論理学の基礎と演習 Barwise Etchemendyとかはどうなんだろう。
181:１３２人目の素数さん
12/02/07 00:24:49.56
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
182:１３２人目の素数さん
12/02/24 02:05:14.18
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
183:１３２人目の素数さん
12/02/24 03:12:57.56
>>181
>>182
おまえがそれ気に入ってるのは分かったが
他人は全く興味ないんで
184:１３２人目の素数さん
12/03/07 09:07:54.40
哲学板から来ました。
初心者におすすめの論理学の本はありませんか？
野矢茂樹著「入門！論理学」って本は、どうなんでしょうか。
ご存知の方いらっしゃいましたら、よろしくお願いします。
185:１３２人目の素数さん
12/03/07 14:31:17.85
age
186:１３２人目の素数さん
12/03/07 14:38:30.31
>>184
URLﾘﾝｸ(www.age.ne.jp)
187:１３２人目の素数さん
12/03/08 11:24:10.32
sage
188:１３２人目の素数さん
12/03/08 17:11:23.21
>>184
縦書きの時点でなんかもう読む気なくした
189:１３２人目の素数さん
12/03/09 00:45:53.12
Gentzen-type のものは、（Gentzen 本人も認めていた様に！） Russell-Hilbert -typeの の
ものにも増して「奇怪」だ。 なぜ日本では、Gentzen-type の信者が多いのだろう？
190:１３２人目の素数さん
12/03/09 01:33:24.37
>>189
先ず、日本における記号論理学の先達：竹内外史や前原昭二などが
Getzen-type にかぶれたことが、その理由としてあげられよう。
191:１３２人目の素数さん
12/03/09 03:24:58.70
>>190
＞先ず、日本における記号論理学の先達：竹内外史や前原昭二などが
＞Getzen-type にかぶれたことが、その理由としてあげられよう。
外史や前原は、なぜGetzen-type にかぶれたんだろ？
192:１３２人目の素数さん
12/03/09 04:53:09.99
奇怪か自然かとかしか頭にないようじゃ永遠に分かるまい。
数学的道具立てとしてどれだけ有効かを考えてみれば自ずと分かる。
193:１３２人目の素数さん
12/03/09 09:00:27.96
「奇怪」ってどういう意味で？
実際に定理を証明するときと
証明論やら非古典論理やらの研究をするときにはGentzenスタイルの方が便利だよ
不完全性定理とかを証明するときのコーディングとかの為に
簡単に済ませてしまいたい場合はHilbertスタイルの方が便利だけど
194:１３２人目の素数さん
12/03/10 04:06:30.22
>>192
>>193
ｷﾐ達こそ、なぜ Gentzen 方式が奇怪なのかわからなければ、論理学は永遠にわかるまい。
Gentzen本人が「奇怪」であることを認めていたというのに。ｗｗｗｗ
195:１３２人目の素数さん
12/03/10 04:27:02.93
痛々しいレスじゃのお
196:１３２人目の素数さん
12/03/10 06:52:57.03
シーケント計算が「奇怪」だと思うのは初学者がみんな経験する通過儀礼みたいなもの。
だから玄人はみんな>>189-191みたいなレスをニヤニヤして眺めているのさ。
197:１３２人目の素数さん
12/03/10 18:53:50.06
>>196
論理学者が奇怪というのは数学者の間では常識
198:１３２人目の素数さん
12/03/10 20:46:27.57
>>197
そして数学者が奇怪というのは大学教授の間では常識
199:１３２人目の素数さん
12/03/10 20:58:39.62
>>198
しかも大学教授が奇怪というのは町内の住民の間では常識
200:１３２人目の素数さん
12/03/12 01:40:28.29
>>196
＞シーケント計算が「奇怪」だと思うのは初学者がみんな経験する通過儀礼みたいなもの。
喉もと過ぎれば、熱さを忘れる。ｗ
201:１３２人目の素数さん
12/03/12 01:55:12.65
奇怪だ奇怪だと言うだけで、どう奇怪かは指摘できない
さてはお前さん、哲学徒だな
202:↑
12/03/12 07:52:56.43
自分で気づけ! アッフォウ！！！
203:１３２人目の素数さん
12/03/12 21:58:44.59
日本ではとか言う話じゃなくて
どこの国でも証明論の研究は普通sequent計算か自然演繹で
たまにHilbertタイプという感じ
204:１３２人目の素数さん
12/03/12 22:13:00.40
数学的な緻密さが要求される論理(関連性の誤謬を誤謬とする論理)だと
(p⇒q)⇔(￢p∨q)を示すのは結構手間だな
205:１３２人目の素数さん
12/03/13 16:17:51.41
シーケント計算なんて道具として便利であれば誰もそれ以上のこと求めてないし。
奇怪だろうと奇怪でなかろうと、どっちでもいいし。
206:１３２人目の素数さん
12/03/13 23:53:06.79
>>205
＞奇怪だろうと奇怪でなかろうと、どっちでもいいし
放送大学テキスト：数学基礎論（前原昭二：著）p.68
207:１３２人目の素数さん
12/03/15 07:20:56.29
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
208:１３２人目の素数さん
12/03/16 04:23:37.85
>>206
教科書に書いてあることは何でも正しいと？
中韓の小学生みたいやな
209:１３２人目の素数さん
12/03/16 08:25:03.02
>>205
＞奇怪だろうと奇怪でなかろうと、どっちでもいいし
奇怪＝怪しい
210:１３２人目の素数さん
12/03/16 11:13:42.09
NJやNKが奇怪だという奴はより奇怪じゃない体系を提唱して
世間に認められてから話せと言いたい
LJやLKはNJ・NKをメタな立場からみただけのものだ
211:１３２人目の素数さん
12/03/16 22:52:21.46
【論理学】論理学はゴミ(佃煮)【論破】
ｽﾚﾘﾝｸ(philo板)
212:１３２人目の素数さん
12/03/17 16:21:56.16
>> 210
＞ NJやNKが奇怪だという奴はより奇怪じゃない体系を提唱して
ゲンツェン本人が、 NJ や NK は奇怪だと思っていた。 奇怪じゃない体系を
発見する前に、収容所で餓死した。 彼はナチだった。
213:１３２人目の素数さん
12/03/17 17:25:50.04
>>212
＞彼（ゲンツェン）はナチだった。
単に世間知らずだっただけのこと。
ナチ突撃隊のメンバーで東部戦線で戦死した
タイヒミュラーに比べたらタダのガキ
214:１３２人目の素数さん
12/03/17 23:30:49.80
漏れは、ロシア語が少々できるんでｗ、旧ソ連の「数理論理学」の本をもってるんだが、
全面的にゲンツェン-type であるにかかわらず、ゲンツェンについての言及はどこにもない！
215:１３２人目の素数さん
12/03/18 20:57:16.27
>>204はNKでの話
NKの公理を用いてかつ関連性の誤謬を認めると、ということな
要は数学の証明に要請される論理により近い論理だ
216:１３２人目の素数さん
12/03/18 21:03:51.30
>>214
旧ソ連ではすべてロシア人の手柄になってる
式や法則も勝手にロシア人の名前を付けていた
それに比べりゃ韓国なんてかわいいもの
217:１３２人目の素数さん
12/03/18 21:08:03.76
日本人も勝手に微積分の公式に関孝和の名前を付け加えたりするじゃん
ロシアは日本より数学に関して先進国だったというだけの話ではないの？
218:１３２人目の素数さん
12/03/18 21:16:39.92
ブニャコフスキの不等式
219:１３２人目の素数さん
12/03/20 00:44:10.47
ソ連は物理や工学の方面でも勝手にロシア人の手柄にしてたよ
日本人研究者が作った合金もロシア人が発明したとかｗｗｗ
220:１３２人目の素数さん
12/03/21 11:31:12.46
記号で書かれてるのでかなり充実した本を知りませんか？
自分が読んだことがあるのは
論理学入門 (岩波全書)
URLﾘﾝｸ(www.amazon.co.jp)
現代論理学入門 (岩波新書 青版 C-14)
URLﾘﾝｸ(www.amazon.co.jp)
論理学入門―推論のセンスとテクニックのために (NHKブックス)
URLﾘﾝｸ(www.amazon.co.jp)
です。
もっと詳しく書かれてるのを知りたいです。
中級者向けの本も知ってたらお願いします
221:220
12/03/21 11:43:39.81
連投すみません
ほかに読んだことあるのは
詭弁論理学 (中公新書 (448))
URLﾘﾝｸ(www.amazon.co.jp)
逆説論理学 (中公新書 (593))
URLﾘﾝｸ(www.amazon.co.jp)
うそとパラドックス―ゲーデル論理学への道 (講談社現代新書)
URLﾘﾝｸ(www.amazon.co.jp)
シャーロック・ホームズの推理学 (講談社現代新書)
URLﾘﾝｸ(www.amazon.co.jp)
です。お願いします
222:１３２人目の素数さん
12/03/21 11:59:25.40
『ゲーデルと20世紀の論理学』全4巻 東京大学出版会
223:１３２人目の素数さん
12/03/21 13:42:50.70
>>172-180
224:220．221
12/03/21 20:39:24.16
>>222
>>223
ありがとうございます
225:１３２人目の素数さん
12/03/21 22:04:06.31
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
226:１３２人目の素数さん
12/04/03 21:25:08.27
sage
227:１３２人目の素数さん
12/04/05 00:09:20.19
なるほど
228:１３２人目の素数さん
12/04/05 00:38:26.58
奇怪かどうかなんて、感じ方の問題じゃないの？
229:１３２人目の素数さん
12/04/09 09:47:52.58
sage
230:１３２人目の素数さん
12/04/09 09:53:11.40
>>220
>>221
エムシラ御大のＷｅｂサイト
URLﾘﾝｸ(www.age.ne.jp)
231:１３２人目の素数さん
12/04/09 13:58:30.08
>>228
＞奇怪かどうかなんて、感じ方の問題じゃないの？
どこか「怪しい(＝間違ってる)」と「感じる」んだよ。
232:１３２人目の素数さん
12/04/09 21:19:37.79
＞旧ソ連ではすべてロシア人の手柄になってる
ロシア帝国の皇帝はドイツ人だったがな。
ピョートル三世の父親はドイツ人（母親がロシア皇女）
で、そこから代々ドイツ系の皇后ばかりだから
子孫はほぼドイツ人。これ常識。
233:１３２人目の素数さん
12/04/10 01:13:48.22
sage
234:１３２人目の素数さん
12/04/10 14:53:14.81
>> 220
＞記号で書かれてるのでかなり充実した本を知りませんか？
Haskell B Curry (著) "Foundations of Mathematical Logic"
# 読み応えがある。ｗｗｗ
235:１３２人目の素数さん
12/04/11 12:12:27.12
>> 220
＞記号で書かれてるのでかなり充実した本を知りませんか？
Principia Mathematica ( by A N Whitehead & B A W Russell)
236:１３２人目の素数さん
12/04/11 13:15:15.20
ありがとうございます
237:１３２人目の素数さん
12/04/11 13:17:14.18
著者以外には誰も全部読んだことがないと言われてる本だけどな
238:１３２人目の素数さん
12/04/11 16:36:32.18
『現代数学の発酵とヘーゲル弁証法』
239:１３２人目の素数さん
12/04/11 19:58:31.72
白石はレベルが上がってＭ白になった
Ｍ白はレベルが上がって壊死邑になった
240:１３２人目の素数さん
12/04/11 20:57:54.38
戸次大介の数理論理学とかが割とお勧め
つい最近出た本だけどね
241:１３２人目の素数さん
12/04/11 21:47:29.45
向うの前スレ辺りにレビューあったよ。
242:エセ関西人
12/04/12 01:38:15.82
せやな
243:１３２人目の素数さん
12/04/12 16:49:12.54
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
244:１３２人目の素数さん
12/04/22 01:25:23.10
現行の論理学が間違っていることを示す好例；－
(Ｐ⊃Ｑ)⊃(～Ｑ⊃～Ｐ) は「恒真式」であり、(ＰならばＱ)ならば(ＱでないならばＰではない)
が成立する。 しかるに、[Ｐ⊃(ＱＶＲ)]⊃{(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)] は「恒真式」であるにも
拘わらず、[Ｐならば(ＱかＲ)]ならば{(ＰならばＱ)か(ＰならばＲである)]
は成立しない。★
245:１３２人目の素数さん
12/04/23 00:56:31.40
おはよう
246:１３２人目の素数さん
12/04/23 08:07:42.35
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
247:１３２人目の素数さん
12/04/30 09:04:03.14
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
248:１３２人目の素数さん
12/04/30 13:06:55.29
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
249:１３２人目の素数さん
12/05/02 01:08:38.95
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
250:エセ関西人
12/05/02 08:59:46.54
知らんがな
251:１３２人目の素数さん
12/05/04 07:58:08.64
>>249
おはよう
252:１３２人目の素数さん
12/05/04 09:45:41.08
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
253:１３２人目の素数さん
12/05/05 00:12:37.08
竹内外史の"Proof Theory"を買って持ってるんだけど、つまんねーな。
254:↑
12/05/05 00:15:13.04
竹内・八杉の『証明論』もつまんね。
255:１３２人目の素数さん
12/05/05 12:48:08.02
それただの古典だから。
今はPohlersとか読むと良い。
256:１３２人目の素数さん
12/05/05 12:59:40.83
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/