∑考=人

そして今日も考える。

2013-12-21から1日間の記事一覧

背理法を論破する理論を考えた

数学に背理法という証明手法があります。導き出すべき結論が成り立たないことを仮定すると矛盾が発生することから命題の正しさを証明する方法です。例えば、√2が無理数であることを証明するために、この背理法は使われます。矛盾しているならば間違っている…