証明 (数学)
(数学的証明 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/23 04:30 UTC 版)
数学における証明 (しょうめい、英語: Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。
[続きの解説]
「証明 (数学)」の続きの解説一覧
- 1 証明 (数学)とは
- 2 証明 (数学)の概要
数学的証明
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 23:48 UTC 版)
「ビハム・ミドルトン・レヴィン交通モデル」の記事における「数学的証明」の解説
このモデルは単純だが、厳密な解析は非常に困難である。このモデルに対する数学的証明は、これまでのところ、パラメーターが極端な値の場合に限定されて行われている。 2005年4月、ブリティッシュコロンビア大学のエンジェルらは、密度が1に近い場合、常に渋滞が発生することを厳密に証明した。 2006年、カリフォルニア大学ロサンゼルス校のティム・オースティンらは、N×Nの正方格子の場合、車の数がN/2以下であれば、常に全ての車が停止することなく移動できる状態になることを発見した。
※この「数学的証明」の解説は、「ビハム・ミドルトン・レヴィン交通モデル」の解説の一部です。
「数学的証明」を含む「ビハム・ミドルトン・レヴィン交通モデル」の記事については、「ビハム・ミドルトン・レヴィン交通モデル」の概要を参照ください。
ウィキペディア小見出し辞書の「数学的証明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
「数学的証明」の例文・使い方・用例・文例
- 数学的証明
Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
- 数学的証明のページへのリンク
