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