[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
384(4): 2021/10/19(火)23:10 ID:TByB8cjK(8/11) AAS
>>381 追加
外部ﾘﾝｸ:www.ms.u-tokyo.ac.jp
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
2010/11/6 「複素数の話」
外部ﾘﾝｸ[pdf]:www.ms.u-tokyo.ac.jp
代数学の基本定理 辻 雄（Takeshi TSUJI) 予稿集
2 歴史
現在のように代数学, 解析学，幾何学が発展していない状況で証明を試みているため，証明
に不完全な部分があるのは避けがたく，一方で現代の数学の視点で解釈しなおせば証明が成立
しているという面もあり，「誰が最初に証明したか？」という問いに答えるのは難しいようです．
省11
385(2): 2021/10/19(火)23:11 ID:TByB8cjK(9/11) AAS
>>383
基礎論廃人必死だな
おサルに言ってやれ
間違っている方の方を持つ時点で、お前はアホだよ
386(1): 2021/10/19(火)23:12 ID:TByB8cjK(10/11) AAS
>>385 誤変換訂正
間違っている方の方を持つ時点で、お前はアホだよ
↓
間違っている方の肩を持つ時点で、お前はアホだよ
387(2): 2021/10/19(火)23:23 ID:TByB8cjK(11/11) AAS
>>383
>定義もしないで禅問答wwwwwwww
亀おじさん
面白い発言しているじゃん（下記）
芸人やねｗｗｗ
吉本向きやねｗｗｗ
貴方の芸には
かないませんｗｗｗ
外部ﾘﾝｸ[html]:hissi.org
必死チェッカーもどき
省21
388(1): 2021/10/20(水)06:16 ID:lDXUEpp1(1/12) AAS
>>381
>ほいよ
それコピペｗ
>ガウスの最初の証明は幾何学的な前提として
>ジョルダン曲線定理が暗黙で使われており、
>後年の観点からは不備がある
それだけ？
君、証明１つも読んでないでしょ？
それじゃ数学は無理 諦めな
>>382
省20
389(5): 2021/10/20(水)06:21 ID:lDXUEpp1(2/12) AAS
>>384
>「ガウスの第２証明は今日の規準でも?完全に正しい」そうです．
そうですｗ
君、第２証明全く読まずに（つまり理解せずに）書いてるだろ？
それじゃ意味ないよ
第２証明は、根本的には実閉体にｉを添加すれば代数的閉体になる、というもの
ここで最も重要なのは、実閉体の条件を明確に提示すること
素人はそこが分かってないから、数学の証明が読めずに落ちこぼれる
>>385
数学落ちこぼれは数学板から去りな
省6
390(1): 2021/10/20(水)06:27 ID:lDXUEpp1(3/12) AAS
代数学の基本定理に関する逆数学の話でもしとくか
代数学の基本定理は逆数学の一番弱い体系RCA0でも定理
RCA0では中間値の定理が成り立つ
一方、ジョルダンの閉曲線定理は
逆数学で二番目に弱い体系WKL0でやっと成り立つ
つまり、代数学の基本定理より強い命題
391(4): 2021/10/20(水)07:46 ID:4aBYi/IV(1/6) AAS
>>390
逆数学の話ありがとう
>>389
(引用開始)
>「ガウスの第２証明は今日の規準でも?完全に正しい」そうです．
そうですｗ
君、第２証明全く読まずに（つまり理解せずに）書いてるだろ？
それじゃ意味ないよ
第２証明は、根本的には実閉体にｉを添加すれば代数的閉体になる、というもの
ここで最も重要なのは、実閉体の条件を明確に提示すること
省19
392(1): 2021/10/20(水)07:46 ID:4aBYi/IV(2/6) AAS
>>391
つづき
(参考)
外部ﾘﾝｸ:kotobank.jp
コトバンク
ブリタニカ国際大百科事典 小項目事典「代数的閉体」の解説
体 K の元を係数にもつ任意の代数方程式 f(x)＝a0xn＋a1xn-1＋…＋an-1x＋an＝0 が，その次数に等しい n 個の根をもち，それらがすべて K に属するとき，このような体 K を代数的閉体という。また f(x)＝0 が K に属する n 個の根をもつということは，f(x) が K において1次因数に完全に分解されるということであるから，体 K の元を係数にもつあらゆる多項式 f(x) が K において1次因数に分解されるとき，K を代数的閉体ということもできる。任意の体 K' は常に代数的閉体 K にまで拡大できるが，このことは E.シュタイニッツ (1871〜1928) によって示された。たとえば，有理数体や実数体は代数的閉体でないが，それらの拡大体である複素数体は代数的閉体である。
(引用終り)
以上
393(2): 2021/10/20(水)07:48 ID:4aBYi/IV(3/6) AAS
>>388
サルが、またワケワカ書いている
恥の上塗りだよ
それが分からないんだｗｗｗ
394(2): 2021/10/20(水)11:56 ID:sNR0iu2c(1/5) AAS
>>387
>殿馬ズラ
これ定義がないから、分からなかったなｗｗｗ
殿馬ズラ→”トンマ ヅラ(面)”
ってことかい？
漫画『ドカベン』か？ 懐かしいが古語かな
トンマ も、最近は聞かないね。殿馬自身、私の記憶にないがｗ
外部ﾘﾝｸ:dictionary.goo.ne.jp
とん‐ま【頓馬】 の解説 goo
［名・形動］間が抜けていること。また、そのさまや、その人。「頓馬をしでかす」「頓馬な奴」
省19
395(5): 2021/10/20(水)13:19 ID:lDXUEpp1(4/12) AAS
>>391
>>>「ガウスの第２証明は今日の規準でも?完全に正しい」そうです．
>>君、第２証明全く読まずに（つまり理解せずに）書いてるだろ？
>第２証明見てないよ。
まず見ろよｗ
>>>そうですｗ
>「そうですｗ」って、
>”そうです”は、東大 辻雄先生のPDFから そのままだぜｗｗ
>辻雄先生を疑うなら、あんたが第２証明見なよｗ
いや、宗教じゃなくて学問なんだから
省26
396: 2021/10/20(水)13:20 ID:lDXUEpp1(5/12) AAS
P.S.
>>391
>そもそも”体”が意識されたのは、
>歴史的にはシュタイニッツからじゃね？
>>392
>任意の体 K' は常に代数的閉体 K にまで拡大できるが，
>このことは E.シュタイニッツ (1871〜1928) によって示された。
なにトンチンカンな反応してんだ？このド素人ｗ
397(1): 2021/10/20(水)13:20 ID:lDXUEpp1(6/12) AAS
>>393
4aBYi/IV 反論不能で惨敗ｗ
「無限重シングルトン」…{}…の最大の問題は
任意の有限重シングルトンに対し
{…{}…}＜…{}…
を証明する方法がないこと
4aBYi/IVは＜を定義してないんだから当然だけどなｗ
なんでもかんでも、「教師」が教えてくれる
と思って生きてるから、🐎🦌になっちゃうんだよ
398(4): 2021/10/20(水)13:22 ID:lDXUEpp1(7/12) AAS
>>398
🐎🦌が職場で仕事もせずに発狂
こりゃ日本終わったな・・・OTL
399(1): 2021/10/20(水)13:23 ID:lDXUEpp1(8/12) AAS
>>398→>>394
400(4): 2021/10/20(水)13:43 ID:sNR0iu2c(2/5) AAS
>>399
＞>>398→394
君、間違いばっかじゃん
落ち着けない人には、数学は絶対無理
（これ だれの言葉だい？ｗ >>389ｗｗ）
>>398
>歷が職場で仕事もせずに発狂
ええんよ
気楽な職場だからｗ
>>397
省14
401: 2021/10/20(水)13:55 ID:sNR0iu2c(3/5) AAS
>>394
＞>殿馬ズラ
仮に、この殿馬が『ドカベン』からとして、アニメを 1978年に10歳で見ていたとすると
2021年時点で、52〜53歳という推定になるな
亀おじさん、50歳前後、多分50超えだろう
参考
外部ﾘﾝｸ:ja.wikipedia.org
『ドカベン』は、水島新司の日本の野球漫画、およびそれを原作としたアニメ・映画・ゲーム作品。『週刊少年チャンピオン』（秋田書店）にて、1972年から1981年まで連載された。
テレビアニメ
テレビアニメ版は1976年10月6日から1979年12月26日にフジテレビ系列で放送された。のちにCS放送フジテレビ739で再放送された。全163話。
402(1): 2021/10/20(水)14:04 ID:lDXUEpp1(9/12) AAS
>>400
>ええんよ 気楽な職場だからｗ
不要なブルシットジョブですなｗｗｗ
>明らかに、テメェーも読んでないじゃんｗ、アホｗｗ
いや、君一匹が読めてないｗ
数学に全く興味ない変質者は数学板に書きこまなくていいよ
403: 2021/10/20(水)14:06 ID:lDXUEpp1(10/12) AAS
ブルシット・ジョブ
外部ﾘﾝｸ:ja.wikipedia.org
404(1): 2021/10/20(水)14:49 ID:lDXUEpp1(11/12) AAS
4aBYi/IV=sNR0iu2cは
A．0から始まりωで終わる
B．●＜ωとなる●が存在する
C．無限長
の３条件を満たす列が構成できず、悶え死にました
御愁傷様(-||-)
405(3): 2021/10/20(水)15:51 ID:sNR0iu2c(4/5) AAS
>>402
>>明らかに、テメェーも読んでないじゃんｗ、アホｗｗ
>いや、君一匹が読めてないｗ
話は逆
おサル、あんたが「ガウスの第２証明」を読んだ証をしめせよ、おい>>400 ｗｗｗ
出せないよねｗｗｗ
>>404
アホがｗ
おサルさ
珍説1（>>354より）
省13
406(1): 2021/10/20(水)16:03 ID:sNR0iu2c(5/5) AAS
>>398
>歷が職場で仕事もせずに発狂
>こりゃ日本終わったな・・・OTL
なんでもかんでも
とにかく、
日本憎しか？ （俺の仕事に関連して「日本終わった」？ そんなわけ、ないよねｗ）
あんた「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>6
という構図なんでしょｗ なんでもねｗ
望月IUTについても
省2
407(2): 2021/10/20(水)19:05 ID:lDXUEpp1(12/12) AAS
>>405
>あんたが･･･読んだ証をしめせよ
こいつがこういうキレ方した時は何も中身無い時だから切り捨てｗ
>>「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
>>「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
>>両立する
>あんたの珍説な
>いくら屁理屈こね回しても言い繕っても、
>ダメ命題はダメなんだよっ！
アハハ、何も言い返せずに怒り狂ってる こいつ脳ミソないのかｗ
省13
408(2): 2021/10/20(水)21:54 ID:4aBYi/IV(4/6) AAS
>>407
ほんと、おサルは"屁理屈王"のサイコパスだねｗｗ>>5-6
>>あんたが･･･読んだ証をしめせよ
>こいつがこういうキレ方した時は何も中身無い時だから切り捨てｗ
はいはい
あんたが「ガウスの第２証明」を読んだ証>>405は、出せないってことを自白したわけだ
よしよし
なんだ、泣くなよ、サル。鼻を拭けよｗｗ
>アハハ、何も言い返せずに怒り狂ってる こいつ脳ミソないのかｗ
>「<ω」と書いてしまったら「<」の左に項を書かざるを得なくなる
省7
409: 2021/10/20(水)21:58 ID:4aBYi/IV(5/6) AAS
>>408 補正
「定義！。 定義！。問答だぁ〜！」なんて、喚きそうじゃんかｗｗ
↓
「定義！。 定義！。禅問答だぁ〜！」なんて、喚きそうじゃんかｗｗ
注）禅問答は、アホの基礎論廃人の決めぜりふなのだ>>383ｗｗｗ
410: 2021/10/20(水)22:00 ID:4aBYi/IV(6/6) AAS
おーい、アホの基礎論廃人、そろそろ出てこい
あんたの今日の5ｃｈでの廃人振りを、必死チェッカーもどきで暴いて、
晒してやるからさｗｗ
411(1): 2021/10/21(木)00:09 ID:39+mj7Dc(1) AAS
殿間ズラ？何だよセタ某はズラだったのか？さぞかし岩城にからかわれたことだろう
412(1): 2021/10/21(木)05:21 ID:lmeg65F5(1/9) AAS
>>408
>あんたが･･･読んだ証は、出せないってことを自白したわけだ
↑って、精神病者が自分が精神病だと自覚できないのと同じか
>>「<ω」と書いてしまったら「<」の左に項を書かざるを得なくなる
>>どんな自然数ｎを書いても「0<･･･<n」は有限列
>引っかからないよ、そんな手には
君、セリフ間違ってるよ
「反論できないよ、そんな完璧な指摘には」
が君のセリフ
さ、いってごらん 万年3歳児のボク
省10
413: 2021/10/21(木)07:35 ID:oilXZ29l(1/2) AAS
>>411
おはよー
さて、ID:39+mj7Dcの正体は？
「完全に正しいと言いながらエンドレスゴールポストムーヴァーな高木」
から、基礎論廃人さんかね？ｗｗ
今日一日が終わることには、判明するだろうねｗ
外部ﾘﾝｸ[html]:hissi.org
必死チェッカーもどき
数学 > 2021年10月21日 > 39+mj7Dc
書き込みレス一覧
省6
414(1): 2021/10/21(木)07:43 ID:oilXZ29l(2/2) AAS
>>412
>>412
>>あんたが･･･読んだ証は、出せないってことを自白したわけだ
>↑って、精神病者が自分が精神病だと自覚できないのと同じか
おサルの主張は、>>395より
(引用開始)
>>>「ガウスの第２証明は今日の規準でも?完全に正しい」そうです．
>>君、第２証明全く読まずに（つまり理解せずに）書いてるだろ？
>第２証明見てないよ。
まず見ろよｗ
省12
415(2): 2021/10/21(木)11:16 ID:V7DRyqs3(1/7) AAS
IVAN FESENKO 先生のホームページ 外観がリニューアルされた
写真が、明るい笑顔になっているｗ
関連で、Como School “Unifying themes in Geometry”
Laurent Lafforgue (Huawei)とあるので、検索すると下記
中国ハイテクの会社 Huaweiね。” focused on topos theory ”か。そういう時代ってことですかねｗ
外部ﾘﾝｸ:ivanfesenko.org
IVAN FESENKO
画像ﾘﾝｸ[jpg]:i1.wp.com
外部ﾘﾝｸ:ivanfesenko.org
IVAN FESENKO
省6
416: 2021/10/21(木)11:17 ID:V7DRyqs3(2/7) AAS
>>415
つづき
外部ﾘﾝｸ:www.ihes.fr
ihes
1 SEPTEMBER 2021
Laurent Lafforgue joins Huawei Technologies France
画像ﾘﾝｸ[jpg]:www.ihes.fr
In recent years, his work on topos theory has led him to develop a collaboration with the research teams of Huawei Technologies France. Discussions between Laurent Lafforgue and Huawei researchers, which begun in 2017, first led to a two-year project, focused on topos theory and funded by Huawei, and then, in 2019, to the creation of the Huawei Chair in algebraic geometry at IHES, of which Professor Lafforgue was the first holder.
As of September 1, 2021, Laurent Lafforgue will join Huawei Technologies France to continue this work further in conjunction with the company’s research teams with whom he has worked so far.
IHES’ relationship with Huawei Technologies France will continue to develop, particularly within the framework of the Huawei Young Talents program, launched in the fall of 2020. Every year, this ten-year program funds on average 7 postdoctoral fellowships awarded by the Institute’s Scientific Council, thus supporting the work of researchers at the beginning of their careers.
省7
417(3): 2021/10/21(木)11:50 ID:V7DRyqs3(3/7) AAS
>>415
>中国ハイテクの会社 Huaweiね。” focused on topos theory ”か。そういう時代ってことですかねｗ
基礎論廃人が、出没するので、ちょっとゴミ雑談を書いておく
topos（トポス）と聞くと、竹内先生の古典「層 圏 トポス」を思い出す
トポスは、圏論の一種なのだが
ところで、下記 「数学基礎論が衰退したのは何故か？理由を考察」がある
（数理論理学（数学基礎論）スレ その14 2chｽﾚ:math で知った）
実際、日本でも、数学基礎論の講座がある大学は少なく、神戸大の渕野先生なども、情報系の学科に属していた（下記）
で、圏論が、基礎論の内側か外側か？
素人の私には分からない。でも、基礎論屋さんは「圏論も広義の基礎論内だ」というだろうし
省21
418(2): 2021/10/21(木)12:07 ID:ZNry6gJA(1) AAS
定義もできない人間圏論を語るwwwwwwwww
419(1): 2021/10/21(木)15:58 ID:V7DRyqs3(4/7) AAS
>>418
基礎論廃人の亀おじさんかな？
レス ありがとうございます
420(2): 2021/10/21(木)16:03 ID:lmeg65F5(2/9) AAS
>>414
>おサル自身が、”ガウスの第２証明”を読まずして、
>それを論じていたってことだよね
君、やっと自分が人間失格の🐒だとみとめたんだね
>>395
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
「F 上の適当な順序付けが存在して F は順序体となり、
かつその順序に関する意味で F 上の次数 ≥ 0 なる任意の多項式に対して
中間値の定理が満足される。」
省15
421(3): 2021/10/21(木)16:03 ID:V7DRyqs3(5/7) AAS
>>417
>「定義！ 定義！」で、ブイブイ従来の基礎論的観点を押し付ける基礎論廃人は
>なんだか、ちょっと時代錯誤の気がするわけですｗ
（上記 渕野先生最終講義 2020/12/03 これ結構参考になる 動画ﾘﾝｸ[YouTube] ）
＜誤解されると困るので、先回りして、言い訳補足を書いておきます＞
１．定義の重要性を軽視するわけではありません
２．でも、先にガウスについて書いたように
ガウスの数学研究当時は、ペアノの公理は無かったわけで、自然数の数学的な定義は無かった
同様に、カントールやデデキントのような、実数の定義も無かった
でも、ガウスは困らなかった
省21
422: 2021/10/21(木)16:16 ID:lmeg65F5(3/9) AAS
>>417
>ちょっとゴミ雑談を書いておく
ゴミ書くなよ
>topos（トポス）と聞くと、
>竹内先生の古典「層 圏 トポス」を思い出す
数学書のタイトルだけは全部覚えたんだね
えらいえらい、古本屋さんになれるよ
>トポスは、圏論の一種なのだが
あるぇー？トポスは圏の一種じゃない？
理論ではなく概念の名前だよ 知らないの？
省20
423: 2021/10/21(木)16:23 ID:lmeg65F5(4/9) AAS
>>421
>「定義！ 定義！」で、ブイブイ従来の基礎論的観点を押し付ける基礎論廃人
なんで定義から脊髄反射で基礎論が出てくるのかわからん
群やら環やら体やらの定義なしに代数ができるのかい？どうやって？
>なんだか、ちょっと時代錯誤の気がするわけです
君こそ「定義によらない数学」とか
１８世紀の人みたいなこといってる時点で
ぜんぜん時代錯誤だけどな
さて、本題
>定義の重要性を軽視するわけではありません
省7
424: 2021/10/21(木)16:34 ID:lmeg65F5(5/9) AAS
>>421
>ある公理体系の中で、可算無限の自然数を定義しようとするならば
>何らかの無限公理を必要とする。その無限公理は、公理体系の美しさを壊さないように
>言い換えれば、簡素さや透明性、無矛盾の証明の容易さなどを、たもつようにするべし
「可算無限の自然数」って何？
自然数はみな有限ですが 御存知ない？
🐎🦌にもわかるようにいえば
いかなる自然数ｎについても、ｎ個の要素を持つ集合は有限集合ですが、
まさか
「ｍ個の要素を持つ集合＝可算無限集合
省28
425(3): 2021/10/21(木)16:41 ID:V7DRyqs3(6/7) AAS
>>420
サイコパスのおサルは、ほんと、”ディベート頭”で
必死に人に背乗り（せのり＝マウント）したがるねｗ
だから、数学科で落ちこぼれるんだ
”ディベート”については、下記ご参照
”ディベート”は
１．相手の言い分は、絶対に認めない。認めたら負け
２．必死に反論する。ルールに範囲でね。数学では詭弁でも、ディベートなら許される弁論もある
３．一見相手との討論だが、実は訴える相手は、最後に評価を下す第三者（審判であり、裁判なら陪審員たち）
一方、数学の議論は、
省24
426(1): 2021/10/21(木)16:41 ID:V7DRyqs3(7/7) AAS
>>425
つづき
で、>>420 より
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
「F 上の適当な順序付けが存在して F は順序体となり、
かつその順序に関する意味で F 上の次数 ≥ 0 なる任意の多項式に対して
中間値の定理が満足される。」
結局 実係数の方程式に限定してよいと示した上で
・奇数次の場合には、中間値の定理により、解が存在する
省21
427(1): 2021/10/21(木)16:44 ID:lmeg65F5(6/9) AAS
>>421
>…公理系から、従来の数学研究が全て包含されるようにしたい
>その一つがZFC
>だから、数学史の示すところ、
>ZFC等の素晴らしい公理体系と、自然数＆実数概念とその定義の順は
>自然数＆実数概念→ZFC等公理体系→その定義(従来の数学の体系が成立つように)
>でしかないのです
なんか全然トンチンカンなこと書いてるよ
自然数論⊂実数論⊂集合論（ＺＦＣ）
というのは理論の包含関係でいえばその通りだけどね
省23
428(1): 2021/10/21(木)16:52 ID:lmeg65F5(7/9) AAS
>>425
>サイコパスのおサルは、ほんと、”ディベート頭”で
>必死に人に背乗り（せのり＝マウント）したがるね
サイコパスのお🐒＝V7DRyqs3 でしょ？その通りだよ
なにをいまさら いまごろきづいた？
ま、きづいただけえらいけどさｗ
>だから、数学科で落ちこぼれるんだ
いや、君、工学部卒じゃなかったっけ？
いつ数学科に入ったの？ｗ
ま、でも一般教養の数学で落ちこぼれたんなら、同じことだけどね
省14
429(1): 2021/10/21(木)16:57 ID:lmeg65F5(8/9) AAS
>>426
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
「F 上の適当な順序付けが存在して F は順序体となり、
かつその順序に関する意味で F 上の次数 ≥ 0 なる任意の多項式に対して
中間値の定理が満足される。」
結局 実係数の方程式に限定してよいと示した上で
・奇数次の場合には、中間値の定理により、解が存在する
・偶数次の場合には、実係数の２次の方程式が複素数解を持つことに帰着される
という方法で証明してるから
省17
430(1): 2021/10/21(木)16:59 ID:lmeg65F5(9/9) AAS
P.S.
＞BURNING MIND バーニングマインド
メタルだねえｗ
君のことを今度からこう呼んであげるよ
Burning Monkey （燃える🐒）
431(1): 2021/10/22(金)00:05 ID:9MOZfxoS(1/8) AAS
>>425 補足
おサルさん、自分の錯覚を誤魔化そうとして
どんどん、論点ずらしをするんだ
ガウスの第２証明の話も似た経緯です
1．そもそもは、辻 雄先生（東大）の
”「ガウスの第２証明は-今日の規準でも-完全に正しい」そうです．”
に対して
なにか勘違いして、>>389より
”>「ガウスの第２証明は今日の規準でも?完全に正しい」そうです．
そうですｗ
省18
432(2): 2021/10/22(金)00:11 ID:9MOZfxoS(2/8) AAS
>>427-430
おサル あんたは、ほんとロジックで一貫して筋を通す議論が苦手で、出来ない性格だね
つーか、統合失調症の薬飲んでいるんだろ？
元々は、基礎論廃人の「定義〜！ 定義〜！」に対して
「ガウスにように始めよ」というヴェイユの言葉を、紹介したのです>>367
果たして、ガウスの数学は定義ありきだったのだろうか？
というのが、一つの論点（数学基礎論の無い時代だから、今のようなZFCのような定義はないよ、当然でしょ！）
もう一つは、数学は、アイデア（数学概念）が先か、（数学的な厳密な）定義が先か
それは、あたかも、卵が先かニワトリが先かの如くの話です
そこから派生して、おサルがガウス関連で
省11
433(1): 2021/10/22(金)00:11 ID:9MOZfxoS(3/8) AAS
>>432
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
ジョルダン曲線定理（Jordan curve theorem）あるいはジョルダンの閉曲線定理とは、平面に置かれた自己交差を持たないどんな閉曲線（輪っか）も平面を「内側」と「外側」に分けるということを述べた定理
歴史
ジョルダン曲線定理の内容は直観的には明らかなことのように思われるが、実際に証明をするのは非常に困難なものであった。ベルナルド・ボルツァーノにより証明の先鞭が付けられてから、定理名の由来ともなるカミーユ・ジョルダンを含む数人の数学者の手を経て、最終的に完全な証明はオズワルド・ヴェブレンの手によって1905年に与えられた。2005年には証明検証システムMizarによる厳密な検証が行われている
(引用終り)
以上
434(1): 2021/10/22(金)07:18 ID:2sa7I6q7(1/7) AAS
>>431
「･･･そうです」の件は数学以前だな
誰が書こうが、それをそのままコピペするのが知的頽廃
読んで理解してから自分の言葉で書けよ 🐎🦌
>>432
定義も確認しない🐒がロジック語るのは滑稽
定義を確認すると基礎論屋といいだすのも狂ってる
ガウスがー、とわめいてるが
ガウスの仕事を理解してから言えよ 🐎🦌
ガウス「代数学の基本定理」で中間値の定理を前提して
省16
435(1): 2021/10/22(金)07:21 ID:2sa7I6q7(2/7) AAS
P.S.
9MOZfxoS 深夜0時代に3連続カキコ
完全な5ch廃人ですな
夜はさっさと寝ろ
そんでもって昼間は仕事しろよ 🐎🦌
436: 2021/10/22(金)07:45 ID:9MOZfxoS(4/8) AAS
>>418-419
ID:ZNry6gJA氏の必死チェッカーもどきの結果下記
基礎論廃人確定やね
毎日、雑談スレで、高木氏のお相手かい（下記）
亀のように進んでいるつもり？ ご謙遜をｗ
ウサギと亀で言えば、雑談スレで雑談ばかりの亀さんだねｗｗ
論文読んでる？ 数学書を読んでる？ ウソばっかｗ
で、必死の「定義〜！ 定義〜！」か
自分の姿を鏡にうつして見ろよ
テメーの発言の中で、どれ一つ定義から始まるカキコなしじゃん！
省18
437(1): 2021/10/22(金)07:51 ID:9MOZfxoS(5/8) AAS
>>435
>深夜0時代に3連続カキコ
単に、10時くらいから書いていたのが
他にもすることが入って、投稿時間が0時を回っただけですよ
ご忠告ありがとうね
>>434
ようやく
”テメーのロジックが破綻していること”に、気付いたんだ
良かったね、おサルさん
438(3): 2021/10/22(金)08:33 ID:2sa7I6q7(3/7) AAS
>>437
時間ないなら、真っ先に5chやめれば？
5ch廃人のお🐒さん
あんた仕事なにしてんの？
439: 2021/10/22(金)11:38 ID:KzE/lgLk(1) AAS
>>438
サイコパスのおサルさん>>5-6
おはよー
>時間ないなら、真っ先に5chやめれば？
> 5ch廃人のおさん
アンチ日本及び日本人の
（”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ”>>6より）
あんたから見れば不思議かもしれないが
おれは、単に、”日本！ チャチャチャ！”な訳ですよ
省26
440(1): 2021/10/22(金)14:32 ID:2sa7I6q7(4/7) AAS
>>438
>おれは、単に、”日本！ チャチャチャ！”な訳ですよ
愛国🐎🦌発言は以下でどうぞ
ニュース速報板
2ch板:news
それにしても 9MOZfxoS=KzE/lgLk 頭悪そう どこの高卒？
年間所得 平均どころか中央値以下だろ
外部ﾘﾝｸ[html]:kabu.com
君みたいな人が愛国宣伝に騙されて自民党にいれたら貧困で死ぬよ
自民党は年間所得1000万以上の金持ちの「悪党」のための政党だからさ
省1
441(1): 2021/10/22(金)14:41 ID:2sa7I6q7(5/7) AAS
「世界一勤勉」なのに、なぜ日本人の給与は低いのか
外部ﾘﾝｸ[html]:www.itmedia.co.jp
「日本は99.7％が中小零細企業 そこで働く従業者数も全従業者の68.8%」
平均年収が、欧米はもとより韓国よりも低い日本の現実
442(1): 2021/10/22(金)15:10 ID:2sa7I6q7(6/7) AAS
>>438
＞オリパラの日本応援
今年の件で、オリパラが金を稼ぐためのイベントであることが露見して
さすがに日本国民も醒めまくってた これからどんどん醒めまくるだろうな
＞低俗のお笑いTV見るより楽しいよ
オリンピックも同じくらい低俗だよ なに🐎🦌なこといってんの？ｗ
443(1): 2021/10/22(金)19:42 ID:9MOZfxoS(6/8) AAS
>>440-442
アンチ日本＆日本人、必死に日本をディスるね
>＞低俗のお笑いTV見るより楽しいよ
>オリンピックも同じくらい低俗だよ なに歷なこといってんの？ｗ
そりゃ、あんたの意見としては、どうぞってことでしかない
ノーベル賞 真鍋さんにも、何か言いたそうだねｗ
>平均年収が、欧米はもとより韓国よりも低い日本の現実
それは分かる
あんたや、基礎論廃人のヒキコモリさん
日本は、1991年辺りからバブル崩壊
省15
444(1): 2021/10/22(金)19:48 ID:2sa7I6q7(7/7) AAS
>>443
>おれは自民党に入れるよｗ
>自民党の方が、株価が上がりそうじゃんｗ
悪いけど資本主義祭りなんていつまでも続かないよｗ
あんたみたいに何のスキルもない人は野垂れ死ぬね
御愁傷様(-||-)
＃よんよんよん
445(2): 2021/10/22(金)21:10 ID:uH99dxJ8(1/2) AAS
立憲民主って政党名からおかしいし
自主憲法制定を党の綱領に掲げる自民党に入れるけど
ID:2sa7I6q7の人格まで否定しようとは思わないな。
446(2): 2021/10/22(金)21:29 ID:uH99dxJ8(2/2) AAS
ノーベル賞も湯川や朝永が貰ったときほどは盛り上がらないね。
こういう意見もあるらしい↓
ノーベル物理学賞は死んだ・・・ある物理学者の批判
外部ﾘﾝｸ[html]:agora-web.jp
447(2): 2021/10/22(金)21:35 ID:9MOZfxoS(7/8) AAS
>>444
>>おれは自民党に入れるよｗ
>>自民党の方が、株価が上がりそうじゃんｗ
>悪いけど資本主義祭りなんていつまでも続かないよｗ
それこそ、「定義、定義」ってことじゃね？
資本主義とは何か？ 定義は？
祭りとは？ 定義は？
という話になります
なお、余談ですが
社会科学では、ショルツェ氏のやった
省9
448(2): 2021/10/22(金)21:45 ID:9MOZfxoS(8/8) AAS
>>445
どうも
>立憲民主って政党名からおかしいし
護憲民主って雰囲気では？
>>446
>ノーベル賞も湯川や朝永が貰ったときほどは盛り上がらないね。
うーん
湯川さんときは、日本人で初だったのでは？
朝永さんは、大分年数が開いて、二人目だったのでは？
今みたいに、何人ものノーベル賞受賞者が日本にいる状態ではなかった気がする
省4
449(1): 2021/10/23(土)05:44 ID:VEyje5yT(1/21) AAS
>>448
ご参考/”妻の勧めにせかされて書いた論文がノーベル賞を受賞”という題が、面白い
外部ﾘﾝｸ[html]:www.kahaku.go.jp
ノーベル賞日本人受賞者9人の偉業 ノーベル賞100周年記念展 国立科学博物館 2002
外部ﾘﾝｸ[html]:www.kahaku.go.jp
【湯川 秀樹】妻の勧めにせかされて書いた論文がノーベル賞を受賞
最新の理論について教えてくれる先生は、日本にはいませんでした。海外で大きな成果が上がるたびに、「私がこのまま理論物理学をやっても、大物にはなれないのではないか」という不安がよぎるのでした。
自分の行く末に不安を感じながらも、湯川博士は京都大学に副手という肩書きで残ることに決めました。しかし給料は出ませんでした。20代半ばといえば、とっくに給料をかせいで自立している年ごろです。湯川博士は自分だけが出遅れているようで、悲観的な気持ちで研究生活を送っていました。
1931年、そんな湯川博士に縁談が舞い込みました。相手は大阪にある病院の末娘です。縁談はまとまり、結婚して大阪に移り住むことになりました。京都大学でも給料の出る講師の職を得ることになり、その2年後には大阪大学で講師をつとめることになりました。
湯川博士は心の中では、原子核の構造に関する「ある疑問」とそれにこたえる理論について考えをまとめ始めていましたが、それをどこかに発表することはしませんでした。妻だけには「私は世界中の物理学者がわからないことにこたえる自信があるよ。日本人だってノーベル賞がもらえるはずだ」と語っていました。そんなある日、物理学教室の教授が湯川博士をどなりつけました。「君は大学を卒業して5年もたっているのに、論文を1本も書いていないじゃないか。こんなことではダメだ。さっさと論文をまとめなさい」。
省3
450(2): 2021/10/23(土)05:45 ID:VEyje5yT(2/21) AAS
つづき
教授と妻にせかされて、さすがの湯川博士も重い腰を上げ、論文の執筆に取りかかりました。テーマは「原子核の中で、どうして陽子と中性子がバラバラにならずにいられるのか」というものでした。湯川博士は、原子核の中にプラスの陽子と電荷をもたない中性子だけがあるとすれば、プラスの電気をもつ陽子どうしが反発して粒子がバラバラになってしまうのではないかという疑問をもっていました。原子核にはマイナスの電荷をもつ電子も存在していますが、この電子は原子核のはるか外側を回っています。電子の力では原子核の崩壊（ほうかい）を抑えることなどできるはずがないのです。「陽子と中性子をつなぎとめる何らかのしくみがあるはずだ」。そのしくみを理論によって突き止めようとしたのです。
画像ﾘﾝｸ[gif]:www.kahaku.go.jp
そのころの湯川博士は、枕元にノートを置いておき、寝ながら考えが浮かぶとそれを記録していました。そしてある晩、探し求めていた答えがひらめきました。「陽子と中性子は、何か別の粒子をキャッチボールしているのではないか？ しかし原子核はたいへん小さく、キャッチボールの距離もきわめて短い。きわめて短い距離を飛ぶ粒子は、非常に重いはずだ。非常に重いために、粒子はほんの一瞬しか存在できずに発見されないのでは……」。計算してみると、この粒子は電子の200倍ほどの重さをもつことがわかりました。その重さは陽子と電子の中間であることから、「中間子」とよばれるようになりました。
湯川博士はこの中間子理論を仮説としてまとめ、1934年に東京大学で開かれた日本数学物理学会ではじめて発表しました。しかしその理論はあまりにも大胆で、それまでの物理学の常識をくつがえすものであったために、相手にされませんでした。「湯川博士の声は小さくて、何を言っているのかさっぱりわからなかった。もう一度はじめから発表しなおしてくれませんか」という声があがる始末でした。
省1
451(1): 2021/10/23(土)05:45 ID:VEyje5yT(3/21) AAS
>>450
つづき
しかし友人の仁科芳雄（にしな よしお）博士は興味を持ち、湯川博士を励ましました。幸運は湯川博士を見捨てませんでした。1937年に湯川博士が予言した粒子と同じような重さの粒子が発見されたのです。その粒子は宇宙からやってくる宇宙線からみつかりました。その後、その粒子は湯川博士が予言したものとは違うことが判明しましたが、中間子理論は世界の脚光を浴びるようになりました。
湯川博士の中間子理論は「素粒子の相互作用について」と題され、英文でも『日本数学物理学会記事』に収録されていました。素粒子物理学研究の中心地である欧米の研究者たちは、「日本にユカワのような人物がいたとは驚きだ」と衝撃を受けました。湯川博士と高校・大学で同級で、後にやはりノーベル物理学賞を受賞することになる朝永（ともなが）振一郎博士は、留学先のドイツで湯川博士に向けられた熱い視線を目の当たりにしてたいへんな衝撃を受けたといいます。
日本国内でも湯川博士の業績が認められるようになり、1940年に京都大学の教授になりました。
画像ﾘﾝｸ[jpg]:www.kahaku.go.jp
アルバート･アインシュタイン博士（左）と湯川博士（右）。
省4
452(1): 2021/10/23(土)06:59 ID:VEyje5yT(4/21) AAS
>>447 追加
>ある程度単純化しないと
>議論ができない。現実は、そのままでは複雑すぎるからね
あらためて考えてみると
これは、あらゆる現実がそうです
例えば、ニュートン力学では、物体を質点に単純化して考える
地球や太陽も、一つの質点だと考える
それで、日食や月食を、驚くべき精度で予測できる
しかし、現実の地球や太陽は、点ではなく大きさを持っている
必要なときにのみ、”大きさ”を使った補正をしてやる
省10
453: 2021/10/23(土)07:06 ID:Bd9CL3YV(1/22) AAS
>>445
>自主憲法制定を党の綱領に掲げる自民党に入れるけど
軍隊とか兵器とか戦争とか、好きなんだ ふーん
454: 2021/10/23(土)07:09 ID:Bd9CL3YV(2/22) AAS
>>446
>ノーベル賞も湯川や朝永が貰ったときほどは盛り上がらないね。
ヨーロッパじゃ盛り上がったのはそれこそ第一次大戦前とかでしょ
アジアは知的後進地域だからブームが遅かったけど、もうそれも終わったな
455(1): 2021/10/23(土)07:14 ID:Bd9CL3YV(3/22) AAS
>>447
＞資本主義とは何か？
検索しなよ いつものようにgoogleに「しほんしゅぎ」って入れてさ
資本主義
外部ﾘﾝｸ:ja.wikipedia.org
「資本主義（しほんしゅぎ、英: capitalism）または資本制は、
国政によってよりも営利目的の個人的所有者たちによって
貿易と産業が制御（コントロール）されている、経済的・政治的システム。
特に近現代の資本主義の根幹は、自由資本主義（liberal capitalism）と呼ばれており、
資本主義に基づく社会は「資本主義社会」「市民社会」「近代社会」「ブルジョア社会」等という。」
省1
456: 2021/10/23(土)07:16 ID:Bd9CL3YV(4/22) AAS
>>448
自民党は世襲党って改名したほうがいいね
あとノーベル賞をオリンピック感覚で見るのも
いかにも🐎🦌っぽいからやめようね
457: 2021/10/23(土)07:21 ID:Bd9CL3YV(5/22) AAS
>>449-451
湯川よりディラックの逸話の方が好きだ
「（ディラックは）有名になることを極度に避けていたと言われ、
ノーベル賞が決まった際には、有名になることを恐れて受賞を辞退しようとした。
その際、ラザフォードが
「もしノーベル賞を断ったら、君はノーベル賞をもらった場合より、もっと有名になる」
と言って説得した結果、渋々賞を受けたと伝えられる。」
ラザフォードの云ったことは、まんざら嘘ではない
賞の有無にかかわらず、ディラックが成し遂げたことは重大だから
458: 2021/10/23(土)07:23 ID:Bd9CL3YV(6/22) AAS
>>452
ショルツェにどんな恨みがあるのか知らんが
いちゃもんのつけかたがトンチンカンだね
一度精神科で診てもらったほうがいいんじゃない？
459: 2021/10/23(土)07:26 ID:Bd9CL3YV(7/22) AAS
VEyje5yT
むだに長文コピペするの 悪い癖だから やめたほうがいいよ
460: 2021/10/23(土)07:26 ID:Bd9CL3YV(8/22) AAS
利口ぶった人ほど🐎🦌っぽい
461: 2021/10/23(土)07:26 ID:Bd9CL3YV(9/22) AAS
利口ぶった人ほど🐎🦌っぽい
462: 2021/10/23(土)07:27 ID:Bd9CL3YV(10/22) AAS
大事なことなので二度いいました・・・ということにしとくか
463(4): 2021/10/23(土)07:43 ID:VEyje5yT(5/21) AAS
>>417
>動画ﾘﾝｸ[YouTube]
>#現役数学者が教える大学数学
>数学基礎論が衰退したのは何故か？理由を考察
”数学基礎論が衰退したのは何故か？”の私見を述べておくと
1．ヒルベルトの数学の公理化は、ある一定の成果を上げた
2．パラドックスに対する処方箋もできた。基本は、一階述語論理限定
3．しかし、”一階述語論理限定”は、ちょっと狭い
4．そこに出てきたのが圏論で、
「一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている」（下記）
省12
464(2): 2021/10/23(土)07:44 ID:VEyje5yT(6/21) AAS
>>463
つづき
歴史
1945年のサミュエル・アイレンベルグとソーンダース・マックレーンによる、代数的位相幾何学において直感的／組み合わせ的に定義されていたホモロジー・コホモロジーを公理化する研究の中で圏、関手および自然変換が実際に定義された。
1950年代から 1960年代にかけてこの理論は、ホモロジー代数における様々な計算の抽象的な定式化を取り込むことによって、続いて、集合論に基づく定式化では不十分だった代数幾何学の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。圏論をこのように数学の全体的な基礎付けとして用いる考え方には疑義も呈されているが、実際構成的数学を記述する手段としても、トポスは非常に精緻に機能することが示されている。
(引用終り)
以上
465(2): 2021/10/23(土)07:51 ID:VEyje5yT(7/21) AAS
>>455
(引用開始)
＞資本主義とは何か？
検索しなよ いつものようにgoogleに「しほんしゅぎ」って入れてさ
資本主義
外部ﾘﾝｸ:ja.wikipedia.org
(引用終り)
それ正に、
基礎論廃人のヒキコモリに対する反論にもなっているし
ショルツェ氏の間違いの指摘にもなっているね
省8
466(3): 2021/10/23(土)08:04 ID:s+Uxluaw(1/2) AAS
定義もできんカスがショルツェの間違いを語るwwwwwwwwwww
467(1): 2021/10/23(土)08:54 ID:Bd9CL3YV(11/22) AAS
>>463
>数学基礎論が衰退したのは何故か？
そもそも衰退したんですか？ｗ
>1．ヒルベルトの数学の公理化は、ある一定の成果を上げた
そもそも、ここから誤解がありますね
ヒルベルトのいう公理化と、
ブルバキのいう公理化は、
そもそも目的が違いますよ
前者は無矛盾性証明という目標を達成するためのもの
後者は数学全体の構造化ですね
省33
468(1): 2021/10/23(土)08:55 ID:Bd9CL3YV(12/22) AAS
>>464
何度でもいいますが、読まずにコピペ、悪い癖だから、今すぐきっぱりやめようね
469: 2021/10/23(土)09:00 ID:Bd9CL3YV(13/22) AAS
>>465
>こちらは独自の定義を使っていないから
そもそも何の定義もしてないですよね あなたは
>（一般共通の定義）
素人の無知を開き直られても困りますね
勉強する気ないなら数学板の書き込みはもちろん読むのもやめてくださいね
あなたの精神の安定にとって有害ですから
>ショルツェ氏の間違いは、望月氏の定義をsimplificationしちゃったってことね
>そうすると、お互い違う定義での議論になるよね。
>その議論は、凄く危険だってこと
省6
470: 2021/10/23(土)09:05 ID:Bd9CL3YV(14/22) AAS
>>466
そもそも、定義の理解なんて、代数学では基本なんですが
高校卒業で数学終わっちゃった素人さんには理解できないようですね
無矛盾性証明に固執するのも狂った素人さんにありがちですね
VEyje5yTは精神科で診てもらったほうがいいとおもうな マジで
471: 2021/10/23(土)11:15 ID:VEyje5yT(8/21) AAS
>>466
基礎論廃人さん、おはよー
夜は、0時投稿後、朝は7時からご出勤
ご苦労さん
ほんと廃人やね
外部ﾘﾝｸ[html]:hissi.org
必死チェッカーもどき
数学 > 2021年10月23日 > s+Uxluaw
書き込み順位＆時間帯一覧
3 位/29ID中 Total 5
省8
472(3): 2021/10/23(土)11:39 ID:VEyje5yT(9/21) AAS
>>465 補足
> 2．ショルツェ氏の間違いは、望月氏の定義をsimplificationしちゃったってことね
> そうすると、お互い違う定義での議論になるよね。その議論は、凄く危険だってこと
> 本来は、共通の定義で議論しないといけないんだ
二人の数学者AとBと、議論をしているが噛み合わない
聞くと、お互いの定義が異なっていたという
それじゃ、話が合わなくて当然！
実際、ショルツェ氏自身が、”This will involve certain radical simplifications”と書いているよね（下記）
そして、結論として、”which leads to an empty inequality.”つまり、不等式は導けない という
一方、望月氏は、「そんなsimplifications するから、おかしくなる」という
省10
473: 2021/10/23(土)11:40 ID:VEyje5yT(10/21) AAS
>>472
つづき
(参考)
外部ﾘﾝｸ[pdf]:ncatlab.org
Why abc is still a conjecturePETER SCHOLZE AND JAKOB STIX Date: July 16, 2018.
2.1. Glossary
To facilitate the discussion, we will describe (only) the notions that are strictly relevant to explain what we regard as the error. This will involve certain radical simplifications, and it might be argued that such simplifications strip away all the interesting mathematics that forms the core of Mochizuki’s proof.
P10
Thus, Mochizuki wanted to introduce scalars of j^2 somewhere on the left part of thisdiagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of thediagram alone, which arguably can be overcome by using averages). However, it is clear thatthis will result in the whole diagram having monodromy j^2, i.e., being inconsistent.The conclusion of this discussion is that with consistent identifications of copies of real num-bers, one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality.
(引用終り)
省1
474(2): 2021/10/23(土)11:53 ID:VEyje5yT(11/21) AAS
>>467
>ヒルベルトのいう公理化と、
>ブルバキのいう公理化は、
>そもそも目的が違いますよ
ほんとおサル>>5-6は、笑えるな
「ブルバキ」は、基礎論のテキストではないよね
集合論の部分もあったと思うが
一般の数学用の集合論と、基礎論とは、書きぶりが全く異なるよね
例えば、3 (＝{0,1,2})＝{{},{{}},{{},{{}}}} なんて定義に従ったら
3x3＝9でさえ、とんでもないことになるよｗ
省9
475(1): 2021/10/23(土)12:15 ID:VEyje5yT(12/21) AAS
>>474 追加
Bourbaki Theory of Sets 1954 （下記）
これの本文は検索できなかったが、書評（下記）によれば
明らかに、この後に続く数学の基礎、
つまりは、一般の数学用の集合論であることは明白ですね
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Nicolas Bourbaki
Elements de mathematique[118][h]
Year Book References
省15
476: 2021/10/23(土)12:56 ID:VEyje5yT(13/21) AAS
>>472
>二人の数学者AとBと、議論をしているが噛み合わない
>聞くと、お互いの定義が異なっていたという
>それじゃ、話が合わなくて当然！
当たり前だが、一言
上記は、定義の具体的な記載には依存しない
単に、数学者AとBと、二人の考えている定義に差があるならば、
話が合わなくて当然なのです
「定義もできんカスがショルツェの間違いを語る」>>466
などという批判は、全くの的外れです
477: 2021/10/23(土)12:58 ID:s+Uxluaw(2/2) AAS
アホ〜wwwwwwwww
478(1): 2021/10/23(土)12:59 ID:3G0Npyj8(1) AAS
住み処はきっと奥の方 便器のずっと奥の方
セタ公はそこからやって来る 便器のずっと奥の方
出し立てのくっさい糞を セタに食わせよう
セタ公に尿を掛けましょう 便器のずっと奥の方
479(1): 2021/10/23(土)14:22 ID:Bd9CL3YV(15/22) AAS
>>472
根本的に状況をとりちがえてますね
定義をしていないのは望月新一のほうです
だからショルツは定義していない箇所に対して
simplificationとして実質自分の定義を示した
この解釈では定理が証明できない
違うというなら定義を示せ、と
しかしながら、望月新一氏は
狼狽したのか感情的にブチ切れ
しかも自分の定義は一切示せず
省13
480: 2021/10/23(土)14:29 ID:Bd9CL3YV(16/22) AAS
>>474
ええ、ブルバキ「数学原論」は基礎論のテキストではないですよ
だからブルバキ「数学原論」レベルの定義の確認で
基礎論とかいいだすあなたが間違ってますよね？
あなた、自分が一度でも正しかったことがあると思ってるんですか？
悪いけど、一度だって正しかったことなんてないですよ
さて、今日のトンデモコメントはこれかい？
>一般の数学用の集合論は、
>あくまでアトムを使う集合論にしないと、
>”全てを空集合{}で定義する〜！”とか言い出すと
省5
481: 2021/10/23(土)14:32 ID:Bd9CL3YV(17/22) AAS
>>478
元ネタはこの曲ですね
動画ﾘﾝｸ[YouTube]
多分、大学数学がちっとも理解できなかった
大学一年のセタ君（仮名）の気持ちは
こんな感じだったでしょうね
482: 2021/10/23(土)14:37 ID:Bd9CL3YV(18/22) AAS
ま、パンクもいまや乃木坂におちょくられる存在になっちゃいましたが
動画ﾘﾝｸ[YouTube]
なんか声が残念なんだよな
個人的には久保（左側のボーカル）を推してるんだが
これはなんか合ってない
・・・あ、すまん ここ乃木坂板じゃなかったなｗ
483: 2021/10/23(土)14:42 ID:Bd9CL3YV(19/22) AAS
そんな久保が最近唄った歌
動画ﾘﾝｸ[YouTube]
上下前次1-新書関写板覧索設栞歴
あと 519 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.235s*