X
トップページ⇒数学
767コメント604KB
分からない問題はここに書いてね422 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0102１３２人目の素数さん
垢版 |
2016/12/31(土) 19:54:27.65ID:m6j8E7Gl
>>101

99① /(99②+1③)

①99
②99
③1

はそれぞれ何を表しているのですか？
0103１３２人目の素数さん
垢版 |
2016/12/31(土) 20:03:37.18ID:daCti/Lj
原告の主張が正しい確率を0.5、被告の主張が正しい確率を0.5、
ＤＮＡ鑑定が的中する確率を0.99とすると
ＤＮＡ鑑定で黒と出た結果が真実である確率
=0.99*0.5/(0.99*0.5+0.01*0.5)=99/(99+1)=99/100にならないかという話です。
0104１３２人目の素数さん
垢版 |
2016/12/31(土) 20:19:49.73ID:m6j8E7Gl
>>103
＞ＤＮＡ鑑定が的中する確率

＞ＤＮＡ鑑定で黒と出た結果が真実である確率

これの違いはなんですか？
0105１３２人目の素数さん
垢版 |
2016/12/31(土) 21:00:41.36ID:daCti/Lj
>>104

陽性であると検査結果が出る確率と、
陽性であると検査結果が出た時に本当に感染している確率の違いと同じです。
0106１３２人目の素数さん
垢版 |
2016/12/31(土) 21:04:46.74ID:bKb/OJcf
>>103
「ＤＮＡ鑑定が的中する確率」って、何やねん？
yes/noで答えの出る検査結果の場合、
その正しさを表す数値はひとつではない。
yesと答えるべきところを正しくyesと答える確率を「感度」、
noと答えるべきところを正しくnoと答える確率を「特異性」
といって、このふたつは一般に異なる数値となる。
ＤＮＡ鑑定の結果が一致と出て事実一致である確率と
鑑定の結果が不一致と出て事実不一致である確率も
別々の値であって、それぞれ
検査の感度、得意性、DNA一致の事前尤度から算出できる。
「ＤＮＡ鑑定が的中する確率が99/100」ってのが
鑑定の感度＝特異性＝99/100の意味だとして、
二人の父親候補が鑑定前に同程度にあやしいとすると、
事前尤度＝1/2と置けて、
DNA鑑定が示した父親が本当の父親である確率は
(1/2)(99/100)/{(1/2)(99/100)+(1/2)(1/100)}=99/100となる。
例えば、鑑定以前に、戸籍上の父親が父親であると思われる率が90/100なら、
「DNAが一致しない」という鑑定結果が正しい確率は
(10/100)(99/100)/{(10/100)(99/100)+(90/100)(1/100)}=11/12となって、
99/100よりはいくぶん小さい。
0107１３２人目の素数さん
垢版 |
2016/12/31(土) 21:11:46.60ID:m6j8E7Gl
グループ1
•94
＞99%の確率で父親であるという判定結果が出た
＞99%の確率で父親であるというのは
•96
＞99%の精度で的中する鑑定ならば、
•103
＞ＤＮＡ鑑定が的中する確率を0.99とすると
•105
＞陽性であると検査結果が出る確率と、


グループ2
•94
＞父権肯定確率が99%であるのと
•99
＞DNA鑑定で黒と出た男性が本当にその子供の父親である確率です
•103
＞ＤＮＡ鑑定で黒と出た結果が真実である確率
•105
＞陽性であると検査結果が出た時に本当に感染している確率の違いと同じです。


これらはそれぞれ同じグループ内で同じ意味を表していると考えていいですか？
0108１３２人目の素数さん
垢版 |
2016/12/31(土) 21:18:14.33ID:m6j8E7Gl
>>106
(1/2)(99/100)/{(1/2)(99/100)+(1/2)(1/100)}=99/100となる。


