これはすごい!数学が使える人の問題解決法
- 作者: 柳谷晃
- 出版社/メーカー: 丸善
- 発売日: 2005/11
- メディア: 単行本
- クリック: 51回
- この商品を含むブログ (1件) を見る
図書館で見つけ,証明について書かれていたので読了. "背理法は「排除の原則」にもとづいているから現実の世界では使ってはいけない."という内容が書かれていて疑問に感じた. 現実の世界でも,真か偽か,が決まる主張はあるので,それらに対しては背理法は使っても良いと思うのだが.
図書館で見つけ,証明について書かれていたので読了. "背理法は「排除の原則」にもとづいているから現実の世界では使ってはいけない."という内容が書かれていて疑問に感じた. 現実の世界でも,真か偽か,が決まる主張はあるので,それらに対しては背理法は使っても良いと思うのだが.