17/10/15 10:32:15.51 +Pi/YMoh.net
>>3
数学できなかったんだね
可哀想によしよし
15:１３２人目の素数さん
17/10/15 10:54:03.45 gJ6OP+BS.net
>>13
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
16:１３２人目の素数さん
17/10/15 12:21:49.66 +Pi/YMoh.net
>>14
２つの基点付き空間A、Bに対して、ホモトピー同値写像
S(A×B)→S(A∧B)∨S(A)∨S(B)
が存在することを示せ
17:１３２人目の素数さん
17/10/15 13:10:50.39 IjTtB5Ta.net
馬鹿の一つ覚え
18:１３２人目の素数さん
17/10/15 13:16:22.58 1CsCN52B.net
>>14
前の人？もう止めたら？
19:１３２人目の素数さん
17/10/15 13:21:00.00 1CsCN52B.net
>>15
これSはreducedよね
π:S(X×Y）→SX∨S(X∧Y)∨SY
は普通のだと思うけど逆がよく分からん
i:SX,SY→S(X×Y)
はいいけど
S(X∧Y)→S(X×Y)
はどう定義するの？
20:１３２人目の素数さん
17/10/15 13:28:37.12 HQaLRwL9.net
πは色々な形式で表現できるかと思いますが、πを表出させる最もシンプルな数学的操作はどのような形式をとりますか？
それは、数を数えることとどのように関連していますか？
21:１３２人目の素数さん
17/10/15 13:30:55.39 1CsCN52B.net
>>19
A→BがあったらSA→SBがあるでしょ
X×Y→X,Y,X∧Yは自然なものがあるから
πは自然でしょ？
22:１３２人目の素数さん
17/10/15 13:45:59.64 HQaLRwL9.net
>>20
ありがとうございます
数学については初心者なので記号の意味がわかりません
ここで与えられた記号についてはなるべく自分で勉強しようと思っていますが何しろ時間がないもので。。。
できればもう少し詳しい解説をお願いします
23:１３２人目の素数さん
17/10/15 14:09:00.82 +Pi/YMoh.net
>>18
僕も分からないので聞いています＞＜
上手に定義しろというのが問題の趣旨だと思います
24:１３２人目の素数さん
17/10/15 15:46:14.26 1CsCN52B.net
>>21
気持ち悪る･･･
25:１３２人目の素数さん
17/10/15 15:47:11.45 1CsCN52B.net
>>22
そうなんだよね
どうするのかなあ・・・
26:１３２人目の素数さん
17/10/15 16:42:30.21 HQaLRwL9.net
>>23
下手な煽りよりグサッと来た
27:１３２人目の素数さん
17/10/15 17:01:54.76 qbyQ3Mho.net
>>2
星形を一周するとき、進む方角を考える。
頂点を通過するたびに
180-A、180-B、180-C、180-D、180-E
だけ同じ方に折れる。
全部で 900°-（A+B+C+D+E）だけ折れる。 …（1)
星形を一周すると、中心のまわりを２周するから
全部で 360°x2 だけ折れる。 …（2)
（１）（２）から出る。
・円に内接する星形の場合は、
（頂角）=（向かい合う円孤に対する円周角）=（その円弧に対する中心角)/2,
から
A+B+C+D+E = 360°/2 = 180°
でもいい。
28:１３２人目の素数さん
17/10/15 17:28:38.07 qbyQ3Mho.net
>>22
A
｜
D-－☆－-C
／ ＼
B E
29:１３２人目の素数さん
17/10/15 17:31:46.19 1CsCN52B.net
>>25
記号の意味も分からずに関係ないこと書きつつ質問するからよ
30:１３２人目の素数さん
17/10/15 17:45:20.38 HQaLRwL9.net
>>28
ごめんなさい
これからは関係ないことは書きません
31:１３２人目の素数さん
17/10/15 19:49:20.16 T3fR7Xox.net
どうしても気になることがあるので質問します。
無限大の怪物が、無限小の穴に入る場合、どんな感じで入ることになるのでしょうか？
32:１３２人目の素数さん
17/10/15 20:07:03.30 mk30SkcZ.net
>>30
まさしく「点」でしかないのでてんで話にならない。
赤外線発散じゃなく紫外線発散なネタをせめて考えよう。
33:１３２人目の素数さん
17/10/15 20:08:31.53 T3fR7Xox.net
>>31
どういうことですか？
34:１３２人目の素数さん
17/10/15 20:39:06.03 v3J3Htn+.net
しつこくてすみませんが、前スレの
∫{cos(x)・[sin^2(x)＋a・cos^2(x)]^1/2 }/a dx
の解法で、
s = sin(x）とおくと
(与式）=（1/a)∫√{a+(1-a)ss}ds
=（s/2a)√{a+(1-a)ss｝+（1/2)∫1/√{a+(1-a)ss} ds,
となるところまでは理解できましたが、その後が分かりません。
・0<a<1 のとき
∫1/√{a +（1-a)ss｝ds =｛1/√(1-a)}Log｛√［a +（1-a)ss］+ √(1－a)・s}
はどうやって導出したのでしょうか？
私が計算すると、
∫1/√{a＋(1－a)s^2}・ds＝{1/√(1－a)}∫1/√{(a/1－a)＋s^2}・ds
s＋√{(a/1－a)＋s^2}＝tと置くと
s＝[t^2－{a/(1－a))}]/2t
ds＝{t^2＋(a/1－a)}/2t^2・dt
よって与式は
{1/√(1－a)}∫【1/√〔{a/(1－a)}＋[t^2－{a/(1－a)}]^2/(4t^2)〕】・[t^2＋{a/(1－a)}]/2t^2・dt
＝{1/√(1－a)}log〔s＋√[s^2＋{a/(1－a)}]〕＋c
となってしまうのですが、どこに間違いがあるのでしょうか。
またs＝√{a/(1－a)}・tanθと置いた方法でも全く違う解が出てしまいます。
導出を教えて頂けないでしょうか？
35:１３２人目の素数さん
17/10/15 21:18:12.08 6qOVVQ3R.net
>>33
低レベルなあなたに答えを教えてあげますね
どちらも正解です
積分定数があるので形は違って見えるのです
あなたの答えにlogの中身に√(1-a)をかければ、模範解答になりますよね
そういうことしても、結局は定数分だけ足していることに対応しますから、変わらないんです
36:１３２人目の素数さん
17/10/15 22:47:26.19 T3fR7Xox.net
オックスフォード大学かケンブリッジ大学に入りたい。この二つならどっちが良い？
ちなみに数学を専攻したいと思ってる。
37:１３２人目の素数さん
17/10/15 23:02:39.62 soBUb3VX.net
松坂和夫著『解析入門2』を読んでいます。
e^(i*z)
=
1 + i*z/1! - z^2/2! - i*z^3/3! + z^4/4! + i*z^5/5! - …
=
(1 - z^2/2! + z^4/4! - …) + i * (z - z^3/3! + z^5/5! - …)
=
cos(z) + i * sin(z)
という式変形があります。
1 + i*z/1! - z^2/2! - i*z^3/3! + z^4/4! + i*z^5/5! - …
=
(1 - z^2/2! + z^4/4! - …) + i * (z - z^3/3! + z^5/5! - …)
の部分は説明が必要ではないでしょうか？
杉浦光夫著『解析入門I』を見てみたら丁寧な説明が書いてありました。
38:１３２人目の素数さん
17/10/15 23:09:35.37 W+78r0QQ.net
読んだことないけど、Σx^n/n! の収束半径は… な話が前にありそうだけどね
39:１３２人目の素数さん
17/10/15 23:33:26.18 rWRebEis.net
すいません、中高生スレで質問したのですが回答が貰えなかったので
こちらでお願いします。
10万円で半年ごとに3400円の配当を受け取れるが2250円ずつ
元本が減っていく金融商品があります。
これを1億円分購入して受け取った配当を全て再投資に回したとき
18年後の資産は幾らになるでしょうか？なお半年毎に販売している
金融商品も2250円安く買えるようになっているが、配当金は3400円
のまま変わらないものとする。
計算が複雑になりすぎて分からなくなりました。助けてください
40:１３２人目の素数さん
17/10/15 23:45:57.18 soBUb3VX.net
松坂和夫さんの本ですが、
複素関数の微分についての微分法則などの証明は実数値関数の場合と同じだという
理由で省略されています。
ところが、
d/dz e^z = e^z
については、微分の定義から証明しています。
その前に、実数値関数に対しては、べき級数の項別微分について証明しているにも
かかわらずです。
41:１３２人目の素数さん
17/10/15 23:54:52.93 +Pi/YMoh.net
どういうリアクションしてほしいんだろう
42:１３２人目の素数さん
17/10/16 00:14:55.35 cDqgtRQY.net
>>2 >>26
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
応用問題
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
円に内接する場合
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
43:１３２人目の素数さん
17/10/16 06:26:34.20 RC3rsulw.net
>>38
満期はいつですか？
機械的に計算すれば、例えば22年後の元本は、10万-44×2250=1000となり、
45回目の配当、つまり、この1000円の元金に対し、3400円があると言うことに
なりますが、そんなことはありませんよね。
また、この商品、途中から買えるようですが、新規で買うのと、満期直前で
買うのとでは、配当率は異なり、「再投資」の方法により計算も変化します。
情報不足です。
44:38
17/10/16 08:56:00.50 cAm38Lst.net
説明が悪くてすみません。
満期は18年後になります。
配当は最期まで変化しないので
利率は上昇していきます。
45:38
17/10/16 08:57:51.36 cAm38Lst.net
再投資はすべて同じ金融商品に再投資と思って下さい。
46:１３２人目の素数さん
17/10/16 10:41:43.85 E6ngu+w3.net
松坂和夫著『解析入門2』を読んでいます。
以下の定理3は、実数値関数についての定理として証明されています。この証明を読むと、複素関数についてもそのまま
通用するのではないかと思うのですが、この定理3の38ページ後ろのページに、「定理3の記述はやや実変数に“局限”
された形になっているから、証明には多少の補正を要しよう。」と書いてあります。
以下の証明のどの部分が「多少の補正を要」するのでしょうか？
なお、証明中の定理1とは一様収束に関するコーシーの条件です。
定理3
I を1つの区間とし、 x_0 を I の1つの点（ I の端点でもよい）、 I から x_0 をとり除いた集合を E とする。
(f_n) を E で定義された関数列とし、 (f_n) は E において関数 f に一様収束するとする。また、 n = 1, 2, …
について、有限の極限 lim_{x → x_0} f_n(x) = A_n が存在するとする。そのとき、数列 (A_n) は収束し、その極限を
A とすれば、 lim_{x → x_0} f(x) = A である。
証明
f_n は E で一様収束するから、定理1により、与えられた ε > 0 に対し、ある N が存在して、 m ≧ N, n ≧ N ならば、
すべての x ∈ E に対して |f_m(x) - f_n(x)| < ε が成り立つ。ここで x → x_0 とすれば、 f_m(x) → A_m, f_n(x) → A_n
であるから、 |A_m - A_n| ≦ ε。ゆえに数列 (A_n) はコーシー列である。したがって (A_n) は収束する。その極限を A とする。
f_n は f に E で一様収束し、また A_n → A であるから、自然数 n を十分大きく選んで、すべての x ∈ E に対し
|f(x) - f_n(x)| < ε/3 が成り立ち、かつ |A_n - A| < ε/3 が成り立つようにすることができる。さらにこの n に対し、
lim_{x → x_0} f_n(x) = A_n であるから、 δ > 0 を、 |x - x_0| < δ, x ∈ E ならば、 |f_n(x) - A_n| < ε/3 が
成り立つように選ぶことができる。そうすれば、 |x - x_0| < δ, x ∈ E のとき
|f(x) - A| ≦ |f(x) - f_n(x)| + |f_n(x) - A_n| + |A_n - A| < ε/3 + ε/3 + ε/3 = ε。
これは lim_{x → x_0} f(x) = A であることを意味する。
47:１３２人目の素数さん
17/10/16 10:49:32.88 fKxAtIWq.net
>>38
半年後に元本を時価で全額換金したとして
配当金も含めた全額anで時価で再購入したら
半年後に元本を全額換金せずに
配当金で時価で追加購入したのと同じことになるから
時価が10万-n*2250
なので
bn=an/(10万-n*2250)
に対して
bn*3400の配当とbn*2250の元本の減少ということでしょ
an+1=an+bn*(3400-2250)=an(1+1150/(10万-n*2250))=an(101150-n*2250)/(10万-n*2250)
なのでは
48:38
17/10/16 12:14:14.43 uxUjNKSx.net
回答ありがとうございます。
一度全て現金に戻して再投資という解き方は気が付きませんでした
すみません、その式では18年後の総額は幾らになっているのでしょうか？
49:１３２人目の素数さん
17/10/16 12:48:02.71 a9F8bxrN.net
すいません、微分方程式の問題なんですがどなたかお願いします
y'=y^3-ｙ/x
50:１３２人目の素数さん
17/10/16 12:50:36.41 RC3rsulw.net
>>43
>> なお半年毎に販売している
>> 金融商品も2250円安く買えるようになっているが、
中途解約した場合は、そのときの元本で買い取ってもらえると言うことでしょうか？
その場合、17年と半年後のその商品の価格は、100000-2250×35=21250となりますが、
これを買うことが出来たら、21250円を半年預けることで、3400円と、元本19000円、
合計22400を得ます。その差は、将に配当から元本の減額分を減じた1150円なのですが、
半年で1150円の配当益（？）を出すために用意すべき金額が、通常は10万ですが、
場合によっては21250円でも可能と言うことです。
十万円必要なのか、二万強で済むのか。4.4倍も異なります。
上で引用した部分に書かれているように、満期まで18年あるものを買うのか、半年
のものを買うのかで、全く異なる計算になります。
51:１３２人目の素数さん
17/10/16 14:30:03.55 HuBcnX1S.net
z=xy.
dz/dx.
52:１３２人目の素数さん
17/10/16 15:39:44.06 e8bNRqKC.net
>>34
低レベルですみません。
しかし、納得できません。
貴殿の解答なら、微分したら元の値が出ますが、私の解答では元の値が出ません。
更には定積分なら、積分定数は関係ないはずです。
積分区間を０からxとして、計算してみて下さい。
違う値が出ます。
53:１３２人目の素数さん
17/10/16 15:51:07.13 3uwoVJc+.net
>>51
計算を間違えているのでしょう
途中式を書けばみてあげますよ
54:１３２人目の素数さん
17/10/16 18:54:24.34 yxsbs/00.net
>>52
貴殿の解答
0<a<1 のとき
∫(0～x)1/√{a +（1-a)ss｝ds =[｛1/√(1-a)}Log｛√［a +（1-a)ss］+ √(1－a)・s}](0～x)
＝{1/√(1－a)log[{√a＋(1－a)x^2}＋√(1－a)・x－√a]
私の解答
∫(0～x)1/√{a +（1-a)ss｝ds =
[{1/√(1－a)}log〔s＋√[s^2＋{a/(1－a)}]](0～x)
＝{1/√(1－a)}log[√{(1/a)－1}・x＋√[x^2{(1/a)－1}＋1]
それより貴殿の解答はどうやって導出したのですか？
やり方だけでも教えて頂けませんか？
55:１３２人目の素数さん
17/10/16 19:15:01.62 HuBcnX1S.net
>>53
log(a)-log(b)<>log(a-b).
56:１３２人目の素数さん
17/10/16 19:24:59.51 AomZFqaF.net
自殺をしても嫌なことからは逃げられないのでしょうか？
57:１３２人目の素数さん
17/10/16 19:29:16.26 AomZFqaF.net
探求のために自殺をしたらどうなるのでしょうか？
58:１３２人目の素数さん
17/10/16 19:56:49.10 RC3rsulw.net
>>43
常に新商品を買う事とします。
配当で得たものを10万単位（＝新商品）で買い足していき、10万に満たない額は、
次の投資のために繰り越しておくという形で計算すると、
初回1000口、半年後34口、以降順に、
35,36,38,38,41,41,43,44,46(5年目),48,49,51,52,54,57,58,60,62,64(10年目),
66,69,71,73,76,78,81,84,87,89(15年目),93,96,99,102,106口と買い足していく事になります。
そして18年目に、全てを解約(ただし、初回の1000口は満期)すると、178852050円となると思います。
59:１３２人目の素数さん
17/10/16 20:36:21.12 HX9QRlZ/.net
Σ9/10^ n-1の無限和
60:１３２人目の素数さん
17/10/16 21:26:08.67 AomZFqaF.net
現役最高の数学者って誰？
コンツェビッチ？テレンス・タオ？
61:38
17/10/16 22:03:21.54 uxUjNKSx.net
>>49
17年と半年後のその商品の価格は21250で半年で3400円と元本19000円、
合計22400で償還が正しいです。どうにも問題が悪くてすみません。
存在している金融商品は一本だけで
2000年に100億円で運用開始で途中購入可
2018年に償還19000円でされるので、それに合わせて半年ごとの配当受取と
共に元本価格＆途中購入価格が減少していく。それを2000年に1億円だけ
購入して配当を延々と途中購入に回した場合はどうなるかの方が良かったでしょうか？
62:38
17/10/16 22:07:48.20 uxUjNKSx.net
>>57
分かりずらくてすみません。
追加購入するときは10万円では無くて、その時の元本価格と同額になります。
満期は2018年のみで途中購入分も一斉に償還されます
新規発行が続くのか既発分しか存在してないのかの説明が説明不足でした
63:低レベルですみません
17/10/16 23:32:42.02 P47yv/Iw.net
>>54
全く分かりません。
＜＞の意味は何ですか？
低レベルの私でも理解できる様に、説明をお願いします。
64:１３２人目の素数さん
17/10/17 01:24:43.32 ZfTjWMwB.net
>>48
>>50 にしたがって
z = xy, とおく。
dz/dx = x(dy/dx）+ y = xy^3 = z^3 /x^2,
-(2/z^3)dz = -(2/xx)dx,
1/zz = 2/x +c,
zz = x/(2+cx),
yy = 1/{x(2+cx)},
y = ±1/√{x(2+cx)},
65:１３２人目の素数さん
17/10/17 02:03:38.00 Xq30gTEP.net
>>62
＜＞はVBとかのプログラミング言語で使われる記号です
≠と同じ意味です
あなたは対数の計算ができていない、ということを言っています
積分の前にやることがあるというわけですね
66:１３２人目の素数さん
17/10/17 02:08:32.17 BaGSGT6U.net
スレの主旨とあってるか分からないんですけど質問させてください
あるテストをやってる時に、答えとは全く関係ない方法で変な法則を自分で見つけたんだけど、俺なんかが見つけるくらいだから何か既存の法則であるんだろうって思ったけど探し方がわからないものがあるんだけど誰か分かる人いないかな
三角形の形になる様に適当な３つの数字を用意して
１
２ ３
それぞれの頂点同士の数字を掛け算して
２ ３
６
出た辺の答えから、それぞれ数字の大きい方から低い方へ引き算して
６-３＝３
３-２＝１
６-２＝４
３つのうち最も高い数字を基準にして残り２つの数字を引くと必ず答えが０になるんだけど
４-３-１＝０
最初に三角形にする数字がどんな数字だろうと掛け算→大きい方から引き算→もう1度大きい方から引き算をすると０になる
もしこれの法則名みたいなのがあったら教えて欲しい
それとこういうのを見つけた時、なんて調べればいいのだろうか・・・
誰か分かる人いませんか？
67:１３２人目の素数さん
17/10/17 02:17:17.83 ZfTjWMwB.net
>>62
log(A）- log(B）= log(A/B）≠ log(A-B）
68:１３２人目の素数さん
17/10/17 02:22:11.48 g+8tltCZ.net
>>65
三角形は何の関係もなくて、単に次の操作をすると必ず０になるので、
何も面白いことは無い。
・３つの異なる数字を用意して、それぞれ数字の大きい方から低い方へ引き算する
・３つのうち最も高い数字を基準にして残り２つの数字を引くと必ず答えが０になる
証明も非常に簡単なので、やってみるとよい。
69:１３２人目の素数さん
17/10/17 02:30:24.67 BaGSGT6U.net
>>67
うわ本当だ
最初の掛け算も関係なく、最初の３つを適当に選んでも引き算2回に、大きい数字から順次引くという条件だけでいいんですね
単純な数字遊び的な要素だし、何かの法則ってもんでもないんですね
お手間を取らせました、個人的には中々こういう機会に恵まれないので面白かったですありがとう
70:１３２人目の素数さん
17/10/17 05:21:42.13 WCIFWEwt.net
無理数αは二乗すると有理数になるという。
このとき、αは自然数p,qを用いて√q/pと表されることを示せ。
71:１３２人目の素数さん
17/10/17 06:07:41.11 l5GkhVH6.net
>>61
それならばシンプルです。
a[n]：第n期スタート時点での商品価格
b[n]：第n期スタート時点での資産総額
c[n]：第n期購入商品口数
d[n]：繰越金
として、漸化式
a[n]=100000-2250*n
b[n]=d[n-1]+(a[n]+3400)*c[n-1]
c[n]=int(b[n]/a[n])
d[n]=b[n]-a[n]*c[n]
を、初期値、a[0]=100000,b[0]=100000000,c[0]=1000,d[0]=0で計算すればokです。
下の実行画面の37期の総資産225535150が18年後の総資産としてふさわしいでしょう。
URLﾘﾝｸ(codepad.org)
72:１３２人目の素数さん
17/10/17 06:27:31.28 H6wMXOiF.net
Excelのゴールシークってすごい、すごくない？
73:１３２人目の素数さん
17/10/17 07:15:44.68 rCOfwOZi.net
全ての 2 よりも大きな偶数は二つの素数の和として表すことができる←これの証明
74:１３２人目の素数さん
17/10/17 07:58:51.53 0DcueRj6.net
未解決問題を書くバカは帰って、どうぞ
75:38
17/10/17 09:13:12.32 VnXXa73v.net
>>70
式まで付けていただいてありがとうございます。
本当に助かりました。
元本の減少が大きいのでもっと利回りが悪化するかと思いましたが
思ったより高くて驚きました
76:１３２人目の素数さん
17/10/17 09:48:29.13 +tHCbe7N.net
この大小を調べる問題がわからない
e^π＞π^eは使えるものとする
77:１３２人目の素数さん
17/10/17 10:08:22.66 keINGOd6.net
f(x) = c^2{ ( exp{x/c} + exp{-x/c} ) / 2 - 1 }
は、
c → ∞
の極限で x^2/2
になるそうですが、計算方法を教えて下さい。
c = 1/h
として、h → 0 の極限でなんかできそうでしたが、
f(x) の頭の c^2 がうまく消えません。
78:１３２人目の素数さん
17/10/17 10:27:45.75 gaMBtRmr.net
>>75
1<e<πより1/e>1/π>0
e^(π/e)=(e^π)^(1/e)>(e^π)^(1/π)>(π^e)^(1/π)=π^(e/π)
79:１３２人目の素数さん
17/10/17 10:30:51.75 1bGm7O8V.net
>>76
exp(x/c) = 1 + x/c + (1/2)*(x/c)^2 + o((x/c)^2) (c → ∞)
exp(-x/c) = 1 - x/c + (1/2)*(x/c)^2 + o((x/c)^2) (c → ∞)
exp(x/c) + exp(-x/c) = 2 + (x/c)^2 + o((x/c)^2) (c → ∞)
{exp(x/c) + exp(-x/c)}/2 = 1 + (1/2)*(x/c)^2 + o((x/c)^2) (c → ∞)
{exp(x/c) + exp(-x/c)}/2 - 1 = (1/2)*(x/c)^2 + o((x/c)^2) (c → ∞)
{[{exp(x/c) + exp(-x/c)}/2 - 1] - (1/2)*(x/c)^2}/(1/c^2) = o((x/c)^2)/(1/c^2) (c → ∞)
{[{exp(x/c) + exp(-x/c)}/2 - 1] - (1/2)*(x/c)^2}/(1/c^2) = 0 (c → ∞)
c^2*{[{exp(x/c) + exp(-x/c)}/2 - 1] - (1/2)*(x/c)^2} = 0 (c → ∞)
c^2*[{exp(x/c) + exp(-x/c)}/2 - 1] - (1/2)*x^2 = 0 (c → ∞)
c^2*[{exp(x/c) + exp(-x/c)}/2 - 1] = (1/2)*x^2 (c → ∞)
80:１３２人目の素数さん
17/10/17 10:43:48.89 BhLqpYRj.net
>>77
イキナリ何？
81:１３２人目の素数さん
17/10/17 10:43:49.59 gaMBtRmr.net
>>76
lim[c→∞]c^2((exp(x/c)+exp(-x/c))/2-1) = lim[h→+0](exp(hx)+exp(-hx)-2)/(2h^2)
= lim[h→+0](x^2/2)exp(-hx)((exp(hx)-1)/(hx))^2 = x^2/2
82:１３２人目の素数さん
17/10/17 10:45:57.45 BhLqpYRj.net
>>76
(e^a-e^-a)^2=e^2a+e^-2a-2
83:１３２人目の素数さん
17/10/17 10:53:44.85 keINGOd6.net
>>78
素早いレス、ありがとうございます。
o((x/c)^2)/(1/c^2) (c → ∞)
0 (c → ∞)
のところは、どうなっているんですか？
右辺だけ極限を取っているんでしょうか。
大学の入試問題なので、高校生の解き方でできるはず
なんですが、これでも大丈夫でしょうか。
（答えていただいたのにすみません。）
84:１３２人目の素数さん
17/10/17 11:01:36.41 keINGOd6.net
>>80
>>81
おぉすごい！理解できました。
ありがとうございました！
85:１３２人目の素数さん
17/10/17 11:18:19.54 kkZJgFos.net
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
文化祭振休の中学生ですがおねがいします。
どうやっても解けません。
86:１３２人目の素数さん
17/10/17 11:42:14.41 gaMBtRmr.net
>>84
ACを底辺としたらBDが高さ。そして、BD=BF
87:１３２人目の素数さん
17/10/17 11:50:36.09 +tHCbe7N.net
ありがとう
これも教えてくれ
88:１３２人目の素数さん
17/10/17 13:23:55.67 WCIFWEwt.net
m,nは自然数とする。
以下の条件を満たすmとnの2次多項式f(m,n)が存在することを示し、その一例を挙げよ。
（条件）
・f(m,n)の値は、自然数
・m≠m'のとき、f(m,n)≠f(m',n)
・n≠n'のとき、f(m,n)≠f(m,n')
89:１３２人目の素数さん
17/10/17 13:35:09.02 1bGm7O8V.net
θ ≠ 2*n*π for all n ∈ Z とする。
複素数列 {exp(i*n*θ)} は発散することを示せ。
90:１３２人目の素数さん
17/10/17 13:37:44.35 1bGm7O8V.net
θ ∈ R
91:１３２人目の素数さん
17/10/17 13:39:43.20 1bGm7O8V.net
あ、コーシーの条件から明らかですね。
92:低レベルですみません
17/10/17 13:59:30.14 P2a2Db6Q.net
>>66
すみません。計算ミスしてました。
おっしゃる通りです。
定積分で同じ値がでます。
更には私の解で微分しても、元の式が出ました。
ということは積分した結果logになった場合、log内部には、定数ならいくら掛けても正解になるのですね。
[log{a・f(x)}]´＝{a・f´(x)}/{a・f(x)}＝{f´(x)}/{f(x)}
となって微分すれば、掛けた値は結局消えるのですね。
高校時代の事は、よく覚えてないのですが、上記の様に式が違っていても正解になってたんでしょうかね？
模範解答と違うと間違いだと思ってました。
仕事の合間を縫ってたとはいえ、こんな詰まらない積分計算に一週間以上もかかった私は、凄まじい頭の悪さですね。
また凄まじい低レベルな馬鹿が質問するかもしれませんので、宜しくお願い致します。
色々とありがとうございました。
93:１３２人目の素数さん
17/10/17 15:27:23.18 WCIFWEwt.net
>>87
すいません条件1個忘れてました
・任意の自然数kに対し、f(m,n)=kとなる(m,n)がただ一組存在する。
94:１３２人目の素数さん
17/10/17 16:11:01.32 R1lOQeYT.net
>>91
(loga)+(logb)=log(ab)だから、logの中に定数を掛けることは全体に定数を足すのと同じ
つまり積分定数はlogの中の定数倍として表現される
95:１３２人目の素数さん
17/10/17 16:34:42.19 l5GkhVH6.net
>>92
>>・任意の自然数kに対し、f(m,n)=kとなる(m,n)がただ一組存在する。
これが成立するなら、
>>・m≠m'のとき、f(m,n)≠f(m',n)
>>・n≠n'のとき、f(m,n)≠f(m,n')
これも自動的に成立するけど、問題文に間違いは無い？
それと、「mとnの2次多項式f(m,n)」は、
am^2+bmn+cn^2+dm+en+f の意味？
それとも、
(am^2+bm+c)n^2+(a'm^2+b'm+c')n+d の意味？
96:１３２人目の素数さん
17/10/17 18:34:13.20 WCIFWEwt.net
>>94
たしかに条件はそうですね、ありがとうございます。
友人に出題された問題で、互いに高2なので勘弁してやってください
多項式は前者の解釈です。
以下のような方針を立てました
（1）fをmの2次関数と見て単調増加になるようにnと係数を決める
（2）（1）の条件のもとでfをnの2次関数とみて係数の条件を絞り込む
ただこれだと任意のkに対してf=kが成り立つようにどうやってしたらいいか分からないです
97:１３２人目の素数さん
2017/10/
98:17(火) 20:02:57.74 ID:t30d5+dt.net
99:１３２人目の素数さん
17/10/17 20:21:10.37 SpyizhyH.net
後出ししないと成り立たない気が
100:１３２人目の素数さん
17/10/17 20:25:56.88 t30d5+dt.net
ああおかしいですね
lim(x→a)log(f(x))=loglim(x→a)f(x)
の証明を教えてください
101:１３２人目の素数さん
17/10/17 20:36:48.22 evQ2/xpa.net
1/( 1+√(x^2+1)) の不定積分教えてください
102:１３２人目の素数さん
17/10/17 20:58:58.48 kDCiM/md.net
望月新一さんより頭の良い宇宙飛行士は存在しますか？
103:１３２人目の素数さん
17/10/17 21:06:47.80 g/mVagoK.net
X, Yが独立であるときE(XY)=E(X)E(Y)
ここでE(X^2)について考えたのですが
V(X)=E(X^2)?E(X)^2より
E(X^2)=V(X)+E(X)^2
X,とXが独立であるときE(XX)=E(X)E(X)
つまりE(X^2)=E(X)^2となりません
これはどのように解釈すればいいのでしょうか？
例えばサイコロで考えた場合常に独立ですが分散は0ではないですから
104:１３２人目の素数さん
17/10/17 21:08:08.57 g/mVagoK.net
?は×です
105:１３２人目の素数さん
17/10/17 21:10:35.87 KRExhX9i.net
>>101
XとXは独立ではありません
明らかですね
だって、一方が決まった時点で、完全に他方も決まるんですから
それらを独立とみなせるのは、E(X^2)=V(X)+E(X)^2=E(X)^2となる場合、すなわち全ての値が等しく0となる場合のみです
106:１３２人目の素数さん
17/10/17 22:45:34.76 9Rt3WkR5.net
分散0の確率密度関数ってやばそう
107:１３２人目の素数さん
17/10/18 06:30:38.94 gBSUh1r5.net
>>98
logが連続関数だから
おわり
108:１３２人目の素数さん
17/10/18 06:47:27.94 SXkyN2DC.net
RLOあいう
109:１３２人目の素数さん
17/10/18 06:54:31.15 +KbARkiz.net
三角形ABCの辺bcに中点dをとる
角abd＋角dac＝90度のとき
三角形はどのような形か
お願いします
110:１３２人目の素数さん
17/10/18 09:25:23.10 Rh+r/O67.net
2次体の整数環を(p)が素イデアルでないときに局所化ってどうやってやるのか教えて下さい
積閉集合の作り方がわかりません
111:１３２人目の素数さん
17/10/18 09:30:18.11 E0OnNnBm.net
>>107
条件不十分
112:１３２人目の素数さん
17/10/18 09:55:19.82 Li2iz1Xu.net
>>99
x = sinh(t）とおくと、
∫1/{1+√(xx+1)｝dx
∫cosh(t)/｛1+cosh(t)｝dθ=∫{1 - 1/[2cosh(t/2)^2]｝dt
= t - tanh(t/2),
>>100
いいえ。
望月の欠けたることもなしと思へば（藤原道長）
>>107
ADの延長線と△ABCの外接円の交点をEとする。
円周角が等しいから、
∠ABD + ∠DAC = ∠AEC + ∠EAC = 180°-∠ACE より
∠ACE = 90°
AEは直径で、D はAE上にある。
｛AB，BE｝=｛AC，CE｝
(1）AB=AC，BE=CE のとき
２等辺Δ
(2) AB=CE，AC=BE のとき
BCも直径でDが中心
∠A=90°の直角△
113:１３２人目の素数さん
17/10/18 11:10:24.09 tBZH1WCG.net
π^π^eとe^e^πの大小
e^π>π^eはわかってて使えるものとする
114:１３２人目の素数さん
17/10/18 12:59:49.55 Ume46JjM.net
>>93
御教示ありがとうございます。
高校時代と言っても何十年も前ですが、こういう積分があったかもしれないという、うっすらとした記憶がなきにしもあらずです。
こんなの値が一致するはずない、と思い込んで計算すると一致しないですし、理解して、一致するはずだと思って計算すると一致しました。
先入観は良くないと思いました。
115:１３２人目の素数さん
17/10/18 18:03:55.55 pfBXZ8Ne.net
f(x)=x{(1+1/x)^x-e} (x→∞)の極限を求めよ。
上記の問題の解き方が分かりません。ロピタルの定理を使うと思うのですが、どのように変形すれば良いのか教えて下さい。
116:１３２人目の素数さん
2017/10/1
117:8(水) 18:34:21.31 ID:ZIXqITN6.net
118:１３２人目の素数さん
17/10/18 18:42:40.67 pfBXZ8Ne.net
>>114
マクローリン展開はまだ習ってないので、使っちゃいけないと思うんですよ…w
ロピタルの定理かマクローリンの定理でなんとか解けませんか？
119:１３２人目の素数さん
17/10/18 18:45:00.44 0fkGkESH.net
>>115
h=1/xとして微分の定義
120:１３２人目の素数さん
17/10/18 18:58:11.31 pfBXZ8Ne.net
>>116
{(1+h)^(1/h)-e}/h (h→0)になりますが、1/h乗はどう変形すれば良いですか？
121:１３２人目の素数さん
17/10/18 19:32:14.14 bqFGJVzg.net
log(1 + x) = x - (1/2)*x^2 + o(x^2) (x → 0)
log(1 + 1/x) = 1/x - (1/2)*(1/x^2) + o(1/x^2) (x → ∞)
x*log(1 + 1/x) = 1 - (1/2)*(1/x) + o(1/x) (x → ∞)
x*{(1 + 1/x)^x - e} = e*{exp(x*log(1 + 1/x) - 1) - 1} / (1/x)
exp(x*log(1 + 1/x) - 1) = 1 + (x*log(1 + 1/x) - 1) + o(x*log(1 + 1/x) - 1) (x → ∞)
[o(x*log(1 + 1/x) - 1) / (x*log(1 + 1/x) - 1)] * [(x*log(1 + 1/x) - 1) / (1/x)] → 0 * (-1/2) = 0 (x → ∞)
だから
o(x*log(1 + 1/x) - 1) = o(1/x)
exp(x*log(1 + 1/x) - 1) = 1 + (x*log(1 + 1/x) - 1) + o(1/x) (x → ∞)
[exp(x*log(1 + 1/x) - 1) - 1] / (1/x) = [(x*log(1 + 1/x) - 1) + o(1/x)] / (1/x) (x → ∞)
[exp(x*log(1 + 1/x) - 1) - 1] / (1/x) = [-(1/2)*(1/x) + o(1/x) + o(1/x)] / (1/x) (x → ∞)
[exp(x*log(1 + 1/x) - 1) - 1] / (1/x) → -1/2 (x → ∞)
x*{(1 + 1/x)^x - e} = e*{exp(x*log(1 + 1/x) - 1) - 1} / (1/x) → -(1/2)*e (x → ∞)
122:１３２人目の素数さん
17/10/18 20:18:20.55 4U+l6C4Y.net
URLﾘﾝｸ(imgur.com)
よろしくお願いします
123:１３２人目の素数さん
17/10/18 20:34:05.89 lDijY1G9.net
複素関数を学習していてふと疑問に思ったのですが
複素関数において微分可能な条件は正則であることと理解していますが
もしかして複素関数では実数関数でいういわゆる「尖った点」でも
微分可能と考えていいのでしょうか
124:１３２人目の素数さん
17/10/18 20:37:22.89 I6WH6QDi.net
(3) 方べきでBP*(BP+3√2)=6*12
(1) BPsinθ=3sin(45°-θ)
(2) s^2+c^2=1, t=s/c
125:１３２人目の素数さん
17/10/18 20:38:41.21 OHPrxAQY.net
>>119
点Aから線分PQにおろした垂線の足をRとしたとき
△APRはRを頂点とする直角二等辺三角形だから
AR = 3/(√2) (AP=3より)
AB = 9だから
sinθ = AR/AB = (√2)/6
後は一度自分で考えて下さい。
126:１３２人目の素数さん
17/10/18 20:41:56.80 Rh+r/O67.net
Zを整数全体、pを素数としたとき、ZをZ-pZで局所化したものをZ_pとする
さらにθをx^2+bx+cの根とする
このとき、Z_p[θ]の単数群を内包的記法で書くとどうなりますか？
{b/a+y/x*θ | a,b,x,y は pで割れない}でいいですか？
127:１３２人目の素数さん
17/10/18 21:02:41.52 nSR/JwWO.net
>>120
なんでそう思ったのかわからんが実数より条件は厳しいよ
尖ってる点はだめ
128:１３２人目の素数さん
17/10/18 21:28:54.53 Li2iz1Xu.net
>>110
この世をば我が世とぞ思ふ人ですね。
129:１３２人目の素数さん
17/10/18 23:00:28.42 sEzT31cU.net
多項式近似の指数を非整数にして係数の符号を揃えた近似式の導出方法を教えてくれ
仕事上そのような換算をした論文を見たんだが導出過程が分からず真似できなかったんだ
終わった今でもずっとモヤモヤしてる
130:１３２人目の素数さん
17/10/18 23:14:48.61 F7AjwvaJ.net
>>126
何がモヤモヤ？
131:１３２人目の素数さん
17/10/18 23:28:55.34 F7AjwvaJ.net
>>123
そんな感じじゃないの？知らんけど掛けて1になるていうのを条件式にするだけでしょ
132:１３２人目の素数さん
17/10/18 23:32:00.22 F7AjwvaJ.net
>>120
尖った点って？
何で正則と「尖った」ってのが両立すると思っているのかっていうのが分からん
両立するかも知れないよ定義を教えて
133:１３２人目の素数さん
17/10/18 23:43:33.13 sEzT31cU.net
>>127
要は素晴らしい近似式の導出ができなかったことに後悔してるのさ
ある実験データは3次,4次の�
134:ｽ項式で程よく近似できたとする でも原理的にy=f(x)は増加しかしない つまりy’>0なわけでそうなる近似式を求めたかったんだ
135:１３２人目の素数さん
17/10/18 23:47:14.03 F7AjwvaJ.net
>>130
？
136:１３２人目の素数さん
17/10/18 23:52:41.59 3oBv3x78.net
どちて坊や再び
137:１３２人目の素数さん
17/10/19 00:08:41.14 anJ1p46/.net
>>131
数学の問題的に言うと
近似式を導出するのに十分な数の(x,y)が与えられるており
多項式近似でy=ax^3+bx^2+cx+dとなる表現を
y=Ax^e+Bx^f+Cx^g+hで示そうとした場合のA,B,C,e,f,g,hを求めよ
ただしA,B,Cは正の実数である
138:１３２人目の素数さん
17/10/19 00:17:05.17 Nn9YhtxY.net
>>130
変数が何の関数かわからないが、
例えば時間tの関数なら、t＜0の領域での振る舞いは気にしなくてよいんじゃないの？
最高次の項の係数が正なら、どの多項式関数もあるとことから先は単調増加。
139:１３２人目の素数さん
17/10/19 00:20:11.08 p+NFqrTn.net
>>129
これ教えてくれませんか？
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
140:１３２人目の素数さん
17/10/19 00:35:13.90 anJ1p46/.net
>>134
言ってることはまさにその通り
近似式y=f(x)で対象とする領域はx>0
でもx>0の区間は通常の多項式近似だと常に微分して正になるわけじゃない
そいつを解決する方法として指数部分を非整数とした方法が過去にあったんだがやり方が分からん
141:１３２人目の素数さん
17/10/19 00:57:11.63 s6HGAquh.net
>>118
ありがとうございます。
習ってない符号が出てるので、明日教授に聞いてみます。
ご協力ありがとうございました。
142:１３２人目の素数さん
17/10/19 01:42:40.19 v4y6V6UC.net
東大医学部とケンブリッジ大学のトリニティ・カレッジはどっちの方がレベル高い？
143:１３２人目の素数さん
17/10/19 02:50:32.18 B6kG8sGZ.net
lim(n→∞）{１/(n+1)}^(1/n)の極限が
lim(n→∞)n^(1/n)=1 を使うと１になるみたいなのですがなぜでしょうか？
指数法則で{1^(1/n)}/{(n+1)^(1/n)}を使いそうな感じですが
それ以降がわかりません・・・。
144:１３２人目の素数さん
17/10/19 03:35:45.21 B6kG8sGZ.net
139 ですが「lim(n→∞)an=a lim(n→∞)bn=b ならば
lim(an)^(bn)=a^b」 が成り立てば良いのですが（an>0 bn>0)
145:１３２人目の素数さん
17/10/19 06:00:04.60 2mW9ShaE.net
If f is continuous and has a bounded continuous derivative except, possibly,at a finite number of points then ○○○→✕✕✕ as n→∞ at all points t where f is continuous.
と本に書かれてたのですが、fに連続性を仮定しているのにわざわざ最後にwhere f is continuousとあるのはなぜですか？
146:１３２人目の素数さん
17/10/19 07:00:28.09 N4ismAjn.net
>>135
キモ
147:１３２人目の素数さん
17/10/19 07:15:15.89 N4ismAjn.net
>>139
(1/n)^(1/(n-1))=((1/n)^(1/n))^(n/(n-1))=1^1=1
>>140
a=b=0以外なら成り立つ
148:１３２人目の素数さん
17/10/19 07:19:05.42 N4ismAjn.net
>>141
さあ？
f'の間違いとか？
149:１３２人目の素数さん
17/10/19 07:29:39.49 mEOhpZEM.net
>>142
わからないんですね(笑)
既に回答があるものにも回答がつけるくらいのあなたが回答をつけないということは、わからないということです
150:１３２人目の素数さん
17/10/19 07:30:49.81 8edKBDzG.net
劣等感婆の偽物だろうなあ
151:１３２人目の素数さん
17/10/19 09:28:58.07 0Waan9BM.net
0/0が定義できない理由は
x→0のときx^0→1, 0^x→0, x^x→1で不定だから
ということでOK？
152:１３２人目の素数さん
17/10/19 09:29:15.71 0Waan9BM.net
0^0が定義できない理由ね
153:１３２人目の素数さん
17/10/19 09:44:01.80 v4y6V6UC.net
全知全能の神は存在しないのでしょうか？
154:１３２人目の素数さん
17/10/19 10:06:03.65 N4ismAjn.net
>>147
まあそうだけどべき乗は2変数関数だから
x^yが(x,y)->(0,0)で不定っていう言い方の方が良いと思う
155:１３２人目の素数さん
17/10/19 10:20:01.80 LUE6bYYL.net
0^0=1.
156:１３２人目の素数さん
17/10/19 10:41:09.29 N4ismAjn.net
(x,y)->(+0,0)か
157:１３２人目の素数さん
17/10/19 11:05:03.48 t3+Q3roV.net
>>152
三段論法を含む任意の数学の証明は、三段論法を含まない別証明を持つことを示せ
158:１３２人目の素数さん
17/10/19 11:21:02.69 N4ismAjn.net
>>153
きも
159:１３２人目の素数さん
17/10/19 11:24:25.51 nv529/Ab.net
>>153
それは凄い
そんな凄い事実があるならぜひ出典を教えてくれ
160:１３２人目の素数さん
17/10/19 11:24:56.03 t3+Q3roV.net
>>154
>>155
わからないんですね(笑)
161:１３２人目の素数さん
17/10/19 11:26:16.43 nv529/Ab.net
やはり聞きかじりの知識で粋がってたんだろうなコイツは
定理の仮定はしっかりと押さえておく
大学一年生でも知っていることだ
162:１３２人目の素数さん
17/10/19 11:27:06.76 N4ismAjn.net
>>146
偽物かどうか証明できないもんなあ
163:１３２人目の素数さん
17/10/19 11:27:48.41 t3+Q3roV.net
>>157
わからないんですね(笑)
164:１３２人目の素数さん
17/10/19 12:24:13.15 8edKBDzG.net
>>158
本物はもうちょっと数学できそうな雰囲気ある（賢いとは言わない）
165:１３２人目の素数さん
17/10/19 12:31:39.34 XAvamSBy.net
ホンモノは著者には喧嘩売りまくりだが、レスにはあまり喧嘩を売らない
166:１３２人目の素数さん
17/10/19 12:36:49.62 8edKBDzG.net
>>161
それは松坂君ですね
人を不愉快にする点では同じですが、劣等感婆はストレートに見下して喧嘩売ってきます
167:１３２人目の素数さん
17/10/19 13:08:03.81 urWZASZc.net
>>153
カット除去定理は数理論理学の基本定理だそうな
168:１３２人目の素数さん
17/10/19 13:14:14.80 AxSKrKXp.net
ｘが増えるほどｙの増え方が緩やかになっていく関数って何ていうんですか？
169:１３２人目の素数さん
17/10/19 13:21:41.32 Uy8S5tTQ.net
逓減
170:１３２人目の素数さん
17/10/19 13:23:29.57 Uy8S5tTQ.net
増加逓減
171:１３２人目の素数さん
17/10/19 14:53:28.41 B6kG8sGZ.net
>>143
ありがとうございます。
「lim(n→∞)an=a,lim(n→∞)bn=bならばlim(n→∞)(an)^(bn)=a^b」
の証明はεδでいけますかね？
172:１３２人目の素数さん
17/10/19 16:24:50.58 LkcEQpEf.net
前にも質問したけどこれの(2)教えてください
URLﾘﾝｸ(i.imgur.com)
173:１３２人目の素数さん
17/10/19 17:59:34.70 VfTCenk4.net
e^(e^π)=1.12*10^10
e^(π^e)=5.67*10^9
π^(e^π)=3.19*10^11
π^(π^e)=1.46*10^11
（e^(π^π)=6.84*10^15）
（π^(e^e)=3.42*10^7）
（e^(e^e)=3.81*10^6）
（π^(π^π)=1.34*10^18）
より
e^(π^e)<e^(e^π)<π^(π^e)<π^(e^π)
以下、これを目指す。
(π^e)<(e^π)よりe^(π^e)<e^(e^π), π^(π^e)<π^(e^π)
e^(e^π)とπ^(π^e)を比較する
と言いたいところだが、a^a^b>=<b^b^aをどう弄ってもf(a)>=<f(b)という形に出来ないので
問題文から察するに、(2)は具体的な数値計算が必要なんじゃないか？
174:１３２人目の素数さん
17/10/19 18:38:10.74 Uy8S5tTQ.net
e^π / π^e < 1 / (π - e)
が示せればOKというところまで分かりました。
175:１３２人目の素数さん
17/10/19 19:12:27.22 Uy8S5tTQ.net
>>168
やっと解けました。
176:１３２人目の素数さん
17/10/19 19:15:45.98 Uy8S5tTQ.net
log((1+x)/(1-x)) = 2*(x + (1/3)*x^3 + (1/5)*x^5 + …) (-1 < x < 1)
より、
log(2) > (2/3)*(1 + 1/(3*9)) > 0.69
log(1.5) > (2/5)*(1 + 1/(3*25)) > 0.52
log(3) > 1.21
である。
177:１３２人目の素数さん
17/10/19 19:19:08.26 Uy8S5tTQ.net
π <
178:3.2 < 0.69 + 2.7*1.21 < log(2) + 2.7*log(3) である。 π - 2.7*log(3) < log(2) e^π / π^e < e^π / 3^2.7 < 2 である。
179:１３２人目の素数さん
17/10/19 19:21:54.31 Uy8S5tTQ.net
π - e < 3.2 - 2.7 = 0.5
1/(π-e) > 2
であるから、
e^π/π^e < 2 < 1/(π-e)
である。
180:１３２人目の素数さん
17/10/19 19:44:11.04 Uy8S5tTQ.net
e^π/π^e < 1/(π-e)
より、
e^π*(π-e) < π^e
e^π*(π-e) - π^e < 0
よって、
f(x) := e^x/x^e - log(x)
f'(x) = [e^x*(x-e) - x^e)] / x^(e+1) = g(x) / x^(e+1)
g'(x) = e^x*[x-e + 1-x^(e-1)/e^(x-1)]
x > e のとき、 g'(x) > 0 である。
g(e) < 0
g(π) < 0
であるから、
e ≦ x ≦ π で
f'(x) < 0
である。
よって、
f(x) は e ≦ x ≦ π で
狭義単調減少。
f(e) = 0
だから
f(π) < 0
すなわち
e^π/π^e - log(π) < 0
e^π/π^e < log(π)
e^π < π^e * log(π) = log(π^(π^e))
e^(e^π) < π^(π^e)
181:１３２人目の素数さん
17/10/19 19:45:46.33 Uy8S5tTQ.net
訂正します：
e^π/π^e < 1/(π-e)
より、
e^π*(π-e) < π^e
e^π*(π-e) - π^e < 0
f(x) := e^x/x^e - log(x)
f'(x) = [e^x*(x-e) - x^e)] / x^(e+1) = g(x) / x^(e+1)
g'(x) = e^x*[x-e + 1-x^(e-1)/e^(x-1)]
x > e のとき、 g'(x) > 0 である。
g(e) < 0
g(π) < 0
であるから、
e ≦ x ≦ π で
f'(x) < 0
である。
よって、
f(x) は e ≦ x ≦ π で
狭義単調減少。
f(e) = 0
だから
f(π) < 0
すなわち
e^π/π^e - log(π) < 0
e^π/π^e < log(π)
e^π < π^e * log(π) = log(π^(π^e))
e^(e^π) < π^(π^e)
182:１３２人目の素数さん
17/10/19 23:22:15.80 aMzLeX4K.net
殺人事件が自殺として処理され、
捜査されなかったなら大問題だ。
【ひろき】上田泰己8【カッシーナ】 [無断転載禁止]©2ch.net･
ｽﾚﾘﾝｸ(life板)
817 名前:名無しゲノムのクローンさん :2017/05/22(月) 23:45:
30.78 ID:8/RLXOTfd
中国人の東大女子大生が自殺した時に、元彼上田と新彼Bの三角関係が原因と聞いた。
家族が自殺偽造疑って後日週刊誌に記事が出ていたことがあった。
かなり前の週刊誌だったから覚えてる人いないよな。
週刊文春2007年6/9号 162ページから165ページ 全文
「美人東大院生怪死」 才色兼備の東大院生が何故自殺したのか
両親が涙の訴え「娘は殺された！」
警察は「自殺」と断定。疑問を抱いた両親が調べた「遺体の謎」「パソコンの秘密」
URLﾘﾝｸ(rio2016.2ch.net)
183:１３２人目の素数さん
17/10/20 09:49:16.09 lkvX69Ib.net
集合論におけるガロア対応は何の役に立ちますか？
184:１３２人目の素数さん
17/10/20 14:34:17.26 lkvX69Ib.net
松坂和夫著『解析入門3』を読んでいます。
以下の命題に対して、↓のように証明しています。
これは証明といっていいのでしょうか？
命題1 可算集合の無限部分集合は可算である。
証明
Z^+ の無限部分集合が可算であることを示せば十分である。
A を Z^+ の無限部分集合とする。
A1 = A
A1 には最小元 a1 がある。
A2 = A1 - {a1}
A2 には最小元 a2 がある。
A3 = A2 - {a2}
A3 には最小元 a3 がある。
以下同様にして、 A4, a4, A5, a5, … を定める。 A は無限集合だから、
この操作は限りなく続けられ、結局
A = {a1, a2, a3, …}
となる。ゆえに A は可算である。
185:１３２人目の素数さん
17/10/20 14:38:07.15 lkvX69Ib.net
A ⊃ {a1, a2, a3, …} は示しているように思われますが、
A ⊂ {a1, a2, a3, …} は示していませんよね？
186:１３２人目の素数さん
17/10/20 14:39:43.27 lkvX69Ib.net
Z^+ の部分集合に最小元が存在することも証明していませんよね。
というか Z^+ とは何かということも定義されていませんし。
187:１３２人目の素数さん
17/10/20 14:44:58.38 lkvX69Ib.net
a ∈ A とする。
a = a_i となるような i が存在しないと仮定する。
a_i < a < a_(i+1)
となるような i が存在する。
a ∈ A_(i+1) である。
これは、 a_(i+1) が A_(i+1) の最小元であることに矛盾する。
みたいなのは証明といえますか？
松坂さんは、いい加減な土台の上に議論を展開しているので、意味のある議論をしていない
のではないでしょうか？
188:１３２人目の素数さん
17/10/20 15:11:06.32 zsg9D4Hh.net
行間は自分で埋めるものだぞ
189:１３２人目の素数さん
17/10/20 15:29:40.07 1cWvj762.net
スレチ、消えて
190:１３２人目の素数さん
17/10/20 16:09:34.34 fj7qfqem.net
荒らしなんだからNGに放り込んでおけ
191:１３２人目の素数さん
17/10/20 16:32:42.06 XLoe6a9s.net
一般相対論や多様体を学習し始めた者です
【質問】
パラメータt付き曲線cに沿った接ベクトル（速度ベクトル）の成分は任意の座標(x1,x2,..,xn)で
(dx1/dt, dx2/dt, ... , dxn/dt)
になるのかをお尋ねしたいです
【1】
「多様体の基礎」などには
任意の関数fに対して
dc/dt ≡ df(c(t))/dt = Σ_x(dx/dt ∂f/∂x)
(∂/∂x)を基底とすれば成分はdx/dtとなる、というようなことが書かれています
【2】
一方で、
位置ベクトルを
c = v^x1(x1,x2,...,xn) e_x1(x1,x2,...,xn) + v^x2(x1,x2,...,xn) e_x2(x1,x2,...,xn) + ... + v^xn(x1,x2,...,xn) e_xn(x1,x2,...,xn) (v^xは成分、e_xは基底ベクトル)
とすると、
dc/dt
= Σ_x(dx/dt ∂c/∂x)
= Σ_x(dx/dt v^α;β)e_α (v^α;β ≡ ∂v^α/∂x^β + v^αΓ^α_μβ でいわゆる共変微分)
となり、はたしてv^α;βが一般的に1となるかが明らかでないので、【1】と【2】の整合性をどう取ればいいか悩んでいます
よろしくお願いします
192:１３２人目の素数さん
17/10/20 20:07:14.91 THX1mbZp.net
分かるように書け
193:１３２人目の素数さん
17/10/20 20:22:14.64 VPnO/prf.net
あなたのレベルを上げればわかるようになります
194:１３２人目の素数さん
17/10/20 22:28:48.87 qFB9zbmb.net
無理数αは二乗すると有理数になるという。
このとき、αは自然数p,qを用いて√(q/p)の形で表されることを示せ。
195:１３２人目の素数さん
17/10/20 22:31:16.77 7KBp8cLX.net
>>189
反例 α=-√2
196:１３２人目の素数さん
17/10/20 22:42:31.92 qFB9zbmb.net
無理数αは二乗すると有理数になるという。
このとき、αは自然数p,qを用いて√(q/p)または-√(q/p)の形で表されることを示せ。
197:１３２人目の素数さん
17/10/20 22:42:57.47 qFB9zbmb.net
>>190
修正しました
198:１３２人目の素数さん
17/10/20 22:58:17.81 ApQ0ABpF.net
めんどくさいからαの代わりにaとするね
a^2は有理数だからa^2=p/q、終
199:１３２人目の素数さん
17/10/20 22:59:28.47 7KBp8cLX.net
任意の非負の有理数は、自然数p,qを用いてq/pとかける
α^2=q/p
すなわち、αはq/pの平方根であるから
α=√(q/p)または-√(q/p)
200:１３２人目の素数さん
17/10/20 23:02:29.99 qFB9zbmb.net
次のような集合Uは存在するか。
Uは無理数を要素とする有限集合である。Uのどの2つの要素を取っても、その和はまたUの要素である。
201:１３２人目の素数さん
17/10/20 23:12:31.84 XLoe6a9s.net
186どなたか‥
（書いてる内容そんな支離滅裂でしょうか？）
202:１３２人目の素数さん
17/10/20 23:31:20.06 7KBp8cLX.net
>>195
存在しない
仮に存在したとする
U={xi}i=1～nとする
xi+xj=xt(i,j)
を満たすxt(i,j)が存在する
Uの要素の任意個数の和は再びUの和となるから、全ての場合について上式を書き下し、各々足せば
(n-1)(Σ[i=1→n]xi)=xk
となるxkが存在する
ここで、xk=x1としても一般性を失わない
Σ[i=1→n]xi=x1/(n-1)
また、Σ[i=1→n]xi=xk'となるxk'が存在する
ここで、xk'=x1とすれば、x1=x1(n-1)が成立する
•n=2のとき
x1+x2=x1を満たす
x2=0となるから不適
よって、x1=0となるが、不適
すなわち、xk'≠x1であり、xk'=x2としても一般性を失わない
Σ[i=1→n]xi=x2
x1+x3+...+xn=0∈Uとなり、矛盾
203:１３２人目の素数さん
17/10/20 23:31:49.96 ApQ0ABpF.net
>>195
ないです
Uの元a,bに対してa+b,2a+b,…は全てUの元だけど、na+b=ma+b⇔n=mよりこれら無限個
204:の数はすべて互いに異なる
205:１３２人目の素数さん
17/10/20 23:33:37.20 7KBp8cLX.net
今日も「解けない側」の圧勝かぁ・・・。
毎日毎日、ワケ分からん問題ばかりだから常勝なんだよね・・・。
たまには、解ける解けるって悩んで負けてみたい、それが今の切実な悩み。
206:１３２人目の素数さん
17/10/21 01:03:33.67 ES3wjZVK.net
ネットでよく見る、 x∪{x}←これの意味がよくわかりません。バルタン星人か何かですか？
207:１３２人目の素数さん
17/10/21 01:57:40.94 qDGJCAul.net
順序数でもやってんの？
208:１３２人目の素数さん
17/10/21 02:39:40.93 AiQ+AZn9.net
>>186
なるでしょ
209:１３２人目の素数さん
17/10/21 02:44:54.19 AiQ+AZn9.net
>>195
どの2つって異なる2つよね？
そうじゃないと最大のか最小のを2倍して元になるのはあり得ないから
でも異なってても最大のとその1つ前のか最小のとその1つあとのを足して元になるのはあり得ない
210:１３２人目の素数さん
17/10/21 04:12:59.95 gIa8pLhZ.net
>>195
多分 >>203も同じようなこと言おうとしてると思うのだけど、
それって別に「無理数の集合」じゃなくて「0でない実数の集合」でも存在しないよね？
211:１３２人目の素数さん
17/10/21 07:07:07.72 d+smytpo.net
>>204
{-1,0,1}
212:１３２人目の素数さん
17/10/21 08:43:49.08 /IMuE5Q9.net
>>204
深く考えもしないでレスするなよ
こんな当たり前のことも分からずに教師気取りかw
213:１３２人目の素数さん
17/10/21 09:29:12.46 kmByUxQd.net
>>205
214:１３２人目の素数さん
17/10/21 11:40:45.64 AiQ+AZn9.net
>>205,206
215:１３２人目の素数さん
17/10/21 12:48:19.09 HQcPBXaG.net
>>195
存在する
無理数1個だけの集合
216:１３２人目の素数さん
17/10/21 12:50:04.51 gIa8pLhZ.net
┐(´-｀)┌
217:１３２人目の素数さん
17/10/21 12:56:22.40 gIa8pLhZ.net
誤解を生むといけないので
>>210は>>209に対してではないので念のため。
>>209は１つの答えだと思います。（問題文の解釈によってはそうなりますね）
218:１３２人目の素数さん
17/10/21 16:12:00.98 NqQS+cuf.net
長軸、短軸が座標軸に平行な楕円(円を除く)に内接する長方形の辺は必ず座標軸に平行か調べよ
これを教えてください！
219:１３２人目の素数さん
17/10/21 16:35:47.03 SkkbBQfG.net
浅野孝夫著『アルゴリズムの基礎とデータ構造』を読んでいます。
以下の問題に対する浅野さんの解答が↓です。
「このとき根は葉ではないので左の子 v および右の子 w をもつ。」などと書いていますが、
深さ d > 0 の二分木で左の子もしくは右の子を持たないものも当然存在します。
おかしな解答ですね。
二分木において、深さ d までの葉の総数は 2^d 以下であることを示せ。
d に関する帰納法で証明できる。 d = 0 のときは根は葉になるので明らかに成立する。 d > 0 未満で
成立すると仮定し d のときを考える。このとき根は葉ではないので左の子 v および右の子 w をもつ。
v を根とする部分木の深さ d - 1 までの葉が元々の二分木の深さ d までの葉になるがそのような葉の
総数は帰納法の仮定より、 2^(d-1) 以下である。同様に w を根とする部分木の深さ d - 1 までの葉の
総数も 2^(d-1) 以下であり、したがって、元々の二分木の深さ d までの葉の総数は 2^d 以下であることが
言えた。
この問題文自体もおかしいです。
この問題の結果が本文中で使われていてそこを読めばわかるのですが、問題文の意味は、
「深さ d の二分木の葉の総数は 2^d 以下であることを示せ」です。以下のような解答が模範解答ですね。
深さ d の二分木でその葉の総数が 2^d + 1 個以上であるような二分木が存在すると仮定する。
そのような二分木のうち葉の総数が最多であるような二分木を T とする。
すべての葉の深さが d であるような二分木の葉の総数は明らかに 2^d 個である。
よって T の葉にはその深さが d 未満であるような葉が存在する。この葉に子ノードを持たせれば
深さ d の二分木で葉の総数が T の葉の総数よりも多い二分木を作ることができるがこれは矛盾である。
よって、深さ d の二分木の葉の総数は 2^d 個以下である。
220:１３２人目の素数さん
17/10/21 16:45:21.45 H72zL4vV.net
ところかまわずマルチするアスペ
データ構造,アルゴリズム,デザインパターン総合ｽﾚ 3©2ch.net
ｽﾚﾘﾝｸ(tech板:666番)
221:１３２人目の素数さん
17/10/21 16:53:21.33 SkkbBQfG.net
あ、問題文はおかしくないようです。
二分木において、深さ d までの葉の総数は 2^d 以下であることを示せ。
という問題でOKです。
二分木において、深さ d までの葉の総数が 2^d + 1 個以上である二分木が存在すると仮定する。
深さ d までの葉の総数が最多である二分木を T とする。
このとき、 T には深さ d 未満の葉が少なくとも一つ存在する。もしそうでないと仮定すると、 T の
すべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 2^d 個以下に
なってしまうが、これは矛盾である。
T の深さ d 未満の葉に子ノードを持たせれば、深さ d までの葉の総数が T よりも多い二分木が存在する
ことになってしまい矛盾が発生する。
よって、深さ d までの葉の総数は 2^d 個以下である。
222:１３２人目の素数さん
17/10/21 18:42:49.61 djPQWMkX.net
答え合わせをお願いしたいのですが、v(t)をフェーザ表示にしたときの答えはこれで合っていますか？
下は直交形式です
URLﾘﾝｸ(i.imgur.com)
223:１３２人目の素数さん
17/10/21 19:22:38.95 NTquPUNO.net
うーん、これは電磁気w
224:１３２人目の素数さん
17/10/21 19:27:08.53 NXfPBuu1.net
他の板にも松坂君みたいな奴がいたのか
というか同一人物？
225:１３２人目の素数さん
17/10/21 19:27:31.31 SkkbBQfG.net
虚数単位を j と書いているので電気工学系ですね。
226:１３２人目の素数さん
17/10/21 19:32:39.35 SkkbBQfG.net
>>216
合っているのではないでしょうか？
227:１３２人目の素数さん
17/10/21 19:34:24.71 djPQWMkX.net
電気回路です。
課題の点数が成績の40%あるので、確実にとりたいっす…
228:１３２人目の素数さん
17/10/21 19:35:06.10 djPQWMkX.net
>>220
ありがとうございます！
229:１３２人目の素数さん
17/10/21 19:49:21.26 PyozBBEs.net
>>215
勘違いしたんなら謝れよ
230:１３２人目の素数さん
17/10/21 20:02:11.98 DyN1+d6X.net
>>223
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
231:１３２人目の素数さん
17/10/21 22:00:29.40 +CgMjnN8.net
>>224
もうひとつのも書いてみて！
232:１３２人目の素数さん
17/10/21 22:36:08.50 NqQS+cuf.net
連スレ失礼します
自然数、0、負の数、有理数、無理数、実数、複素数
この中で、現実世界に実体としている存在しているものっていわれたときに
数学の世界で構成せずに存在していると言えるのは文字の数を数えるためだけの意味を持った(則ち足し算はできない)自然数だけだからそれ以外の任意の数学的対象は構成するものということでいいですか？
233:１３２人目の素数さん
17/10/21 22:45:36.45 AiQ+AZn9.net
>>226
自然数も構成するんだけど･･･・・
234:１３２人目の素数さん
17/10/21 22:51:59.47 XBT0JBqX.net
鉄面か
235:１３２人目の素数さん
17/10/21 22:52:53.54 NqQS+cuf.net
>>227
文字を数えるための自然数と数学で扱う自然数は別物と定義されます
現代の数学基礎論では前者の自然数を最初に与えないと再帰的定義が与えられないため、論理式等根本的な部分が構成できないそうですよ
236:１３２人目の素数さん
17/10/21 23:06:35.37 NqQS+cuf.net
>>227
基礎論の世界には深淵なる闇が広がっているのですよ
ブルバキでは最初に図形が数学的対象を表現するとはどういうことか？という感じの認知論を議論し、流石にそこは認めよう、的な事が書かれています
237:１３２人目の素数さん
17/10/21 23:07:19.38 DyN1+d6X.net
>>229
あっちでの回答者です
「存在」とはそういうことですか
存在とすることもできなくはないでしょうが、ややこしくなるだけですので、単に、数学をする上では、メタレベルでの順序を与える自然数を導入せざるを得ない、と考えるのが良いかと思います
238:１３２人目の素数さん
17/10/21 23:13:28.96 DyN1+d6X.net
順序だけでは不十分な気がしてきました
論理式の議論をするためには数学的帰納法が必要ですから、足し算や数学的帰納法をメタレベルにおいて認める必要がありますね
239:１３２人目の素数さん
17/10/21 23:15:59.30 NqQS+cuf.net
>>231
導入、するには定義が必要だけど一番最初の段階ではそれすらできないであろう
240:１３２人目の素数さん
17/10/21 23:16:36.30 DyN1+d6X.net
>>233
メタレベル、の意味がわかりますか？
241:１３２人目の素数さん
17/10/21 23:20:03.13 DyN1+d6X.net
結局は、「存在」と同意義ですが、存在という言葉を持ち出すと余計な疑問が生まれる可能性がありますから、そのような用語は避けるべきだ、と言っています
242:１３２人目の素数さん
17/10/21 23:20:44.16 NqQS+cuf.net
もしかしてメタレベルは順序じゃなくて導入にかかってる？
243:１３２人目の素数さん
17/10/21 23:21:14.69 DyN1+d6X.net
そうですね
どちらにもかかっている、と考えていただいても結構です
244:１３２人目の素数さん
17/10/21 23:23:54.52 NqQS+cuf.net
>>237
まぁ口語だから細かい数学的表現は気にせずに言ってる 要は「認める」ということ
245:１３２人目の素数さん
17/10/21 23:24:22.25 LhgHsq7C.net
物事の前後関係、時間順序積レベルでおかしい言動する奴らが次々と現れるスレがここですね？。
246:１３２人目の素数さん
17/10/21 23:29:24.12 AiQ+AZn9.net
>>229
ショムナー
247:１３２人目の素数さん
17/10/21 23:31:04.01 DyN1+d6X.net
別に定義されるというか、前者に定義はないですし、定義はできないわけですね
248:１３２人目の素数さん
17/10/21 23:31:35.17 AiQ+AZn9.net
自然数も現実に存在はしないよ
249:１３２人目の素数さん
17/10/21 23:33:58.49 DyN1+d6X.net
そういう話ではないようです
単に、数学においてメタレベルでの概念を導入することは必然なのか、というような話みたいですね
あなたの言うような意味での『存在』も考えられるわけですから、存在という用語は排除すべきだというのが私の考えです
250:１３２人目の素数さん
17/10/21 23:35:08.29 NqQS+cuf.net
>>243
定義されるのは後者 前者とは違うものとして定義されるっていうこと
251:１３２人目の素数さん
17/10/21 23:35:31.50 AiQ+AZn9.net
>>226
>数学の世界で構成せずに存在していると言えるのは文字の数を数えるためだけの意味を持った(則ち足し算はできない)自然数だけ
数学の世界でも自然数は構成して初めて存在基盤が与えられる
タダそれだけよ
252:１３２人目の素数さん
17/10/21 23:37:44.32 DyN1+d6X.net
>>244
いいえ、メタレベルでの自然数は、メタのレベルにおいて定義可能であり、数学の枠組み内で定義することはできません
253:１３２人目の素数さん
17/10/21 23:45:17.72 NqQS+cuf.net
>>246
さっきからそう言っていると思うのだが...
254:１３２人目の素数さん
17/10/21 23:46:34.96 DyN1+d6X.net
>>247
わからないならわかりません、ってはっきり言ったらどうなんですか？
255:１３２人目の素数さん
17/10/21 23:49:10.86 DyN1+d6X.net
>>247
ID見間違ってました
あなたは質問者だったんですね
256:１３２人目の素数さん
17/10/21 23:50:04.99 DyN1+d6X.net
>>245
集合の定義とは、論理の定義とは何か、こういうことを考えたことのない人には、わからない話です
ROMってろ、ってやつですね
257:１３２人目の素数さん
17/10/21 23:50:09.72 NqQS+cuf.net
>>248
取り敢えずさっきから表現で突っ込まれてるみたいだけど繰り返すとさっきから口語で書いてるから細かい表現は気にしないでもらいたい
258:１３２人目の素数さん
17/10/22 00:03:17.37 NJnPR0YA.net
俺は>>186じゃないけど、このスレは多様体関係の質問はほぼスルーコースだってことがわかって残念だった
この週末でわかる人が出てきてくれるといいな
259:１３２人目の素数さん
17/10/22 00:09:09.96 92V5orwH.net
>>252
なるでしょ？
260:１３２人目の素数さん
17/10/22 00:10:25.87 92V5orwH.net
>>250
適当に考えてたら矛盾が起こったから公理で規定するようになったってだけよ
261:１３２人目の素数さん
17/10/22 00:15:35.83 seKspecq.net
>>254
数学のすべての基本となる集合は論理式を用いて何らかの公理によって記述されます
では、論理式はどのように定義されるかというと、次のようになります
>>942
いく�
262:ﾂかの記号の集まりをL-言語(C,F,P)として以下で定義します C:定数記号 F:関数記号 P:命題記号 述語記号 変数記号 論理記号(∀∃¬∧∨→) C,F,Pはある言語特有のものですが、変数記号と論理記号はいかなる言語でも共通のものが使われます 関数記号と述語記号にはアリティと呼ばれる自然数が対応付けられています L-言語の項を以下で定義します •定数記号は項である •変数記号は項である •アリティnの関数記号Fに対して、t1～tnを項とすれば、F t1 t2 ... tnは項である •以上で定められたものだけが項である L-言語の論理式を以下で定義します 以下、t1～tnは項、A,Bを論理式とします •命題記号は論理式である •アリティnの述語記号Pに対して、P t1 t2 ... tnは論理式である •上で定めたP t1 t2 ... tnが変数記号xを含む時、∀x P t1 t2 ... tn、∃x P t1 t2 ... tnは論理式である •¬Aは論理式である •A∧Bは論理式である •A∨Bは論理式である •A→Bは論理式である •以上で定められたものだけが論理式である
263:１３２人目の素数さん
17/10/22 00:17:11.89 seKspecq.net
上の定義では、未定義であるはずの自然数nが含まれています
この自然数はメタレベルにおいて規定されるもので、集合論を用いて定義される自然数とは区別されるべきものです
このメタレベルでの自然数は、数学の枠組み内で定義することはできず、我々が数学の枠組み内で定義することなく使わざるを得ないものです
264:１３２人目の素数さん
17/10/22 00:18:42.17 2eKNWJaL.net
基礎論厨が張り切って荒そうとしたけど相手してもらえてないって感じだな。
265:１３２人目の素数さん
17/10/22 00:19:28.48 92V5orwH.net
>>255
そういう風にして自然数を定義してようやく存在基盤ができたってこと
266:１３２人目の素数さん
17/10/22 00:20:45.69 92V5orwH.net
>>256
そりゃ定義の意味が全然違ったレベルを混同している
まさに昔矛盾を引き起こしたことを今やってるだけ
267:１３２人目の素数さん
17/10/22 00:21:19.11 92V5orwH.net
>>257
みたいね
そろそろやめよ
268:１３２人目の素数さん
17/10/22 00:21:56.90 seKspecq.net
>>258
あなたは質問者ですか？
もしそうなら、紛らわしいことしないでくださいね
メタレベルでの自然数、これはあなたのいう公理によって定義された自然数ではありません
あなたのいう自然数は論理式を用いて定式化されるのですが、その前段階において既に自然数が用いられているということなのですよ
この自然数と、公理によって構成された自然数は、異なるものです
数理論理の本手にとって読んでみればわかることですね
269:１３２人目の素数さん
17/10/22 00:23:31.58 seKspecq.net
>>259
矛盾とはなんですか？
ラッセルですか？不完全性定理ですか？
270:１３２人目の素数さん
17/10/22 00:24:21.45 FBhS88Mi.net
どなたか、これまでの全ての議論をまとめていただけないですか？
数の存在や定義についての有意義な議論だった気がするので。。。
271:１３２人目の素数さん
17/10/22 00:25:25.70 92V5orwH.net
>>263
全然有意義じゃないから本でも読んだ方が良いよ
272:１３２人目の素数さん
17/10/22 00:25:39.88 seKspecq.net
>>263
メタレベルでの自然数を認める→論理式を定義→集合を定義→自然数やその他の数学的対象を定義
メタレベルでの自然数は数学の枠組み内で定義することはできません
273:１３２人目の素数さん
17/10/22 00:25:57.39 seKspecq.net
>>264
矛盾とはなんですか？
わからないんですか？
274:１３２人目の素数さん
17/10/22 00:26:19.65 FBhS88Mi.net
>>264
あれって根源の人が表現の揚げ足取ってるだけでしたか...
275:１３２人目の素数さん
17/10/22 00:27:29.75 seKspecq.net
>>264
10分以内に回答がない場合、あなたはわからないのだと判断します
276:１３２人目の素数さん
17/10/22 00:29:47.06 2eKNWJaL.net
ガロア接続と時間順序（積）の関係でも考察したほうがいいや。
半順序や束の方が好みだし。
277:１３２人目の素数さん
17/10/22 00:34:40.57 qRu/3fkr.net
今日二回目になるんですが、v(t)のcosのマイナスを取るにはどのような計算をすればいいのでしょう？
先生は加法定理と言っていたのですが分かりません…
URLﾘﾝｸ(i.imgur.com)
278:１３２人目の素数さん
17/10/22 00:37:35.85 FBhS88Mi.net
>>186,252
曲線の微分と曲線に沿うベクトル場の共変微分は異なる。
279:１３２人目の素数さん
17/10/22 00:39:19.31 seKspecq.net
>>264
わからないんですね(笑)
適当ふかすのはあまりいいこととは思えませんねぇ
280:１３２人目の素数さん
17/10/22 00:39:57.99 FBhS88Mi.net
>>248
寝てしまったなら申し訳ないが、貴方が私の発言をどう解釈しているのか非常に気になる
認識しているもの話は同じだと思うが
281:１３２人目の素数さん
17/10/22 00:41:23.92 FBhS88Mi.net
>>273
申し訳ない、「私」ではなくて「議論していた人の発言」です笑
282:１３２人目の素数さん
17/10/22 00:42:33.71 2eKNWJaL.net
次から次へと湧いてくる連中をカウントするからカウンタブルなだけなんだよね。
次々と。
283:１３２人目の素数さん
17/10/22 00:46:14.29 FBhS88Mi.net
>>275
日付が変わっりIDが変わったから他者を装ってみただけだが、実は私は>>226
非常に議論していた相手の解釈を知りたい
284:１３２人目の素数さん
17/10/22 00:47:51.85 seKspecq.net
>>276
ID見間違って変なこと言ってただけです
申し訳ないです
あなたの意見と私の意見は同じということは理解してますよ
>>264がレベルが低くて内容を理解していない、と睨んでます
285:１３２人目の素数さん
17/10/22 00:49:58.04 2eKNWJaL.net
同じ、違う、を判別すること。
前後関係をちゃんと覚えていて因果関係を逆に解釈する嘘つき野郎女郎を排除すること。
の方が自然数より先な気がするが。
286:１３２人目の素数さん
17/10/22 00:51:52.36 seKspecq.net
嘘つき野郎=>>264ですか？
287:１３２人目の素数さん
17/10/22 00:58:12.75 2eKNWJaL.net
基礎論厨は常にどいつもこいつも全面敗北だよ。
基礎論厨になっちゃった時点で負け犬だから。
288:１３２人目の素数さん
17/10/22 01:00:11.59 seKspecq.net
はんじゅんじょ(笑)
289:１３２人目の素数さん
17/10/22 01:03:22.55 7SwMb7a1.net
>>281
貴方はいつも分からなくなるとメタメタ言って誤魔化しますが、貴方が言う「メタレベル」を定義してください
あと、数理論理以外にできる芸はなんですか？
290:１３２人目の素数さん
17/10/22 01:06:32.32 seKspecq.net
>>282
我々の直観をそのまま議論に取り込むことです
291:１３２人目の素数さん
17/10/22 01:07:42.50 7SwMb7a1.net
>>283
取り込んで良い直感とダメな直感の区別はどうするのですか？
292:１３２人目の素数さん
17/10/22 01:08:53.72 seKspecq.net
>>284
人によります
293:１３２人目の素数さん
17/10/22 01:09:27.12 ucC0W3rz.net
>>284
良いか悪いかの問題じゃなくて、メタレベルで何を必要としているか自覚しましょうって話やで
294:１３２人目の素数さん
17/10/22 01:09:34.56 2eKNWJaL.net
俺は基礎論虫と違って基礎論の応用分野の方が好きだから。
選好順序に基づいた厚生経済学のアローの定理とかが好きなわけ。
人文系が数学コンプこじらせて基礎論の半可通になって数理科学分野の土俵突き崩すのに成功した気分に浸ってるのとはわけが違う。
295:１３２人目の素数さん
17/10/22 01:11:14.59 7SwMb7a1.net
>>285
貴方の例で良いです
明確な区別があるはずですよね？
あと、数理論理以外にできる芸はなんですか？
296:１３２人目の素数さん
17/10/22 01:11:17.64 seKspecq.net
けいざいがく(笑)
297:１３２人目の素数さん
17/10/22 01:11:37.31 92V5orwH.net
>>270
cos(wt-π/3)=coswtcosπ/3+sinwtsinπ/3=(coswt+√3sinwt)/2
298:１３２人目の素数さん
17/10/22 01:11:50.11 seKspecq.net
>>288
どうしようもない時は、メタを導入します
299:１３２人目の素数さん
17/10/22 01:12:17.26 seKspecq.net
>>290
矛盾ってなんですか？
わからないんですか？
300:１３２人目の素数さん
17/10/22 01:13:14.56 2eKNWJaL.net
ゲーデルの例の定理だって現実の問題としては日本なら人文芸術系みたいなゴミの方が向いてるITドカタが永遠にバグ取りに従事させられる根拠にしか過ぎないからな。
301:１３２人目の素数さん
17/10/22 01:14:19.38 7SwMb7a1.net
>>291
要は分からなくなったらとりあえずメタレベルと言っておく、ということですか？
その行為は何によって正当化されますか？
数理論理以外にできる芸はなんですか？
302:１３２人目の素数さん
17/10/22 01:14:50.38 seKspecq.net
けいざいがく(笑)やってる暇あったら、リーマン予想でもサクッと解いちゃえばいいのに
303:１３２人目の素数さん
17/10/22 01:15:45.48 seKspecq.net
>>294
そういうことですね、言い方は悪いですけど
何にもありませんよ
思考の主体である我々がメタレベルの存在である限り、数学内にメタが入り込むのは必然的な
304:のです
305:１３２人目の素数さん
17/10/22 01:16:28.25 seKspecq.net
これってやっぱり正当化できる、といっていいんですかね
306:１３２人目の素数さん
17/10/22 01:17:58.48 2eKNWJaL.net
経済学のほうが普通に建築工学ごときの静力学構造力学ごときの数学的にはどうでもいいようなのよりもうちょいマシな事してるしね。
基礎論虫みたいな社会というシステムにはびこるバグを駆虫する方が現実の問題として重要だろう。
307:１３２人目の素数さん
17/10/22 01:19:34.88 7SwMb7a1.net
>>296
安易にメタを許容するなら数理論理学なんて要らないのでは？
数理論理以外には何もできないということですか？
そうであれば、何故人をバカにできるのでしょうか
308:１３２人目の素数さん
17/10/22 01:19:35.74 seKspecq.net
基礎論＞＞＞＞＞＞＞＞けいざいがく(笑)=こうがく(笑)ですからね
勘違いしてるようですけど
309:１３２人目の素数さん
17/10/22 01:20:08.57 seKspecq.net
>>299
最小限に抑えようとする努力は必要でしょうね
310:１３２人目の素数さん
17/10/22 01:21:28.97 2eKNWJaL.net
メメタァくんは井の中のカエルレベルなのにメンター気取りの基礎論虫なんだろ？。
井の中じゃ最強最悪だな。
311:１３２人目の素数さん
17/10/22 01:22:50.45 7SwMb7a1.net
>>301
努力が足りないんじゃないですか？
もしかして教科書に書いてあること以上はわからないとか？
何故人をバカにできるのですか？
>>300
証明してください
312:１３２人目の素数さん
17/10/22 01:22:54.62 2eKNWJaL.net
基礎論＝コンピューター科学＝情報工学なのも知らないの？。
メメタァくんは。
313:１３２人目の素数さん
17/10/22 01:23:21.17 ucC0W3rz.net
>>302
基礎論が偉いかどうかはともかく、
貴方はたぶんメタレベルが何かも分かってないので、必要かどうかの話に加わるべきではないと思う
314:１３２人目の素数さん
17/10/22 01:25:29.75 seKspecq.net
>>303
あなたが勉強すれば、わかるでしょうね
>>304
イコールではないですよね(笑)
315:１３２人目の素数さん
17/10/22 01:26:21.39 2eKNWJaL.net
基礎論虫＝イットドカタなのに口先だけの屁理屈でコーディングができない社会のゴミシステムのバグ
316:１３２人目の素数さん
17/10/22 01:26:38.31 7SwMb7a1.net
>>306
貴方の話ですよｗ
早く不等号を示してください
317:１３２人目の素数さん
17/10/22 01:29:34.06 ucC0W3rz.net
メタレベルの議論は使わないに越したことはないと思うよ
それは飽くまでも「数学の数理モデル」であって、数学そのものではないから
メタ証明は数学の証明ではなく傍証に留まる
数式でブラックホールの存在を予言するのと同じ
318:１３２人目の素数さん
17/10/22 01:29:40.61 seKspecq.net
>>308
全ての数学の基礎を与えるのが基礎論ですから、大事なのは当然ですね
319:１３２人目の素数さん
17/10/22 01:33:33.01 2eKNWJaL.net
>>309を具体的にブラックホールに蹴落としても観測事実からホーキング放射も導き出せそうもない数理的素養の基礎論虫どもに過ぎないからねぇ。
物理法則のバグレベルで支離滅裂な存在は事象の地平線のあっち側に追いやりたいのが本音だわ。
320:１３２人目の素数さん
17/10/22 01:34:05.06 7SwMb7a1.net
>>310
私は東大ですが、数理論理なんてやりませんでしたね
大事ならやるはずなのでは？
321:１３２人目の素数さん
17/10/22 01:35:22.39 seKspecq.net
>>312
東大なのに数理論理すら知らないんですね(笑)
論理の意味すら知らずに、ひたすら数式いじりしかしてなかったわけです
322:１３２人目の素数さん
17/10/22 01:39:13.83 7SwMb7a1.net
>>313
その通りですが、研究に際しては何も困ったことはありませんよｗ
本当に大事なのですか？
323:１３２人目の素数さん
17/10/22 01:39:26.86 FBhS88Mi.net
私が此の議論の根源であるので話を戻すが、当初の質問は虚数の実社会に存在するか否かだ
私は虚数は存在する派だ
寧ろ人の見えてる世界なんて全貌のほんのほんの一部だと考えている
因みに江藤淳は其れを「ことばの彼方」と呼んでいる
324:１３２人目の素数さん
17/10/22 01:41:20.41 L44xJ5uK.net
尋常じゃないくらい頭が悪いのですが、東京大学理学部数学科に入りたいです。
猛烈に勉強しても無理でしょうか？
325:１３２人目の素数さん
17/10/22 01:42:58.77 seKspecq.net
>>314
なんの研究ですか？
>>315
あなたのいった存在の意味とは異なりますね
あなたは、数学において「存在」するかどうか、ということを問題としていたはずですよ
そして「存在」とは、メタレベルにおいてでしか導入することができないものである、だったはずです
実社会に『存在』するか否か、では、明らかに任意の数学的対象は『存在』しませんし、原理的に『存在』できません
数学的対象とは概念であり、実社会に見いだすことができるのは、その数学的対象と、実社会における物との対応だけなのです
326:１３２人目の素数さん
17/10/22 01:44:14.48 2eKNWJaL.net
複素平面の方が実際はゲージ重力対応みたいに現実のもととなってる実在な可能性のほうが高いと思うけどね。
平たく言えば数学コンプレックスの顕現に過ぎない基礎論虫の素論無視の疎論の穴探しよりバグ探しの方が社会的に重要に決まりきってるわな。
327:１３２人目の素数さん
17/10/22 01:44:49.33 seKspecq.net
>>316
>>314さんに尋ねてみると良いでしょう
>>314さんはニートの私よりも低レベルですが、東大受かってるらしいですからね
328:１３２人目の素数さん
17/10/22 01:46:48.98 7SwMb7a1.net
>>317
例えば理論物理って言ったらどうなりますか？
数学って言ったら？
大学で学ばれることの少ない数理論理が大事であることを示してください
329:１３２人目の素数さん
17/10/22 01:48:26.05 seKspecq.net
>>320
物理屋さんってやつですか
なら、やらないのも当然ですね
物理の人にとって数学は道具ですから
道具の仕組みにまで考えることなどないのでしょうね
使えればいい、というわけです
330:１３２人目の素数さん
17/10/22 01:49:55.91 7SwMb7a1.net
>>319
ニート羨ましいです
僕も不労所得ほしい
>>321
で、数理論理が大事であることは示してくださらないのですか？
示せないのですか？
331:１３２人目の素数さん
17/10/22 01:52:00.75 seKspecq.net
>>322
あなたの無視している数学の基本的な原理を支えているのが、数理論理なのです
論理の出発点ですから、これがわからなければ、何もわかっていないのと同じですよ？
332:１３２人目の素数さん
17/10/22 01:54:27.91 2eKNWJaL.net
東大卒なんて学閥で利益やポスト囲い込んでる癖に責任逃れだけは並みの私学体育会系じゃ追いつかないほどフルダッシュの社会病理そのものだろ
病巣は外科手術的に切り出して捨てなきゃ。
病気腎移植気分であちこちに埋め込まれてはガンが転移するようなもんだ。
333:１３２人目の素数さん
17/10/22 01:54:51.62 7SwMb7a1.net
>>323
例えばどういった原理をどのように支えているのですか？
それと先程から無視されているようですが、大事なのに何故学ぶ機会が少ないのでしょうか？
334:１３２人目の素数さん
17/10/22 01:55:48.27 FBhS88Mi.net
>>317
寝呆けていたのか知らないが実社会と数学界を書き間違えたという惨憺
335:１３２人目の素数さん
17/10/22 01:57:22.82 sQMCEvaQ.net
URLﾘﾝｸ(i.imgur.com)
解法求む
336:１３２人目の素数さん
17/10/22 01:58:01.47 2eKNWJaL.net
素朴集合論で割り切って同値関係や準同型射やイデアルや商集合なんかを理解してるほうが数学科学部卒の前提知識数理的素養としてふさわしい。
337:１３２人目の素数さん
17/10/22 01:58:09.02 ucC0W3rz.net
>>315
そういった素朴な意味での「現実に存在する」かどうかなら他人と議論する意味はないのでは
質問というより賛否を確認してるだけ
338:１３２人目の素数さん
17/10/22 01:59:30.16 2eKNWJaL.net
>>326
残念なのはこいつらの仕様です。
339:１３２人目の素数さん
17/10/22 02:01:33.73 seKspecq.net
>>325
たとえば、ある前提Aを使って結論Bを導くことができた時、命題A→Bは真である、といいますよね
これはなぜだか説明できますか？
>>328
準同型は別として
=
倍数
倍数の集合
こんな小学生でもわかる話の一般化をありがたがってるようじゃーだめですねぇ
340:１３２人目の素数さん
17/10/22 02:03:36.97 FBhS88Mi.net
>>318 ゲージ重力対応とは何の様な理論だろうか？
342:１３２人目の素数さん
17/10/22 02:04:23.63 7SwMb7a1.net
>>331
「何故」の意味が分かりませんので、貴方に肖り「メタレベル話だね」と言っておきましょう
何故大事であるはずの数理論理を学ぶ機会が少ないのでしょうか？
343:１３２人目の素数さん
17/10/22 02:05:14.76 ucC0W3rz.net
>>331
それを説明するのは無理だ
形式的体系で説明できるのは飽くまでも形式化された後のルールに則ったことだけ
推論規則なんかを持ち出して説明しても無意味
形式化によって問題の在り処をどこまでも遡れるわけではない
344:１３２人目の素数さん
17/10/22 02:06:30.35 seKspecq.net
>>333
結局はそうですが、不思議だと思いませんか？
AからBを導けること、A→Bが真であること
これらは等しいのです
このモヤモヤを解決することができるのが、数理論理なのです
物理の人は頭が悪いから、数理論理という高尚な学問に触れさせてはくれないんです
>>334
知ってます
345:１３２人目の素数さん
17/10/22 02:07:23.89 ucC0W3rz.net
>>335
本当か？
先日も見ていたが、貴方の言ってることも所々怪しいぞ
346:１３２人目の素数さん
17/10/22 02:07:45.56 2eKNWJaL.net
>>332
一般ストークスの定理とかホッジ双対性とかのバルクエッジ対応の仲間だよ。
コンプレックス平面の中の袋のネズミにしてフルボッコにしちゃえば一滴も血も血税も流さず済ませられる流通経済大学。
347:１３２人目の素数さん
17/10/22 02:08:42.83 seKspecq.net
>>336
A|-B
|-A→B
これをメタに認めれば自明です
|-と→の区別があることがわかれば、スッキリするわけです
348:１３２人目の素数さん
17/10/22 02:11:08.51 2eKNWJaL.net
>>328
ここから自然に（コ）ホモロジー代数や自然写像性や圏論や普遍代数へと移り変わって基礎論にたどり着くならともかく基本群も知らないやつが数学基礎論を数学の基本だとか寝言言うのは賛同しかねる。
349:１３２人目の素数さん
17/10/22 02:11:22.41 7SwMb7a1.net
>>335
そのモヤモヤを解決してもなんの役にも立たないのですが、何が大事なのですか？
350:１３２人目の素数さん
17/10/22 02:11:57.72 FBhS88Mi.net
>>337
そこら辺無知だからもう少し噛み砕いて説明してくれると助かる...
どこらへんが複素数平面と関係してるのだろうか
351:１３２人目の素数さん
17/10/22 02:12:35.72 2eKNWJaL.net
>>331
なんだメメタァくんはあんときのあいつだったのか。
352:１３２人目の素数さん
17/10/22 02:12:36.77 ucC0W3rz.net
>>338
やはり分かっていなかったか
その説明が無意味だと言ったんだがな
353:１３２人目の素数さん
17/10/22 02:13:42.44 seKspecq.net
>>340
A|-Bなら|-A→B
これの仕組みを理解していないと、あなたが証明したことすべてが無駄になるわけです
証明になっているかすら疑問が湧くわけですから
354:１３２人目の素数さん
17/10/22 02:14:04.03 seKspecq.net
>>343
どういうことですか？
355:１３２人目の素数さん
17/10/22 02:17:26.46 7SwMb7a1.net
>>344
なりませんね
論文も普通にアクセプトされますよｗ
どこか別の分野で、「これこれこういう理由で数理論理は必須だ」というのはないのですか？
今のところなくても困らない例しかないのですが
356:１３２人目の素数さん
17/10/22 02:19:54.70 ucC0W3rz.net
>>345
メタレベルで「A|-Bの指す内容」と「|-A→Bの指す内容」を区別しないのに、
形式的体系ではA|-Bと|-A→Bを区別してその理由を説明する
これでは（形式化されていない）数学そのものの基礎に対して何も説明を加えていない
357:１３２人目の素数さん
17/10/22 02:24:07.75 7SwMb7a1.net
ところで、
「物理の人は頭が悪いから、数理論理という高尚な学問に触れさせてはくれない」
というのはずいぶんアドホックですが、ちゃんと示してくれるんでしょうか
358:１３２人目の素数さん
17/10/22 02:24:29.15 seKspecq.net
>>346
道具の仕組みを知らなくても道具は使えます
使えますが、その人のレベルはそれまでだ、ということです
>>347
一般的な数学でも、|-と→は区別します
背理法です
A→Bの否定は、A∧¬Bなのです
これは、|-と完全に同一視しているとすると説明できないことです
359:１３２人目の素数さん
17/10/22 02:27:12.56 7SwMb7a1.net
>>349
数理論理が大事であることを示す、という話だったと思うのですが
はやく示してください
360:１３２人目の素数さん
17/10/22 02
361::29:31.88 ID:seKspecq.net
362:１３２人目の素数さん
17/10/22 02:34:42.94 1uTtN8Lt.net
基礎論虫みたいな社会の役立たずが道具になれるわけないじゃん。
バカはやっぱバカだな。
363:１３２人目の素数さん
17/10/22 02:35:12.85 7SwMb7a1.net
>>351
数学は必要不可欠ですが、数理論理が必要不可欠な例を教えてください
できれば素朴な理解では何故ダメかを示し、それを数理論理学がどう解決したかまでお願いします
364:１３２人目の素数さん
17/10/22 02:37:19.68 seKspecq.net
>>353
素朴な理解で満足するなら、イプシロンデルタ云々もいらないですよね
365:１３２人目の素数さん
17/10/22 02:38:28.29 7SwMb7a1.net
>>354
？
数理論理の話をしているので、数理論理が必要不可欠な例をお願いします
366:１３２人目の素数さん
17/10/22 02:41:45.73 7SwMb7a1.net
この人と戯れるのすごい楽しいんだけど、楽しすぎて時を忘れてしまう
おやすみ
367:１３２人目の素数さん
17/10/22 03:00:47.77 sQMCEvaQ.net
なんだ誰もわからんのか
368:１３２人目の素数さん
17/10/22 03:12:07.24 FBhS88Mi.net
>>357
何故ならURLが無効だから
>>342に対しての回答はもらえないのだろうか
369:１３２人目の素数さん
17/10/22 03:57:16.76 sQMCEvaQ.net
消したにきまってんだろ1時間たってもレス無しだったんだから
無効だから(ｷﾘｯとかよく言うわw
370:１３２人目の素数さん
17/10/22 04:00:22.24 sQMCEvaQ.net
数学板は頭のおかしい奴の巣窟だと聞いてたがここまでとはな
ごちゃんの専門板に期待した俺がアホだったわ
まあ自己解決しますた
371:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 08:44:26.24 92V5orwH.net
>>335
>AからBを導けること、A→Bが真であること
>これらは等しいのです
等しくはないんじゃないの？
372:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 08:46:23.65 seKspecq.net
>>361
矛盾ってなんですか？
わからないんですか？
373:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 08:49:25.50 92V5orwH.net
>>362
もう止めたら？ここじゃなくて「数理論理学」のスレの方でどうぞ～
374:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 08:50:03.88 seKspecq.net
>>363
わからないんですか？
わからないんですね(笑)
375:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 08:54:54.80 92V5orwH.net
>>360
それはよかった
どんな問題だったのかなあ
376:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 09:14:46.12 92V5orwH.net
>>364
あと
コテ付けてくれないかなあ
377:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 09:27:14.12 MJSV4CLh.net
神と数学はどのような関係があるのでしょうか？
378:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 10:13:41.31 7SwMb7a1.net
>>364
>>355を無視するのは何故ですか？
379:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 10:15:52.38 42CRBcAx.net
>>224
それが謝罪の言葉なの？
素直に謝れないほどひねくれてるのは
よほど虐げられた過去でもあるの？
380:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 10:51:56.43 qvtxl1W7.net
>>369
私は>>215ではありません
で、わからないんですか？
レベル、低いんですね
381:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 10:53:33.84 qvtxl1W7.net
>>368
数学の論理の道筋を正確に追おうとすれば、必然的に必要となってきます
382:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:05:13.92 7SwMb7a1.net
>>371
話をはぐらかさないで、数理論理が必要不可欠な例を理由と併せて明示してください
383:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:06:52.73 qvtxl1W7.net
>>372
理由も何もそのままの意味ですよ
論理を形式化するのに数理論理は必要不可欠です
対象の形式化は数学の基本ですよね
384:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:08:40.07 7SwMb7a1.net
>>373
例を明示してください
何故数理論理が必要であったか、素朴な理解でダメだった理由と数理論理がどうそれを解決したかを併せて明示してください
385:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:09:26.78 qvtxl1W7.net
>>374
形式化することに意味を感じられないなら、数学をする必要はないですね
386:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:12:16.52 7SwMb7a1.net
>>375
例を明示してくださいと言っています
できないのですか？
387:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:15:20.14 qvtxl1W7.net
歴史的には、ヒルベルトプログラムが発端だったはずです
集合論など、数学の基礎的な部分に注目が集まり、全ての命題は証明可能であるか、もしくは証明することができないかのどちらかであることを区別できるかどうか、このような疑問が生まれたわけです
この疑問�
388:ﾍ否定を持って結論されましたが、論理や証明の形式化という点では役立ったわけです
389:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:29:51.42 7SwMb7a1.net
>>377
え、必要性は？
必要不可欠な例を聞いているのですが
「分からなかったらメタレベルっていっときゃいい」数理論理は本当に必要なのですか？
実際に東大のカリキュラムを調べていますが、数理論理や数学基礎論という授業は情報と数学で極わずかしかありませんでした（探しかたが悪いのかもしれませんが）
これで大事だと強弁できるのは何故なのでしょうか
390:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:47:55.34 qvtxl1W7.net
>>378
公理ってありますね
実数の公理とか
そういうものも、認めるしかないですね
数学をやるためにはなんらかの前提が必要です
その前提をたどっていけば、論理式へと繋がり、それを形式化するのが数理論理です
重要でないはずがありません
391:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:50:48.91 7SwMb7a1.net
>>379
要は重要だから重要というわけですね
重要なのに（物理系に限らず）学ぶ機会が少ないのは何故なんでしたっけ
392:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:52:42.87 qvtxl1W7.net
>>380
道具の仕組みを知らなくても道具を使えるからです
393:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:54:49.19 7SwMb7a1.net
>>381
？
それはやはり数理論理なんて必要がないということですよね？
394:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 11:55:26.94 qvtxl1W7.net
>>382
必要ない人には必要ないということです
数学は社会の役に立たない！というわけです