1/100ってどっから出てくるんですか？
0109１３２人目の素数さん
垢版 |
2016/12/31(土) 21:43:03.80ID:daCti/Lj
>>106
＞ＤＮＡ鑑定が的中する確率

DNA鑑定で真実を言い当てる確率のことです。

そう、同じ精度のＤＮＡ鑑定を使っても、
その結果が真実を示す確率は事前確率に依存しますよね？

容疑者が二人いる場合と１００人いる場合では、（あやしさが1/50に振り分けられる場合では）
同じ検査を使っても、その検査結果が正しい確率は、
後者の方が低くなるのではないかという話ですよ。

となると、裁判において、科学は絶対的に正しい方法ではなく、
人間の主観による捜査の正確さがあってこそ初めて威力を発揮するということになりませんか？
0110１３２人目の素数さん
垢版 |
2016/12/31(土) 22:08:43.77ID:ZPBugoa4
なんやこいつ
たまに数学版にやってくるパチンカスより頭悪いんちゃうか
0111１３２人目の素数さん
垢版 |
2016/12/31(土) 22:17:19.93ID:bKb/OJcf
>>109前半
>>106を読まなかったのか、読めなかったのか、
読む気がなかったのか？
鑑定が「DNA一致」という真実を言い当てる確率と
「DNA不一致」という真実を言い当てる確率とは
異なるが、どっちの話をしているのか？と聞いたのだが。

>>109後半
そう。
同じ感度と特異性のDNA鑑定を使っても、
鑑定結果が合っている確率は事前確率に依存する。
例えば、
同じ占い師が「この宝くじは当たってる」と言うのと
「この宝くじは外れている」と言うのでは、
予言の信憑性は違うと思わないかね？
0112１３２人目の素数さん
垢版 |
2016/12/31(土) 22:31:30.94ID:qBVeKw+D
父親の可能性がある人はＤＮＡ鑑定の結果を無視してもいいというなら、まあ20億人ほどいるだろうから
ＤＮＡ鑑定による父親判定の信ぴょう性はないっていう結論にすればいい？
今年最後のネタにしてはイマイチしまらないネタだな

来年もよろしく頼むわ
0113１３２人目の素数さん
垢版 |
2017/01/01(日) 00:01:52.78ID:ALDWT/ZA
あ　　　　け　　　お　　め　こ　　と　　　よ　　　　ろ
0114１３２人目の素数さん
垢版 |
2017/01/01(日) 00:02:56.42ID:NITnzzmz
>>107
はい、それでいいと思います。
精度99%というのは、100回検査を行ったら1回だけ間違うという意味だそうで、
99%の確率で父親であるというのと、父権肯定確率99%というのは、
意味が違うそうです。

>>111
どちらもです。
99.99999%の確率で父親、99.99999%の確率で父親ではない、
両方鑑定結果が出ていますよね。

となると、誰が真犯人なのか、真実の父親なのか誰にもわからない場合、
費用をかける（DNA鑑定を繰り返し行う、絞り込みを徹底する）ほど、
被告人が真犯人である、被告が真実の父親である確率は、
真犯人であれば高くなる（確率1に収束する）が、
真犯人でなければ低くなる（確率0に収束する）ということですか？
0115１３２人目の素数さん
垢版 |
2017/01/01(日) 15:53:45.14ID:JcZ3r4LL
a, b, cを和が３となる正の実数とする。このとき
√{b / (a^2 + 3)} + √{c / (b^2 + 3)} + √{a / (c^2 + 3)} ≦ (3 / 2) √√(1 / abc)



お願いします
0116１３２人目の素数さん
垢版 |
2017/01/01(日) 16:00:18.90ID:JcZ3r4LL
わからないんですか？
0117１３２人目の素数さん
垢版 |
2017/01/01(日) 16:24:33.01ID:mlP1nK9t
どなたか、お分かりになる方がいらっしゃれば、お教えいただければ幸いです。

