[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2021/01/12(火)20:49 ID:QaXNPgrm(1) AAS
テンプレは後で
922: 2021/02/20(土)10:30 ID:c8yOLip1(11/65) AAS
次スレが立ってしまったので
923: 2021/02/20(土)10:31 ID:c8yOLip1(12/65) AAS
埋めさせていただきます
924: 2021/02/20(土)10:31 ID:c8yOLip1(13/65) AAS
それにしても
925: 2021/02/20(土)10:32 ID:c8yOLip1(14/65) AAS
なんでIUTが正しい、といいはるんでしょうね？
926: 2021/02/20(土)10:32 ID:c8yOLip1(15/65) AAS
日本人は素晴らしい、と自慢したがる理由がわからん
927: 2021/02/20(土)10:33 ID:c8yOLip1(16/65) AAS
だって、日本人とかいったって結局他人じゃないですか
928: 2021/02/20(土)10:33 ID:c8yOLip1(17/65) AAS
他人ならどこの国の人でも同じですよ
929: 2021/02/20(土)10:34 ID:c8yOLip1(18/65) AAS
例えばABC予想を解決したと主張したのが外国人だとして・・・
930: 2021/02/20(土)10:35 ID:c8yOLip1(19/65) AAS
やっぱり同業者から理解されてなかったら、同じように疑いますよ
931: 2021/02/20(土)10:35 ID:Z8PgJDTw(1/2) AAS
伸びが早いので、次スレ立てておきました
このスレを使い切ったら、次スレへどうぞ
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
932: 2021/02/20(土)10:36 ID:c8yOLip1(20/65) AAS
支持しない理由は国籍と無関係なんで
933: 2021/02/20(土)10:36 ID:c8yOLip1(21/65) AAS
逆に自国民だから支持するとか変態ですよね？
934: 2021/02/20(土)10:37 ID:c8yOLip1(22/65) AAS
なんで彼はそんなに必死なんでしょうね？
935: 2021/02/20(土)10:37 ID:c8yOLip1(23/65) AAS
数学の初歩もわかってないのに
936: 2021/02/20(土)10:38 ID:c8yOLip1(24/65) AAS
a,bが集合なら、a∈b⇔a⊂b とか言ってたの聞いて、呆れましたよ
937: 2021/02/20(土)10:39 ID:c8yOLip1(25/65) AAS
∈すら誤解するとか、数学に興味ないよなって・・・
938: 2021/02/20(土)10:40 ID:c8yOLip1(26/65) AAS
「正方行列の群」発言も酷かった
939: 2021/02/20(土)10:40 ID:c8yOLip1(27/65) AAS
「条件を付けるとわかりにくくなる」
って言ったのが実に馬鹿っぽかった
940: 2021/02/20(土)10:41 ID:c8yOLip1(28/65) AAS
必要な条件つけなかったら意味ない、って思わないのが野蛮
941: 2021/02/20(土)10:43 ID:c8yOLip1(29/65) AAS
任意の１次方程式ａｘ＋ｂ＝０は解ける！解はｘ＝−ｂ／ａだ！っていうくらい野蛮ｗ
942: 2021/02/20(土)10:43 ID:c8yOLip1(30/65) AAS
ａ＝０だったらダメじゃん
943: 2021/02/20(土)10:44 ID:Z8PgJDTw(2/2) AAS
維新さん（>>5ご参照）
ご苦労様ですｗ
944: 2021/02/20(土)10:45 ID:c8yOLip1(31/65) AAS
ま、公式があればＯＫ、で大学入試を乗り切っちゃったんだろうな
945: 2021/02/20(土)10:46 ID:c8yOLip1(32/65) AAS
東大でもそういう人少なくないんだろうな
946: 2021/02/20(土)10:47 ID:c8yOLip1(33/65) AAS
で、大学一年の微積分と線型代数で、ついていけんとなって工学部に行く、と
947: 2021/02/20(土)10:48 ID:c8yOLip1(34/65) AAS
数学＝計算、っていう理解だと、落ちこぼれるよな
948: 2021/02/20(土)10:49 ID:c8yOLip1(35/65) AAS
陰関数定理もそもそもそれ以前の
線型連立方程式の場合の定理すら
分かってないかもしれん
949: 2021/02/20(土)10:49 ID:c8yOLip1(36/65) AAS
で、εδも分かってなかったら二重にダメダメだよな
950: 2021/02/20(土)10:50 ID:c8yOLip1(37/65) AAS
そんな人が数学の何に興味もったんだかワケワカラン
951(3): 2021/02/20(土)10:55 ID:+Wu9Px2F(1/21) AAS
>>921
ワレ（あんた）のような若い天才肌は、
然るべき訓練をしなければ、本当に才能の無駄遣いとなる。と思う。
俺は複素解析で、線形系の計算をしたこともない。（複素数は代数閉であるから、解の上に、線形であることは理解できるし、渦が解の重複度とともに発生していることなど容易に想像できる。この話は、永田の初学者のための代数幾何を読めば良いだろう）
複素解析厨は、間違いなく数学者で、このあたりの計算をしっかりとやっており、
複素解析についてかなりの理解があると昨日話をして思った。俺は圏の威力を借りてスキームを少しばかり見ているが、やつが真にスキームなどをはじめれば、
俺より数倍厳密に、見るだろうことは想像できる。（あるいは見ているかもしれない）
省4
952(3): 2021/02/20(土)10:56 ID:+Wu9Px2F(2/21) AAS
IUT はモデルの出どころがないことも触れておこう。
西洋は、非常に合理的であり、数学もまた然りだ。数学のモデル論について、望月は一体どれほどの仕事をした？
彼は数あるモデルを構築した上で、宇宙を設定したわけでもなければ、グロタンディーク学派のように、関数空間を抽象化したわけでもない。
根拠もなく、宇宙の果てを自ら設定し、自分のモデルを勝手に作ったところで、
それは正しく仕事をしたことにはならない。
選択公理の虚をついた仕事なんじゃないのか。（選択関数を減らそうとしているときに、本当に空気が読めないな、と罵られても仕方のない。受け入れられないだけのタプーをIUT は犯しているし、肝心なモデルの点で大した仕事もしていない。）
p進数のような、
省5
953: complete idiot ◆OHIXyLapqc 2021/02/20(土)11:00 ID:c8yOLip1(38/65) AAS
>>951
ボクはもういい御歳ですよ 全然若くない
大学出たのは昭和時代だしｗ
954: 2021/02/20(土)11:01 ID:+Wu9Px2F(3/21) AAS
複素数上のタイヒミュラー理論も面白いと思う。
線形系はじめ、複素１変数代数幾何学（リーマン面）の知識で読めるだろう。
望月は間違いなく、偉大な数学者だと言うことは確かだ。（しかしIUTとは関係ない話だ）
955: 2021/02/20(土)11:04 ID:c8yOLip1(39/65) AAS
複素解析はニガテだったなｗ
チャーン類が切断の障害類、とかいうのは
野口廣のトポロジーの啓蒙書に書いてあった話
別に大したことじゃないよ
956: 2021/02/20(土)11:08 ID:c8yOLip1(40/65) AAS
>>951
＞コンピュータサイエンスと密接に結びついた数学では、
＞プレスバーガー算術をもちいるが、
決定可能だからね 限量子消去法を用いるとか
具体的な方法は勉強してないから知らないけど
957: 2021/02/20(土)11:11 ID:c8yOLip1(41/65) AAS
>>951
＞（プレスバーガー算術は）掛け算をすべて足し算に置きな変え計算するようなものだ。
正しくは掛け算が定義できない
だから、例えばｎｘは ｘ＋…（ｎ回）…＋ｘ と書けるけどｘ＾２は書けない
これ指摘すると、「え？」といったまま固まる人がいるけど
要するに文章を目で追っただけで考えてないんだな
一回でも考えたら必ず気づくんだけどね
958: 2021/02/20(土)11:13 ID:c8yOLip1(42/65) AAS
ゲーデルコーディングでは掛け算（というかベキの使用）は必須だから
プレスバーガー算術では無理 その時点で興味なしｗ
959: 2021/02/20(土)11:15 ID:c8yOLip1(43/65) AAS
実閉体や代数的閉体の理論も決定可能
つまり、逆に言うと上記の理論では自然数論は展開できない
これも、分かってない人多いね
実閉体の理論は実数論じゃないし
代数的閉体の理論は複素数論じゃないんだけどね
960: 2021/02/20(土)11:20 ID:c8yOLip1(44/65) AAS
>>952
望月のやってること自体は否定しない
アイデアというのは大体荒唐無稽なものだから
望月に問題があったとすれば
・自分の論文を編集長特権で掲載させようとした疑惑
・他人（ショルツ）の指摘に真摯に向き合わなかった態度
ま、人はみな自惚れ屋で自己中心的ですがね
省1
961(1): 2021/02/20(土)11:22 ID:c8yOLip1(45/65) AAS
>>952
＞選択公理の虚をついた仕事なんじゃないのか。
いまだに「選択公理」を排除したがる態度の理由が分からない
選択関数が構築できないなら意味がない、といいたいようだが
それは「具体的に計算できないものは無矛盾であっても無意味」
ということかい？
962(1): 2021/02/20(土)11:23 ID:c8yOLip1(46/65) AAS
グロタンディークは別に構成主義者ではないと思うんだが
963(1): 2021/02/20(土)11:27 ID:+Wu9Px2F(4/21) AAS
>>961
複素解析など、具体的に計算できるものは、
有限ステップですべて定義してきたわけだが、
選択公理は、人類の営みとして高々有限的にしか扱えないというタプーを超えている。
パラドクスがおきるのは必然。
964(1): 2021/02/20(土)11:28 ID:c8yOLip1(47/65) AAS
+Wu9Px2F氏は
「自然数から自然数への関数には必ず最小値がある」
という定理は受け入れられない？
上記は、自然数の整列性を利用するが、
どのｘでｆ（ｘ）が最小値になってその値がいくつか
をもとめるアルゴリズムは存在しない
965(1): 2021/02/20(土)11:32 ID:+Wu9Px2F(5/21) AAS
>>962
お前は、構成主義を勘違いしている。
人間が紙面上でしたことは機械でも証明できる。人間が曖昧にしていたところがうきぼりにでる。
966(1): 2021/02/20(土)11:33 ID:c8yOLip1(48/65) AAS
>>963
＞選択公理は、人類の営みとして高々有限的にしか扱えないというタプーを超えている。
＞パラドクスがおきるのは必然。
パラドクスおきてる？
非可測集合の存在もバナッハ・タルスキの定理も
パラドックスではないよね
だいたい、双曲平面では選択公理なしで
省4
967(1): 2021/02/20(土)11:34 ID:+Wu9Px2F(6/21) AAS
>>964
それで？
968(1): 2021/02/20(土)11:35 ID:c8yOLip1(49/65) AAS
>>965
＞人間が紙面上でしたことは機械でも証明できる。
そうだね
でもそれは構成主義とは関係ないよ
つまり古典論理を用いようが無限公理や置換公理や選択公理を用いようが構わない
969(1): 2021/02/20(土)11:36 ID:+Wu9Px2F(7/21) AAS
>>966
議論すり替えウンコだな。
漏らしてないか。
970(1): 2021/02/20(土)11:36 ID:+Wu9Px2F(8/21) AAS
>>968
トイレできばりながは一回考えろ。
971(1): 2021/02/20(土)11:37 ID:c8yOLip1(50/65) AAS
>>967
もし、受け入れるとすれば、別に選択公理を排除する必要はないと思うけど
972(1): 2021/02/20(土)11:38 ID:c8yOLip1(51/65) AAS
>>969
すり替えはない
むしろ、あなたがわかってないんじゃない？
>>970
あなたが考えたほうがいいよ
973: 2021/02/20(土)11:39 ID:+Wu9Px2F(9/21) AAS
>>971
「思うけど」
下位互換に要は無い（笑
974(1): 2021/02/20(土)11:41 ID:+Wu9Px2F(10/21) AAS
>>972
キチガイ。
975(1): 2021/02/20(土)11:41 ID:c8yOLip1(52/65) AAS
「自然数から自然数への関数には必ず最小値がある」
これ、構成主義者にとっては認めたくない定理だよね
「自然数から自然数への関数に最小値がないとすると矛盾する」
ここまではいいけど、そこから「二重否定」は取り除けない
なぜなら、具体的に「このｘで最小値ｙをとる」って示せないから
976: 2021/02/20(土)11:44 ID:+Wu9Px2F(11/21) AAS
>>975
１+1=2
これは、キチガイには信じがたい定理だよね。
977(1): 2021/02/20(土)11:45 ID:c8yOLip1(53/65) AAS
>>974
ま、そう発●しないでｗ
「自然数から自然数への関数には必ず最小値がある」
これ、ヒルベルトが基底定理の証明に使ったんだよね
で、そのとき、基底を具体的に構成しなかった
これが、排中律論争の幕開けなんだよね
978: 2021/02/20(土)11:46 ID:+Wu9Px2F(12/21) AAS
キチガイもたまには役に立ててこその数学だ。キチガイよ、昨日は勉強になった。お前はまるで理解しなくとも、お前は数学者の言葉を適切につたえてくれた。
もう、お前に用はない、棺桶でもみがいておけ。
979(1): 2021/02/20(土)11:49 ID:+Wu9Px2F(13/21) AAS
>>977
お前は、知識を並べただけで、
論理だててはいない。
それがどうした？
構成主義のおこりなどの話など誰も聞いてはおらん。
980(1): 2021/02/20(土)12:13 ID:c8yOLip1(54/65) AAS
>>979
論理だて？考えればわかるけど
もし、自然数から自然数への関数に最小値が存在しないとすると
任意のｘについて ｘ＜ｙとなるｙが存在して、ｆ（ｘ）＞ｆ（ｙ）となる
したがって、ｆ（０）からの無限降下列が存在する
しかし、自然数は整列集合であるから
いかなるｎについてもｎから０への降下列は有限長
省4
981(1): 2021/02/20(土)12:17 ID:8luvRSjF(1) AAS
>>952
>p進数のような、
>有限体で、掛け算と足し算をとっかえるのではないかというアイデア自体は、面白い。
>
>有限体は「ねじれて」いるわけだから、
>IUT などせずとももしかしたらそのあたりを深く突き詰めると良いようにも思うし、根本的にまちがっている気がしないでもない。
デタラメ。そもそもp進数には「ねじれ」なんてないけど。
省3
982: 2021/02/20(土)12:18 ID:+Wu9Px2F(14/21) AAS
>>981
それは、そうだ、有限体をつなげて極限をとったものだ。
アイデアの話もできんおこちゃまに用はない。棺桶へいけ。
983: complete idiot ◆OHIXyLapqc 2021/02/20(土)12:19 ID:c8yOLip1(55/65) AAS
ちなみにヒルベルトの基底定理で具体的に基底を計算する方法については
例えばグレブナー基底に関するブッフバーガーアルゴリズムを参照されたし
とはいえ「自然数から自然数への関数の最小値」を求めるアルゴリズムは
まだ聞いたことないし、おそらくないだろう（ほんまけ？ｗ）
984(3): 2021/02/20(土)12:20 ID:+Wu9Px2F(15/21) AAS
>>980
そんな、対角線論法もまともに書いていない（誤植のある）テキストを、書くやつの言うことなど興味がない。
誤植すら見抜けん信者が。
985(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)12:20 ID:c8yOLip1(56/65) AAS
＞ID:+Wu9Px2Fは用語をこねくり回してるだけのド素人
わかってるって ま、ボクも同類ですから（をひ！！！）
986(1): 2021/02/20(土)12:22 ID:+Wu9Px2F(16/21) AAS
>>984
誤植レベルのミスではない。
照井の本は、論理（日本語）がおかしかったので俺はそっと閉じた。
987(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)12:22 ID:c8yOLip1(57/65) AAS
>>984
誤植があるの？対角線論法のところ？
探すのメンドクサイから教えてｗ
988: 2021/02/20(土)12:24 ID:+Wu9Px2F(17/21) AAS
>>985
同類なら大歓迎だ。
989(1): 2021/02/20(土)12:25 ID:c8yOLip1(58/65) AAS
>>986
え？誤植じゃないの？じゃ>>984はウソ？
で、どこがどうおかしいの？教えてｗ
＃蛇足ですがID:+Wu9Px2Fを「伊達クン」と呼ぶことにしようかと思う
＃由来？そりゃ安達センセイにつづく有限主義者だから
＃「あ」のつぎは「い」でしょ（伊達を「いたち」と読むと思ってるｗ）
990(1): 2021/02/20(土)12:26 ID:+Wu9Px2F(18/21) AAS
>>987
忘れたし、怒りで処分した。
もう5年も前の話だ。
聞いた話だと思って読み飛ばしたなら、気づかんレベルさ。大した話ではない。
991: 2021/02/20(土)12:27 ID:+Wu9Px2F(19/21) AAS
>>989
お前は、「棺桶焼娘」だな。
992: complete idiot ◆OHIXyLapqc 2021/02/20(土)12:29 ID:c8yOLip1(59/65) AAS
>>990
ふーん・・・忘れた・・・ま、そういうことにしといてあげるよ
ところで伊達さん
・大学はどこ？
・専攻は何？
・齢いくつ？
この３点セットに回答４６４９
993(1): 2021/02/20(土)12:33 ID:+Wu9Px2F(20/21) AAS
大学は、
専修大学
アニメーション制作学科
歳は35歳だ。
（嘘に決まっているだろう、
ふざけた詮索は、
お前の馬鹿を露呈するだけだ）
994: 2021/02/20(土)12:38 ID:+Wu9Px2F(21/21) AAS
北海道東海大学の
農学部捕鯨学科という設定でも良いぞ。
鹿屋体育大学工学部火山調査学科でもいい。
それとわかりやすく
お前の設定を
桃○学院大学理学部数学科にしておこうか。
995: 2021/02/20(土)12:38 ID:c8yOLip1(60/65) AAS
>>993
ふーん専修・・・理系学部あったっけ？
あっネットワーク情報学部なんてあるんだ
きっとここだなｗ
996: 2021/02/20(土)12:41 ID:c8yOLip1(61/65) AAS
今S大のN情報学部の教員見てみたけど
外部ﾘﾝｸ:kjs.acc.senshu-u.ac.jp
・・・知ってる人が一人もいないやｗ
997(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)12:43 ID:c8yOLip1(62/65) AAS
ToKyo大学Ri学部JoHo科学科にしといてくださいｗ
ソンケーするH谷M己センセイがいるんでｗ
998: 2021/02/20(土)12:46 ID:c8yOLip1(63/65) AAS
>>997 ただ、会ったことないんだよねｗ
999: 2021/02/20(土)12:50 ID:c8yOLip1(64/65) AAS
S大合格者出身高校
外部ﾘﾝｸ:www.minkou.jp
ファー
1000: 2021/02/20(土)12:51 ID:c8yOLip1(65/65) AAS
あげ
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 16時間 1分 15秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.474s*