• 締切済み

1+1 とは?  数とは何か?

bobの回答

  • bob
  • ベストアンサー率50% (52/103)
回答No.8

私も自己フォローしときます。 「異なるものを足す事はできない」の前に「一般の数学では」を追加しておきます。すぐ後に書いてあるように定義があれば異なるものでも足せます。 今回の質問の本質はあくまで「定義」に対する認識にあると思います。定義により「系」が構成され、その系の中では定義を前提に証明が許されます。矛盾のある系は定義に問題があるので定義とともに無用の物として一般には捨てられます。矛盾の見当たらない系のうち有用と思われるものが主に生き残り研究・活用されます。 重要な事として、その系の中でその系を構成する定義を証明する事はできません。kokirikoさんの疑問では1+1=2を集合論から導き出せるのでは、としている部分がこれに相当すると考えられます。 もしかすると、非ユークリッド幾何学の発見(発明)をキーワードに調べると良いヒントになるかも知れません。「ある直線L上にない点Aを通り直線Lに平行な直線は一本しかない」という常識的な事実を証明しようと人類は一生懸命がんばってきたのですが...てなお話(もちろん事実)です。

kokiriko
質問者

お礼

ふただび回答ありがとう御座います。 >定義により「系」が構成され あっそうですね。参考になります。 >非ユークリッド幾何学の発見 ユークリッド幾何学ですか?図形の計算くらいしか思いつかないけれど・・、すみません調べてみます。