treksit　というゲーム（http://treksit.com/ でできます。GIGAZINに解説が
あります）を見て思ったのですが、点と、それを結ぶ線からなる図形があるとき、
点を移動して線が交差しないように変形できるかどうかを判断するには
どこに着目すればよいのでしょうか。点が5以上で、全ての点が線で結ばれた
場合は変形できないようなのですが、どれだけ線がなくなれば良いのか
判断する基準がわかりません。よろしければ、お願いします。
0118１３２人目の素数さん
垢版 |
2017/01/01(日) 16:42:00.82ID:cQs/i6Qr
>>115
本当にこれお願いします
正月なのに気になって眠れません
0121１３２人目の素数さん
垢版 |
2017/01/01(日) 16:57:58.63ID:cQs/i6Qr
>>120
わからないんですか？
0122１３２人目の素数さん
垢版 |
2017/01/01(日) 18:06:25.51ID:M53l1PPa
AM-GMより
(a^2+3)/b=a^2/b+1/b+1/b+1/b≧4(a^2/b^4)^(1/4)=4√a/b
よって
√{b / (a^2 + 3)}≦√{b/4√a}=(1/2)√b/√√a
これより与式の左辺≦(1/2){√b/√√a+√c/√√b+√a/√√c}
=(1/2){√b√√(ac)+√c√√(ab)+√a√√(bc)}/√√(abc)
ここでAM-GMより
√b√√(ac)≦{b+√(ac)}/2≦{b+(a+c)/2}/2=b/2+(a+c)/4
よって
√b√√(ac)+√c√√(ab)+√a√√(bc)≦(a+b+c)/2+2(a+b+c)/4=a+b+c=3

ゆえに与式の左辺≦(3/2){1/√√(abc)}
0124１３２人目の素数さん
垢版 |
2017/01/01(日) 18:33:54.91ID:JcZ3r4LL
>>122
＞(1/2){√b/√√a+√c/√√b+√a/√√c}
＞=(1/2){√b√√(ac)+√c√√(ab)+√a√√(bc)}/√√(abc)


これ、なんかおかしくないですか？
第一項なら、√b*√√(bc)だと思います
分母は√√aですから、通分するのにかけるのは、√√(bc)です
0125１３２人目の素数さん
垢版 |
2017/01/01(日) 18:45:31.79ID:M53l1PPa
確かに
まあでも
{√b√√(ac)+√c√√(ab)+√a√√(bc)}を
{√b√√(bc)+√c√√(ac)+√a√√(ab)}に
置き換えれば後の論法は一緒ですね
0126１３２人目の素数さん
垢版 |
2017/01/01(日) 18:47:55.24ID:JcZ3r4LL
>>122
(1/2){√b/√√a+√c/√√b+√a/√√c}
C-S(cauchy-schwarz)より

≦(1/2)√(a+b+c)√(1/√a+1/√b+1/√c)
=√3/2*√(√(bc)+√(ca)+√(ab))/√√(abc)

C-Sより
√(bc)+√(ca)+√(ab)≦√(b+c+a)√(c+a+b)=3

よって
√(√(bc)+√(ca)+√(ab))≦√3

できました！

ありがとうございました
0127１３２人目の素数さん
垢版 |
2017/01/01(日) 20:14:38.46ID:HhNBFk6M
f(x)=sin(x)/x (x>0) とし、
f(x)=a (0<a<1)の解のうち、最も小さいものをx_0(a)とおく。
lim(a→1) x_0(a)/√(1-a)を求めよ。
0129１３２人目の素数さん
垢版 |
2017/01/01(日) 23:28:26.34ID:yok34oCL
本当に基本的な質問ですみません｡

当方は地学系を専攻している学部生で家庭教師をしているものなのですが,
生徒になぜ背理法が成立するのかと効かれて全く説明ができませんでした｡
教養の授業において聞いたことのある二値原理で説明してみたのですが
逆に混乱させてしまったみたいで,なおかつ私自身も混乱してしまっています｡

