- 848 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 11:56:15 ]
- ｘ＾ｙでｘのｙ乗を表すとして、
「（無理数）＾（無理数）＝（有理数）」
が成立するようなことがあるか、って問題の解答として、
「（ルート２）＾（ルート２）が有理数であればよし、そうでなければ無理数なので
（（ルート２）＾（ルート２））＾（ルート２）を考えれば
（（ルート２）＾（ルート２））＾（ルート２）＝（ルート２）＾２＝２
で、これが（無理数）＾（無理数）＝（有理数）の例となる。」
ってのは、やっぱり直観主義の人は証明になってないと思うわけ？
だとしたら、やっぱ直観主義ってついていけんな。
