No.1ベストアンサー
- 回答日時:
この回答への補足
すみません説明不足でした(汗)
私は教育学部で算数の講義を受けているのですが、まったくの文系人間でこの問いがどのような分野なのかもよくわからない状態です。一般的に1+1=2は定理なのでしょうか??
No.7
- 回答日時:
私は、2というのはほかに定義がされていて、その定義から、
1+1=2
が成り立つ、と考えます。
数理論理学においては、#5さんのように自然数を定義します。
公理(1) 0は自然数である。
公理(2) nが自然数ならば、s(n)は自然数である。
このような公理のもと、自然数1と2を
1 = s(0)
2 = s(s(0))
と定義します。実際に、上の公理から1と2が自然数であることがわかります。
あとは、算術(足し算など)の公理を設定した後に、
s(0) + s(0) = s(s(0))
であることが示せて、1と2の定義から
1+1=2
という定理が示せるわけです。
以下のURLにある講義資料も参考になるかもしれません。
ただし、かなり難しいです。
参考URL:http://www.i.kyoto-u.ac.jp/~ist/index.html
No.6
- 回答日時:
特に誰かが定めたと言うわけではないので、定義ではないのでは?
即ち、1+1=2を誰かが定義したとすると、1+2や1+3、、、1+100000などを全て定義しなくてはならず、定義と考えるのは無理があると思います。
もう大学時代の記憶なので詳しく覚えていませんが、
集合(離散数学?情報工学?)だったか論理学だったかの授業で、結合則とかという法則があった気がします。
このような法則をいくつか満たせば、加算とみなせたという記憶があります。
また、脱線しますが、定理とは、定義や法則や原理から導出された理論だったという記憶があります。
次に、公理ですが、これは定理寄りの理論であった気がします。加算が結合則などを満たしていることを考えると、公理と呼ぶのが妥当だと思います。
もう大学を卒業して長いため、記憶ですみません。
ただし、うろ覚えながら、合っているという確信もあります。
No.5
- 回答日時:
私も教育学部の学生です、ちなみに専攻は一応数学です。
♯1さんのURLにもあるペアノの公理系から自然数というものを捉えると、その和は次のように定義されます。
《定義》
自然数a,bに対し、(その和)a+bを次のように定める
(ⅰ) a+1=a'
(ⅱ) a+b'=(a+b)'
〈a'というのはaの後者(次にくる数)という意味〉
例(十進法を利用)
(1)3+1=3'(=4)
(2)3+2=3+1'
=(3+1)'
=(3')'
=4'
=5
このように和は定義されるので、1+1は
1+1=1'
=2
というのは公理ではなく定義だと考えるのが普通です。
ちなみにa'を「aの後者」と分かりにくい表現であらわすのは十進法以外でも自然数を捉えることができるようにするためです。
もし授業で自然数をペアノの公理系で捉えているのならば、上記が正解だと思います。ただ、自然数の定め方はもう1つ有名なものがあるので(♯3さんの立場です〉、その場合にはそれにあわせた和の定義が他にありますので何ともいえないです。
No.4
- 回答日時:
足し算「+」というのは、
二つのものに対して、ある一つのものを対応させるものです。
たとえば、1と2に対して3を対応させ、
1と3に対して4を対応させ、・・・というように。
1+1が2なのは、
足し算というものにおいて、
1と1という組には2を対応させると定義していたからです。
1+1が2なのは、
「足し算」の定義(の一部)です。
No.3
- 回答日時:
じゃぁ間違いや勘違いを含んでいるかも知れませんが
自分の考えを書きます
まず数について
0を定め、その後に続く数を1と呼び
1の後に続く、数を2と呼び
と言うように0と自然数を決めていきます
これは、あくまで、そう呼ぶという話で
始めに自然数を一,二,三,四,…と呼んでも問題はありません
次に等号(=)の公理系を決めます、具体的には
任意のxについて x=x
任意のx,yについて x=y ならば y=x
などです
次に二項演算(+)について公理系を決めます、具体的には
任意のxについて x+e=e+x=xなる元e(零元)が存在する
任意のa,b,cについて a+(b+c)=(a+b)+c
などです
以上の事を公理系として決めれば
それらの公理から
1+1=2
が導かれるのでは無いでしょうか
以上の事から、結局素人の考えですが
1+1=2
は公理から導かれる定理?
No.2
- 回答日時:
定義とは今後こういう考え方でやっていくというもの。
公理は常に成り立つ事。ととらえると、1+1=2は十進法(三進法以上)の考え方で二進法では1+1=10となるので常に成り立つわけではありません。こういう風に考えていくと言っているのです。だから定義ではないでしょうか?
すいません全然説得力無くて。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 大学・短大 (工学部)とある数学の講義(必修)を自主休講しようか悩んでいます 7 2022/11/19 21:21
- 物理学 大学で物理学を学んでいる人、大学で物理を学んでいた人へ質問です。 私は現在大学1年で、物理を学んでい 2 2022/10/03 20:00
- 社会学 社会学って何の役にも立たないから廃止するべきじゃないですか? 理由は税金の無駄遣いだからです。公的な 3 2023/07/29 13:29
- 大学受験 参考書の勉強法について質問なのですが、参考書を一通り終わらせて、二周目を行う際、問題だけ解けば良いで 2 2023/06/30 20:19
- 宗教学 宗教でフランスに見倣うべき点 1 2022/08/14 22:16
- 政治 参議院選挙では、どこの政党の候補者・政党に投票する予定でしょうか 4 2022/06/06 17:35
- 哲学 呪術的なメディアの実例とは何ですか?【哲学】 大学で哲学の講義を受けているのですが、 呪術的なメディ 5 2022/06/08 12:21
- その他(職業・資格) 第二種衛生管理者の過去問題で4月公表、10月公表というものがありますが試験問題は流用されますか? 1 2023/05/05 20:12
- 国家公務員・地方公務員 公務員試験の数的処理で苦戦しています。 1 2023/01/30 08:56
- その他(学校・勉強) 大学の大人数での対面講義を受けるとしんどくなります 対処法は? ある講義が1つの教室を借りて大人数で 2 2022/09/22 13:29
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
えっ!「来週」の使い方…
-
ACCESS VBAでインポート定義の場所
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
(-1) ^2πってなんで1じゃないん...
-
変数の宣言の名称を教えてくだ...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
論理に於る=と⇔の違い
-
\\mathrmと\\rmの違いについて...
-
ヘシアンが0の場合どうやって極...
-
e<3の証明を教えてください。
-
「互いに素」の定義…「1と2は互...
-
「logx^2=2logx」が間違って...
-
数学の解答を見て、ああなるほ...
-
√ ルート 定義
-
texのchapterの改ページについて
-
日本語 ことば ひとまわり ふた...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
「互いに素」の定義…「1と2は互...
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
0を0 乗すると答えは1ですか 考...
-
変数の宣言の名称を教えてくだ...
-
「logx^2=2logx」が間違って...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
なぜ、直角三角形ではないのにs...
-
ヘシアンが0の場合どうやって極...
-
マイナス7は素数ですか?
-
複雑な家庭とは
-
数字の1とは何なのか?
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
中年の定義を教えてくださいよ...
-
texのchapterの改ページについて
おすすめ情報