数学に不得手な人間ですが,どのように説明したらいいのでしょうか?
どうぞよろしくお願いします｡
0131１３２人目の素数さん
垢版 |
2017/01/01(日) 23:39:08.47ID:yok34oCL
返信ありがとうございます｡

ベン図もやってみたのですが,かなり賢い生徒さんで,
前件と後件が両方偽の時において,偽ではないのはわかるが
真であるとも思えないといわれて説明できませんでした｡

この場合はどのようにして説明したらいいのでしょうか?
0133１３２人目の素数さん
垢版 |
2017/01/01(日) 23:55:12.97ID:yok34oCL
それもやってみたのですが,前件が偽で後件が深のときの説明がうまくできませんでした｡

ネットを見てみた所,P→Qの真偽について嘘をついているかどうかで真理値を説明するという
説明法があるらしいと言うのをしったのですが,それはおおまかにいってただしいのでしょうか?
0135１３２人目の素数さん
垢版 |
2017/01/02(月) 00:11:31.55ID:BSjdY2KS
そういう話題はまた別の機会にどうぞ。
今は排中律を認める立場の人々の議論。
0136１３２人目の素数さん
垢版 |
2017/01/02(月) 00:13:38.50ID:2y0v/fPJ
>>131

＞前件と後件が両方偽の時において,偽ではないのはわかるが

背理法は、偽のことを仮定して矛盾を導くんですよ
偽じゃないです
偽を仮定して真を導かれることを示す、これが矛盾です

>>133
普通に変に深入りしないで、Aを仮定したらおかしくなるんだから、Aであることはあり得ない、でいいです
数学的にちゃんとやろうとすると、形式論理の話になって、そういう話になると「それが正しい」といった概念は全て無駄になります
形式的に考えれば、背理法、は公理そのものですから、正しいも何もなくなります
そのような世界においては、何が正しいかではなく、何が合理的か、だけが重要になります

そういう風に、正しいかどういうことかということが無意味であると説明した上で、初めてベン図の包含関係云々による合理性の説明が活きてくるのです
0137１３２人目の素数さん
垢版 |
2017/01/02(月) 00:13:40.26ID:Gwov34CY
真偽値を前提とするのならポイントは「否定の否定は肯定である」ということ
￢(P→Q)とはP∧￢Qのことだと定義するなら
P→Qは￢￢(P→Q)のことであり、￢(P∧￢Q)のことである
Pが偽のときはQの真偽値にかかわらずP∧￢Qは偽なのでP→Qは真
0140１３２人目の素数さん
垢版 |
2017/01/02(月) 00:32:24.78ID:VNGKQzqm
カテキョの生徒だろ？
難癖付けて「勉強したくない」ってアピールしてるだけじゃねーの？
0141１３２人目の素数さん
垢版 |
2017/01/02(月) 00:35:24.90ID:2y0v/fPJ
あなたは、そうなのかもしれませんね
0142１３２人目の素数さん
垢版 |
2017/01/02(月) 01:42:46.95ID:eVj7tG1N
コンプガチャの一般化に興味があります

n種等確率の場合は結果も簡単で
http://mathtrain.jp/completegacha
など、ググればたくさん出てきます

等確率でない場合も、なんとか解決しました

本題は景品を一つずつ集めるのではなくk個以上ずつ集める場合についてです

