[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
854: 2020/01/01(水)07:22 ID:VmKAwE3Z(1/9) AAS
AA省
855: 2020/01/01(水)07:23 ID:VmKAwE3Z(2/9) AAS
AA省
856(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)07:26 ID:G5rtMfGn(2/11) AAS
>>850
おサルは、頭悪いな
＞一流棋士の言う「一目最善手」の話が本当ならAIに負けるはずないだろう。
分かってないね
例えて言えば
昔、円周率を何桁も手計算することが数学の先端研究であった時代がある
確か、手計算の記録は、「シャンクスが小数点以下第707位まで」（下記）で、計算ミスで第527位までが正解だとか
電子計算機で、いま「小数点以下31兆4159億2653万5897桁まで計算されている」という
同じことよ
いずれ、将棋や囲碁でも、人間の能力をマシーンが上回ることは予見されていた
省18
857: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)07:40 ID:G5rtMfGn(3/11) AAS
>>856 補足
１．昔から、人は動力を使って、人がやれる以上の力仕事をしてきた
２．移動手段としても、船や、列車や、自動車や、飛行機で、人が動く手段としてきた
３．電子計算機が発明され、単純計算が可能になった
４．AIの手法で、将棋や囲碁も、人の能力を超えるレベルになった
上記１〜３について、人間はうまくマシーンを使ってきた
４についても、人はAIマシーンを使えば良いだけのことよ
いずれ、将棋や囲碁を超えて
数学の世界にも、AIマシーンが入ってくるとおもう
（今まででも、群論とか数式処理ソフトとかあったけど、それにAIが導入されるとおもうよ）
858: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)07:48 ID:G5rtMfGn(4/11) AAS
>>851
＞自分は検索参照しなければ数学的命題の正しさも自分では判断できない
検索については、テンプレ>>12に書いてあるよ
「大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます」
そもそも、既にだれかが書いていることを、わざわざ自分で書く必要もない
対象が、数学なので、主観の入る余地が少ないからね
（小説みたく、同じ対象を書いても、個性が求められる世界とは違う）
あと、検索すると、自分の知らないこと、知っていたけど古くなっている知識とか
省5
859: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)07:55 ID:G5rtMfGn(5/11) AAS
>>852
＞言うにことかいて「おんなにもてない」とかｗ
男にとって、「おんな」は重要な要素だよ
ショルツは、彼女をゲットした（下記）
おサルは、もてない。それが現実 ｗｗ（＾＾；
（>>439より）
けれども、ショルツ自身が急いでやった時があった。すなわち、彼の娘の誕生の直前、2013年の末に論文を仕上げようと努めていた間だった。その時は彼が自身を急かす良いことだったと彼は言った。"後にはやり過ぎしなかった"。
父親になることは時間の使い方に統制を取らせたとショルツは言った。だが、研究のための時間を封鎖する必要はない。すなわち、彼の他の義務の間に数学が全空間を埋めているだけだ。
(引用終り)
860(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)08:03 ID:G5rtMfGn(6/11) AAS
>>852
＞生きていくのに必要な能力はまず「自分の知性だけを頼りに正しさが確かめられる」こと。
”自分の知性”が、三歳レベルのおサルが言っても、説得力ないぜｗｗ
それより、おれみたいに、ちゃんとカキコの前に、検索して正しいかどうかを確認する態度の方が、よほど説得力あるだろうね（＾＾；
861: 2020/01/01(水)13:27 ID:0vvVE7uB(1/3) AAS
AA省
862: 2020/01/01(水)13:28 ID:0vvVE7uB(2/3) AAS
AA省
863: 2020/01/01(水)13:53 ID:0vvVE7uB(3/3) AAS
AA省
864: 2020/01/01(水)14:57 ID:VmKAwE3Z(3/9) AAS
AA省
865: 2020/01/01(水)15:15 ID:/Fokj8ve(1/2) AAS
悲しいね
正月から「ボクを忘れないでぇ！ボクはここにいるぞぉ！」と言わんばかりのサルの連投ｗｗｗｗ
引きこもっちゃった学生さんかと思ってたが、初老のジジイってのがまた笑えるｗｗｗｗ
終わってるねほんとｗｗｗｗ
以降、連投コピペの自画像(w)の題名を↓としようｗｗｗｗ
「ボクはここダァ ボクを忘れないでぇ」
866: 2020/01/01(水)15:18 ID:VmKAwE3Z(4/9) AAS
AA省
867: 2020/01/01(水)15:20 ID:VmKAwE3Z(5/9) AAS
AA省
868: 2020/01/01(水)15:31 ID:VmKAwE3Z(6/9) AAS
AA省
869(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)15:36 ID:G5rtMfGn(7/11) AAS
AA省
870: 2020/01/01(水)15:41 ID:VmKAwE3Z(7/9) AAS
AA省
871: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)15:41 ID:G5rtMfGn(8/11) AAS
（>>2より再録）
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
（スレ69 2chｽﾚ:math ID4つ ）
なお、火病を発症すると狂気の連投をする
（スレ70 2chｽﾚ:math ）
872(1): 2020/01/01(水)15:58 ID:9OF7OgoE(4/4) AAS
言っとくがおれはやつ（ゲーデル博士、ロジャー・ペンローズ２、一石etc.）
とは別人。それを正しく認識できない◆e.a0E5TtKEはやっぱりバカなんだよ。
数学ができないだけじゃなくて、文章から相手の個性を読み取ることもできない。
そんなやつが女にモテるわけないだろｗ
「哀れな素人」はお前よりは言い当てていたが、同時にかなり外していた。
おれはお前ら２人に比べれば、最高精度で言い当てられる。ただ言わないだけ。
やつなら31日からカキコしてないと思う。親戚とか付き合いがあるんじゃね？
おれはやつほどトンデモの相手をする気はないんで、◆e.a0E5TtKEに付き合う気はない。
ただし外野から見て、お前とやつの数学的議論に関しては
100%やつが正しいと言っておこうｗ
873(1): 2020/01/01(水)16:52 ID:/Fokj8ve(2/2) AAS
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
おーい IPって知ってますぅ？
呆れたw恥ずかしい奴
＞親戚とか付き合いがあるんじゃね？
↑特にワロタ 可哀想過ぎてナンも言えんw
無知って怖いね
874(1): 2020/01/01(水)17:09 ID:E03EXCHH(1/9) AAS
>>872
>ゲーデル博士、ロジャー・ペンローズ２、一石
知らんなぁ・・・
>やつなら31日からカキコしてないと思う
>親戚とか付き合いがあるんじゃね？
オレのことなら31日に右脳左脳論がトンデモだと示そうと思って
とある本のamazonのページのリンクを貼り付けようとしたら
規制食らって、今まで書き込みできなかったが
おかげで◆e.a0E5TtKEの元日早々のトンデモ書き込み読んで
十分推敲した上で誤りをあげつらう書き込みが書けたｗ
省14
875: 2020/01/01(水)17:11 ID:E03EXCHH(2/9) AAS
昨日書き込もうと思ってたネタ
>>823
>数学に右脳が働くようになって、プロ数学者としては、一人前だよ
>右脳が働かないレベルは、アマ数学者なんだよね
>>840
>ショルツも右脳で数学できたんだろうね
21世紀にもなってまだ角田の右脳・左脳論を
正しいと思い込んでるアナクロトンデモが
生き残ってるとは・・・
※詳しいことは例えば以下を読むこと
省4
876: 2020/01/01(水)17:13 ID:E03EXCHH(3/9) AAS
もう一つ、昨日書き込みしようと思ってたネタ
>>860
>おれみたいに、ちゃんとカキコの前に、検索して正しいかどうかを確認する態度・・・
確認した結果、{}∈{{}}、{{}}∈{{{}}} だから {}∈{{{}}}？
確認した結果 ツェルメロ構成のωは”シングルトン”・・・{{}}・・・？
いったい何をどう検索して確認したの？ｗ
877: 2020/01/01(水)17:22 ID:E03EXCHH(4/9) AAS
>>873
IP？知ってますよ
ID:9OF7OgoEと私のIPは違いますけどね
ま、IPが違うから別人、とはいえないのがネットですけど
実際には別人ですね
878: 2020/01/01(水)17:27 ID:E03EXCHH(5/9) AAS
>>844
>おんなにもてないし
◆e.a0E5TtKEは♀相手に腰でも振ってろよｗｗｗ
無限が理解できない馬鹿でも子供は作れるだろｗｗｗｗｗｗｗ
879: 2020/01/01(水)19:03 ID:E03EXCHH(6/9) AAS
>>869
>非可測なのに…計算を行った
>…公理を正確に理解していない
>…について全く学んでいない
相変わらず支離滅裂なことわめいてますねｗｗｗ
◆e.a0E5TtKEはインプットは全く捨てて
乱数をアウトプットするプログラムなんでしょう（嘲）
880(1): 2020/01/01(水)19:06 ID:E03EXCHH(7/9) AAS
数セミの記事については論じません（無意味なので）
集合論については徹底的に焼き尽くします（馬鹿でもわかる初歩的誤りなので）
IUTについては・・・ノーコメント(￣ー￣)
881(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)20:17 ID:G5rtMfGn(9/11) AAS
>>880
おサル、おまえはこの隔離スレに居ろ！！ｗ（＾＾；
IUTスレを荒らすな！ あほサルよ
(>>874より)
>とある本のamazonのページのリンクを貼り付けようとしたら
>規制食らって、今まで書き込みできなかったが
なるほど
下記４つのID手段の内の1つが、規制食らったのか？
それで
(>>874より)
省12
882: 2020/01/01(水)20:39 ID:VmKAwE3Z(8/9) AAS
AA省
883: 2020/01/01(水)20:39 ID:VmKAwE3Z(9/9) AAS
AA省
884: 2020/01/01(水)21:01 ID:+c5cYldv(1) AAS
数学で敵わないと三歳児のおサルと言い出すキチガイ白痴
885: 2020/01/01(水)21:42 ID:E03EXCHH(8/9) AAS
>>881
>下記４つのID手段の内の1つが、規制食らったのか？
ヒント この動画の16:38以降
外部ﾘﾝｸ:www.bilibili.com
YANDERERA…見たかったな
886: 2020/01/01(水)21:46 ID:E03EXCHH(9/9) AAS
YANDERERAの元はきっとこれだろうｗ
動画ﾘﾝｸ[ﾆｺﾆｺ動画]
さわちゃん かっけぇーｗ
887: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)21:47 ID:G5rtMfGn(10/11) AAS
数学的に価値の無い三歳児レベルだからのおサル
IUTスレのお前の年末投稿を、振り返って見ろよｗｗ（＾＾；
888(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/01(水)21:52 ID:G5rtMfGn(11/11) AAS
Inter-universal geometry と ABC予想 43 より
2chｽﾚ:math
123 名前：１３２人目の素数さん[] 投稿日：2020/01/01(水) 21:09:25.85 ID:Ogg1MRSU
読者の皆様、
新年あけましておめでとうございます。
新しいブログ記事の掲載は年始のみ、というパターンは残念ながら当分は続きそうです。年末年始と言えば、年賀状の季節ですが、まさに読者の皆さんへの年賀状のような気持ちで書いているところがあります。
2020年度、数理研では、宇宙際タイヒミューラー理論を中心的なテーマとした「訪問滞在型研究」＝通称「プロジェクト」（英語で説明するときは「スペシャル・イヤー」と呼ぶこともあります）が予定されており、
4件の大きな集会と、多数の海外からの訪問者により、以前にも増して多忙を極める一年になりそうです。これまでは関係者の大変な努力によって宇宙際タイヒミューラー理論の習熟者を一人ずつ育ててきており、
その数も10名に迫る勢いですが、今年はこれまで蓄積された知恵や、「よくある誤解」を効率よく処理する技術を総動員して、そのような習熟者を量産できる体制を確立していきたいと考えています。
昨年3月に50歳代に突入してしまいましたが、今年は50歳代らしい充実した活動ぶりを発揮できる一年にすることを目指しますので、どうぞよろしくお願い致します。
省12
889: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)00:14 ID:ivt0JCXh(1/37) AAS
メモ
「小沢 登高 Narutaka OZAWA」先生
下記、面白いわ
迷い込んで、つい全部読んでしまった（＾＾；
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
小沢 登高 Narutaka OZAWA
履歴
(抜粋)
1999年9月--2000年6月 Paris遊学
Parisは食べ物もうまいし、退屈しない楽しいところだ。 Claude Bernard通りにあるPisierが所有するステュディオに住んだ。
省8
890: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)00:19 ID:ivt0JCXh(2/37) AAS
ついでに
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
小沢 登高（おざわ なるたか）
フィールズ賞で語る現代数学・関数解析（数理科学2017年10月号）
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
コラム：分類理論のあり方（雑誌「数理科学」２０１３年１０月号）
891(1): 2020/01/03(金)00:22 ID:a7z8kGYX(1/3) AAS
ゴミ受験理系より文学部からオックスブリッジの方がずっと有能で偉いよね。
時枝偉い。
892(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)00:32 ID:ivt0JCXh(3/37) AAS
メモ
外部ﾘﾝｸ[html]:www.math.tsukuba.ac.jp
Motoo Tange(丹下 基生） 筑波大
外部ﾘﾝｸ[html]:www.math.tsukuba.ac.jp
トポロジーI演習 2012年度2学期 月曜日5限
教科書：「位相空間の基礎概念(2012年版)」（酒井克郎著）
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
第 7 回 2012.10.24 距離化定理, コンパクト性, コンパクト化
(抜粋)
大学数学の楽しみ方 4
省10
893: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)00:33 ID:ivt0JCXh(4/37) AAS
>>891
時枝先生は偉大ですよ！（＾＾
894(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)00:35 ID:ivt0JCXh(5/37) AAS
もっとも、
文学部からオックスブリッジ→プロ数学者
って
だれでも 成れるものではない だろうけどね
895(2): 2020/01/03(金)01:12 ID:a7z8kGYX(2/3) AAS
噛み付いても凡百の受験理系のゴミが同列に並べるわけじゃないよね。
896(1): ◆QZaw55cn4c 2020/01/03(金)02:46 ID:fAtkxEJE(1/4) AAS
>>894
ギリシャ語の読解に比べたら数学なんてかわいいもの、という話をききました
私はこれをきいて逆にギリシャ語に興味を持ちました、それは論理的な言語という意味なのか？とか
897: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)07:44 ID:ivt0JCXh(6/37) AAS
>>892 補足
＞(1) 定義はやはり読むしかない。読んで得られる幾何的イメージを膨らませよ。
＞(3) 空間のイメージがわかなかったらとりあえず距離空間やユークリッド空間の部分集合について例を作って考えてみよ。
＞（これの フィルターのイメージ図が面白いわ（＾＾ ）
丹下 基生先生、現代数学でもイメージの重要性を強調している
現代数学は、数学記号を使うのが主で、イメージ図は少ない
しかし、数学記号からイメージが浮かばないようでは、プロ数学とは言えないかもね（＾＾；
898: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)07:56 ID:ivt0JCXh(7/37) AAS
>>895
>噛み付いても凡百の受験理系のゴミが同列に並べるわけじゃないよね。
まあそうだが
みんな、それぞれの役割があると思ったらいいんじゃね？
１００人がいて、１００人全員が大数学者で研究者になったら、だれが大工で家を建ててくれるのかな？
だれが、高校で数学を教えるのかな？
「一隅を照らす」、「置かれた場所で咲きなさい」
外部ﾘﾝｸ[html]:www.motivation-up.com
モチラボ
心に響く名言 > 一隅を照らす
省14
899(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)08:11 ID:ivt0JCXh(8/37) AAS
>>896
C++さん、どうも。スレ主です。
＞ギリシャ語の読解に比べたら数学なんてかわいいもの、という話をききました
正確には、”ε-δは苦にならなかった。厳密な言語訓練を積んできた賜物、量子化の順を替えると意味が変わる、云々（例えばトゥキュディデスの複文をほぐす作業に比べれば）おちゃのこさいさいだったのだ”ですね（＾＾；
外部ﾘﾝｸ:kankyodou.blog.ss-blog.jp
環虚洞：百学連環
「プロの数学者」になるには・・（時枝正ケンブリッジ大Trinity Hall 数学主任）2015-10-30
(抜粋)
数学まなびはじめ 第３集
作者:
省12
900(1): 2020/01/03(金)08:23 ID:glmNLmg1(1/13) AAS
>>899
＞量子化の順
正しくは限量子（∀と∃）の順だな
量子力学の量子だと思った奴は例外なく馬鹿
901(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)08:31 ID:ivt0JCXh(9/37) AAS
>>895
”「教科書を信じない」というノーベル賞 本庶佑先生の金言”
数学でも同じ
いままでのエライ先生の書かれた教科書や論文で全てが尽くされるなら、新たな数学の発展はない
「時枝先生、それ間違っているんじゃないですか」と考えることは、全く”正しい”数学の態度です（＾＾；
外部ﾘﾝｸ:togetter.com
togetter
2018年10月2日
「教科書を信じない」というノーベル賞 本庶佑先生の金言の真意について
(抜粋)
省3
902: 2020/01/03(金)08:48 ID:a7z8kGYX(3/3) AAS
>>901
教科書や受験参考書を鵜呑みにしてるのは受験理系チンカスだろ。
バカなの？。
903: 2020/01/03(金)08:53 ID:glmNLmg1(2/13) AAS
>>901
教科書を疑う前に自分の直感を疑うべきだな
トンデモは自分の直感を疑えない
904(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)09:03 ID:ivt0JCXh(10/37) AAS
>>900
>＞量子化の順
>正しくは限量子（∀と∃）の順だな
しったか、乙
”量子化”という用語もあるみたいだな（下記）
もとの本にどう書いてあるか、正確には知らないが、”量子化”もありうると思うし、それが間違いとも思わないぜ（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
三段論法
(抜粋)
命題の4つの型
省16
905(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)09:13 ID:ivt0JCXh(11/37) AAS
面白いところを抜粋（＾＾；
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
小沢 登高 Narutaka OZAWA
コメント付き論文リスト
(抜粋)
[5] Almost completely isometric embeddings between preduals of von Neumann algebras.
J. Funct. Anal., 186 (2001), 329--341. doi:10.1006/jfan.2001.3796 dvi
これもNgが出した問題。99年10月にやった。あっちを叩けばこっちが出っ張るという状況の中、3週間ぐらい集中した。それまでの証明はすべて気合一発でやっていたが、これは方針を立ててひとつずつ証明していった。Kirchbergと無関係なネタもこれが初めて。
[6] On the set of finite-dimensional subspaces of preduals of von Neumann algebras.
C. R. Acad. Sci. Paris Ser. I Math., 331 (2000), 309--312. doi:10.1016/S0764-4442(00)01646-3 dvi
省9
906: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)09:15 ID:ivt0JCXh(12/37) AAS
>>905
つづき
[18] A note on non-amenability of B(\ell_p) for p=1,2.
Internat. J. Math., 15 (2004), 557--565. doi:10.1142/S0129167X04002430 math.FA/0401122
正確な時期は思い出せないが、01年の秋ぐらいに東京でやったはず。01年春にReadが示した定理を、夏のTAMU研究集会でPisierが分かりやすく解説してくれた。
Pisierに勧められてそれを応用してみたところ、Connesの定理(1978)に作用素環の知識を必要としない簡単な証明をつける事ができた。
さらに新しい結果に結びつくかもしれないと思って放置しておいたが、某氏から某誌に論文を投稿して欲しいと頼まれたので、引っ張り出した。Banach環の研究者向けに分かりやすく書いたつもり。
(追記：09年秋になって、Banach空間論のある標準的な知識を合わせれば追い求めていた結果に到達できるということを知らされた。人に出し抜かれたのはこれが初めてだ。)
[39] Noncommutative real algebraic geometry of Kazhdan's property (T).
J. Inst. Math. Jussieu, 15 (2016), 85--90. doi:10.1017/S1474748014000309 arxiv:1312.5431
省5
907(2): 2020/01/03(金)09:33 ID:glmNLmg1(3/13) AAS
>>904
しったか乙（＾＾）
Wikipediaでは量化
書く前に必ず検索して確認するんじゃなかったのか？
つくづく口からでまかせのウソツキだな、君は
量化
外部ﾘﾝｸ:ja.wikipedia.org
「算術において、「全ての自然数にはその次の数が存在する」と言った場合、
あるいは論理学で、「ある議論領域に特定の属性をもつ事象が
少なくとも1つ存在する」と言った場合、
省17
908: 【大はずれ】 2020/01/03(金)10:07 ID:3o2RluRU(1/2) AAS
>>907っち()Ｅヨ！
909: 【はずれ】 2020/01/03(金)10:10 ID:3o2RluRU(2/2) AAS
正月そうそうマッスー△！
910(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)12:03 ID:ivt0JCXh(13/37) AAS
>>907
どうも
”歌(うた)は世(よ)につれ世は歌につれ”
学術用語も、時代で言い方が変遷することがある
そんなこんなで
>>899 の
「プロの数学者」になるには・・（時枝正ケンブリッジ大Trinity Hall 数学主任）2015-10-30
数学まなびはじめ 第３集
これ、時枝正先生自身の筆によるものか（たまに、後述によるゴーストライターが書いていたりするけど）
それと、孫引きで、転写した人が正しいかどうか
省13
911(1): ◆QZaw55cn4c 2020/01/03(金)12:18 ID:fAtkxEJE(2/4) AAS
>>899
それです！
まあ頭のいい人の話をそのまま真に受けるのもどうかとは思いますが
＞数学教育の難しさのかなりの部分は、学習者の言語的未熟が元凶ではなかろうか
なるほど、と思いましたね、我々凡人はかなり手前の方でグチュグチュしているだけなのかもしれません、すべてはつながっている、ということですか
ところでスレ主さんは∀と∃をマスターして、一様収束を理解しましたか？
912: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)12:26 ID:ivt0JCXh(14/37) AAS
>>910 誤変換訂正
これ、時枝正先生自身の筆によるものか（たまに、後述によるゴーストライターが書いていたりするけど）
↓
これ、時枝正先生自身の筆によるものか（たまに、口述によるゴーストライターが書いていたりするけど）
913(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)13:14 ID:ivt0JCXh(15/37) AAS
>>911
C++さん、どうもスレ主です
＞ところでスレ主さんは∀と∃をマスターして、一様収束を理解しましたか？
それ、高校時代から理解しているよ
どれくらい深く理解しているかは、別としてね（＾＾
そのときの本は、記憶では、∀∃はあまり使わずに説明していたと思う
∀∃は、慣れの問題もあるでしょ
私ら、住んでいる世界が違うから
∀∃ なんて、１年間に殆ど使わないし（＾＾；
最初に、∀∃の記法の順序の括弧（と ）とをしっかり書いてもらっていれば大した問題じゃない
省29
914(1): ◆QZaw55cn4c 2020/01/03(金)13:18 ID:fAtkxEJE(3/4) AAS
>>913
＞それ、高校時代から理解しているよ
あれれ、この前、盛大に間違えちゃってましたよね ：−）
＞∀∃は、慣れの問題もあるでしょ
慣れじゃないですよ、プログラミングと同じで厳密に読解できるものですよ、それを慣れといっちゃいかんでしょう ：−）
915(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)13:25 ID:ivt0JCXh(16/37) AAS
メモ
外部ﾘﾝｸ:www.nikkei.com
数理人材かAI人材か 「数理資本主義」の時代
科学記者の目 編集委員 滝順一
滝 順一 コラム（テクノロジー） 科学&新技術 編集委員
2020/1/2 2:00日本経済新聞 電子版
(抜粋)
「数理資本主義」という新語が生まれた。数学的・論理的な思考力こそがイノベーションの中核にあり成長の原動力だとの意味合いだ。これまで盛んに言われてきた人工知能（AI）人材に加えて「数理人材」の育成が必要だとの声が高まっている。
「広大な現代数学の世界にイノベーションのタネがある。経済産業省はそこをわかっていなかった。だから日本は（海外の情報通信産業に）後れをとった」
2019年10月下旬、東京都内で開いたイベントで1人の経産官僚が反省とも自慢ともつかぬ講演をしていた。同省製造産業局の中野剛志参事官（デジタルトランスフォーメーション・イノベーション担当）だ。
省4
916: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)13:26 ID:ivt0JCXh(17/37) AAS
>>915
つづき
いま数学が注目されるのはAIの基礎が数学にほかならないからだ。また量子コンピューターや新素材、ゲノム情報にもとづく創薬など、人間が生まれつき備えた認識力をこえる未知の領域の科学技術研究においては、数学に基礎をおく抽象的・論理的な思考力が求められる。純粋数学の手法が事業につながる事例が増えてきているともいう。
日本数学会会長を務めた坪井俊・武蔵野大学特任教授は「抽象的な数学手法で課題を解くことで失敗や成功を実際に体験することが重要」と話す。自分でモデルをつくりデータを選んで課題解決に挑戦した経験抜きでは創造的な成果は出せない。既存のAIツールをつかいこなすだけでは不十分とみる。
数理を素養としてみればAIより広いが、専門的能力として活用するなら数理人材はAI人材より専門性が高くとがった人材といえるかもしれない。いずれにしてもそのどちらも必要だ。
省5
917(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)13:48 ID:ivt0JCXh(18/37) AAS
>>914
C++さん、どうも。スレ主です。
＞あれれ、この前、盛大に間違えちゃってましたよね ：−）
ふっｗ（＾＾；
私は、自分が何をどれだけ理解しているかなど、このバカ板で説明する義務も必要もないと思っている
テンプレ>>12にあるように、
アホバカですから、「出典明示とそこからの(抜粋)コピペ」をベースに読んで貰えば良い
また
”基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本です”
省25
918(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)13:49 ID:ivt0JCXh(19/37) AAS
>>917
つづき
外部ﾘﾝｸ:mathtra∈.jp/epsilonδ
高校数学の美しい物語
最終更新:2018/02/07
イプシロンデルタ論法とイプシロンエヌ論法
(抜粋)
関数の極限の厳密な定義
limx→a f(x)=A の意味（定義）は，
x が限りなく a に近づくとき，f(x) は限りなく A に近づく（高校数学）
省6
919: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)13:52 ID:ivt0JCXh(20/37) AAS
>>917 訂正
あのとき、∀∃の記法の定義は書かれていなかった
↓
あのとき、∀∃の記法の順序の定義は書かれていなかった
補足
なので、私は、頭から読み下したはず
だが、それは違うという
事実は、そういうことですよ
私は、別に間違ったとは思っていません（＾＾；
920(1): ◆QZaw55cn4c 2020/01/03(金)13:56 ID:fAtkxEJE(4/4) AAS
>>917
＞ポーランド記法ご存知ですか
逆ポーランド＝後置はよく使いますね、私の教科書的には「オートマトン論・計算機言語論」という分野でしょうね
＞自分が何をどれだけ理解しているかなど、このバカ板で説明する義務も必要もない
まあ、私もそう思っていますが、ただ、意思して説明しなくとも、「わかっているか、わかっていないか」は自然に表出されるというものですよ、お気をつけあそばせ ：−）
921(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)14:06 ID:ivt0JCXh(21/37) AAS
>>917 補足
(引用開始)
ε-δ 論法で書くと
∀ε >0 ∃δ >0 s.t. ∀x∈Ｒ [0<|x-a|<δ → |f(x)-b|<ε]
これは
任意の正の数 ε に対し、ある適当な正の数 δ が存在して、 0 < |x - a| < δ を満たす全ての実数 xに対し、 |f(x) - b| < ε が成り立つ。
という意味の式である。
(引用終り)
このε-δ 論法の和文のように、適切に言葉を補えば、∀∃が混じる文を、頭から語順通りに解釈可能
英文和訳において、よく英文の語順と、和文の語順が逆転することがある
省12
922(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)14:08 ID:ivt0JCXh(22/37) AAS
>>920
＞＞自分が何をどれだけ理解しているかなど、このバカ板で説明する義務も必要もない
＞まあ、私もそう思っていますが、ただ、意思して説明しなくとも、「わかっているか、わかっていないか」は自然に表出されるというものですよ、お気をつけあそばせ ：−）
どうも
全く同意です（＾＾；
おサルのピエロを見ていて、そう思います
自戒し、研鑽したいですね（＾＾
923: 2020/01/03(金)16:10 ID:glmNLmg1(4/13) AAS
>>922
ピエロは◆e.a0E5TtKE 君だよ
＞自戒し、研鑽したいですね
自分のナイーブな直感を絶対的に信頼して
「Zermelo構成ではωも無限重シングルトン！！！」
と言い張る君の辞書には、自戒の言葉はない
研鑽？君、研いだら何もなくなるだろ
鉄分ゼロの石コロなんだから（嘲）
924: 2020/01/03(金)16:18 ID:glmNLmg1(5/13) AAS
>>918
＞x が限りなく a に近づくとき，f(x) は限りなく A に近づく（高校数学）
それだけじゃ
「0<|x-a|<δ なら |f(x)-A|<ε」
しか言ってないよなｗ
重要なのは
「ε>0は任意に選ぶことができて、δはεによって決まる」
というところ それが∀ε >0 ∃δ >0だよ
ついでにいうと、君が>>921で「漫然と」書いた
∀ε >0 ∃δ >0 s.t. ∀x∈Ｒ [0<|x-a|<δ → |f(x)-b|<ε]
省4
925: 2020/01/03(金)16:27 ID:glmNLmg1(6/13) AAS
蛇足
ポーランド記法 VSO型言語
外部ﾘﾝｸ:ja.wikipedia.org
中置記法 SVO型言語
外部ﾘﾝｸ:ja.wikipedia.org
逆ポーランド記法 SOV型言語
外部ﾘﾝｸ:ja.wikipedia.org
926: 2020/01/03(金)18:45 ID:8t0przUk(1) AAS
>>901
>「時枝先生、それ間違っているんじゃないですか」と考えることは、全く”正しい”数学の態度です（＾＾；
∈の定義すら間違えるおまえが正しい訳ないだろｗ ほんと白痴だなおまえｗ
927: 2020/01/03(金)18:53 ID:glmNLmg1(7/13) AAS
AA省
928: 2020/01/03(金)18:55 ID:glmNLmg1(8/13) AAS
◆e.a0E5TtKEに捧ぐｗ
動画ﾘﾝｸ[YouTube]
929(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)19:51 ID:ivt0JCXh(23/37) AAS
>>888
＞ 2020年度、数理研では、宇宙際タイヒミューラー理論を中心的なテーマとした「訪問滞在型研究」＝通称「プロジェクト」（英語で説明するときは「スペシャル・イヤー」と呼ぶこともあります）が予定されており、
＞ 4件の大きな集会と、多数の海外からの訪問者により、以前にも増して多忙を極める一年になりそうです。これまでは関係者の大変な努力によって宇宙際タイヒミューラー理論の習熟者を一人ずつ育ててきており、
＞その数も10名に迫る勢いですが、今年はこれまで蓄積された知恵や、「よくある誤解」を効率よく処理する技術を総動員して、そのような習熟者を量産できる体制を確立していきたいと考えています。
IUTその４をざっと眺めてみた（＾＾；
１）
”the ABC Conjecture, and the Szpiro Conjecture for elliptic
curves all follow as special cases of Theorem A. ”
みんな、Theorem Aで証明可能？（＾＾
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省13
930(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)19:55 ID:ivt0JCXh(24/37) AAS
>>929
つづき
２）
Corollary 2.3. (Diophantine Inequalities) と、Theorem A. (Diophantine Inequalities) は、ほぼ同じか
P54
Corollary 2.3. (Diophantine Inequalities)
P55
Remark 2.3.1. We take this opportunity to correct some unfortunate misprints
in [GenEll].
P63
省13
931(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)19:57 ID:ivt0JCXh(25/37) AAS
>>930
つづき
３）
(PB1) の、PはParshin、BはBogomolovか
P64
In the following
discussion, we shall refer to this geometry as the Schwarz-theoretic geometry of
D. Perhaps the most fundamental difference between the proofs of Parshin and
Bogomolov lies in the fact that
(PB1) Whereas Parshin’s proof revolves around estimates of displacements arising from actions of elements of the fundamental group on a certain two dimensional complete [Kobayashi] hyperbolic complex manifold by means
省16
932(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)19:59 ID:ivt0JCXh(26/37) AAS
>>931
つづき
４）
ZFCG-modelを考えたけど、ギブアップしたのかな（＾＾；
P67
Section 3: Inter-universal Formalism: the Language of Species
(†G) Given any set x, there exists a universe V such that x ∈ V .
We shall refer to a ZFC-model that also satisfies this additional axiom of the
Grothendieck school as a ZFCG-model.
P68
省21
933(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)20:01 ID:ivt0JCXh(27/37) AAS
>>932
つづき
５）
a [small] category は、集合論ZFC内の speciesでやれる？
P71
Remark 3.1.4. Note that because the data involved in a species is given by
abstract set-theoretic formulas, the mathematical notion constituted by the species
is immune to, i.e., unaffected by, extensions of the universe ? i.e., such as
the ascending chain V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V that appears in
the discussion preceding Definition 3.1 ? in which one works. This is the sense
省18
934(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)20:03 ID:ivt0JCXh(28/37) AAS
>>933
つづき
６）
“∈-loops” a ∈ b ∈ c ∈ ... ∈ a が、the notion of a “species”で、正則性公理に反せずに実現できる？（＾＾；
P74
Remark 3.3.1.
(i) One well-known consequence of the axiom of foundation of axiomatic set
theory is the assertion that “∈-loops”
a ∈ b ∈ c ∈ ... ∈ a
can never occur in the set theory in which one works. On the other hand, there
省16
935: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)20:06 ID:ivt0JCXh(29/37) AAS
>>934
つづき
７）（最後）
IUTを考えた動機”the original motivations”と、最後には”Corollary 3.12.”の説明か（＾＾；
P76
Remark 3.3.2. One somewhat naive point of view that constituted one of
the original motivations for the author in the development of theory of the present
series of papers is the following. In the classical theory of schemes, when considering
local systems on a scheme, there is no reason to restrict oneself to considering
local systems valued in, say, modules over a finite ring. If, moreover, there is
省17
936(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)20:13 ID:ivt0JCXh(30/37) AAS
>>929 補足
＞その数も10名に迫る勢いですが、今年はこれまで蓄積された知恵や、「よくある誤解」を効率よく処理する技術を総動員して、そのような習熟者を量産できる体制を確立していきたいと考えています。
思うに
「”the ABC Conjecture, and the Szpiro Conjecture for elliptic
curves all follow as special cases of Theorem A. ”
みんな、Theorem Aで証明可能」
ということを、”正しい” と認めさせるべし！！（＾＾
そうすれば、「IUTを勉強しなくちゃ！」という人が増えるよ
モッチーの取り巻きがさ、例えばGくん、そういう戦略的な目標を立てて、動きを作るべしだろうな
モッチーは、数学できるかもしらんが
省2
937: 2020/01/03(金)21:25 ID:glmNLmg1(9/13) AAS
Mはなんで∈-loopsに固執してるんだ？精神異常か？
938(2): 2020/01/03(金)21:36 ID:glmNLmg1(10/13) AAS
次スレは
「現代数学の系譜 よもやま雑談 IUT理論を読む80」
にしろよな
どうせ理解できねぇんなら最先端（？）のIUTのほうがいいだろ（嘲）
939(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)21:47 ID:ivt0JCXh(31/37) AAS
確かに、モッチーの∈-loops固執わからんな
別に、∈に固執する必要もない気がする
基礎論で、自己言及の論理というのがある
その場合、自己言及のパラドックスが起きる可能性がある
だから、20世紀に、一階述語論理が重用された時代があった
論理がループするんだ
モッチーは、基礎論詳しくないのかな？（＾＾；
圏論の方（例えばZFCG）が、ループする高階論理になじむと思うがね（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
自己言及
省15
940: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)21:48 ID:ivt0JCXh(32/37) AAS
>>938
つづき
様々な解決案
言語階層
「この文は間違っている」という文章を回避する方法として、言語に階層をいれる、というものがある。
応用
ゲーデルの不完全性定理
第一不完全性定理の証明においてゲーデルは、大まかに言えば嘘つきのパラドックスを若干修正したバージョン、すなわち「この文は偽である」を「この文は証明不可能である」としたものを使った。これを「ゲーデル文G」と呼ぶ。
つまり、公理系 "T" において "G" は真だが、"T" の体系内でそれを証明できない。"G" の真偽と証明可能性の分析は、嘘つきのパラドックスの真偽の分析を形式化したものといえる。
(引用終り)
省1
941(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)21:50 ID:ivt0JCXh(33/37) AAS
>>938
いや、
スレの定義>>1とハンドルネームに”雑談”と入れてあるから（＾＾；
IUT（の雑談）も、このスレの守備範囲だよ
942: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)21:57 ID:ivt0JCXh(34/37) AAS
>>939 参考
外部ﾘﾝｸ:ja.wikipedia.org
圏論
(抜粋)
歴史
一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。
他の分野への影響
これの応用として関数型プログラミングの理論および領域理論がある。
これらは全て、ラムダ計算の非構文的な記述として適用されたデカルト閉圏を背景としている。
省1
943(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)23:18 ID:ivt0JCXh(35/37) AAS
>>939
追加補足
逆数学： IUTに”どの程度の集合存在公理が必要かを問う”べし
外部ﾘﾝｸ:ja.wikipedia.org
数理論理学
集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。
現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。
圏論の分野では多くの形式公理的方法を用いる。それには圏論的論理（英語版）の研究も含まれる。しかし圏論は普通は数理論理学の下位分野とは見做されない。
圏論の応用性は多様な数学の分野に亙っているため、ソーンダース・マックレーンを含む数学者らは、集合論とは独立な数学のための基礎体系としての圏論を提案している。
これはトポスと呼ばれる古典または非古典論理に基づく集合論の成す圏に類似の性質を持つ圏を基礎に置く方法である。
省10
944: 2020/01/03(金)23:23 ID:glmNLmg1(11/13) AAS
>>941
言い訳するな
どうせガロアなんか理解できないんだから捨てろ！
かわりにもっともワケワカランIUTを語れ！！！
945: 2020/01/03(金)23:25 ID:glmNLmg1(12/13) AAS
次スレは
「現代数学の系譜 よもやま雑談 IUT理論を読む80」
にしろ
ガロアの名前は捨てろ！
IUTのほうが誇大妄想狂の貴様にふさわしいｗ
946(2): 2020/01/03(金)23:28 ID:glmNLmg1(13/13) AAS
ついでにHNも
「現代数学の系譜 雑談 IUT理論を読む」
に変えろ
ガロアの名前は捨てろ！
IUTのほうが誇大妄想狂の貴様にふさわしいｗ
947(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)23:29 ID:ivt0JCXh(36/37) AAS
>>936 補足
(引用開始)
思うに
「”the ABC Conjecture, and the Szpiro Conjecture for elliptic
curves all follow as special cases of Theorem A. ”
みんな、Theorem Aで証明可能」
ということを、”正しい” と認めさせるべし！！（＾＾
そうすれば、「IUTを勉強しなくちゃ！」という人が増えるよ
(引用終り)
IUTが、the ABC Conjecture, and the Szpiro Conjecture
省9
948(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)23:34 ID:ivt0JCXh(37/37) AAS
>>946
へへ（＾＾；
「ガロア」はさ、IUTの「宇宙」と同じでさ
キャッチー（下記）なんだｗｗ（＾＾；
俗世間の世事に疎い 数学落ちこぼれの おサルさんには
理解できない
話だよ
外部ﾘﾝｸ:kotobank.jp
コトバンク
キャッチー（英語表記）catchy
省4
949(1): 2020/01/04(土)05:39 ID:U3pD+5vK(1/4) AAS
バカ丸出し
950: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)07:56 ID:MNiodNk0(1/4) AAS
950になったので、次スレ立てた
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
（このスレが終わる前に、次スレを立てて、案内を埋め込むのが綺麗なので（＾＾ ）
951: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)07:58 ID:MNiodNk0(2/4) AAS
ここを使い切るか
新しい話題で続きそうな場合は、次スレへ
952(1): 2020/01/04(土)07:59 ID:YGbyzZoY(1/18) AAS
>>948
>「ガロア」はさ、IUTの「宇宙」と同じでさ キャッチー（下記）なんだ
>>949
>バカ丸出し
ホントにね
IUTと同じく、如何わしさ丸出しのペテン師のくせにねｗ
953(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)08:01 ID:MNiodNk0(3/4) AAS
新スレにも書きましたが
今年は、オリンピックイヤーでもあり、IUTワークショップイヤーでもあります。
>>946 みたいなご意見もありますが
私見では、IUTは今年で決着するのではないかと、思っています
良い方向にね
というか、良い方向に決着するように、
周到に準備すべきでしょうね
上下前次1-新書関写板覧索設栞歴
あと 49 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.065s