20/03/01 17:44:21 uoZ4nF/1.net
うーむよくわかりません
Wikipediaでペアノの記述を見て考えてみたのですが
＞1 は自然数
＞a が自然数なら a = a
＞a, b が自然数で a = b なら b = a
＞a, b, c が自然数で a = b, b = c なら a = c
＞a = b で b が自然数なら a は自然数
＞a が自然数なら a + 1 は自然数
＞a, b が自然数で a = b なら a + 1 = b + 1
＞a が自然数なら、a + 1 と 1 は等しくない
＞もし集合 K が、1 を含み かつ 自然数 x が K に含まれるなら x + 1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む
とあります
aを0として、0が自然数とするとペアノの記述の8番目をそのまま解釈したとき
a + 1 と 1 は等しくない＝０＋１と１は等しくない
ということになるのではないのですか？
集合論の文脈では0は自然数に入るのですよね？
998:１３２人目の素数さん
20/03/01 18:04:13.37 AMEBAP57.net
1から始めればゼロないアルネ
999:１３２人目の素数さん
20/03/01 18:04:27.46 +b9vIRVz.net
＞a, b が自然数で a = b なら b = a
この具体例は何だ？
1=1なら前段のa=aだよな
まさか1=2か？
1000:１３２人目の素数さん
20/03/01 19:58:45 i7iXTK9i.net
>>959
は？
同じモノを別の記号で表すことがあるんだが？
右辺の1がa
左辺の1がb
a=aとはaに対してa=aが成り立つということで
いっている意味がまるで違うんだが？？
1001:１３２人目の素数さん
20/03/01 20:19:44 +b9vIRVz.net
/: : : : : __: :/: : ::/: : :／/: : :/l::|: : :i: :l: : :ヽ: : :丶: : 丶ヾ ＿＿＿
/;,, : : : //::/: : 7l,;:≠-::/: : / .l::|: : :l: :|;,,;!: : :!l: : :i: : : :|: : ::､ ／ ヽ
/ヽヽ: ://: :!:,X~::|: /;,,;,/: :／ ﾘ!: ::/ﾉ l｀ヽl !: : |: : : :l: :l: ﾘ / そ そ お ＼
/: : ヽヾ/: : l/::l |／|||llllヾ,､ / |: :/ , -==､ l＼:::|: : : :|i: | / う う 前 |
. /: : : //ヾ ; :|!: ｲ､||ll|||||::|| ﾉノ ｲ|||||||ヾ､ |: ::|!: : ｲ: ::|/ な 思 が
/: : ://: : :ヽｿ::ヽl |{ i||ll"ﾝ ´ i| l|||l"l ｀|: /|: : /'!/l ん う
∠: : : ~: : : : : : : :丶ゝ-―- , ｰ=z_ｿ |/ ﾊﾒ;, :: ::|. だ ん
i|::ﾊ: : : : : : : : : : : ､ﾍﾍﾍﾍ ､ ﾍﾍﾍﾍﾍ /: : : : : ＼,|. ろ な
|!l |: : : : : : : : :､: ::＼ ､-―-, / : : :丶;,,;,:ミヽ う ら
丶: :ﾊ､lヽ: :ヽ: : ::＼__ ｀~ " /: : ﾄ; lヽ） ゝ
ﾚ ｀| ｀､l｀､＞=ﾆ´ , _´ : :} ｀ ／
,,､r"^~´"''''"t-｀r､ _ -､ ´ヽノ ＼ﾉ ／ お ・
,;'~ _r-- ､__ ~f､_>'､_ | で 前 ・
f~ ,;" ~"t___ ﾐ､ ^'t | は ん ・
," ,~ ヾ~'-､__ ﾐ_ξ丶 | な 中 ・
;' ,ｲ .. ヽ_ ヾ､0ヽ丶 l /
（ ;":: |: :: .. .｀, ヾ 丶 ! ＼＿＿＿＿／
;;;; :: 入:: :: :: l｀ｰ-､ ）l ヾ 丶
"~､ｿ:: :い:: : ＼_ ノ , ヾ 丶
1002:１３２人目の素数さん
20/03/01 20:21:51 +b9vIRVz.net
?1に対して
1003:1=1 ?1=2 ⇒ 2=1 ?1=2 ∧ 2=3 ⇒ 1=3 ( ´,_ゝ｀)ﾌﾟｯ ( ﾟдﾟ)､ﾍﾟｯ
1004:１３２人目の素数さん
20/03/01 20:23:10 +b9vIRVz.net
【文字式の大原則】
同じ数は同じ文字で
異なる数は異なる文字で表さなければならない( ｰ`дｰ´)ｷﾘｯ
1005:１３２人目の素数さん
20/03/01 20:27:59 +b9vIRVz.net
左辺の1と右辺の1は違う1ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
1006:１３２人目の素数さん
20/03/01 20:43:40 +b9vIRVz.net
たとえば底角が45度の二等辺三角形ABCの場合
∠A=90°
∠B=45°
∠C=45°
より
∠B=∠C
は成立する
しかし自然数は無理
というより自然数全体に同値関係を入れることが不能
1007:１３２人目の素数さん
20/03/01 21:53:31 DNeOtuYG.net
またスゴイのが来たな
いいぞもっとやれ
ちなみに 1=2 ⇒ 2=1 は真な
1008:１３２人目の素数さん
20/03/01 22:54:40 ave3tOVP.net
>>957
> 集合論の文脈では0は自然数に入るのですよね？
どのような定義を用いているかによってそんなのはいくらでも変わるし
そもそもペアノの記述はそこまで考えて作られたものではない
集合論の文脈では、0は絶対に自然数に入れなきゃいけないんだという
勝手な思い込みは捨てるべきで
あくまで入れることが多いという事に過ぎず、その時の定義がどのようなものであるかは
逐一確認しなければならない
1009:１３２人目の素数さん
20/03/01 23:11:58 xeWQMKVb.net
>>957
自然数を0から始めたい場合は
＞0 は自然数
＞a が自然数なら a = a
＞a, b が自然数で a = b なら b = a
＞a, b, c が自然数で a = b, b = c なら a = c
＞a = b で b が自然数なら a は自然数
＞a が自然数なら a +1 は自然数
＞a, b が自然数で a = b なら a +1 = b +1
*＞a が自然数なら、a +1 と 0 は等しくない
＞もし集合 K が、0 を含み かつ 自然数 x が K に含まれるなら x +1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む
とすれば問題ない
1010:１３２人目の素数さん
20/03/02 00:34:07 hWkBRJKb.net
>>962
>ID:+b9vIRVz
まさか???が間違ってるって思ってたりはしないよな？
1011:１３２人目の素数さん
20/03/02 01:39:03.02 aEZMWgER.net
実射影平面RP2が、3次元Euclid空間R3に埋め込めないのは、どのように証明すればよいのでしょうか？
i: RP2 → R3 （連続単射）
があったとして、これがホモロジー群に誘導する準同型を考えるのだと思いますが、何に矛盾させればよいのか分からないです。
1012:１３２人目の素数さん
20/03/02 13:37:56 bvZsWkf8.net
ホモロジーは中身の有無だからホモロジー群自体が違うんだろ
R3中のRP2に内部があるとしても無いとしても矛盾するんじゃね？
1013:１３２人目の素数さん
20/03/02 14:21:48 Pk1YPd8H.net
>>970
なんかシュティーフェルホイットニークラスとかいうのを利用してる証明は見つかるな。
URLﾘﾝｸ(math.stackexchange.com)
逆に言えばこれ以上簡単にしめすのは大変なのかも。
1014:１３２人目の素数さん
20/03/02 19:29:21 R3+/m+Zg.net
マジか
これ難しかったんだ……
読んでみる
ありがとう
1015:１３２人目の素数さん
20/03/02 23:09:20 MTRWCW99.net
ホモが路地に誘導してきた
どうする
?ホイホイついていく
?返り討ちにする
1016:１３２人目の素数さん
20/03/03 00:12:29 w+YRBy/I.net
ちょっと踏み込みが足りてないのが残念なのが玉に瑕だねえ。
1017:１３２人目の素数さん
20/03/03 00:41:29.57 gg9uoQuO.net
玉に瑕があっても無くても
男同士じゃ子供ができるわけではないので
気にせんでええよ
1018:１３２人目の素数さん
20/03/03 00:51:50.44 GrI1TwHC.net
次以降のスレについては>>945の通り
1019:１３２人目の素数さん
20/03/03 01:10:17.70 MZCiWX1q.net
もうそろそろ埋めてもよかんべ
1020:１３２人目の素数さん
20/03/03 12:40:07 4kSTQPAp.net
a=1のとき
a+a=2a
である
決してa=b=1
1021: a+b=2 ではない
1022:１３２人目の素数さん
20/03/03 14:16:21 2kihozSd.net
しょうもな
1023:１３２人目の素数さん
20/03/03 14:23:38 MZCiWX1q.net
異なる文字には異なる数字ってか
覆面算だったらそのルールだな
ＳＥＮＤ＋ＭＯＲＥ＝ＭＯＮＥＹ
1024:１３２人目の素数さん
20/03/03 18:52:19 lMTYe3uQ.net
鹿児島県では、未解決問題を解決した研究者を馬鹿にするCMが流されています
この国の人間の異常なメンタリティが現れているのではないのでしょうか？
1025:１３２人目の素数さん
20/03/03 18:53:43 lMTYe3uQ.net
CMを使って公人ではない無職の人間を馬鹿にしているのは世界広しといえどもこの国だけではないでしょうか？
そのモチベーションはどこから発生するんですか？
1026:１３２人目の素数さん
20/03/03 19:39:11.62 kScGeWtO.net
>>977
未解決の人は専用スレで
1027:１３２人目の素数さん
20/03/04 06:31:18 3AxDkYqV.net
>>978
端唄「埋めは咲いたか」
URLﾘﾝｸ(www.youtube.com) 01:56
URLﾘﾝｸ(www.youtube.com) 01:55
URLﾘﾝｸ(www.youtube.com) 01:53
URLﾘﾝｸ(www.youtube.com) 01:44
しょんがいな (しょうがねぇなぁ)
1028:１３２人目の素数さん
20/03/04 06:39:13 ek4lFeqJ.net
（ ・∀・）＜ サクラはまだかいな
1029:１３２人目の素数さん
20/03/19 06:59:35.11 a1uvWnRb.net
「専門家を騙すことは無理だ。」
という類の野次がガキの声で数日前に聞こえてきて、大変に腹だたしいので書いておきますが
私の証明は数学的に完全に正しいのであり、それをrejectしたのは何か他の要因による
ものか、単に論理が理解できなかったのかのどちらか？
こちらは、誰かを騙したり馬鹿にしたりという意図は全くない。
1030:１３２人目の素数さん
20/03/19 12:56:17 Mh9O8PwY.net
信用の差は大きい
1031:１３２人目の素数さん
20/03/19 13:02:36 a1uvWnRb.net
早稲田大学理工学部物理学科に合格最低点より40％上で合格しても信用はないのですか？
あまり放置していると、国の信用問題になると思いますが、この国と某国の
MSAの査読に誤りあったことは確実ですから
1032:１３２人目の素数さん
20/03/19 15:31:05 A/9CVeS/.net
確実www
1033:１３２人目の素数さん
20/03/21 05:22:45.62 a/9U1hEf.net
>>1 が 438 とすべきスレタイを 478 とtypoしたせいで出来たスレで、
将来を危ぶまれた時期もあったが、それなりに盛り上り、
2年4月かかって完了真近となった。
その間に本家スレは 458 の 3/4 ぐらいまで進んでいる。
1034:１３２人目の素数さん
20/03/21 14:10:33 05+22jPb.net
受験の成績に信用て
1035:◆pObFevaelafK
20/03/21 18:11:07 RwqUnmII.net
>>992
大学の学部や学科による信用ということもあるでしょう
1036:１３２人目の素数さん
20/03/22 12:56:19.71 LapwV+OE.net
大学が信用できるなんてバカだろ
1037:１３２人目の素数さん
20/03/22 16:59:12.21 P+0M8v8I.net
>>994
普通そうだろう
1038:１３２人目の素数さん
20/03/22 18:29:52 Z2Xm7yco.net
わざわざ○大卒を名乗る人間の言うことを信じてはならない
むしろその手合いは信用できる要素がまるでないからこそ出身大学を殊更に強調する
1039:１３２人目の素数さん
20/03/22 19:53:08 P+0M8v8I.net
>>996
それでは奇数の完全数スレッドにある日本語の論文を読んでみればいかがでしょうか？
1040:１３２人目の素数さん
20/03/22 20:26:03 fYa2zo9P.net
>>991
と云ってるうちに本家スレは 458 の √(3/4) ぐらいまで進んだが、内容は････だな。
1041:１３２人目の素数さん
20/03/22 21:37:31 Z2Xm7yco.net
>>997
あんなデタラメなもの読む価値はない
1042:１３２人目の素数さん
20/03/22 21:38:49 fL+0RiAN.net
1000
1043:1001
Over 1000 Thread .net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 848日 2時間 35分 5秒
1044:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています