証明の難しさ
- 公開日
- 2008/06/29
- 更新日
- 2008/06/29
今日のひとこと
6/29 今日のひとこと
証明には、ある事柄が正しいことの証明と、間違いであることの証明がある。
数学では、間違いの証明はわりとやさしい。
ところが、正しいことの証明というのは難しい。
2x+4=10をとくとき、
2x=10−4
2x=6
x=3
となって正しく解いたとする。
このとき、上の解決過程が正しいという証明は、難しい。
x=3が正しいことは、はじめの式に代入して左辺が10になればよいが、解決のプロセスが正しいかどうかは、再度なぞるしかない。
[志水廣の公式ホームページ]