- 締切済み
どんな数学の定理の証明もどんな言語でも書けますか?
- みんなの回答 (2)
- 専門家の回答
みんなの回答
- f272
- ベストアンサー率46% (8012/17124)
たいていの言語には,その証明を書くための用語がありません。ちゃんと用語を用意できている言語数はせいぜい10と言ったところです。それ以外の言語では外国語を使わなければ表現できないのです。
- neKo_quatre
- ベストアンサー率45% (715/1574)
未開の小数部族の言語とかだったら、対応する単語無いと思うけど。 数字の概念が無いとかって事は無いと思うけど。 英語とか他言語が入っていいなら、書けると思う。
関連するQ&A
- 関数型言語で定理証明プログラムって書けるんですか?
最近流行っている関数型言語と言うのは、定理証明プログラムを書くことができるのでしょうか? 何年か前に学会誌を取っていたことがあり、その中で ML という関数型言語で定理証明問題を扱っていたような記憶があります。 定理証明問題について勉強するのによい書籍やホームページなどありましたら教えてください。
- ベストアンサー
- その他(プログラミング・開発)
- 正規言語に対する繰り返し定理による証明
正規言語に対する繰り返し定理による証明 L={w|wは0と1を同じ個数含む}とする。 Lが正規言語でないことを、繰り返し定理を用いて証明せよ。 【繰り返し定理】 1.|y|>0 2.|xy|≦n 3.∀i≧0,xy^izはLの部分集合 言語Lが正規言語であると仮定すると、Lに対して繰り返し定理が成立する。 Lに属する語A=w(wは0と1をn個ずつ含む)をとると、|A|=2n≧nであるから、定理の条件を満たすようなAの分解A=xyzが存在する。 この後をどうすればよいのかが分かりません。 yが (0の個数)=(1の個数)のとき (0の個数)>(1の個数)のとき (0の個数)<(1の個数)のとき で場合分けをすればいいとは思うのですが・・・ どう矛盾を導きだせばいいのかが分かりません。 ご教授願います。
- 締切済み
- 数学・算数
- 数学の証明の順序について
数学であることを証明しようとしたとします。もしそれが成立したら定理Bということになります。定理Bが成立する証明を考えた結果、定理Aを使えば定理Bが証明できたとします。そこで一件落着ですが、定理Aが成立するということの証明の必要性は残されているわけです(そこまでは一般に求めないと思いますが)。 ところがよくよく調べてみたら定理Aの証明には定理Bが使われていたとしたらおかしなことになります。数学の定理はどちらが川上でどちらが川下かを判断して、使えるものを使わないとルール違反ということになるのでしょうか。常に使える定理は川上である、ということですが。そのような考え方になるのでしょうか。何を材料にして証明したら証明したことになるかということなのですが。 よろしくお願いします。
- 締切済み
- 数学・算数
- アルキメデスの定理の証明
大学の数学の問題です。 「アルキメデスの定理をワイエルシュトラスの定理を使って証明せよ。ただし、デデキンドの定理は使ってはならない。」 こんな問題でした。 デデキンドの定理を使う証明ならできるのですが、これはどうしたらいいのか分からなくて・・・ ワイエルシュトラスの定理を使おうとしても、どうしてもデデキンドの定理の話になってしまいます。 だれか分かる方がいたらよろしくお願いします。 ちなみにここで言うアルキメデスの定理とは「どんな実数xに対してもx<nとなるようなnが存在する」、ワイエルシュトラスの定理とは「有界な集合は上限、下限をもつ」ということです。
- ベストアンサー
- 数学・算数
- ピタゴラスの定理の逆の証明について
数学の授業でピタゴラスの定理を学び、なんとか理解できたのですが、ピタゴラスの定理の逆を証明しろと言われ、考えたのですが全くわかりませんでした・・・。定理の逆はどう求めればいいのでしょうか?よろしかったら教えてもらえないでしょうか。
- 締切済み
- 数学・算数
- 三平方の定理の証明
数学の課題で 「和算と西洋数学を比較し、その普遍性を述べよ」 という課題が出ました。 しかし、調べたのですが和算では算額などの問題は残っていても、公理論的な体系化したものがほとんど見当たりません。 わずかに建部賢弘が「三平方の定理」を証明したと言う記述です。 で、「三平方の定理」の証明を比較し、導かれる解から普遍性を述べようとしたのです。 しかし、学校の図書館では建部賢弘の証明自体が見当たりません。 ネットで検索しても同じです。 どなたか建部賢弘の「三平方の定理」の証明が載っている本をご存知でしたら教えてください。 また、期限が一週間しかない課題なので、テーマを満たすレポートの案があったら教えてください。 ど~かよろしくお願いします m(_ _)m
- ベストアンサー
- 数学・算数
- 数学ド素人ですが数学要項定理公式証明辞典
理科系で面白そうな本はいくらでもあるのですが、数学が出てくると全く意味が分かりません。数学ってパズルよりかは言語みたいなものというイメージに変わりました。学生時代は数学が・・・いや勉強が大嫌いだったわけですが、中年になってくると死ぬまでの間にはもう少し現世のことを知っとくかという意欲が出てきました。 正直なところ現在の数学力は、中学の問題がひねってなければなんとかなる(ただし復習して思い出したら)レベルだと思います。中学の参考書でも色々と思い出さねばついていけないようだし、高校になるともう何が書いてあるのかさっぱり分かりません。 そこで、全く何も知らないド素人が読むだけで数学の意味が分かるようになる本を探していたところ、『数学要項定理公式証明辞典』なるものをアマゾンで発見しました。これは「中学から大学教養程度までの数学の重要定理・公式を系統的かつ厳正に証明。重要用語や概念にはすべて定義・解説を施す。」などと書いてあります。そして中身のページが映っている小さい画像を見ると、字は小さいのですがなんとか読めまして、とても良い印象を受けました。 しかし、いかんせん1万円もしますし、断片的な部分しか見てないので、これをよく読めば数学が理解出来るようになれるか不安です。 というわけでこういった事情の私にこの本はお勧めでしょうか?
- ベストアンサー
- 哲学・倫理・宗教学