何か関係ありそうな記事、論文などをご存知の方がいたら教えてもらえるとありがたい
0143１３２人目の素数さん
垢版 |
2017/01/02(月) 01:55:45.85ID:mJk7U8P3
>>134 が大切ではないかな。生徒への説明に直接
形式論理を含める必要は無いが、教える側の背景知識として
排中律と背理法と対偶法が同値な公理をなすことは
押さえといたほうがいい。その上で、
排中律の下に背理法を証明して見せることが適切かどうかは、
生徒のレベルを見て判断すべきかと。
説明するとかえって混乱しそうな生徒なら、
ベン図でも見せて何となく解った雰囲気にするほうが無難だし。
0144１３２人目の素数さん
垢版 |
2017/01/02(月) 02:02:01.24ID:2y0v/fPJ
排中律ってなんだかわかってますか？
正しいか正しくないかのどちらかだってことですよ
これで納得しないからどうするべきかって質問です
こういうのは、数学的に正しいとはそもそもどういうことなのか、生徒も教える側もわかってないから起こる問題です
そういうもんなんだと誤魔化すか、形式的な公理の考え方を叩き込むかのどちらかしかありません
0146１３２人目の素数さん
垢版 |
2017/01/02(月) 02:35:03.51ID:QKedMsaX
背理法は場合分けの一種だと思えばよい。

Aが成り立つことを示したい。
「Aが成り立たないとき」「Aが成り立つとき」で場合分けする(ここで排中律が使われている)。
Aが成り立たないとき：～～～によって矛盾するから、このケースは除外してよい。
Aが成り立つとき：証明は既に終わっている。
以上により、Aが成り立つ。

背理法とは、上記のテンプレートで冗長な部分を省略したものだと思えばよい。

あと、背理法の話で「 P ⇒ Q 」という論理式を持ち出すのはよくないと思う。
数学における「ならば」は日常用語の「ならば」と意味が違うので、
「 P ⇒ Q 」を理解するのはこれ単独で1つの登竜門であり、
背理法の話題とは別の難しさを持ち出すことになってしまい、話がこじれる。
0147１３２人目の素数さん
垢版 |
2017/01/02(月) 03:28:46.21ID:mJk7U8P3
矛盾すると、なぜそのケースを除外してよいのか？
数学の矛盾を発見したのかもしれないではないか。
0148１３２人目の素数さん
垢版 |
2017/01/02(月) 10:10:03.24ID:zkkZzuvP
数学は無矛盾な体系
矛盾を引き起こす切っ掛けにになった仮定は、偽の仮定で無ければ体系を維持できない。
ナンプレ（数独）なんかで説明すれば、納得できるのでは？
0149１３２人目の素数さん
垢版 |
2017/01/02(月) 11:44:19.11ID:Gwov34CY
>>147
背理法は無矛盾性を前提にしているわけではない
矛盾していれば何でも証明できるのだから、当然、背理法も成り立つ
0150１３２人目の素数さん
垢版 |
2017/01/02(月) 12:01:14.90ID:0290nZie
数学の本質は構造である
0152１３２人目の素数さん
垢版 |
2017/01/02(月) 12:45:49.60ID:vlny7e8v
>>148
それは証明されていない。
それどころか、証明不可能
であることが証明されている。
0155１３２人目の素数さん
垢版 |
2017/01/02(月) 14:14:46.11ID:vwKsV5kr
肝心なのは背理法での証明と直感主義数学での証明が相互に書き換え可能ということだぞ
0156１３２人目の素数さん
垢版 |
2017/01/02(月) 14:52:22.88ID:vlny7e8v
>>155
全てが書き換え可能だったら
排中律が証明できることになるが、
そういう主張がしたいのかな？
0157１３２人目の素数さん
垢版 |
2017/01/02(月) 15:56:14.39ID:FYJnOqxC
微分形式って何のために考え出されたんですか？
いろんな数学書を見ても歴史的経緯がさっぱりです。
0158１３２人目の素数さん
垢版 |
2017/01/02(月) 18:57:43.05ID:+mqik42U
一人目の容疑者にDNA鑑定を実施して白と出た場合、
他にn人容疑者がいる場合、
n+1人目の容疑者を見つけ出してその人にDNA鑑定を実施した方が、
現状容疑者とされているn人の中から一人を選んでDNA鑑定を実施するより、
真犯人を見つけ出せる確率は高くなりますか？


