↓ ↑ページトップへ
表示調整
閉じる
挿絵表示切替ボタン
▼配色
▼行間
▼文字サイズ
▼メニューバー
×閉じる

ブックマークに追加しました

設定
0/400
設定を保存しました
エラーが発生しました
※文字以内
ブックマークを解除しました。

エラーが発生しました。

エラーの原因がわからない場合はヘルプセンターをご確認ください。

ブックマーク機能を使うにはログインしてください。
PR
30/35

理論だけでは証明にはならない

ネットで多くの証明をしたという話が出てくるが、大抵は理論を語るだけで、証拠を示せていない。


論理だけで説明がつけば、それは大抵未解決問題にはならない。つなげない部分が出てくる。その時、その間をつなぐ証拠が必要になる。


論理に基づいた検証によって、客観的に正しさを示す必要がでる。


コラッツ予想ならば、数字が追いかけられないなら、もう一方の回数を追いかければよい。

論理の特性と、収束回数の特性が一致すればその理論の正当性が示せる。


元の数における計算回数と論理から求めた計算回数に相関関係がみられるならば、論理は外れていないことになる。回数は全体か奇数処理かどちらかでよい。


あなたが有名数学者でもない限り、誰も証拠は見つけてくれない。自分で示すほかにない。それができなければ、その理論は妄想に終わる。現在のAIができる証明は反例を見つけるか、新たな証拠の要らないものだけだ。


学校では、未知のものの証明方法は教えてくれない。機知のものならば、証拠はすでに誰かが示している。


これを完成できた者が、証明者の栄誉を手にすることができるのである。

評価をするにはログインしてください。
ブックマークに追加
ブックマーク機能を使うにはログインしてください。
― 新着の感想 ―
このエピソードに感想はまだ書かれていません。
感想一覧
+注意+

特に記載なき場合、掲載されている作品はすべてフィクションであり実在の人物・団体等とは一切関係ありません。
特に記載なき場合、掲載されている作品の著作権は作者にあります(一部作品除く)。
作者以外の方による作品の引用を超える無断転載は禁止しており、行った場合、著作権法の違反となります。