一般学問「ないことは証明できない悪魔の証明言うんやで」数学「証明が存在しないことを証明したぞ」

1 ：風吹けば名無し：2019/01/29(火) 12:15:31.40 ID:aqCCMP/Z0NIKU.net

数学だけおかしいやろ・・・

2 ：風吹けば名無し：2019/01/29(火) 12:15:57.02 ID:aqCCMP/Z0NIKU.net

どういうことなんや・・・

3 ：風吹けば名無し：2019/01/29(火) 12:16:27.78 ID:N1cQRKeNrNIKU.net

薄氷レベルのペラペラ理論

4 ：風吹けば名無し：2019/01/29(火) 12:16:31.59 ID:7GjyfC67dNIKU.net

数字があるから

5 ：風吹けば名無し：2019/01/29(火) 12:16:59.31 ID:aqCCMP/Z0NIKU.net

>>3
一般学問は適当なんやね

6 ：風吹けば名無し：2019/01/29(火) 12:17:04.80 ID:/I6KM9jn0NIKU.net

悪魔の証明は証明できない訳ではなく難しいってだけやろ
wikiもっと観て

7 ：風吹けば名無し：2019/01/29(火) 12:17:15.34 ID:Ek0NSJ54dNIKU.net

できないじゃなくて難しい

8 ：風吹けば名無し：2019/01/29(火) 12:17:17.94 ID:aqCCMP/Z0NIKU.net

>>4
数字すご∃

9 ：風吹けば名無し：2019/01/29(火) 12:17:20.70 ID:oYACBM8l0NIKU.net

ガロアやっけ

10 ：風吹けば名無し：2019/01/29(火) 12:17:41.51 ID:aqCCMP/Z0NIKU.net

>>6
そうなん！？ワイガイジやんけ！

11 ：風吹けば名無し：2019/01/29(火) 12:17:53.09 ID:osPaTw1GaNIKU.net

>>9
とりあえず知ってる数学者挙げるのやめろ

12 ：風吹けば名無し：2019/01/29(火) 12:18:23.08 ID:aqCCMP/Z0NIKU.net

>>9
誰や

13 ：風吹けば名無し：2019/01/29(火) 12:18:42.10 ID:2Oni/1yg0NIKU.net

同じだよ悪魔の証明もすべてを調べていないことを言えばいい
それがやりにくいだけ

14 ：風吹けば名無し：2019/01/29(火) 12:18:48.55 ID:/ixAK+FA0NIKU.net

ゲーデルのことなら少し違うけどな

15 ：風吹けば名無し：2019/01/29(火) 12:19:15.54 ID:aqCCMP/Z0NIKU.net

>>13
数学と違って一般学問は複雑すぎるねんな

16 ：風吹けば名無し：2019/01/29(火) 12:19:28.82 ID:aqCCMP/Z0NIKU.net

>>14
なんやそれ

17 ：風吹けば名無し：2019/01/29(火) 12:19:37.00 ID:XuhC368jdNIKU.net

連続体仮説

18 ：風吹けば名無し：2019/01/29(火) 12:19:47.72 ID:oYACBM8l0NIKU.net

>>11
調べたら簡略化だけだったわ

19 ：風吹けば名無し：2019/01/29(火) 12:20:15.52 ID:2lJ3CmdcdNIKU.net

五次方程式のべき根をつかった解が存在しない証明やね
ガロア理論を使って方程式に付随する拡大体をガロア群に対応させて、ガロア群の部分群として"べき根を使った"ものが存在しないような反例を構成することで証明するんやで

20 ：風吹けば名無し：2019/01/29(火) 12:20:58.94 ID:aqCCMP/Z0NIKU.net

>>19
はえ〜さっぱり分からない

21 ：風吹けば名無し：2019/01/29(火) 12:21:56.35 ID:B5SE8lyv0NIKU.net

>>6
バーカ
ゲーデルの不完全性定理やぞ

22 ：風吹けば名無し：2019/01/29(火) 12:22:26.46 ID:sZBUgFeZaNIKU.net

>>10
はい

23 ：風吹けば名無し：2019/01/29(火) 12:22:27.78 ID:/I6KM9jn0NIKU.net

>>21
池沼

24 ：風吹けば名無し：2019/01/29(火) 12:22:27.83 ID:DfsqUSK8KNIKU.net

証明できないことが証明されたんやなくて
証明できると証明することができないことが証明されたんやで

25 ：風吹けば名無し：2019/01/29(火) 12:22:50.39 ID:aqCCMP/Z0NIKU.net

>>22
かなC

26 ：風吹けば名無し：2019/01/29(火) 12:23:04.10 ID:aqCCMP/Z0NIKU.net

>>23
喧嘩はアカンで！

27 ：風吹けば名無し：2019/01/29(火) 12:23:23.01 ID:aqCCMP/Z0NIKU.net

>>24
？？？？

28 ：風吹けば名無し：2019/01/29(火) 12:24:55.40 ID:O9ST3saVMNIKU.net

