[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
703: 2021/02/19(金)08:07 ID:46Fge3L7(1/101) AAS
>>701
な、全然理解できないだろ？
コピペしても、全然心が満たされず、空しいだろ？
くれぐれも自分の心に嘘はつくなよ 気が狂うから
704: 2021/02/19(金)08:17 ID:46Fge3L7(2/101) AAS
>>702
まとめ間違ってるね
＞2．SS文書：「こういうモノドロミーを考えると、IUTは矛盾している」
正しくない
正しいのは以下
「IUTのリンクの扱いが定義できてない
定義できてないので常識的に考えると
モノドロミーが発生して矛盾する
モノドロミーを避けると自明な式しか導けず
Cor3.12は導けない」
省23
705(1): 2021/02/19(金)08:21 ID:46Fge3L7(3/101) AAS
率直にいって整数論に興味がないので
ABC予想とかいっても「フーン」って感じだし
ショルツやワイルズやファルティングスが
何をやったのかも全然わからん
ま、そんなこといったら
ペレルマンがポアンカレ予想を解決したっていっても
どうやって解決したかは全然分からんし
ドナルドソンがエキゾチックR^4の存在を示したっていっても
どうやって実現したかも全然分からんが
706(1): 2021/02/19(金)08:25 ID:46Fge3L7(4/101) AAS
数学の話で日本人とか国籍持ち出すヤツって
正真正銘の🐎🦌野郎だと思うんだよな
中身が重要なんでどこの馬の骨がやったかなんてどうでもいいだろ
所詮どこの人の数万年前の祖先はアフリカにいたんだから
人類なんてアフリカ以外では最も有害な外来種だぞ
715: 2021/02/19(金)13:43 ID:46Fge3L7(5/101) AAS
>>713
>coalgebra
「余代数（よだいすう、英語: coalgebra）とは、
単位元を持つ結合代数に対して、
圏の双対をとったものをいう。」
717: 2021/02/19(金)13:46 ID:46Fge3L7(6/101) AAS
>>713
>semi finite
semi-infiniteの誤りか？
719: 2021/02/19(金)13:48 ID:46Fge3L7(7/101) AAS
>>713
>transfinitite recursion
「超限再帰法」
720: 2021/02/19(金)13:51 ID:46Fge3L7(8/101) AAS
>>716
>証明機械
検索したが定義が見当たらない
721(1): 2021/02/19(金)13:54 ID:46Fge3L7(9/101) AAS
>>713
>選択公理を実数濃度で認める馬鹿の所業は、
>数学者のなすべき仕事ではない、
日本語になっていない
「選択公理を実数濃度で認めるのは
馬鹿の所業であって
数学者のなすべき仕事ではない、」
というなら（賛否はともかく）意味は分かるが
意味がわからない文章を書く人は信頼できない
722: 2021/02/19(金)14:00 ID:46Fge3L7(10/101) AAS
そもそも選択公理は、整列可能定理の証明において
その存在が意識されるようになった経緯がある
一方で、選択公理否定論者が論拠として
バナッハ・タルスキのパラドックスを持ち出すのは
大いに疑問がある
なぜなら、双曲平面では同様のパラドックスは
選択公理なしに成立するからである
双曲平面はノンコンパクトで
球面はコンパクトだから
意味が違うとかいう人は
省2
724: 2021/02/19(金)14:04 ID:46Fge3L7(11/101) AAS
ちなみに公理に基づいて定理を証明するのは計算機にも可能である
つまり選択公理が計算機に扱えないということはない
もちろん、選択公理でその存在が主張されている選択関数を
計算機でプログラミング可能かという意味ならそんなことはないが
そもそも「実施可能でなければ正しくない」とかいう原理は数学にはない
（「実施可能でないなら意味がない」というのは実際的な判断でしかない）
725: 2021/02/19(金)14:07 ID:46Fge3L7(12/101) AAS
>>723
圏論は構成的手続きの実現のためにだけあるのかね？
>構造をinternalizationする
internalizeの定義と例を示されたい
726(1): 2021/02/19(金)14:09 ID:46Fge3L7(13/101) AAS
そもそも圏論の言葉を振り回しても中身は生まれない
728(1): 2021/02/19(金)14:12 ID:46Fge3L7(14/101) AAS
>>727
いや 日本語ができないのはあなただろう
アメリカ人かね？
だったらアメリカに帰ったほうがいい
日本のような未開の蛮族の地から
一刻も早く立ち去ったほうがいい
焼かれて食われる前に
730: 2021/02/19(金)14:13 ID:46Fge3L7(15/101) AAS
>>727
なお指数爆発は言語の種類とは関係ない
嘘つきは人間として信頼できない
733: 2021/02/19(金)14:15 ID:46Fge3L7(16/101) AAS
>>729
スキームの使用自体は否定しないが
その場合もスキームが内容を生み出しているわけではない
複素幾何を全く知らん人が数論幾何をやっても意味がない
なぜなら数論幾何のアイデアの源泉は複素幾何にあるから
734(1): 2021/02/19(金)14:19 ID:46Fge3L7(17/101) AAS
>>732
あなたの構文解析が根本的に間違ってるのだろう
日本語を知らない白人は日本から立ち去ったほうがいい
本当に焼かれて食われる
737(1): 2021/02/19(金)14:21 ID:46Fge3L7(18/101) AAS
>>729
＞しっかり圏論をやっていれば、如何に幾何学の言葉そのものであるかがわかるはずだ。
幾何学をしっかりやっていれば、言葉以前の感覚がないとなんの意味もないとわかる。
Chern classも知らん人が、幾何学語っても空しいだけ
738(1): 2021/02/19(金)14:23 ID:46Fge3L7(19/101) AAS
>>735
整数論は数論幾何以前だから、複素幾何を知らなくても別にかまわない
しかし数論幾何のアイデアを理解するには、複素幾何を知る必要がある
739(1): 2021/02/19(金)14:28 ID:46Fge3L7(20/101) AAS
19xx 年生まれ .
某駅弁大学大学院工学研究科修了 .
専門分野 : コンピュータ科学・離散数学、航空宇宙、
ソフトウェア科学会正会員 .
大学講師、コンピュー タ会社勤務を経て米国でコンサルティング会社起業 .
海外事業開拓支援、ジェトロ専門家 . 世界各国で講演活動多数.
多分 大した数学は知らない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s