証明するとは一体何なのか [無断転載禁止]©2ch.net

1ご冗談でしょう?名無しさん2017/03/18(土) 04:21:04.61ID:KruA+gZl
人間が証明したと思っているだけじゃないのか

2ご冗談でしょう?名無しさん2017/03/18(土) 09:31:00.61ID:???
暗号理論的には一方向関数と乱数関数を使ったもろもろのテクニック。

3ご冗談でしょう?名無しさん2017/03/18(土) 09:32:22.89ID:???
いわゆる数学の証明自体も検証の方が簡単なのでそれらの一種には違いない。

4ご冗談でしょう?名無しさん2017/03/18(土) 09:33:34.94ID:???
ハッシュ関数なんかも鳩ノ巣原理のハッシュテーブルに紐づけするのに使う代表的な一方向関数だし。

5ご冗談でしょう?名無しさん2017/03/18(土) 09:34:44.47ID:???
個人的にはオラクルと乱数関数の違いの方が分からない。

6ご冗談でしょう?名無しさん2017/03/18(土) 09:37:56.09ID:???
数学での証明と言ったら数学基礎論の主要な対象だが
数学基礎論にはゲーム理論っぽい言い換えがだいたい存在してるが個人的にはそれらが成立する背景には混合戦略で無自覚に使われる乱数関数の存在があると思ってる。

7ご冗談でしょう?名無しさん2017/03/18(土) 09:39:25.49ID:???
まあ総じてネット越しにじゃんけんやマージャンをするプロトコルのたぐいには違いあるまい。

8ご冗談でしょう?名無しさん2017/03/18(土) 10:28:52.22ID:???
証明自体よりも数学的概念が必要とされた背景とその研究の数学史の方が腑に落ちるという感覚にとって良い補助線であることが多い。

9ご冗談でしょう?名無しさん2017/03/18(土) 22:34:00.07ID:???
現実や宇宙には区切りが無いけど、人はそれを特徴ごとに区切って名前を付けて概念化する
前提が崩れない範囲では証明に意味があるけど、そもそも区切り方が違えばその証明に意味は無い

人の常識や数学、論理思考に証明はあるけど、現実や宇宙に証明は無い

10ご冗談でしょう?名無しさん2017/04/07(金) 03:06:37.96ID:Yupz2dO5
面白い。

2+1=4だと、完全に証明してみろ! 世界の英雄になれるぞ。

「今、キミがこの書き込みを見ている」と、完全に証明してみろ。

11ご冗談でしょう?名無しさん2017/04/08(土) 17:28:10.98ID:???
>>10
間違った定義を設定すれば余裕な、
そもそもいままで証明されたそれの根本が間違っていないか怪しいわけだ

定理だから間違いないという説明は定理が勘違いにより間違っていることを
永久封印する、人が解釈する証明は間違いに満ちている、
誰も間違いを訂正できなく正しいとするなら、そこに間違いなどない、
間違いがあるという悪魔の証明はできない。

12ご冗談でしょう?名無しさん2017/04/11(火) 04:45:59.52ID:zT+vY7SM
↑うん。だから=それを証明してみろ。

132017/04/21(金) 03:45:41.89ID:IU9PkJj0
宇宙がおかした失敗は宇宙がそれをみたい。の、意味で証明。なんだと思う。−を42年人を傷つけることでみた。んだと思うし。責任の所在をはっきりさせて、責任をとるべき

14ご冗談でしょう?名無しさん2017/05/01(月) 16:39:46.60ID:p7fIHXPd
証明とは論理的に正しいということ

数学は公理や定義がしっかりしてるから
それがやりやすい

証明によって新しい定理ができれば、その後は定理が使えるから便利やろ

公理が間違ってる可能性もゼロではないで

15nanshiki ◆ELOXmE0uaA 2017/05/01(月) 18:56:46.56ID:viK3XjBq
証明っていうのは 条件により絞られたこれ以外に言いようがないという内容です


例えば 将棋で 勝ち負けが決まったことを 判断するには 

盤にマスがなければいけない 駒に 進む 方向が決められていなければいけない

無限の マスが あるのなら 勝敗は 絶対に決まりません

詰む というのは 条件が strict に設定され それ以外に 可能性がない状況

これが 将棋でいう 勝ち を証明した ということになります

数学や 物理は 案外これは容易ですね

むしろ 生物 での 証明というのは とても難しい

条件ともいうべき 法則が 複雑すぎるためですね

16ご冗談でしょう?名無しさん2017/05/02(火) 17:16:13.05ID:???
わかりやすい解説 乙
こういうマジなレスが、この板にはほとんどないのが不思議

17ご冗談でしょう?名無しさん2017/05/05(金) 11:21:06.68ID:???

無念 Name としあき 17/05/05(金)11:20:07 No.481508008 del +
>パウリの排他律によって同じ準位同じ座標を占めることができないなら別物だろう
>もっとも例えばたった一つの電子が連綿と一本の世界線で陽電子陰電子として時間を行ったり来たり繰り返してるだけとか見做す場化げた解釈もあるが
量子通信技術とかがんがんネットに普及して古典的な計算理論に基づいた暗号理論ベースのネット認証も量子計算によって瓦解するからこれからもっと個人認証とか量子論レベルになっていくんだろうな

18ご冗談でしょう?名無しさん2017/05/16(火) 11:07:46.76ID:V6SMr6EC
証明とは理論に何らかの裏付けを与えること

例えば、韓国がウォン札を刷りまくって東京の土地を全て買うことが出来るか?
土地を売る方は、そのウォン札に額面の価値があるのかと疑問を持つ
そのウォン札は直ちに金塊と交換できるのか?と問いただす
これが金本位制の「キンの裏付けのある通貨」の考え方だ

今の「円」はキンの裏付けではなく国債の発行によって刷ることができる
だから国家予算の半分が国債費に使われる異常事態になってしまった
日銀から寄生虫朝鮮天皇を追い出して政府紙幣を刷れば国債は不要だ

19ご冗談でしょう?名無しさん2017/05/18(木) 12:34:26.69ID:???
証明には幾つかの種類がある
数学では前提と結論を論理でつなぐだけ
上に書いてあるのは実証と言うやつ

20ご冗談でしょう?名無しさん2017/06/20(火) 02:09:10.50ID:???
実験そのもの

21ご冗談でしょう?名無しさん2018/01/31(水) 05:43:20.36ID:co3m1tSm
物理学もおもしろいけどネットで儲かる方法とか
グーグルで検索⇒『羽山のサユレイザ』

P1YKV

22ご冗談でしょう?名無しさん2018/07/12(木) 22:04:54.33ID:1MdQRTZv
僕の知り合いの知り合いができた在宅ワーク儲かる方法
時間がある方はみてもいいかもしれません
検索してみよう『立木のボボトイテテレ』

ENS

23ご冗談でしょう?名無しさん2018/07/26(木) 12:18:12.72ID:50b3ckik
【何故シヌの、JK″】 島津論文「安倍とオウムに接点」 露国防相「気づかれてないと思うな晋三」
http://rosie.5ch.net/test/read.cgi/liveplus/1532569537/l50



地震多すぎ! 日本は地震大国だから、は大ウソだった! ほら吹きの安倍が、地下核実験をやっている!

新着レスの表示
レスを投稿する