証明できないが解だから証明できなければ解けてない問題扱い

29 ：風吹けば名無し：2019/01/29(火) 12:25:23.00 ID:l/JH7bAo0NIKU.net

　
【朗報】愚地独歩さん、ついに0.99999…=1の証明に成功する
https://swallow.5ch.net/test/read.cgi/livejupiter/1548732160/

1 ：風吹けば名無し[] ：2019/01/29(火) 12:22:40.04 ID:ZYWQwfrj0
https://i.imgur.com/X0Gpe4N.jpg
https://i.imgur.com/dqHvaja.jpg
↓
https://i.imgur.com/wDB5mfq.jpg

30 ：風吹けば名無し：2019/01/29(火) 12:26:38.96 ID:4PQKOQcgxNIKU.net

X=1且つX=2を満たす自然数Xは存在しないとか
言うほど証明出来ないものか？

31 ：風吹けば名無し：2019/01/29(火) 12:27:02.72 ID:kieKlt8NaNIKU.net

悪魔の証明は難しいだけでできない訳じゃないぞ

32 ：風吹けば名無し：2019/01/29(火) 12:27:19.79 ID:B5SE8lyv0NIKU.net

>>23
無知を恥じろよ

33 ：風吹けば名無し：2019/01/29(火) 12:27:37.74 ID:vh4m2Ttt0NIKU.net

>>30
存在したと仮定して矛盾してるっていいたいけど
じゃあ仮定して矛盾してたら何で証明されたことになるのかとか
そもそも何に矛盾してるのかとか
そういう話になるん？

34 ：風吹けば名無し：2019/01/29(火) 12:27:42.54 ID:9yf0il0JpNIKU.net

>>30
反例を示したり出来るか？

35 ：風吹けば名無し：2019/01/29(火) 12:27:55.40 ID:/I6KM9jn0NIKU.net

>>32
これもう何言っても無駄な文盲じゃん…

36 ：風吹けば名無し：2019/01/29(火) 12:28:29.81 ID:uVzbIP1i0NIKU.net

>>30
ワイ、2秒では？ってなったわ
普通に考えて1と2ってちゃうやん

37 ：風吹けば名無し：2019/01/29(火) 12:29:44.56 ID:aqCCMP/Z0NIKU.net

>>33
背理法ちゃうんか？

38 ：風吹けば名無し：2019/01/29(火) 12:29:54.71 ID:EwWgivT60NIKU.net

お前が見たのを見たんやろ

39 ：風吹けば名無し：2019/01/29(火) 12:30:38.07 ID:6P9/Br2R0NIKU.net

ω無矛盾とかいうひねくれ者

40 ：風吹けば名無し：2019/01/29(火) 12:31:41.32 ID:j9GNbSaiMNIKU.net

ドビュッシーな

41 ：風吹けば名無し：2019/01/29(火) 12:31:45.01 ID:shvmcBQ+pNIKU.net

一般学問とは

42 ：風吹けば名無し：2019/01/29(火) 12:31:53.59 ID:uqIYnnYIaNIKU.net

人生かけて証明しようとしたのに公理が足りねえとか絶望やな

43 ：風吹けば名無し：2019/01/29(火) 12:31:54.92 ID:jEQMrAbg0NIKU.net

権利消失事実を証明してもその後いかなる権利発生事由も存在しないことを証明しなければならない

44 ：風吹けば名無し：2019/01/29(火) 12:31:56.66 ID:K+CV+z8V0NIKU.net

数字という範囲が決まっているからできるんかね

45 ：風吹けば名無し：2019/01/29(火) 12:32:19.75 ID:h0s2rarc0NIKU.net

悪魔の証明が通用するのは刑事裁判くらいで
科学の世界だったら「100%「ない」と証明できないなら、あるかもしれないしないかもしれない。とりあえず今まで観測した中ではないけど、誰かが「ある」と観測するかもしれない」じゃなかった？

46 ：風吹けば名無し：2019/01/29(火) 12:33:09.93 ID:dMXoG4oQdNIKU.net

そういやワイついに円周率割り切れたんやけど

47 ：風吹けば名無し：2019/01/29(火) 12:33:51.72 ID:LGWCRyWJ0NIKU.net

無限を扱えるのは数学だけ！

48 ：風吹けば名無し：2019/01/29(火) 12:33:54.06 ID:iXFH/3q10NIKU.net

無いって考える自分は居るから考える自分だけは信用できるってデカルトさんがゆってたよ

49 ：風吹けば名無し：2019/01/29(火) 12:34:06.63 ID:aTt1IUNIdNIKU.net

ガチガイジじゃん

50 ：風吹けば名無し：2019/01/29(火) 12:35:01.35 ID:cAniY51ZaNIKU.net

数学も数字はあまり関係ないぞ
数学は何かの構造とかを調べる学問や
その解釈も最近は通用しないらしいけど

51 ：風吹けば名無し：2019/01/29(火) 12:35:06.76 ID:1T2gLc4r0NIKU.net

構文論と意味論の違いがわかってないンゴねぇ…