分からない問題はここに書いてね444
■ このスレッドは過去ログ倉庫に格納されています
解説の意味わかったわ
やーい、>>387おまえざまああああああ
つまり表面積が240少なくなる、高さ2短くする
となると、
(2・縦+2・横)・2=240だ、もしくは(2・横+2・縦)・2=240
これを縦+横について解くと
240÷2÷2だ、
同様に3短くなって270なら
(2・高+2・縦)・3=270だ、(2・横+2・高)・3=270
よって270÷2÷2で高+縦がでる
もちろん2・横+2・縦 >>383
2ai sin(θ)/(1-2acos(θ)+a^2)
=1/(2i)(1/(1-a cisθ) - 1/(1-a cis(-θ)))
=2iΣ[k] a^k sin kθ
∫[0,2π]sin kθsin nθdθ=πδ[k,n] コンピュータによる定理の自動証明なるものがあるそうですが
今後は全ての定理はコンピュータがやるようになるのでしょうか? >>390
それがヒルベルトが超数学と名付けて夢見たのだけど、ゲーデルによって不可能であることが示された命題。 >>391
不完全性定理を用いて>>390を証明する方法を教えてください >>389
途中式もう少し書いて貰っていいですかね >>392
> >>391
> 不完全性定理を用いて>>390を証明する方法を教えてください
不完全性定理が証明なんじゃ? >>393
sinθ = {e^(iθ) - e^(-iθ)}/(2i),
1 -2a cosθ + aa = 1 -a [e^(iθ) + e^(-iθ)] + aa = [1 -a e^(iθ)][1 -a e^(-iθ)],
より
a sinθ / (1 -a・2cosθ +aa)
= a {e^(iθ) - e^(-iθ)}/(2i) /{[1 -a e^(iθ)][1 -a e^(-iθ)]}
= {1/[1 -a e^(iθ)] - 1/[1 -a e^(-iθ)]} /(2i)
= Σ[k=0,∞] a^k {e^(ikθ) - e^(-ikθ)} /(2i)
= Σ[k=1,∞] a^k sin(kθ),
積和公式
sin(kθ) sin(nθ) = (1/2) {cos((k-n)θ) - cos((k+n)θ)},
∫[0,2π] sin(kθ) sin(nθ) dθ = (1/2) {2πδ[k,n] + 0} = π δ[k,n] >>397
不完全性定理とは
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできる
ということです
つながりがよくわかりません 指数や係数にも虚数単位が入っている場合、積分は定義できますか?
例えば ∫[0→π/2] exp(ix) dx のような。 a,bを実数とする。
|√(a+b)|と|√(a)+b|の大小を比較せよ。
ただしcが負の実数のとき、iを虚数単位として√c=-√(c)iと定める。 >>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。 >>390 サンプル本文の6ページの「定理証明支援系のもたらす可能性」
ってところにSFチックだけど面白いことが書いてある
https://www.morikita.co.jp/data/mkj/006241mkj.pdf >>400
その例では e^(ix) = cos(x) + i sin(x) と分けて別々に積分し、
最後に一緒にすると
[ -i・e^(ix) ](x=0,π/2) = 1+i
複素数Cを {1,i} を基底とするベクトル空間と見なす (?) >>403
何のためにペアノ算術を含む、という条件が含まれてるのか考えましょうねー ペアノ算術を含む帰納的に枚挙不可能な公理を持つ理論なんかすぐ作れるじゃん。もしかして意味わかってないの? >>407
>>406の意味わかってないんですね(笑) 実は劣等感のひとが本当は基礎論まるでわかってないってことでしょうか? 403 名前:132人目の素数さん [sage] :2018/06/27(水) 17:13:02.93 ID:zJp65dVN
>>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。
ペアノ算術含むだけでいいと言ってんのになんなんですか?これは マジっすか?PA含んでるだけで不完全性証明できるんすか!
私は勉強してたときは帰納的に枚挙可能でないとダメだったけどなぁ!www てか、ぶっちゃけ計算理論はよくわからないんですけど、計算理論使うとそういう過程が必要になるってだけじゃないですか? ホンマに知らんかったんや?
PA含んで完全、無矛盾な理論なんかいくらでも作れる。
“PAを含む理論”という語は”PAの公理からなる理論”ではない。不完全性定理の主張は
PAの公理全部を含んでさえいれば、そこにいくらたくさん公理を追加しても、帰納的、無矛盾でさえあれば不完である。
であってPAだけが不完全と言ってるわけではない。 >>414
意味がわかりません
ペアノ算術に用いられる言語だけを用いればロッサー文を構築することができますよね 話をハナからPAに限るならもとから帰納性云々の議論はいらない。
しかしだったら”PAを含む理論”ではなく主張を”PAにおいては"にしないといかん。
でもそれでは単にPAの公理が足りてないだけでもっと沢山公理を追加すれば完全な理論ができる可能性が残る。
しかしゲーデルの主張は公理系か “帰納的に定められている限り” PAの場合と同様にして不完全である事が示せてしまうというもの。
そもそも原論文なんか読んでないから知らないけど不完全性定理をわざわざPAだけに限って証明してる教科書ある?
少なくとも一言 “一般に帰納的でさえあれば同様に不完全である" って書いてあるやろ?
"PAは不完全である、終わり" なんて聞いたことない。 どうして機能的である、という条件が必要なんですか?
PAを含めばどんなものでも不完全になるんではないんですか? 数学板で劣等感婆の相手できる人はいません。数学板卒業です。さようなら 仕事してた。
どうして帰納的が必要か?
理由その1
その理論に対するロッサー文に対応するものを構成するのに必要だから。
理由その2
帰納的でなければ反例があるから。 Sを任意のPAを含む無矛盾な公理系とする。
TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
この時Tは無矛盾、完全でPAを含む。 >>426
>TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
なぜですか? ここはホントにわかってない可能性あるな。
なんでPAの話してたのにZなんでornの補題なんて出てくるんだ?そんなん使うの反則やろ?!と
わからんでもない、けどそこがミソだからしっかり考えてみるといいよ。 メタ論理ですよねそんなのはわかります
不完全性定理で使う極大無矛盾な公理系ってやつですね
わかりました
今回は負けを認めます 誰も勝ってないし誰も負けてません。
楽しい数学のお話できてよかっただけです。
ありがとうございました >>434
君はいつも負けてばかりね
なぜかって分かってる? 819 名前:132人目の素数さん :2018/06/27(水) 02:12:37.03 ID:Zd/sPNRD
A={x∈R^2| 1≦‖x‖≦2}とB={x∈R^2| 0<‖x‖<1}って位相同型になりますか?証明も合わせてしていただけると助かります。
821 名前:132人目の素数さん :2018/06/27(水) 03:46:18.66 ID:+QjILrgv
>>819
A閉B開
822 名前:132人目の素数さん :2018/06/27(水) 08:46:26.41 ID:CWWB6fZW
↑わからないんですね
823 名前:132人目の素数さん [sage] :2018/06/27(水) 10:56:16.33 ID:Gj4WdGnJ
>>822
氏ね
証明問題です
821=823を示してください >>439
そこまで難しくはないと思うので、ぜひよろしくお願いします >>439
分からないんですね
ちょっと可哀想かも >>442
君が分かってないって内容が分かってないってことが分かった
心安けく なら、821からどのように証明するつもりだったんですか? あと30分ですよ?
A閉B開
これの続きお願いしますね Aが閉だから同相写像で写したら閉にならないといけないのに開になってるから同相でない、とでもしたかったんでしょうね
本当、レベルが低すぎますね 外側の世界と内側の世界だとやはり、後者の方が重要なのでしょうか?
つまり、現象と本質だとやはり、後者の方が重要なんでしょうか? 〔類題〕
A = {x∈R^2 | 1<‖x‖≦2 } と B = {x∈R^2 | 0<‖x‖≦1} って位相同型になりますか?証明も合わせてしていただけると助かります。 >>453
現象は常に自分の心に現れます
外側の物自体に到達することはできません 質問です。
軸径Φd=42(mm)、伝達トルクT=320(N・m)
※キー材の許容剪断応力σ=42(MPa)、キー材の許容面圧(圧縮)応力H=80(MPa)
Q:このときのキーの長さを求めよ 高校数学の問題です。
どうしてもわからないのでお願いします。
平面上の好きな点を中心として、
グラフy=e^xに対して、接する円を書く。
接点Pでは円の接線とe^xの接線が一致することを証明せよ。 「微分可能な曲線どうしが接している場合、接線も一致している」
というのが成り立つのでしょうか?
どうやったら証明できるのか教えて頂きたいです。m(_ _)m 「微分可能な曲線どうしが接している場合、接線も一致している」
というのが成り立つのでしょうか?
どうやったら証明できるのか教えて頂きたいです。m(_ _)m >>41
割り込みすいません、あの、
Σk^k(k=1~n)の解教えていただけないでしょうか? 次の条件(a),(b),(c)を満足する座標空間の点(x,y,z)全体からなる領域の面積を求めよ。
(a) x≧y≧z≧0
(b) x+y+z=1
(c)x^2+y^2+2z^2≦1 >>460
A, B と C = {x∈R^2 | k<‖x‖≦ k+1 } も位相同型ですね。(k=2,3,…) 尾辻がどうとか、うるせーけど文句があるんだったら面と向かって言ってみろ。
女々しいカス共は口を開くな。 日本人の血液型はA,O,B,ABの比率が概略4:3:2:1であるという。全部の血液型を集めるのは何人集めればよいか? 座標空間の2点A,Bの距離はLである。A,Bを両端点とする、折れ曲がりがちょうど1箇所だけの折れ線のうち、長さがL+1であるものを考える。ただし折れ曲がりの角度は180°であってもよい。
この折れ線が通過してできる領域D(立体図形D)について考える。
(1)Dはどのような図形か。名称を答えよ。根拠を述べる必要はない。
(2)Dの体積を求めよ。 一辺の長さが1の立方体Vがある。Vの表面上を3点P,Q,Rが動き、△PQRの面積は常に1/4である。
辺PQの長さの取りうる値の範囲を求めよ。 p,q,rは自然数とする。
A=(q+√r)/p
B=(q-√r)/p
C_n=A^n-B^n
とおく。
どのようなp,q,rに対しても、適当な自然数sをとれば、任意の自然数nに対して
√s・C_n または (1/√s)・C_n
が自然数となるようにできることを示せ。 次の命題(a)(b)の真偽を述べよ。
(a)どのような四角錐であっても、適当な平面πが存在して、πによる切り口の図形がひし形であるようにできる。
(b)どのような四角錐であっても、適当な平面πが存在して、πによる切り口の図形が長方形であるようにできる。 あほなゴミが毎日意味不明な命令をしている。
『おりろ。』って何だよ。
通じるか、ばか。 自然数n_0=nを1つとる。
n_kから新しい整数n_k+1を、以下の操作を繰り返して作る。
1)n_kを3で割った余りが1または2のとき
公平なコインを投げ、
表が出た場合n_(k+1)=n_(k)+1とし、
裏が出た場合n_(k+1)=n_(k)+2とする。
2)n_kが3で割りきれるときn_(k+1)={n_(k)}/3
n_(i)=1となったときに操作を終了する。n_0=nに対するこのiの平均をE(n)とするとき、極限lim[n→∞] E(n)/ln(n)を求めよ。 >>479
無作為に何人集めればすべての血液型が揃うかという問題。
各々の血液型である確率は0.4,0.3,0.2,0.1 極限
J = lim[n→∞] ∫[0→nπ] e^(-x^2)/{1+x^2} dx
について、以下の問いに答えよ。
以下ではこの極限が収束することを既知として解答してよい。
(1)Jを10進法表示したときの、小数点以下第一位の数字を求めよ。
(2)Jの小数点以下第二位で四捨五入することにより、Jの近似値を求めよ。 ■ このスレッドは過去ログ倉庫に格納されています