No.1ベストアンサー
- 回答日時:
定義。
これは人間が決めた基礎ルールのことです。従って定義を証明することは不可能ですし無意味です。例えば三角形。
定義は『同一直線上にない3点とその3点がそれぞれ結ぶ線分によってできる多角形』です。
Δ←こんな形を三角形と言いますよね?何故三角形というのか・・・理由はありません。強いて言うなら《最初の人がそう決めたから》です。(おそらく最初の人は3つの角があるからそう名づけたのでしょう)
○○理論や○○定理なんていうのは定義が定められたとき自然と成り立つものです。これは証明できます。というか証明されなければみとめられません。
これらが間違っていることがあるかも??答えは否です。
証明すること自体にも定義はあります。こうこうこのように説明できればその命題は真である。。。って感じです。その定義にのっとって証明されたものであればそれは数学界においては真なのです。
ただ、数学と科学では○○理論が偽であるときの扱いが違います。
数学では反例といって命題にそぐわない例がひとつでもあげられればそれは偽です。しかし科学界ではある理論に関する実験を行った際に理論とは異なる値が得られた場合でも『実験失敗』『別の作用がはたらいた』などといって理論が覆ることがないのです。
このへんに関しては書籍として
『99.9%は仮説でできている』 出版社・著者忘れました 文庫出てます
がおもしろい考察を加えています
あまり答えになってないような気もしますが。。。おわかり頂けましたか??
>定義。これは人間が決めた基礎ルールのことです。従って定義を証明することは不可能ですし無意味です。
この説明を聞いた納得できた気がします。
>『99.9%は仮説でできている』 出版社・著者忘れました 文庫出てますがおもしろい考察を加えています
本の紹介もありがとうございます。
検索してみたら概要を読んだらおもしろそうですね。
手に取ってみようと思います。
ご回答ありがとうございました。
No.3
- 回答日時:
こちら↓がご参考になるのでは?
http://oshiete1.goo.ne.jp/qa43691.html
「数学で証明されているから正しい」なんてセリフ、現実に聞いたことは一度もありません。多分、数学は現実とは関係ないからでしょう。
http://oshiete1.goo.ne.jp/qa133062.html
http://oshiete1.goo.ne.jp/qa31662.html
はたまたこんなのもあります。
http://oshiete1.goo.ne.jp/qa40454.html
No.2
- 回答日時:
私は数学基礎論の専門家ではないので、
厳密な説明ではない事をまず最初にお断りしておきます。
で、数学の体系は公理と推論規則を前提として成り立っています。
これらは前提ですから、証明されるされないといった類のものでは
ありません。法律における憲法、スポーツにおけるルールブック
のようなものとお考え下さい。
そして最初に設定された公理から、最初に設定された論理規則
を用いて導出される結論を定理と呼びます。
またこの導出過程が証明と呼ばれるものです。
数学において「定理が正しい」とは、
公理と推論規則から正しい手順で導出されるものである事を指します。
さらに、最初に設定した公理から導かれる定理が互いに矛盾しない
(即ち「Aである」と「Aでない」が公理から双方証明可能であることはない)とき、
その公理は無矛盾であるといいます。
公理が無矛盾であるならその公理は正しいものであるとするのが一つの考え方です。
(何をもって「正しい」とするかは哲学的な命題になりますので深入りしません。)
この様な路線の考え方で20世紀には数学の公理を適切に設定して、
数学の無矛盾性を証明する目論見が成されました。
これは数学は確固とした揺ぎ無い土台の上に立脚している事を
保証するための計画でした。
しかしこの計画は失敗しました。有名な(検索すればすぐ何万件もヒットするでしょう)ゲーデルの不完全性定理によって、
いかなる有限の公理を設定しようとも、それからその体系の無矛盾性
は証明できないという定理です。
(ではこの定理が前提とする公理は?という疑問もあるでしょうがそれも今は放置して進みます)
従って、公理から導かれる定理が互いに矛盾しないという保証は、
一つの公理に立脚する限り永遠に得られません。
ただこの場合も「公理から推論規則により導出されること」をもって
「正しい」と考えるなら、正しい言明というものは確かに存在する訳です。ただ「カラスは黒い」と「カラスは白い」が同時に「正しいこと」となってしまう危険性は残るというだけです。
つけ加えるなら、ある公理に新たな公理を付け加える事により、
最初の公理から導出される体系が無矛盾である事を証明する事は
可能です。ただし、この新たに公理が付け加わった体系が無矛盾
であることは言えません。それを証明するには更に公理を追加する
必要があります。
要するに有限の立場に立脚する限り、そこから導かれる体系が
矛盾をはらまないことは文字通り永遠に証明不可能です。
「正しい」と「無矛盾」の使い分けが少しややこしかったかも
しれませんが、だいたいこんな感じです。
>要するに有限の立場に立脚する限り、そこから導かれる体系が
矛盾をはらまないことは文字通り永遠に証明不可能です。
非常におもしろいお話を伺えました。
おしえていただいた言葉をキーワードにして自分でもいろいろと調べてみたくなりました。
ご回答ありがとうございます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の証明問題で、「証明終了」...
-
素数の性質
-
数学の「証明」のときなどの接...
-
幽霊が存在していないことを証...
-
ゴールドバッハ予想について考...
-
実息とは?
-
夫が亡くなった後の義理家族と...
-
ゴールドバッハ予想はナンセン...
-
親の再婚相手との問題です。私...
-
証明終了の記号。
-
無理数って二乗しても有理数に...
-
rot rotA=grad divA-∇^2Aの証明...
-
婿養子に入ったのに出て行けと...
-
一生彼女が出来ない証明
-
(4^n)-1が3の倍数であることの...
-
3,4,7,8を使って10を作る
-
図形の証明なので出てくる「対...
-
「証明証」と「証明書」はどう...
-
大学の給付型奨学金について 現...
-
正の整数a.b.cが a^2+b^2=c^2を...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報