- 数学系YouTuberについて語れ。
420 ：１３２人目の素数さん[]：2020/05/23(土) 06:15:52.79 ID:v17847IB - >>410
1+1=2の証明で、
「どのように自然数は形式化されていて、
それがちゃんと経験的に使用している自然数と一致してるか」
なんて期待されてないけどな
＞＋を二項演算としてしてるんだから、
＞それが自然数全体でwell-definedなのは、
＞必要に決まってんだろ
考えなしに脊髄反射してなくね？
|
- 数学系YouTuberについて語れ。
421 ：１３２人目の素数さん[]：2020/05/23(土) 06:40:56.32 ID:v17847IB - >>410は>>366か？
「群論を理解した人による別の説明」が
「どのように自然数は形式化されていて、
それがちゃんと経験的に使用している自然数と一致してるか」
なのか？（そもそも、自然数は加法で群を成してないが）
>>368の
「1＋1＝2というのは定義そのものでしょ。」
こそ明確な誤り
「自然数空間だけに問われた命題ではないし、より一般的な命題。
1という元と一つの演算が同一空間に閉じてさえいれば、成り立つ」
は何いってんだか全然分からん
>>372の
「単純にαという元が一つあって、演算・が一つあって、
そこから形成される空間（・で閉じられてる空間）上で、
α・αがαでないとする場合は名前をつけなければならなくて・・
というのが普通の理解だと思うんだけど。」
が>>368の説明のつもりだとして、
そもそもｅ・α＝αとなる単位元ｅがあるとすれば
言ってることは「・α」の適用回数（つまり自然数）に
還元できるから自然数論で考えるのは当然だが
（つまり自然数論より下の土台なんてない）
ついでにいうと、ヨビノリはペアノ数論といってたが
１＋１＝２だけのことから数学的帰納法は要らないから
ロビンソン算術でＯＫ
実際、彼が紹介した＋の定義はロビンソン算術でも定義だし
彼が示した証明もロビンソン算術のレベルだな
それが「間違い」だというなら、矛盾を示してくれ
|
- 数学系YouTuberについて語れ。
424 ：１３２人目の素数さん[sage]：2020/05/23(土) 08:23:12.01 ID:v17847IB - >>422
動画は見たけど、結局数学的帰納法は使ってないから
それならロビンソン算術で十分だと判断した
何が問題ある？ないよね
「漸化式」の定義は、ロビンソン算術だと公理だが、そこにこだわるのは無意味
＞漸化式で関数が定義出来ること、
＞つまり存在してそれが一意であることを示すのは、
＞必要でしょ
何のために？
理由なしに必要と思ったなら、考え無しに脊髄反射してる証拠
|
- 数学系YouTuberについて語れ。
426 ：１３２人目の素数さん[sage]：2020/05/23(土) 08:32:12.19 ID:v17847IB - ついでにいうと
s(x)=x+s(0)くらいなら、
ロビンソン算術でも云えるかな
x+s(0)
=s(x+0) 公理5
=s(x) 公理4
https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%93%E3%83%B3%E3%82%BD%E3%83%B3%E7%AE%97%E8%A1%93
|
- 数学系YouTuberについて語れ。
427 ：１３２人目の素数さん[sage]：2020/05/23(土) 08:33:59.06 ID:v17847IB - >>425
公理を紹介しただけ
+の定義なら、ロビンソン算術の公理と同じ
嘘だと思うなら >>426で貼ったリンク先、確認してみ
なんでロビンソン算術で発狂するかな？知らなかったから悔しいの？
その感情 馬鹿じゃね？
|
- 数学系YouTuberについて語れ。
428 ：１３２人目の素数さん[sage]：2020/05/23(土) 08:41:41.95 ID:v17847IB - どうせペアノ数論を持ち出すんなら
「任意の自然数xについて0+x=x」
の証明くらいやってほしい
それなら数学的帰納法使うから
|
- 数学系YouTuberについて語れ。
430 ：１３２人目の素数さん[sage]：2020/05/23(土) 08:46:50.26 ID:v17847IB - >>429
>well-definedであることを一応示した方がいい
だから、何で？
「公理だから」といってるわけではないよ
s0+s0=ss0の証明には一切関係ないよ、といってる
脊髄反射を指摘されてブチ切れるとか、君、三歳児？
|
- 数学系YouTuberについて語れ。
432 ：１３２人目の素数さん[sage]：2020/05/23(土) 08:58:22.62 ID:v17847IB - >>431
そこが重要だと思ってる時点で、ポイントずれてる
ヨビノリ氏がペアノの公理系しか知らなかったのは残念だが
要するにやってることはロビンソン算術レベルだから、
数学的帰納法とかぶっちゃけ全然必要なかった（証明で全然使ってないし）
|
- 数学系YouTuberについて語れ。
434 ：１３２人目の素数さん[sage]：2020/05/23(土) 09:03:01.69 ID:v17847IB - ま、数学科卒が唯一の自慢の「数学ピーポー」は、ヨビノリに対抗して
「工学科卒の馬鹿には一生分らない！これが正しい1+1=2の証明だ！」
っていう動画、顔出しでYoutubeに公開すれば？
|
- 数学系YouTuberについて語れ。
435 ：１３２人目の素数さん[sage]：2020/05/23(土) 09:04:16.60 ID:v17847IB - >>433
ツッコミかたが間違ってる
「ペアノの公理（数学的帰納法）、必要ねえだろ」
が正しいツッコミ
|
- 数学系YouTuberについて語れ。
437 ：１３２人目の素数さん[sage]：2020/05/23(土) 09:37:06.60 ID:v17847IB - >>436
そもそも、1+1=2の証明という題材を選んだ時点で数学的センスはない
どうせセンスがないなら、ロビンソン算術でよかった
要するに小学生がやるレベルのことを大袈裟にやってる
くだらないパフォーマンスができれば十分
加法の定義が、well-definedとかいうのはさらに大袈裟な話
1+1=2とかいうチンケな題材にふさわしくないので、
別に動画つくってあげてみせてくれ
ああ、顔がブサイクならマスクかぶってもいいぞ
別に数学ヲタクの顔が見たいわけではないではない
乃木坂の久保史緒里とか賀喜遥香くらい美少女なら話は別だが・・・
|
- 数学系YouTuberについて語れ。
440 ：１３２人目の素数さん[sage]：2020/05/23(土) 10:50:46.17 ID:v17847IB - >>439
一般人に受けるにはくだらないネタじゃないとダメなんだな
|
- 数学系YouTuberについて語れ。
447 ：１３２人目の素数さん[sage]：2020/05/23(土) 12:42:43.73 ID:v17847IB - >>446
＞-1∈N
これは●●い
|
- 数学系YouTuberについて語れ。
449 ：１３２人目の素数さん[sage]：2020/05/23(土) 15:14:44.03 ID:v17847IB - >>446
自然数（０以外）を乗法群に拡大する方法が間違ってるな
正しい方法は「正の分数を追加する」
乗法におけるａ（≠１）の逆元は１／ａ
しかし、ただ１／ａだけ追加しても群にならない
１／ａとｂの積ｂ／ａが入ってないから乗法で閉じない
閉じるためには正の分数全部を入れる必要がある
|
- 数学系YouTuberについて語れ。
450 ：１３２人目の素数さん[sage]：2020/05/23(土) 15:24:16.07 ID:v17847IB - >>449
ついでにいうと、自然数（モノイド）を加法群に拡大するには負の整数を入れる
加法の単位元は０で、加法における正の整数ｎの逆元は－ｎだから
|
- Inter-universal geometry と ABC予想 (応援スレ) 46
683 ：１３２人目の素数さん[sage]：2020/05/23(土) 15:43:23.01 ID:v17847IB - >>675-677 ま～だ わかってなかったのか
>>678-679 理解できずにコピペ 無駄だからやめとけって
>>680-682 IUTを盲信狂信 100％病気だな ミスターニッポン
|
- 数学系YouTuberについて語れ。
455 ：１３２人目の素数さん[sage]：2020/05/23(土) 16:27:17.31 ID:v17847IB - >>454
なんか全然わかってないっぽいなぁ
自然数全体における加法の単位元は１でなくて０だよ わかってる？
強いて言えば、１は加法によるモノイドの生成元
|
- 数学系YouTuberについて語れ。
456 ：１３２人目の素数さん[sage]：2020/05/23(土) 16:35:41.65 ID:v17847IB - >>452
2=0なら、標数２でもOKじゃないか？ｗ
|
- 数学系YouTuberについて語れ。
462 ：１３２人目の素数さん[sage]：2020/05/23(土) 17:24:55.17 ID:v17847IB - >>460 ネタということにして誤魔化そうとしてるだろ？
＞③乗法逆元の存在 m(-1)=1 i.e. m=-1 (∀m∈Z,∃-1∈Z)
正しくは以下
③乗法逆元の存在 m(1/m)=1 (∀m∈Z,∃1/ｍ∈Q)
つまり２の逆元は１／２、３の逆元は１／３、・・・
有理数だが整数じゃないな
|
- 数学系YouTuberについて語れ。
463 ：１３２人目の素数さん[sage]：2020/05/23(土) 17:27:32.78 ID:v17847IB - >>460
【既成事実】有理整数Zは「加法」群
①結合法則 a+(b+c)=(a+b)+c (∀a,b,c∈Z)
②単位元の存在 0+n=n+0=n (∃0∈Z,∀n∈Z)
③逆元の存在 m+(-ｍ)=0 (∀m∈Z,∃-ｍ∈Z)
|
- 数学系YouTuberについて語れ。
465 ：１３２人目の素数さん[sage]：2020/05/23(土) 17:46:49.12 ID:v17847IB - ところで、
生成元が１個のモノイドは可換だが、
生成元が２個のモノイドはもはや可換ではない
x+0=x
x+a(y)=a(x+y)
x+b(y)=b(x+y)
と定義する
a(0)+b(0)≠b(0)+a(0)
a(0)+b(0)
=b(a(0)+0)
=b(a(0))
b(0)+a(0)
=a(b(0)+0)
=a(b(0))
|
- 数学系YouTuberについて語れ。
467 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:04:20.85 ID:v17847IB - >>464
＞2の逆元や3の逆元を考える必要はない
これは●●い・・・
群の逆元の定義読んだか？
（逆元の存在）G の”どんな”元 g に対しても、g・x=x・g=1 となるような G の元 x が存在する
だから2でも3でも4でもなんでも、対応する逆元が存在しないとダメだぞ！
|
- 数学系YouTuberについて語れ。
471 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:15:10.33 ID:v17847IB - >>468
なにトンチンカンなこといってんだ？
写像 rev：G→G
すべてのg∈Gに対して、それぞれあるrev(g)∈Gが存在し
g・rev(g)＝rev(g)・ｇ=1となる
G＝Zのとき、上記の命題を満たす写像revが存在するか？
|
- 数学系YouTuberについて語れ。
472 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:20:02.10 ID:v17847IB - >>470
それ「任意」要らんじゃん
「f(x)=0となるx∈Xが存在する」
これだけ
|
- 数学系YouTuberについて語れ。
475 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:27:27.19 ID:v17847IB - >>473
全然違うぞｗ
じゃ、
rev(2)となる整数はいくつだ？
rev(3)となる整数はいくつだ？
さあ示せｗ
任意のm∈Zに対して
m・rev(m)=rev(m)・m=1
m・rev(m)=rev(m)・m=1
をみたすrev(m)∈Zが存在することを示せｗ
|
- 数学系YouTuberについて語れ。
477 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:31:19.04 ID:v17847IB - >>474
参考のためにa8RN5dFTの出身大学と学部を教えてくれるか？
もしかして・・・大学行ってない？
（今までの調査事例）
・大阪大学工学部卒で∈と⊂の意味が分ってない人がいた
・京都大学文学部卒でε－δのεの任意性が分かってない人がいた
はっきりいわせてもらうけど、君は上記の二人より症状が重い
|
- 数学系YouTuberについて語れ。
478 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:32:43.04 ID:v17847IB - >>476
>>477の質問に答えたら、今日は黙ってあげよう
|
- 数学系YouTuberについて語れ。
480 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:42:46.44 ID:v17847IB - >>479
じゃ、聞くけど、方程式2x=1を満たす”整数”xは？
あなたこそ数学諦めたほうがいい
論理が分からないあなたには絶対無理だから
|
- 数学系YouTuberについて語れ。
482 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:46:34.01 ID:v17847IB - もしかして・・・a8RN5dFTは、おっちゃん？
|
- 数学系YouTuberについて語れ。
485 ：１３２人目の素数さん[sage]：2020/05/23(土) 18:54:01.16 ID:v17847IB - >>483
そりゃ
「（逆元の存在）G の”どんな”元 g に対しても、
g・x=x・g=1 となるような G の元 x が存在する」
と書いてあるのに、２や３の乗法逆元を示さずして
Zは乗法群！とかいいだしたら馬鹿にされるでしょ 頭おかしいもん
こういう非論理的トンチンカン発言を真顔でいう人って
おっちゃん（理科大のわけのわからん学科卒）しか知らんのだが
違うなら出身大学・学部を教えてくれ
数学板トンデモリストのトップに書いとくから
|
- 数学系YouTuberについて語れ。
488 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:00:42.93 ID:v17847IB - >>486
a8RN5dFT 群の公理を否定・・・
ほんとあんたどこの大学の何学部を出たの？
理学部数学科でないことだけは分かるよ
だって群の公理も知らない上に否定するとか、ありえんもんｗ
群だっていうんだったら、群の公理満たさなくちゃダメでしょ
|
- 数学系YouTuberについて語れ。
489 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:02:42.04 ID:v17847IB - >>487
数学を馬鹿にしてるのは君
そして私はそんな不遜な君を馬鹿にしているｗ
で、どこの大学の何学部を出るとそんな不遜な態度がとれるの？
参考のために教えてくれたまえ
|
- 数学系YouTuberについて語れ。
492 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:08:14.50 ID:v17847IB - >>490
a8RN5dFT、ついに発●
君が
田島一郎
横田一郎
内田伏一
の本を理解できなかったのは、著者ではなく君の読解のせいだろう
君、国語の成績悪かっただろ
どこの大学の何学部だ？悪いけど旧帝大は無理そうだな・・・
|
- 数学系YouTuberについて語れ。
494 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:10:46.66 ID:v17847IB - >>491
何わけのわからん言い訳してるんだ？この馬鹿
Zが乗法群だといいきったのは君
２や３はZの要素
群の公理によれば、当然逆元がZの中に存在していなくてはならない
それが分からん、ということは
群の公理を全く知らんか、知ってたが文章が正しく読めなかったかのいずれか
君、ほんと大学どこ？学部どこ？
|
- 数学系YouTuberについて語れ。
501 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:35:50.96 ID:v17847IB - >>497
＞そりゃあZが体だっていうのなら
＞2や3の逆元を言わなきゃならんが
同じことだが？
もちろん、体でなくとも乗法群になってる場合はある
例えば非負の有理数全体Q+とか
ただし、この場合は加法で半群だから
Zは加法群だから、0以外で乗法群を成しているなら当然体になる
つまり君の主張は「Zは体である」といってるのと同じ
そんなこともわからんの？
マジでどこの大学？もしかして高卒？
|
- 数学系YouTuberについて語れ。
503 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:44:26.27 ID:v17847IB - >>502
＞体の定義はわかるか？
もちろん知っている
＞環
＞0を除いてすべての元が単元
＞だぞ？
そういう君は、単元の意味知ってるか？
逆元を持つ元のことだぞ？
だから２も３も逆元持ってないと駄目だぞ
つまり「非零元の全体が乗法に関して群を成す」と同じだぞ
|
- 数学系YouTuberについて語れ。
504 ：１３２人目の素数さん[sage]：2020/05/23(土) 19:45:39.84 ID:v17847IB - a8RN5dFTよ
乗法群の定義を書いてみろ
間違いをズバリ指摘してやる
|
- 数学系YouTuberについて語れ。
506 ：１３２人目の素数さん[sage]：2020/05/23(土) 20:38:49.63 ID:v17847IB - a8RN5dFTに捧ぐ
https://www.youtube.com/watch?v=KDM6OD24nhc
|