「証明_(数学)」を解説文に含む見出し語の検索結果(21～30/12757件中)
読み方：よんしょくもんだいいかなる地図でも境界線を接する国々は4色で塗り分けられることを証明せよ、という数学の証明問題。1976年米国のW＝ハーケンとK＝アッペルが大型コンピューターで証明した。
自然数 n についての命題 P(n) が成り立つ事項を証明する方法で数学的帰納法という。n＝1 のとき、その命題 P(1) が成り立つことを証明する。n＝k のとき、その命題 P(k) が成り立つと仮...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/24 16:03 UTC 版)「証明 (数学)」の記事における「証明の形式的定義」の解説数学における命題の証明において...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:19 UTC 版)「数学の哲学」の記事における「数学の美学」の解説多くの現場の数学者は、自分が課題とするテ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「形式的証明と非形式的証明」の解説数学で日常的に行われている「非...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/18 15:17 UTC 版)「Q.E.D. 証明終了」の記事における「シド・グリーン / ロキ」の解説想のMIT時代...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/14 10:52 UTC 版)「ABC予想」の記事における「証明の試み」の解説1985年の予想の提起から、数々の数学者...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 07:32 UTC 版)「仮説実験授業」の記事における「仮説証明授業の提唱」の解説1993年に板倉は「数学でも仮...
数学の競技（すうがくのきょうぎ）は、数学の問題を解くことを競うゲーム。複数の選択肢を選ぶ方法や、数値や数式の記入、証明の記述などがある。勝敗の基準は問題を解くまでの時間や方法、難問の場合は解くこと自体...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/15 14:21 UTC 版)「四畳半王国見聞録」の記事における「数学氏」の解説《大日本凡人會》に登場する。数学をこよ...