[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 22 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
816(1): 2018/01/03(水)16:41 ID:tde4EMFs(8/8) AAS
>>813
物理で良かったw
817: 2018/01/03(水)16:42 ID:2jw8aMwO(1) AAS
>>813
数学的帰納法を含む、という表現は誤解を招くだけだからやめて欲しいと思う輩は多かろう
818: 2018/01/03(水)16:55 ID:97MT7Zf+(1) AAS
Anabelian geometryと原論文の解説希望
819(1): 2018/01/03(水)16:56 ID:e8RBpTKV(4/8) AAS
>>815
奇数が偶数かは定性的でしょ
正確な値を求めなくても間違いだとわかるのは持つべき性質を持っていないから
820: 2018/01/03(水)17:40 ID:MFisrxzq(1/2) AAS
オイラースレの主が出世しないのも当然
821: 2018/01/03(水)17:41 ID:MFisrxzq(2/2) AAS
ガロアだったスマン
822(1): 2018/01/03(水)17:55 ID:Z5Qq+PLZ(1/5) AAS
>>819
それ、検算だろ
823(1): 2018/01/03(水)18:07 ID:e8RBpTKV(5/8) AAS
>>822
偶奇による検算が定性的な考察だというのがわからない？
824(3): 2018/01/03(水)18:12 ID:Z5Qq+PLZ(2/5) AAS
>>823
↓
>>812
825(1): 2018/01/03(水)18:17 ID:e8RBpTKV(6/8) AAS
>>824
具体的な反論が無かったら正しいと思っちゃうタイプか
826(1): 2018/01/03(水)18:20 ID:Z5Qq+PLZ(3/5) AAS
>>825
これで詰んでいる
→
>>824
827(1): 2018/01/03(水)18:40 ID:uE/iZX7j(2/2) AAS
>>816
簡単に言うと、自然数論の(相対）無矛盾性証明っていうのは、
「1から100まで帰納法が成り立てば、1から10までは帰納法は成り立ちます。
ただし、本当に1から100まで成り立っているかは証明してません。」
っていう話。だから帰納法の正当化には微塵もなってない。
828: 2018/01/03(水)19:01 ID:Z5Qq+PLZ(4/5) AAS
>>827
数学的帰納法の原理、については
これでOK?
>>799
中村
>最後はきちんと論理的に説明しなければいけないのだから、途中はそうでなくてよいというのは面白い。
森
省10
829: 2018/01/03(水)19:17 ID:hMcFdfTc(1) AAS
○っちーは825みたいな思考に嵌っちゃたんじゃないだろうか
部分的には解釈できる理論の組み合わせをつないで
812みたいな明快な基礎で書いたわけじゃないんだろうな
830(2): 2018/01/03(水)19:47 ID:e8RBpTKV(7/8) AAS
>>826
どこが詰んでいるの？
アーノルドだってホモロジー代数という非構成的な存在定理が沢山ある手法を使っているよ。
831: 2018/01/03(水)19:58 ID:Z5Qq+PLZ(5/5) AAS
>>830
存在定理では保証書だな。
832(1): 2018/01/03(水)20:27 ID:ayfMweM+(1) AAS
>>830
>>812をよく読みな
833(2): 2018/01/03(水)20:47 ID:e8RBpTKV(8/8) AAS
>>832
厳密な計算が困難
近似的な計算をする
それが近似になっているのかどうかは定性的な考察が必要
834(1): 2018/01/03(水)20:56 ID:4emz56zo(1) AAS
>>833
動くゴールポストですね
>>807 お前さんのレス、
835: 2018/01/03(水)21:24 ID:QG0YEqC7(1/2) AAS
>>834
アーノルドの主要な業績は力学系で>>833みたいな話ばかりだよ
数学は検算術とは切り離せない。
836(1): 2018/01/03(水)21:43 ID:+t1euBOQ(1) AAS
元々 ケブラーの方程式は解析的に解けないね。
ニュートン時代からべき級数解だな。
天体力学はポアンカレの位相力学になり、
アーノルドKAM定理。
求められているのは 精度保証付きの解法だな、
検算でなくてね。
837(2): 2018/01/03(水)21:55 ID:3tPTQ1jd(1/2) AAS
>>799
>それは概型よりも多分もっと新しい概念を使っているだろうと考えられます。
>概型が出てきたのが１９６０年ぐらいで、その数十年以前は、
>いわゆる普通の数、複素数くらいまでしか見ていませんでした。
>それを置き換えるように概型という概念が出てきたように、
>それをさらに置き換えるようなものかもしれません。
グロタンディークの思想圏内でゴチャゴチャやってるようにしか見えないけどな
省2
838(1): 2018/01/03(水)22:08 ID:3tPTQ1jd(2/2) AAS
>>292
jinちゃんかわゆすなおんにゃのこやのぉｗｗｗ
数学関係者って全学部学科で一番モテねえ男の巣窟の髄が集まってっから
オタサーの姫になれるでｗ
839: 2018/01/03(水)22:31 ID:vSq6KZWa(1) AAS
>>837 いいね！
>>838 悪いね！
840: 2018/01/03(水)22:58 ID:UKGLBJCH(1) AAS
jinはただの売れ残りのBBAだろ
841: 2018/01/03(水)23:11 ID:zW4bwNBB(1) AAS
jinとモチーが結婚する初夢を見た
842(1): 2018/01/03(水)23:14 ID:QG0YEqC7(2/2) AAS
>>836
君の説明は非構成的な定理が重要であることを裏書きしてくれている。
何も争うところがない。
843: 2018/01/03(水)23:26 ID:fEBuIFvs(1/2) AAS
>>842
はあ、、w
元々 カオス 共鳴現象は惑星の周期
運動から。
素粒子物理のリング型加速器は
ビームが周期的だから 共鳴、カオスが
起きる。
省12
844: 2018/01/03(水)23:28 ID:EiUG6uD9(1) AAS
物理の話はよそでやれ
845: 2018/01/03(水)23:29 ID:fEBuIFvs(2/2) AAS
力学系の話
846: 2018/01/03(水)23:36 ID:l44Q6+c6(1) AAS
物理とか工業系の方が実力高い感じ
847(1): 2018/01/04(木)00:38 ID:h0lPBL80(1/7) AAS
そもそも、物理と数学とでは、数学の扱い方が異なる。
物理の人が、果たして数学の理論自体を理解しているかどうかは見た目では分からない。
物理はともかく、工学系では相対論を知らない人が多く、
工学系の方が実力が高いというのは多分あり得ないw
実用的な応用といってよいかどうかは謎だが、相対論の工学への応用はGPS位しかない。
848: 2018/01/04(木)00:47 ID:CZgPtp/w(1/3) AAS
>>837
ごちゃごちゃしてるというか、過渡的だろうなとは思う
そもそもスキームを絶対ガロア群に対する代数的基本群から特徴付けできる
というのが絶対遠アーベル幾何なわけだろう
で、大域を扱うにはモノイドと基点抜き絶対ガロア群という個々のスキームより抽象的な
設定で理論を作る必要が出てきた
とはいえ、あくまでも基本的なのは絶対ガロア群と代数的基本群やモノイドなわけで
省2
849(1): 2018/01/04(木)00:50 ID:CZgPtp/w(2/3) AAS
>>847
顰蹙買うかもわからないけど、やっぱり一番頭がいいのは圏論もわかる
大域解析(微分幾何)の人だと思うんだよな
物理の人が数学を理解するのは難しいが、そういう大域解析の人は頭の切り替えをやれば
物理の話は大体わかっちゃうだろう
850: 2018/01/04(木)01:05 ID:h0lPBL80(2/7) AAS
>>849
非線形偏微分方程式もまんべんなくやっていれば分かるだろうけど。
非線形方程式で表される物理現象は
渦の巻かれ方とかの流体の現象に限らずかなり多くあるからな。
851: 2018/01/04(木)01:15 ID:h0lPBL80(3/7) AAS
というか、ブラウン運動を扱うとなると確率論とかも必要になるな。
大域解析だけでなく、解析全体もまんべんなくやれば物理も分かるな。
852: 2018/01/04(木)01:33 ID:CZgPtp/w(3/3) AAS
偏微分方程式の大域解析というと、普通は関数解析もやるわけだから
微分幾何＋関数解析という、一番物理に強い装備になる
シンプレクティック幾何学の場合は特に圏論的なこともやる
宇宙際幾何学のシンプレクティック幾何学的な対応は何か、というのも一つの問題だな
853: 2018/01/04(木)01:55 ID:+d9oyiyS(1) AAS
そうだよ、他の分野でも説明できなきゃなあ
外部ﾘﾝｸ[php]:www.math.leidenuniv.nl
外部ﾘﾝｸ[gz]:www.math.leidenuniv.nl
14 million ABC triples.
なんだよ１４００万通りのabcトリプルって....
きりたん動画とかはギリ許せても何とかマティクスみたいな嘘有限誘導アニメーションとか許せない
854(1): 2018/01/04(木)02:12 ID:h0lPBL80(4/7) AAS
まあ、普通は学習順序としては逆だろうな。
物理のテキストや論文には単位が書いてあるけど、数学のテキストには通常単位や論文には書かれていない。
物理の数学的扱いが分かるには、数学のテキストや論文の式とかの物理的な意味を理解している必要がある。
それ故、物理の数学的扱いも理解するためには、或る程度の物理を事前に理解している必要がある。
方程式などの式で省略されている単位とかの物理的な意味を分かっていないのに、物理の数学的扱いが分かる訳がない。
855(1): 2018/01/04(木)02:15 ID:h0lPBL80(5/7) AAS
>数学のテキストには通常単位や論文には書かれていない。
は
>数学のテキストや論文には通常単位は書かれていない。
856: 2018/01/04(木)02:17 ID:h0lPBL80(6/7) AAS
>>855は>>854の上から2行目の後半について。
857: 2018/01/04(木)08:33 ID:AvV8Bz2e(1/2) AAS
物理の特殊相対論は 測定の考察から 真空中の
光速度一定の原理で単位を決める。
数学は単位がないのに 数学から物理の相対論が
導くことが出来る、と勘違いする輩が多い。
数学は相対論を理解不能だな。
単位は 方程式、方程式の解までオーダーで
求めることが出来ることが多い優れもの。
省3
858: 2018/01/04(木)08:36 ID:ki1KmxP8(1) AAS
そういうのは別のスレでやれ
859: 2018/01/04(木)08:37 ID:AvV8Bz2e(2/2) AAS
数学と物理数学の話
860: 2018/01/04(木)08:39 ID:DgI86XBK(1) AAS
いいんじゃないの
861: 2018/01/04(木)09:48 ID:h0lPBL80(7/7) AAS
エーテルと名付けられた液体の化学物質もあるのに、
不思議なことに物理でもエーテルという用語を用いているな。
物理においては、光を伝える点では何も変わらなくて紛らわしい。
862: 2018/01/04(木)10:13 ID:1H4cpLHh(1) AAS
物理のエーテルはギリシャ時代が起源。
マックスウェルの方程式は光速媒質の
エーテルによるが、特殊相対論より光速媒質
のエーテルは不要になり場が実在となった。
数学者ポアンカレは光速媒質のエーテルから
脱却出来なかった。
今でも 数学には アインシュタインが相対論を
省2
863: 2018/01/04(木)11:52 ID:QQU2hZor(1/2) AAS
ヘイフリーとキーティングの実験を知ってるかい？
864(1): 2018/01/04(木)13:28 ID:aWvLCXCk(1/3) AAS
数論と物理なんて殆どつながりねえんだから
数学板でやるなとは言わんがここでやるなよ
（スペンサーのモチーフと経路積分の話でもするならともかく）
865(1): 2018/01/04(木)13:39 ID:F5ilSYRp(1/7) AAS
それはマニンを馬鹿にしているのか？
866(1): 2018/01/04(木)13:54 ID:aWvLCXCk(2/3) AAS
>>865
マニンは両方に手を出してるはいるが
両者をつなげている訳ではないだろう
867: 2018/01/04(木)14:17 ID:PQci8BRj(1/2) AAS
>>864
ピントはずれ
868: 2018/01/04(木)14:41 ID:RDMDsbDe(1/2) AAS
大ニュース、ついに物語動画自動生成プログラムができたらしい。
人工知能プログラムで「桃太郎」動画を作った結果 [956093179]
動画ﾘﾝｸ[YouTube]
869: 2018/01/04(木)14:44 ID:QQU2hZor(2/2) AAS
そっちのほうがよっぽどスレ違いじゃないか？
870: 2018/01/04(木)15:37 ID:1hSg4Yei(1) AAS
どっちの話題もIUTに関係ないのでスレ違い
871: 2018/01/04(木)16:32 ID:PQci8BRj(2/2) AAS
こんな話だったね？
今回の ABC予想の証明は
論理的に明確な数学証明か？
物理と交差する分野もある中 、
数学と物理 他の混同がないか？
IUTは 数学 他の分野にとって
どの位 価値があるか？
省1
872(1): 2018/01/04(木)16:50 ID:F5ilSYRp(2/7) AAS
>>866
そういう妄想論文を書いてる。多分コンヌもある程度触発されたんじゃないか
他にも例えばアラケロフや量子論を結びつけようとする研究者は、少ないがいるにはいる
873(1): 2018/01/04(木)16:57 ID:F5ilSYRp(3/7) AAS
そういやバイヤーさんは高次の量子タイヒミュラーみたいなことがやりたいんだろ？
ミラー対称性やラングランズの界隈を明らかに意識してるな
874: 2018/01/04(木)17:06 ID:xtD5zG4u(1) AAS
物理のwittenはフィールズ賞を受賞したね
875: 2018/01/04(木)17:10 ID:gq4WkrWq(1) AAS
ブログ更新きたわ
876: 2018/01/04(木)17:28 ID:F5ilSYRp(4/7) AAS
要約すると
「数学の認識って不思議だなあ」
877: 2018/01/04(木)17:28 ID:Nrqqeo+U(1) AAS
新年からアイドル批評おつかれさまです
878(1): 2018/01/04(木)17:36 ID:fxIJuYSc(1) AAS
数学の結論はキムチがうまいだよ
879: 2018/01/04(木)18:16 ID:5WD86n85(1) AAS
メシウマ？
880: 2018/01/04(木)18:30 ID:F5ilSYRp(5/7) AAS
・あらゆる世俗の事も数学的な高い視点から眺めているから、結びついてしまう
・ただ欅坂やガッキーを語るだけだと恥ずかしいので無理矢理数学にこじつけている
どっちなんだろうね
881: 2018/01/04(木)18:54 ID:Q1kMJ8ZM(1/2) AAS
>>873
師匠のモッチーを超えるポテンシャルを持った逸材やな
882: 2018/01/04(木)19:09 ID:gAms0qO+(1) AAS
>>878
収穫と蒔いた種とだね
883(1): 2018/01/04(木)19:21 ID:Q1kMJ8ZM(2/2) AAS
外部ﾘﾝｸ:plaza.rakuten.co.jp
後半、モッチーならではの面白い論考やな
884: 2018/01/04(木)19:26 ID:gMoRMRuq(1) AAS
ドリフ見てたのか
885: 2018/01/04(木)19:31 ID:gIIEIEMB(1) AAS
みんな理解出来ないなんて嫌だ！！
って言って欅坂のセンターで踊って欲しかった
886: 2018/01/04(木)19:40 ID:J6Tx+NjV(1) AAS
理解できないのを幸いとこねくりまわして修正するから余計にわけわかんなくなる
887: 2018/01/04(木)19:49 ID:+XlYGM7X(1/2) AAS
>「重力」、「引力」、「自転と公転」、
「離れていたって働き掛けるその力」、
「存在するだけで影響与えてる」
等、様々な数学的な概念を、踊り・音楽・歌を通して非常に鮮やかに表現できていたことに関心を持ちました。
万物は数のピタゴラス宇宙論者だね。
ピタゴラス主義ケプラーの宇宙モデルは
対称性の美しい正多面体に内外接する球、
省6
888: 2018/01/04(木)19:54 ID:RDMDsbDe(2/2) AAS
手品の種明かし。
最強の兵法は、自分の手をひもで自分でしばって自分でほどく。この間に敵に近づいて倒す。たいていの敵は倒せる。
889(1): 2018/01/04(木)20:42 ID:aWvLCXCk(3/3) AAS
>>872
>アラケロフや量子論を結びつけようとする研究者は、少ないがいるにはいる
そんな結びつきが本当にあったら面白いけど
ググっても殆ど何も出てこない
890: 2018/01/04(木)21:08 ID:+nnvDBFL(1) AAS
ブログ読んだ。
情報が抜け落ちてると言うより、読者側の認知が歪んでる(自分の知ってる分野にカテゴライズされる、レッテル貼りされる)と言うことのような気が。
理解できない、分からないを楽しめない人は、理解できないことは不安で仕方ないからね。
もっちーは日本人の人の付き合い方とか心持ちが外国人には分からないから、IUTが理解されないと思っていそうな節もあるけど、どうだろう。
891: 2018/01/04(木)21:40 ID:+XlYGM7X(2/2) AAS
重力も実際に存在するんでしょ。
重力も実在するから量子化した重力子を
発見しようとする。
重力は数学的概念ではないね。
重力が 数学的概念なら其々の人の頭の中に
重力があるのだろう。
量子化も 物理から出てきた用語だが、
省1
892: 2018/01/04(木)21:40 ID:F5ilSYRp(6/7) AAS
>>889
直接物理という形でそういう話は出てないんじゃないか
あくまでも幾何学の話
指数定理と同様に、設定からすれば特別不思議な話でもないと思うが
893: 2018/01/04(木)22:23 ID:F5ilSYRp(7/7) AAS
改めて記事を見て感じたんだけど(てかレス多くて申し訳ないけど)、
直観優位と形式優位でまた数学者のタイプが違うのかなあと思った
技巧的な証明が苦手な人とかはかえって直観的にフレームは掴めたりするとかね
佐藤幹夫やグロタンディークはそっちだろうし
894(1): 2018/01/04(木)23:01 ID:BIRlQR9O(1) AAS
いつからここは物理やの数学コンプまき散らす擦れになったんだ？
895: 2018/01/04(木)23:13 ID:LEpWIkVb(1) AAS
なぜすれ違いが多いのか、iutの話しようぜ
896(1): 2018/01/05(金)02:40 ID:9/OEqcNB(1) AAS
>>894
逆だろ。
数学者の自意識過剰だ。
ここには物理屋なんていない。
上下前次1-新書関写板覧索設栞歴
あと 106 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s