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

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 04:21:04.61

人間が証明したと思っているだけじゃないのか

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 09:31:00.61

暗号理論的には一方向関数と乱数関数を使ったもろもろのテクニック。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 09:32:22.89

いわゆる数学の証明自体も検証の方が簡単なのでそれらの一種には違いない。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 09:33:34.94

ハッシュ関数なんかも鳩ノ巣原理のハッシュテーブルに紐づけするのに使う代表的な一方向関数だし。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 09:34:44.47

個人的にはオラクルと乱数関数の違いの方が分からない。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 09:37:56.09

数学での証明と言ったら数学基礎論の主要な対象だが
数学基礎論にはゲーム理論っぽい言い換えがだいたい存在してるが個人的にはそれらが成立する背景には混合戦略で無自覚に使われる乱数関数の存在があると思ってる。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 09:39:25.49

まあ総じてネット越しにじゃんけんやマージャンをするプロトコルのたぐいには違いあるまい。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 10:28:52.22

証明自体よりも数学的概念が必要とされた背景とその研究の数学史の方が腑に落ちるという感覚にとって良い補助線であることが多い。

**ご冗談でしょう？名無しさん** · 2017/03/18(土) 22:34:00.07

現実や宇宙には区切りが無いけど、人はそれを特徴ごとに区切って名前を付けて概念化する
前提が崩れない範囲では証明に意味があるけど、そもそも区切り方が違えばその証明に意味は無い

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

**ご冗談でしょう？名無しさん** · 2017/04/07(金) 03:06:37.96

面白い。

２＋１＝４だと、完全に証明してみろ！世界の英雄になれるぞ。

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

**ご冗談でしょう？名無しさん** · 2017/04/08(土) 17:28:10.98

>>10
間違った定義を設定すれば余裕な、
そもそもいままで証明されたそれの根本が間違っていないか怪しいわけだ

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

**ご冗談でしょう？名無しさん** · 2017/04/11(火) 04:45:59.52

↑うん。だから＝それを証明してみろ。

ま · 2017/04/21(金) 03:45:41.89

宇宙がおかした失敗は宇宙がそれをみたい。の、意味で証明。なんだと思う。－を４２年人を傷つけることでみた。んだと思うし。責任の所在をはっきりさせて、責任をとるべき

**ご冗談でしょう？名無しさん** · 2017/05/01(月) 16:39:46.60

証明とは論理的に正しいということ

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

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

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

**nanshiki** ◆ELOXmE0uaA · 2017/05/01(月) 18:56:46.56

証明っていうのは　条件により絞られたこれ以外に言いようがないという内容です

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

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

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

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

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

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

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

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

**ご冗談でしょう？名無しさん** · 2017/05/02(火) 17:16:13.05

わかりやすい解説　乙
こういうマジなレスが、この板にはほとんどないのが不思議

**ご冗談でしょう？名無しさん** · 2017/05/05(金) 11:21:06.68

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

**ご冗談でしょう？名無しさん** · 2017/05/16(火) 11:07:46.76

証明とは理論に何らかの裏付けを与えること

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

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

**ご冗談でしょう？名無しさん** · 2017/05/18(木) 12:34:26.69

証明には幾つかの種類がある
数学では前提と結論を論理でつなぐだけ
上に書いてあるのは実証と言うやつ

**ご冗談でしょう？名無しさん** · 2017/06/20(火) 02:09:10.50

実験そのもの

**ご冗談でしょう？名無しさん** · 2018/01/31(水) 05:43:20.36

物理学もおもしろいけどネットで儲かる方法とか
グーグルで検索⇒『羽山のサユレイザ』

P1YKV

**ご冗談でしょう？名無しさん** · 2018/07/12(木) 22:04:54.33

僕の知り合いの知り合いができた在宅ワーク儲かる方法
時間がある方はみてもいいかもしれません
検索してみよう『立木のボボトイテテレ』

ENS

**ご冗談でしょう？名無しさん** · 2018/07/26(木) 12:18:12.72

【何故シヌの、〝ＪＫ″】　島津論文「安倍とオウムに接点」　露国防相「気づかれてないと思うな晋三」
http://rosie.5ch.net/test/read.cgi/liveplus/1532569537/l50

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

**ご冗談でしょう？名無しさん** · 2019/11/24(日) 19:44:25.82

福田博造は地獄へ落ちたのか