DNA鑑定の精度は100%ではないものとします。
0159１３２人目の素数さん
垢版 |
2017/01/02(月) 19:03:10.45ID:+mqik42U
真犯人は、殺された被害者だけが知っているとします。
0160１３２人目の素数さん
垢版 |
2017/01/02(月) 21:26:58.60ID:vlny7e8v
>>158
それ、DNA鑑定の精度と関係ない話だろ？
すでに確保されてる２人目～ｎ人目の容疑者と
まだ確保されてないｎ＋１人目の容疑者では、
どちらの容疑が濃いか？という問題。
そこが同じなら、どちらに鑑定を行っても
犯人が見つかる可能性は同じだし、
どちらかの容疑が濃いなら、濃いほうから先に
鑑定を行ったほうが早く犯人が捕まりそうだ。
0161１３２人目の素数さん
垢版 |
2017/01/02(月) 22:13:50.10ID:StIEudB7
ゲーデルの不完全性定理で質問があります。

①理論体系Ａは自分自身で自分に矛盾が無いことを証明できない。
②理論体系Ｂを使えば理論体系Ａに矛盾がないことを証明できる。
③理論体系が二つあればそれぞれの正しさ（矛盾がないこと）を証明できる。

…ということでよいんでしょうか？
数学は苦手なんでそこんとこよろしくお願いします…。
0163161
垢版 |
2017/01/02(月) 22:51:53.25ID:StIEudB7
うわーこんな質問にレスがついた！
ありがとうー！
こんなこというと無視されそうだから書かなかったんだけど不完全性定理はまだ勉強してないんだ…。
ただ知りたいことがあって。
その知りたいことっていうのが、ある理論体系（数学とか）の正しさ（矛盾がなく証明不可能な命題もなし）を本当に証明できるんだろうかと。

＞AやBは何なの？

特定のものを指してるわけではなく…。

＞③は明らかに間違い

では②が間違いでもないという前提で尋ねたいんだけれど、仮にの話で。
理論体系Ａの正しさを理論体系Ｂで証明したとして、理論体系Ｂの正しさはどうやって証明するの？
それとも理論体系Ｂは別に正しくても正しくなくても関係ないのかな、理論体系Ａの正しさの証明には。

…わかる、自分できちんと不完全性定理を一から勉強しなさいってのは。
どうか僕のことを小学生の子供だと思ってほしい。
0165１３２人目の素数さん
垢版 |
2017/01/02(月) 23:06:22.90ID:2y0v/fPJ
>>163
私も不完全性定理全然知らないですけど、あなたの思っている「正しさ」≠矛盾がない、ということではないと思います

矛盾がないというのは、「その理論体系内において」矛盾がないということです

たとえば

理論A
りんごは赤い
りんごは白い

これは明らかに矛盾していますね
こういうのが矛盾している、ということです

理論B
りんごは赤い

これは矛盾していません
それと同様に

理論C
りんごは白い

これも、C内だけで考えるならば、矛盾はしていないのです
矛盾が生じるのは、実際の我々の知っているりんごを理論内に持ち出した時です

理論C'
りんごは白い
実際のりんごは赤い

これは矛盾します
0166１３２人目の素数さん
垢版 |
2017/01/02(月) 23:07:41.32ID:2y0v/fPJ
現代の数学においては、公理主義、もしくは、形式主義と呼ばれる立場を取っています
公理と呼ばれる大前提を定めて、その枠組みの中で物事を考えてしまおう、ということです
そのような考え方において、公理の正しさはどのようにして証明されるのか、という疑問はナンセンスです
公理とは単なる議論を進めるにあたって最初に定める前提であり、それ以外の何者でもないからです

1+1=2
これはあなたは「正しい」と思うかもしれません

しかし、1+1=11、こういうことだってあり得るわけです
1を文字と考えて、文字の足し算を考えたわけです

このような二つの1+1を考えた場合、どちらが間違えで、どちらが正しい、といったことは言えません
どちらも、それぞれの意味において正しいのです