関連するQ&A

  • 債務は譲渡できる?

    ウサギさんとタヌキさんとキリンさんがいます。 ウサギさんはタヌキさんに100万円貸していて返ってこず困ってます。 タヌキさんはキリンさんに50万貸していて、 この二人は仲が悪いです。 キリンさんはタヌキさんの事が嫌いだし、どうせ返すものだからと、ウサギさんが困ってるので変わりにウサギさんに50万円返すと言ってます。 ウサギさんは50万でも返ってきたら嬉しいのですが、 勝手に債務の移動をしていいのか?と困ってます。 ちなみにウサギさんはタヌキさんに借用書を書いてもらってなく、口約束です。 105万円貸していて5万は返ってきているので、タヌキさんもきちんと借りていると認識してます。 この場合、勝手に債務を移動してもいいのでしょうか? ウサギさんはタヌキさんに50万、キリンさんに50万貸していてる状態になりますが、キリンさんに対しての借用書になにか添え書きしたらいいのでしょうか?

  • 小学1年で立体的な絵を描くのは無理?

    いつもお世話になります。 小学1年の頃の絵について教えてください。 うまく説明できなくて申し訳ないですが。 例えばですが、家を斜めから見た所を描くとき、大人は奥行きを考えて 手前を大きく描くと思いますが、娘は真四角に描きます。 しかも斜めから見た所をかくのに、正面から見た所を書きます。 お盆の上に置いたコップとお皿と、その前に座った人横から見た所を 描く時、コップやお皿は座っている人から見えるであろう形に 描くのです。 うまく説明できないのですが、コップなどは画用紙に縦に書くところを 横に書くのです。人が右を向いていればコップは右に倒れているように、 左を向いていれば左に倒れているように書くのです。 ですので、4人がテーブルに各方向に向いて座ったところを描くと コップは4方向を向いているのです。 見たまま描いてと言っても描けません。 見たまま描くとどれもコップは上向きなのに、娘にとってはコップは 縦に書いていると言います。 幼稚園の頃は3輪車を横からと前から見た所や花瓶の花とか前にあるもの、 後ろにあるものとか解って描いていたように思うのですが、、、 小学1年の頃ってこんなものですか? ちなみに絵を描くのはすごく好きなので、よく描いてます。 鏡の前で歯を磨いているところ とかは後姿に鏡に映った顔とか うまく描けてるんです。

  • 「大学数学」という枠組みについて

    たとえば整数「論」は高校数学と大学数学にまたがった数学だと認識しています。一方、楕円関数「論」や位相幾何「学」やコホモ「ロジー」は大学数学の範疇でしょう。 たとえば望月新一氏の宇宙際タイヒミューラー理「論」は、当然まだ大学や院の講義やゼミでも教授対象として扱われていないはずで、ああいった教授対象としては扱われていない数学は他にもあるでしょうが、そういうものは大学数学に含まれるのでしょうか? 高校数学の話でいえば、教科書や傍用問題集には載っていないけど程度の高い参考書には載っている定理等も、基本的には高校数学に含まれますが、ロピタルの定理のような例外もありますよね。 同様に大学で扱っていないからといって大学数学ではないと一概に言えるわけでもないと思うのですが、大学数学か大学数学ですらないか(もっと高級な数学とみなされるか)は、もし大学数学より上位の数学範疇があるとすればですが、それらはどのような基準で区別されているのでしょうか?

  • 集合は概念であり実在ではないと考えて問題ない?

    数学では集合論の話になります。 たとえば、「犬の集合」は、犬と呼ばれる実在を集めたものだから、「犬の集合」の各元はそれぞれ実在ですが、実在を集めた集合(「犬の集合」)の方は、純粋に概念であり、実在ではない、と私は考えています。 この考えにどこか問題はありますでしょうか? つまり、犬という言葉が指し示す対象そのものは実在だが、集合とは概念であって、実在ではない。 ちなみに、ここで言う「実在」とは、人間の主観とは関係なく存在することです。 犬という言葉で指し示したい対象(あのワンと鳴く動物)それ自体は、人間の主観と関係なく存在しているから、実在です。 一方、その実在を集めた集合の方は、人間の主観と関係なく存在はしないので、実在ではないと認識しています。

  • 学問体系について(心理学)

    体系という言葉について、「個々別々のものが統一された全体」という認識を持っています。漠然とそのイメージを掴むことはできているのですが、これが学問における体系となると、よくわかりません。 たとえば数学における集合論は、数学の中の1体系として認識していいのでしょうか。もしそうなら、数学の中にはいくつもの体系を含んでいるということになるのでしょうか(代数とか幾何とか・・・)。 ここで本題に入りたいのですが、心理学は科学であり、科学であるということは体系的であるはずです。mistytree自身が大学で心理学を学んでいるのですが、その内容がELMモデルだとか系列位置効果だとかアダルトチルドレンだとか、その分野にきわめて特化した(悪くいえば瑣末な)内容が非常に多いです。具体的でわかりやすいのはいいのですが、心理学という学問全体を理解するにはいまいちです。 心理学は「行動や精神過程を研究する学問」だと思いますが、それなら心理学の体系は具体的にいったいどのようなものなのでしょう。 わかりにくい質問で申し訳ありませんが、回答可能な方、よろしくお願いします。

  • 関数解析の位置づけについて

    数学の分野に関数解析というものがあります。このテキストを開くと、集合、位相、空間論(ソボレフ、バナッハ、距離)などが書いてあります。私は1つ特徴的に思ったのですが、それらの本には不等式がいっぱい出てきます。関数解析とは数学的にどのような位置を占めているのでしょうか。素人から見て、実生活に役に立ちそうにない分野の数学(しかしそれは数学の発展とか深い理解に向けての分野なのだろうなという想像はできますが)があります。一方で代数、解析、微分方程式、ベクトル・テンソル解析などは実生活のフィーリングとぴったり合うというイメージがあります。整数論は役に立たないような感じでしたが、コンピュータによる高速演算により離散数学とか情報処理・暗号とかに関係するような感じがあります。確率・統計は実生活にぴったり寄り添うわけですね。確率微分方程式になると急に難しい様相になりますが。  この関数解析(空間論?)はどのように位置づけられているのでしょうか。あの不等式は何を言おうとしているのかという疑問が浮き上がってきます。私は、関数解析によってもたらされる効用は、”今、やっていることをそのまま安心して継続して下さい”ということなのだろうかと思いますが。あの不等式がそれを保証しますと。あるいは厳密解が求まらない方程式についてせめて解の存在とか解の存在する範囲ぐらいは示せるということなのでしょうか。  以上、私の認識を修正して頂ければありがたいと思います。よろしくお願いします。

  • 入試センター試験の数学I・数学Aの問題は不完全では

    2012:01:15に行われた、入試センター試験の数学I・数学Aの 第1問 (2)の問題は次の意味で不完全 不親切である。 現在は自然数というのは0を含めることも、含めないこともある。(数学白痴と言える広辞苑でさえこの認識はあるようだ。) 高等学校学習指導要領にそって出題されるとのことであるが、高等学校の指導要領には自然数という言葉はあるが定義はない。中学校には自然数の言葉は再々出てくるが(「整数とは0と正の整数を合わせたもの」という言葉はある(多分負の整数を導入するために入れた言葉か?)そのほか1より大きい自然数ということばはある。(素数導入の為) しかし自然数の定義はない。小学校では自然数と言う言葉はない。 通常大学に於いては実数論をするため集合論を使いその関係上0を自然数に含めることが多い。 高等学校でも集合論の導入するため、自然数に0を含めることはあるようだ。 さらに解答として選ぶ番号に0も入れている。(これは自然数に0を含めることもあるという認識があった事ではないか) 小学校からの指導要領を見る限り0を自然数に含めないという理由はみいだせなかった。 0を含めるか如何かによって解答は違ってくる。(解答を見る限り問題は自然数に0を含めていない) ならば、 なぜ0を含めない自然数と言うような断りを入れなかったのか?その理由を問う。 序に、同問題での[pの否定」は「pでない」であって、それと同値のものを要求するのは間違いである。 なぜ「pでない」と同じことを意味するものとしなかったのか これは問題の間違いである。 出題者達の無能力さが伺える。 昨年の問題も(対偶)間違っている。反論を待つ。

  • 校内でのケンカ

    高3の男ですが、きのう友達Nが食堂で2年生Kと口論になり、2年生にコップに入った水をかけられ、殴り合いになりました。NはKの顔を殴り、KはNの腹を殴りました。そこで僕が仲間2人と止めに入り終わりました。 しかし、そのKがひょんたれなので教師に報告し、病院に行き診断書をもらってきました。しかも、子供も子供なら親も親で、警察にまで言うというのです。診断書がある限り傷害罪にはなると聞いたことがあるのですが、この場合どうなるのでしょうか??またNは起訴されるのでしょうか??  知識のある方どうぞよろしくお願いします。僕は子供のケンカに出てくるような大人が大嫌いなのです。この親の思い通りになってしまうのでしょうか??

  • 質問が多すぎる生徒について。

    お世話になります。家庭教師をしています。 家庭教師はとても好きでさせてもらっています。教え方が上手かどうかは別として、授業時間以外でのサポートを色々としていて、(具体的には書きませんが)自分では、熱心にさせてもらっているのではないかと思っています。引っ越しなどで、複数の家庭教師会社にお世話になりましたが、実際に、複数の会社から、そう言われたことがよくあります。 今日は、一人の生徒さんのことで、質問があります。 中学生ですが、数学は、小学校の低学年の内容から理解できておらず、 普段は小学校のおさらいをじっくりとする時間がないので、長期休暇などに、無料で毎日その子のご自宅へ伺い、小学校の学習をサポートしたりしました。その頃は足し算もパッとできなかったので、足し算からしました。その無料の指導で、足し算、引き算、掛け算、割り算、分数の計算など、できるようになりました。 ですが、しばらくすると忘れてしまうようで、繰り下がりの引き算とか、割り算などは、今また出来なくなっています。 その生徒さんは、やる気はとても感じられるのですが、授業中に、やたらと「どう勉強したらよいのか分からない」と質問してきます。わたしは長期休暇のときに、ノートに勉強の仕方を時々書かせたりしていたのですが、それでも質問してきます。そして、二人で「こうしていこう」と決めるのですが、 次の授業のときには、「学校の先生に、こうやっていこうと思う、って言ったら、こう言われた。どうすればよいでしょう」などと、また質問してきます。そうして、ただでさえ、その生徒さんは、勉強を頑張らなければいけないのに、肝心の授業の時間が少なくなってしまうのです。 そのため善意で何度も、その授業をできなかった分を、延長しました。またその生徒さんからも、「明日小テストがあって、ここだけ教えてもらいたい」と授業が終わる頃に聞いてきたりして、延長となったことがたくさんあります。(延長分は頂いていません) 以前は、延長に関しては、あまり気にしていなかったのですが、今は小さな子供がいて、できれば、定時に帰りたいのです。他の生徒さんに延長してしまう時は、「早く帰りたいのに」などとは、今でも思わないのですが、その生徒さんの場合は、なんだか、とても無駄に延長している気がしてしまうのです。 以前、メールで「ここが分からない」と連絡をもらって、携帯の動画を使って、やり方を撮り、それを送ったことがありました。家庭教師を終えて、夜帰宅後のことでした。急いで子供を寝かしつけないと、という時でした。正直1時間くらいかかりました。それで、やり方がわかって、喜んでもらえれば、私も嬉しいので、そうしました。また、授業でも一緒にやって、できるようになりました。 それなのに、その生徒さんは、家庭教師会社の人に、その携帯で送ったところであり、授業で目の前で、できるようになったところを、「ここが分からない」と言ったのだそうです。 つい最近できるようになったのに、またまた忘れてしまったのか、それとも、私が目の前で出来ていたあれは、本当にあてずっぽうでやってたまたま当たっていたことなのか・・・。 一体、その生徒さんは、なぜ、会社の人にそう言ったのでしょう?未熟で申し訳ないのですが、その生徒さんの言動の意味が、分からないのです。 また、その生徒さんには何度も「授業中、もっと勉強に集中しよう」と言うのですが、「勉強をどうしていいかわからない」という質問をすることが、改善されません。時々ならば分かるのですが、毎回のように質問するのです。いったいどうしたら、それは改善されるでしょうか? 長文失礼しました。

  • スコーレムの定理の意味 論理式の表現の可能性

     以前、言葉尻の異なる同じような内容の質問をしております。ご容赦ください。    スコーレムの定理によりべき集合公理をもつ公理系にも可算モデルが存在する  無限体k上のベクトル空間の次元という概念は論理式では表現できない  ペアノ算術において自然数の非標準モデルが存在する  といったものから  モデル側の性質をすべて形式体系で書くことはできないということが結論されているのを見るのですが、自分としてはそのような形式体系で書くことができない性質があるということ、その性質について考えるとことが、なぜ記号を対象とした数学という分野でできるのかということが不思議なのです。  つまり(あくまで建前上ではですが)、イメージや心象を閉め出して形式的な文字列の変形、生成で議論できるはずの数学においては形式体系、公理系のモデルも結局何らかの形式的な文字列の変形、生成で定義される以外無いはずであって(モデルを決めるというのは形式体系側の記号や述語に、新しい記号や述語を対応させた新しい形式体系を実装として定めるということだと考えています) 例えば 実数の公理系の非可算のモデルの更なる可算モデルを考えると、そもそも非可算モデルとはなんだったのだろうか(何をもって非可算といっていたのだろうか もちろん元の体系内で、ある集合が可算無限の集合と1:1対応のつけられないということが証明できるということをもってなのでしょうが、しかしそれも体系の外に出てみると可算モデルになっていることがあるということならどこまで行っても本当に非可算かどうかを確かめることはできないのではないだろうか つまり何をもって非可算となすという基準が作れないように見え、それならば非可算というもの自体がどういうものかわからないのではないか なら最初の非可算モデルとはいったい何だったんだろうといったように) ベクトルの次元という概念も表現できる視点があって初めて、ある論理上では表現できないということが分かるのであってその表現できる視点というのも論理式の集合で書かれるしかないのではないか ならば次元という概念も論理式の集合で表現できることになるのでは 標準的な(N,0,1,+,・,<)のNも数学で考えるために論理式で定義されるものなら標準モデルだけを表す公理系があるのではないだろうか もしないならどうやって数学の議論の台に乗せるのだろうか などといった、おそらく擬似問題に悩んでしまうのです。  認識といってしまうといきなり怪しい話になってしまい恐縮ですが、「モデル側の性質をすべて形式体系で書くことはできない」ということは一見して数学の論理は、人間の心象、意味内容を全て認識することができないと受け取ってしまいそうになりますが、形式とモデルの関係はそのようなことをいっているのではなく、数学上の話である以上、体系間の関係のことをいっていると思うのですが正確にはどういうことを表しているのかわからないのです。 おおざっぱにいうと論理式で表せない性質があるということをいうためにはその性質を表すことが必要であり、数学においてはそれも論理式で書くことになると思うので、結局どういうことをしているのか混乱しているのです。  それとも最初に書いたようなことは人間側の推論と論理式での推論の関係(これは本当にイメージ心象と論理式の関係であって、想像上の集合、モデルと形式体系は1:1には対応しない)を、体系同士の関係で表した、まねさせたことから出てきた成果なので たとえば非可算かどうかを確認する絶対的基準なものがどこにあるかなどと言うことは意味をなさないのでしょうか。つまり実装(モデル)側で、ある論理式(可算性、非可算性に相当する)を証明できるものを可算モデル、非可算モデルという名前を付けているだけであって人間の使う非可算という意味とは(建前上は)関係がないということでしょうか。  もちろん例えば、自然数といわれればその意味するところはわかりますし、その自然数と同型でないモデルというのも色々なところで図などをつかって解説されている限り同型でないということや、どういうものかということは分かります、ただそれは明らかにイメージに頼ったものであって、厳密な意味での数学ではどうするのだろう(というか論旨式で表せないものを表すとは何だろう)と考え質問いたしました。 メタレベルと対象レベルを区別できてないが故の疑問だと感じているのですが、モデル(実装)にたいしても、その実装は?さらにその実装は?といっていくと結局非可算かどうかを区別できる視点などないのではないかということにならないのでしょうか? かなり初歩的な勘違いをしていると思いますが、この方面に明るい方、過去このような疑問を持たれた方、お時間ありましたら解答、解説お願いします