証明するとは一体何なのか

証明するとは一体何なのか at SCI

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

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

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

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

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

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

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

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

9:ご冗談でしょう？名無しさん
17/03/18 22:34:00.07 .net
現実や宇宙には区切りが無いけど、人はそれを特徴ごとに区切って名前を付けて概念化する
前提が崩れない範囲では証明に意味があるけど、そもそも区切り方が違えばその証明に意味は無い
人の常識や数学、論理思考に証明はあるけど、現実や宇宙に証明は無い

10:ご冗談でしょう？名無しさん
17/04/07 03:06:37.96 Yupz2dO5.net
面白い。
２＋１＝４だと、完全に証明してみろ！世界の英雄になれるぞ。
「今、キミがこの書き込みを見ている」と、完全に証明してみろ。

11:ご冗談でしょう？名無しさん
17/04/08 17:28:10.98 .net
>>10
間違った定義を設定すれば余裕な、
そもそもいままで証明されたそれの根本が間違っていないか怪しいわけだ
定理だから間違いないという説明は定理が勘違いにより間違っていることを
永久封印する、人が解釈する証明は間違いに満ちている、
誰も間違いを訂正できなく正しいとするなら、そこに間違いなどない、
間違いがあるという悪魔の証明はできない。

12:ご冗談でしょう？名無しさん
17/04/11 04:45:59.52 zT+vY7SM.net
↑うん。だから＝それを証明してみろ。

13:ま
17/04/21 03:45:41.89 IU9PkJj0.net
宇宙がおかした失敗は宇宙がそれをみたい。の、意味で証明。なんだと思う。－を４２年人を傷つけることでみた。んだと思うし。責任の所在をはっきりさせて、責任をとるべき

14:ご冗談でしょう？名無しさん
17/05/01 16:39:46.60 p7fIHXPd.net
証明とは論理的に正しいということ
数学は公理や定義がしっかりしてるから
それがやりやすい
証明によって新しい定理ができれば、その後は定理が使えるから便利やろ
公理が間違ってる可能性もゼロではないで

15:nanshiki
17/05/01 18:56:46.56 viK3XjBq.net
証明っていうのは　条件により絞られたこれ以外に言いようがないという内容です

例えば　将棋で　勝ち負けが決まったことを　判断するには　
盤にマスがなければいけない　駒に　進む　方向が決められていなければいけない
無限の　マスが　あるのなら　勝敗は　絶対に決まりません
詰む　というのは　条件が　strict　に設定され　それ以外に　可能性がない状況
これが　将棋でいう　勝ち　を証明した　ということになります
数学や　物理は　案外これは容易ですね
むしろ　生物　での　証明というのは　とても難しい
条件ともいうべき　法則が　複雑すぎるためですね

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

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

18:ご冗談でしょう？名無しさん
17/05/16 11:07:46.76 V6SMr6EC.net
証明とは理論に何らかの裏付けを与えること
例えば、韓国がウォン札を刷りまくって東京の土地を全て買うことが出来るか？
土地を売る方は、そのウォン札に額面の価値があるのかと疑問を持つ
そのウォン札は直ちに金塊と交換できるのか？と問いただす
これが金本位制の「キンの裏付けのある通貨」の考え方だ
今の「円」はキンの裏付けではなく国債の発行によって刷ることができる
だから国家予算の半分が国債費に使われる異常事態になってしまった
日銀から寄生虫朝鮮天皇を追い出して政府紙幣を刷れば国債は不要だ

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

20:ご冗談でしょう？名無しさん
17/06/20 02:09:10.50 .net
実験そのもの