つまり、現代数学的な立場を取る限り、「唯一の真理」とか「絶対正しい」といったことを示すことはできないのです
0167161
垢版 |
2017/01/02(月) 23:44:39.47ID:StIEudB7
わかりやすく書いてくれてありがとう！
色々と参考になるよ！

＞矛盾がないというのは、「その理論体系内において」矛盾がないということです

なるほど、そう考えると絶対的な正しさは確かにない。

＞そのような考え方において、公理の正しさはどのようにして証明されるのか、という疑問はナンセンスです

公理はあくまでも基本的な仮定だろうからそれについて正しさ云々を言うつもりはないよ。
それらの公理を集めて作った理論体系について、かな。
0168１３２人目の素数さん
垢版 |
2017/01/02(月) 23:47:22.37ID:2y0v/fPJ
>>167
それなら、

>>163
＞理論体系Ａの正しさを理論体系Ｂで証明したとして、理論体系Ｂの正しさはどうやって証明するの？
＞それとも理論体系Ｂは別に正しくても正しくなくても関係ないのかな、理論体系Ａの正しさの証明には。

このように、Aを考えているのにBが出てくる時点でおかしい、ということはわかりますよね？
0170161
垢版 |
2017/01/02(月) 23:54:23.77ID:StIEudB7
＞このように、Aを考えているのにBが出てくる時点でおかしい、ということはわかりますよね？

ごめん、わからないｗ
言い訳するとちょっと眠いから悪い頭が普段よりもっと悪くなってると思う。

理論体系Ａが正しい＝理論体系Ａに矛盾がない。
という定義で。

①理論体系Ａに矛盾がないことを理論体系Ａでは証明できない。
②理論体系Ｂを使えば理論体系Ａに矛盾がないことを証明できる。

だよね？
0171１３２人目の素数さん
垢版 |
2017/01/02(月) 23:56:14.73ID:2y0v/fPJ
>>170
ちがいますよ

1+1=2なのは、1+1=2の理論だからです
1+1=11の理論からは、1+1=2の正しさは示せません
0172161
垢版 |
2017/01/02(月) 23:57:35.15ID:StIEudB7
てか君らみたいに頭良くなりたいよｗ
やはり数学を地道に勉強していかないとここの皆さんと会話すらできないくさいぜ…。
0173１３２人目の素数さん
垢版 |
2017/01/02(月) 23:58:56.80ID:Gwov34CY
>>172
ID:2y0v/fPJ は「理論の正しさ＝公理の導出」という勘違いで凝り固まってるから無視した方がいい
0174161
垢版 |
2017/01/02(月) 23:59:06.22ID:StIEudB7
＞1+1=11の理論からは、1+1=2の正しさは示せません

ということは

＞①理論体系Ａに矛盾がないことを理論体系Ａでは証明できない。
＞②理論体系Ｂを使えば理論体系Ａに矛盾がないことを証明できる。

②が間違えてるということかな。
0175１３２人目の素数さん
垢版 |
2017/01/02(月) 23:59:46.22ID:2y0v/fPJ
>>173
じゃあどういうことなんですかぁ？
0176１３２人目の素数さん
垢版 |
2017/01/03(火) 00:00:04.97ID:+L7QxfH3
>>173
ねぇ、まだ？
0177１３２人目の素数さん
垢版 |
2017/01/03(火) 00:00:20.64ID:+L7QxfH3
>>173
ねぇ、まだ？
0178１３２人目の素数さん
垢版 |
2017/01/03(火) 00:00:37.73ID:+L7QxfH3
>>173
ねぇ、まだ？
0179１３２人目の素数さん
垢版 |
2017/01/03(火) 00:00:58.05ID:+L7QxfH3
>>173
ねぇ、まだ？
0180１３２人目の素数さん
垢版 |
2017/01/03(火) 00:01:14.59ID:+L7QxfH3
>>173
ねぇ、まだ？
0181１３２人目の素数さん
垢版 |
2017/01/03(火) 00:01:34.56ID:+L7QxfH3
>>173
ねぇ、まだ？
0182１３２人目の素数さん
垢版 |
2017/01/03(火) 00:01:51.21ID:+L7QxfH3
>>173
ねぇ、まだ？
0183１３２人目の素数さん
垢版 |
2017/01/03(火) 00:02:09.89ID:+L7QxfH3
>>173
ねぇ、まだ？
0184１３２人目の素数さん
垢版 |
2017/01/03(火) 00:02:26.73ID:+L7QxfH3
>>173
ねぇ、まだ？
0185１３２人目の素数さん
垢版 |
2017/01/03(火) 00:02:45.71ID:+L7QxfH3
>>173
ねぇ、まだ？
0186１３２人目の素数さん
垢版 |
2017/01/03(火) 00:03:03.25ID:+L7QxfH3
>>173
ねぇ、まだ？
0187１３２人目の素数さん
垢版 |
2017/01/03(火) 00:03:20.33ID:+L7QxfH3
>>173
ねぇ、まだ？
0188１３２人目の素数さん
垢版 |
2017/01/03(火) 00:03:37.06ID:+L7QxfH3
>>173
ねぇ、まだ？
0189１３２人目の素数さん
垢版 |
2017/01/03(火) 00:03:53.79ID:+L7QxfH3
>>173
ねぇ、まだ？
0190１３２人目の素数さん
垢版 |
2017/01/03(火) 00:04:09.66ID:+L7QxfH3
>>173
ねぇ、まだ？
0191１３２人目の素数さん
垢版 |
2017/01/03(火) 00:04:25.92ID:+L7QxfH3
>>173
ねぇ、まだ？
0192１３２人目の素数さん
垢版 |
2017/01/03(火) 00:04:43.06ID:+L7QxfH3
>>173
ねぇ、まだ？
0193１３２人目の素数さん
垢版 |
2017/01/03(火) 00:05:01.11ID:+L7QxfH3
>>173
ねぇ、まだ？
0194１３２人目の素数さん
垢版 |
2017/01/03(火) 00:05:17.06ID:+L7QxfH3
>>173
ねぇ、まだ？
0195１３２人目の素数さん
垢版 |
2017/01/03(火) 00:05:33.26ID:+L7QxfH3
>>173
ねぇ、まだ？
0196１３２人目の素数さん
垢版 |
2017/01/03(火) 00:05:35.83ID:N8RBL+XJ
>>174
そもそも②の文章が曖昧
正確な文章で考えてみる

④適切なBを用意すればAの正しさを証明できる……これは正しい
（極端な話、Aの無矛盾性を意味する論理式をAに追加したものをBとすればいい）

⑤Aと異なるBを何でもいいから用意すればAの正しさを証明できる……これは間違い

おそらく貴方は④と⑤を混同してるから③のような勘違いが産まれた
0197１３２人目の素数さん
垢版 |
2017/01/03(火) 00:05:50.03ID:+L7QxfH3
>>173
ねぇ、まだ？
0198１３２人目の素数さん
垢版 |
2017/01/03(火) 00:06:17.17ID:+L7QxfH3
>>173
>>196
ねぇ、まだ？
0199161
垢版 |
2017/01/03(火) 00:06:18.07ID:AVmNKFwo
>>173
レスくれる人は神様だぜ！
てっきり無視されるかと思ってたからさｗ
貴方にもありがとう。

質問がやはり大雑把過ぎだよね。
こちらに数学の知識がないのが原因なんだけど。
0200１３２人目の素数さん
垢版 |
2017/01/03(火) 00:06:35.70ID:+L7QxfH3
>>173
>>196
ねぇ、まだ？
0201１３２人目の素数さん
垢版 |
2017/01/03(火) 00:06:54.52ID:+L7QxfH3
>>173
>>196
ねぇ、まだ？
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況