Inter-universal geometry と ABC 予想 45
■ このスレッドは過去ログ倉庫に格納されています
>>495
>Perfectoidにすり寄りすぎだな
ここ、女子さん、表題つけのビジネスセンスを感じる
(>>490)”Perfectoid algebraic geometry as an example of anabelomorphy 61”
とか
(>>491)”[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.”
とか
つまり、ショルツのPerfectoidをくっつけて、自分の”anbelomorphy”の お飾りに利用しているんだ
(なんたって、フィールズ賞の”Perfectoid”さまですからね)
うまいなー
笑点なら、ザブトン一枚だね 2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論」
(代表者:望月 新一)の一部は
感染症予防のため延期となりました。
遠アーベル幾何学ワークショップを
8.31-9.11へ延期可能なら東京五輪も
秋へ延期できたなあ〜。
ま、延期でなく中止が妥当だ >>498
>スレ84まで来て、スレが削除されたんだ
タイトルに「ガロア理論」とあるのに
全くガロア理論を語ってないんで
荒しスレッドと認定されたんでしょう
>巣ごもり用のスレはあって、新スレが1つ、旧スレが1つ、計2つある
「巣」でも匿名にすれば、つっこまれなくて済むんじゃないですかね?
まあ、文章で分かるんですけど
いいかげん、自分が数学を理解できているという
思い込みは捨てたほうがいいですよ
はっきりいって、大学1年の4月レベルですから
大学での挫折から精神に変調を来してしまったようですが
人間であり続けたいなら謙虚さは失わないようにしましょう >>501
「山田クン!座布団1枚持っていって!」
https://f-navigation.jp/column/life/887.html
facebook navi
幸せと座布団を運び続けて31年!笑点・山田クンが語る「継続する先に見えるもの」 2015/12/02
■「山田クン!座布団1枚持ってきて!」(取材・文:山葵夕子 撮影:ヒダキトモコ)
(抜粋)
日曜の夕方、「笑点」だけは子供の頃から見続けている。テレビの向こうには昔も今も変わらずにニコニコしながら座布団を運び続ける”山田クン”。どこかほっとする反面、幸せと座布団を運び続けて31年なんて、どうしたら継続できるのかと不思議に思ってしまう。
山田クンこと、山田たかおさんの著書「山田クンとざぶとん」(双葉社)や「ボクに運が巡ってくる55の理由」(廣済堂出版)を開けば、その多才さにまず驚かされる。
元スーパーアイドルで、落語家として寄席にも出れば、スピルバーグの映画に出演した経験も。運動神経も抜群でプロボクサーの資格を持ち、卓球の腕前も世界ベテラン卓球選手権に出場するほど。
なおかつ不動産の才もあり、マンション2棟を所有するオーナーでもある。それというのも、すべては「座布団芸」という、山田たかおさんの代名詞とも言える芸があるからだ。
https://imgcp.aacdn.jp/img-a/600/auto/fb-navi/column/2015/12/30202d90f29ab0ea45fcb554bbeeaa74.jpg
プロデューサーのすすめで、6代目座布団運びに起用された直後からお辞儀の仕方や歩き方を学ぶために日本舞踊は習っていたのですが、挨拶コンプレックスを克服するために落語を一から学びたいと思いました。それで当時の落語協会会長の鈴々舎馬風(れいれいしゃばふう)師匠に「弟子にしてください」と頭を下げて、一門入りすることにしたのです。
ところが、笑点のプロデューサーやディレクターに報告する前に、馬風師匠が新聞記者に話してしまったものだから、次の日にはドドーンと一面に「山田隆夫、鈴々舎一門入り!」と掲載されてしまって大騒ぎに。 >>502
>タイトルに「ガロア理論」とあるのに
>全くガロア理論を語ってないんで
>荒しスレッドと認定されたんでしょう
そんなもので
「荒しスレッド」を定義したらww
数学板の99%は、荒しで削除だろ?
QED >>504
なんか選挙違反を指摘されて「野党もやってる」と言い返す
どこかの島国の首相みたいなこと云ってますね
ガロア理論スレッドがすでに11で破綻してたことは明らか
正規部分群の定義を誤解するとか 数学科ならあり得ませんよ
円分体の自己同型を勘違いしてたのも酷かったですね
代数に全く興味がないことがあれで露見しました
今は集合論に転進したようですがやっぱり無限集合がわかってませんね
カントルスレッドも3は立たないでしょう ガロア理論スレッドがなくなった後もハンドル名にガロア理論とつける某氏は
フランス王国がなくなった後もフランス王を名乗り続けるPretender
https://www.youtube.com/watch?v=TQ8WlA2GXbk
Pretender ふりをする人、詐称者 ↑
「山田クン!座布団、全部 持っていって!」www(^^;
ほんと、キチガイだな 政府は米国からの入国制限に
加え入国拒否も検討している。
Dupuyも Kirti Joshiも米国の大学だろう。
WHOによれば今後はコロナウィルス
肺炎の中心地が米国だ。
IUT理論提唱者望月新一氏が
8月までに日本世界でコロナウィルス
肺炎が収束している、と予言したのだろう。
重大な責任がある代表は望月新一氏
でした 日本側の問題だけでなく今現在はアメリカでも大学教員の海外渡航を自粛・禁止
してるからそれが継続してるなら無理 別にスレ主がどうとかは重要ではないね。IUTはどうなるのか
女子やDupuyは数学コミュニティから見たら微妙なんじゃないかね
田口さんとか文元なんかカウントにもならないよね。文元は狭いリジッド幾何学界隈では世界的に有名だけど、
IUTについて論文を書いてないから論外
女子の論文も、読むと「anabelomophyは重要だと思う!」みたいな、学士論文レベルの記述が
見受けられるw
個人的には彼らの能力を信用しないけどね。SSが十分かどうかは別としても (あちこちから情報集めただけで知ったかぶって語る人間がいるとどうなるか
jinで懲りてるからな) 望月新一氏がabc予想を解決した話なら
↓
>>407 もっちさんのおかげで消費税が下がる
youtube.com/watch?v=JWluc9xSmqU&t=12s >>471
>それくらい普遍性のある理論かどうかが問題なんだから、
>ABC予想を解いたかまたは迫ったかも重要
言い張ってるだけじゃん。
「普遍性のある理論なら難問が解ける」という主張も意味不明。
★★★★数学の目的は難問を解くことでは一切ない★★★★
これはもっちー自身も加藤文元先生も常に強調していること。
グロタンディークの理論も、ヴェイユ予想の解決を目指して発展したが
ヴェイユ予想が解けるか解けないか以前に既に絶大な旋風を起こしていた。
(むしろ窮屈に無理にヴェイユ予想を力ずくで解決したドリーニュを
グロタンディークは最大限のエネルギーを持って批判した)
難問は「知らないうちに系として自然に解けてる」くらいでいいので
何年も掛けないと検証できない量で証明できても大きな意味はない
>あと、応用の広さを強調する割に部分的な小さい成果を発表してないのも異常だし
あんたの言うその応用の広さとは【数学全体の視野を広げる際の話】であって
【難問を解く際の話】ではない。
そしてIUTは他でもなく【数学全体の視野を広げる際の話】に
貢献してないのだという話が肝心
数学の中身に興味がなくて数学の権威だけに興味がある一般人は
難問が解ける解けないを権威化したがる >>472
>まず、根本はIUTの証明が成り立っているかどうでしょ?
根本じゃない
いの一番からズレてる
3年ロムった方がいい
>なお、証明は正しいが、他には応用できない例:4色問題
>そういうのもあるにはある
>IUTが、それかどうか知らないが
孤立した膨大な巨大理論なんか他にいくらでもある
むしろそのような(駄作)理論の方が多い
同じ望月のタクローの方もその手に近い
あと4色問題は理論ですらない
(コンピューターを使うと)しらみつぶしで証明できてしまったってだけ >>517
>>まず、根本はIUTの証明が成り立っているかどうでしょ?
>根本じゃない
いや、根本でしょ
場合分けすると
1)IUTの証明が成り立っていない場合
1-1)証明が成り立っておらず、修正もできない場合
→IUTの議論は無意味。このスレの存在意義さえない
1-2)証明が成り立っていないが、修正もできる場合
→修正すれば良い(下記”2)”へ)
2)IUTの証明が成り立っている場合
→IUTからABCが出る。これは大きな成果(強いABCか弱いABCか知らないが)
ってことですよ
あなたは、上記で「1-1)証明が成り立っておらず、修正もできない場合」を前提に、立論しているにすぎない
だが、前提の「1-1)証明が成り立っておらず、修正もできない場合」の真偽は未確定です
私の立場は、「2)IUTの証明が成り立っている場合」を前提にしています
(参考)
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3
ABC予想
(抜粋)
abc予想は、この予想から数々の興味深い結果が得られることから有名になった。
数論における数多の有名な予想や定理が abc予想から直ちに導かれる。
Goldfeld (1996) は、abc予想を「ディオファントス解析で最も重要な未解決問題」であるとしている。
得られる結果の例
abc予想を真だと仮定すると多数の系が得られる。
その中には既に知られている結果もあれば(予想の提出後に予想とは独立に証明されたものもある)、部分的証明となるものもある。
フェルマーの最終定理
モーデル予想(ファルティングスの定理)
ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点(英語版)を持たないこと
修正したスピロ予想
(引用終り) >>517
>孤立した膨大な巨大理論なんか他にいくらでもある
>むしろそのような(駄作)理論の方が多い
>同じ望月のタクローの方もその手に近い
・言っている意味が全く分からない
・21世紀の数学という存在自身が、膨大な巨大理論の集まりになっているでしょ?
・この膨大な巨大理論の集まりは、しかし、実はいろんなところで関連している場合が多い
(あっちで開発された手法が、こっちで使えるとか)
・この巨大化した21世紀の数学を、どう整理していくかは、大きな課題だと思う
・いま、数学のDR論文を書こうと思ったら、いろいろ集めて軽く千ページくらいは論文を読まないといけない場合も多いんじゃないですか
(多分、一つの重要論文を読むのに、引用されている論文も読む必要が出てきたりして) >>517
>あと4色問題は理論ですらない
>(コンピューターを使うと)しらみつぶしで証明できてしまったってだけ
分かってないな
「4色問題」は、”一松信『四色問題 どう解かれ何をもたらしたのか』講談社〈ブルーバックス B-1969〉、2016”にも、書いてあったと思うが
おそらく、「コンピュータを使用しない証明は、得られない!」 最初の例になるのではないかといわれている
「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
そういう意味で、「コンピュータしらみつぶし」証明の歴史を開いた意義があると思う
(なお、よく言われるのが、自然数nに関連する定理で、一般論が通用ぜず、n=3,4,5辺りが例外事象が多く、証明が難しくなることがあると)
(参考)
https://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86
(抜粋)
厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。
歴史
1976年にケネス・アッペル とヴォルフガング・ハーケンは、コンピュータを利用して約2000個の(後に1400個あまりに整理された)可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った
人手による実行が(事実上)不可能なほどの複雑なプログラムの実行によるものであることから、ハードウェアやソフトウェア(コンピュータやそのプログラム)のバグの可能性などの懸念から、その確実さについて疑問視する向きもあった。
2004年にはジョルジュ・ゴンティエ (Georges Gonthier) が定理証明系Coqを用いて、よりシンプルな証明を行う
証明
複雑に思える問題に対して簡潔にまとまった比較的短い証明(解答)を、エレガントな証明(解答)と言うことがある。
四色定理のある種「力業な証明」は、これと対極にあるものとして揶揄を込めて「エレファント(象)」な証明とも言われた。
5色による塗り分けが可能であることの証明が簡潔なものであるのと対照的である。
現在でもコンピュータを使用しない証明は得られていない
それどころか完全に自然言語を離れて、プログラムにバグがないことも含めた四色定理の証明全体をコンピュータに打ち込んで証明検査器Coqにチェックさせた仕事がある >>516
言い張ってるのはあんただろw
望月理論はABC予想とディオファントス幾何学をターゲットにしているんだから、関連性がなきゃおかしい
このケース特有の話であって、一般論の話ではないわけ、あんたのは一般論
文元がABC予想の解決が二の次と言っても、これについては望月氏はそういう言い方はしないはずよ IUTは数学の世界を広げる衝撃的な理論ではないし
ABC予想(の一部)を与える正しい証明でもないし
何か一部の技術的な道具が他の数学に役立つものでもないし
DLしたところでHDDの無駄になるだけのものを言い争っても仕方ない >>522
その成否は、今年の国際会議を待て
おれは、国際会議は成功すると思うよ IUT(遠アーベル幾何学)の国際会議が
9月初旬へ延期になった。
8月までに日本世界でコロナウィルス
肺炎が収束する予測の根拠を示してくれ
それとも根拠なしで延期期日を決めた
のだろうか? 再延期もありえるだろ。
8月までに収束するかはわからないが、7月までに開催は無理ということだろ。 新型コロナウィルスのバカ野郎は休止期間が有って罹患細胞とは違う外套細胞に隠れやがるんだとよ。
再発症事例頻発するわな。しかも標的細胞に対するアクセスキーを3つも持ち、結合酵素も
8つ手段として持ってるとか、これ本当に誰かが設計したんじゃねぇのかってウィルスでやがるな。
ある医学者が「世界を滅ぼすウィルスが在るとすればSARSやエボラウィルスではなく
風邪に似た緩慢な症状で、感染手段を多く持つウィルスだ」とか予言してたらしいが
こいつ其の条件にド填まりじゃねぇか。困ったウィルスだ事…。
どうやら感染者発祥地は蝙蝠を使ったウィルスの研究をしている研究所の廃棄物を
食ったタケネズミが近場の海鮮市場に走り回ってたかまたは食肉用に殺処分だけされた、もしくは
殺処分もせずに食肉用に檻の中に閉じ込めてたのが暴れ回ってた、とからしい。
タケネズミ以前に研究所内で噛まれて感染した人も居たが其の人は即座に隔離されて治ったらしい。
どうやら、ウィルス研究に蝙蝠なんか使ってた事と、殺処分だけして衛生処理しない食品管理が
感染拡大を招いた原因らしい。其れを中国はぜってー認めない方針らしいわ。 >>525
五輪と同じで海外渡航自粛を欧米の主要大学が続けている間は
国際的な研究会はどこの場所でも無理
日本人だけのローカルな研究会は6月くらいもやるようだ 望月新一代表が単に1回目の遠アーベル
幾何学ワークショップを3回目のIUT
ワークショップの期日へ移動しただけで
、コロナウィルス感染予防からの根拠
はないね。
予算獲得とアクセプトのためのワークショップだろう
日本人だけのローカルな研究会は6月
くらいもやる?
現在 緊急事態宣言都市封鎖の話まで
あり人の移動がウィルス拡散につながると指摘されてる中で 頭大丈夫かい?
RIMSの監督責任は京大政府文科省
厚労省にある 京大にウィルス研究所があるな
今後の新型肺炎の流行予測を聞いて
みればいい もっちーがコロナに感染しなければそれでいい
健康第一 >>533
個人的な感想だろうな
インフルエンザと比較すれば
新型肺炎の死亡が少ない主張は
初期のトランプと同じ。
だがNYやイタリアは短期間に感染が
爆発し医療体制は瀕死状態だ。
一方非常事態の管理下台湾は抑え込まれている。
現在 東京都は厚労省の予測を上回る
ペースでベッドは満杯状態じゃん。
大阪兵庫の厚労省予測は東京都を
上回っていたがどうなるやら
厚労省の予測は数理モデルを
使っていると思うが具体的に知らない。
常微分方程式のシンプルな現象論
モデルは流行予測でもHIV対策でも
有効だった
https://www.metro.tokyo.lg.jp/tosei/governor/governor/kishakaiken/2020/03/documents/20200323_06.pdf 予測なんかいいよ
グロモフも不満たらたらだろう。さっさと真の数理生物学を作りなさい
タンパク質構造を折り紙とか変な近似トポロジー理論で満足するのをやめなさい 高級はともかくとして
関西でも予測されますが
↓
夜の街クラスター
東京ではここに来て、いわゆる
【密接に接客する高級な夜の店】
でも感染が認められている みなさん、歩き回らないでおうちにいましょう
つってウィルスを抑え込めると思っているのは
あほな政治家、スポーツ選手、ツイッター民くらい
ある程度賢い層は当初から、そんなんでうまくいく
わけないだろと言っていた
おうちにいましょうなんて言葉守らない層が
1パーセント以下でも蔓延が防げないのは
伝播のどんな数理モデルを組んでも出てくる
現実、先生の言うことを守らない層なんて
30%以上いるわけで話にならない 統計学の虚構
独350人日本52人
検査母数は死亡率の参考にならない
検査をしてもしなくともウイルスによる死亡数は変化なし
重症の入院者数とクラスターの陽性率で比較すると大差なし BCGワクチン療法による高齢者肺炎の予防法の確立
https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-15590794/
東北大が発表してる確かな研究だ
日本の死者や感染者が少ないのはしっかりBCGを打ってるからだね
特に日本株は最優秀という評価が出てる BCGを60歳過ぎに義務化したら肺炎による死因がさらに減るな
BCGの肺炎に対する効果は半永久的との話もあるが効果を増強しておくのは意味がある 新型コロナウイルス対策
ワクチン → BCGワクチン (日本株最優秀)
治療薬 → アビガン (日本人が開発者。政府が備蓄200万人分確保済。中国の臨床で効果確認済)
日本が最強ということだ >>546
誇らしいことを何故恥ずかしがる?
おまえみたいなメンタリティが日本のがん細胞だし恥だな
世界中が日本の死者数が少ないのを不思議がってるほどなんだよ
それには確かな理由があるはずで、理由がようやく見えてきたわけだ
ヤバいよ〜ヤバいよ〜と危機感を煽るバカが多すぎるからな
ポジティブ思考が常に状況を打破するんだよ
鬱でネガティブ野郎は社会のゴミだ 志村が死んで世間の気持ちも一段と引き締まるぞラッキー。みたいな? >>547
誇らしいことを何故恥ずかしがる?
おまえみたいなメンタリティが日本のがん細胞だし恥だな
世界中が日本の理解者が少ないのを不思議がってるほどなんだよ
それには確かな理由があるはずで、理由がようやく見えてきたわけだ
アクセプトよ〜アクセプトよ〜と正当性を煽るバカが多すぎるからな
おばちゃん思考が常に状況を打破するんだよ
京大派で腰巾着野郎は数学会のゴミだ 桜の咲くころにアクセプトったって
そんなにニュースにもなんない予感
誰も見向きもしないだろう
コロナのせいで 今年こそもっちーの実力フル発動できる、よい年になりますように!!! 新型コロナ肺炎に関する東京都
の記者会見で厚労省クラスター班
北大西浦氏の現状分析資料。
「夜の街クラスター」と輸入感染も
現状分析され数理モデルで予測されて
いる。
予測のツールはシンプルなKM方程式を
べースとし移入も考慮した数理モデル
だろう。
気象予報の手法は参考になる
が「純」数学とは目的が違う
https://mobile.twitter.com/nico_nico_news/status/1244589637667917826/photo/2
https://twitter.com/5chan_nel (5ch newer account) すすきので遊んでる北大生・院生は多いからな切実だろう
大馬鹿三太郎は北32条だか38条だかの風俗に行くらしい lこの際恵迪寮をぶっ壊せw
年齢不詳の学ラン着た馬鹿と
歌うたってる奴ら
明らかに40過ぎたおっさん
いらねーだろw おまいらモチーがRIMS前でカメラマンに写真撮ってもらってたらしいぞ
ソースはTwitter
そろそろアクセプト本当じゃね? >>567
追加
KM方程式は基本的な方程式です。
数理モデルははしか淋病の数理モデルなど色々とある。
数理モデルの予測は天気予報と同じく
誤差がある
新型コロナウィルス感染の数理モデル
https://costep.open-ed.hokudai.ac.jp/like_hokudai/contents/article/1866/ >>573
あらかた集会でヌード写真集でも配るんだろ 仮にデマだとしても注意する価値はある
それだけ苦しい状況ってことだし 本人も自称理解者も「苦しい」とは思っていないようだがw コロナ感染のクラスターも
密教の曼陀羅にみえるかも 関係ないけど、BSDとリーマンって同じくらい難しくない? そう言う人もいるだろうしそうじゃないと言う人もいるだろうしとしか言えん話だな >>471
>それくらい普遍性のある理論かどうかが問題なんだから、
>ABC予想を解いたかまたは迫ったかも重要
重要だーーって言い張ってるだけじゃん。
「普遍性のある理論なら難問が解ける」という主張も意味不明。
★★★★数学の目的は難問を解くことでは一切ない★★★★
これはもっちー自身も加藤文元先生も常に強調していること。
グロタンディークの理論も、ヴェイユ予想の解決を目指して発展したが
ヴェイユ予想が解けるか解けないか以前に既に絶大な旋風を起こしていた。
(むしろ窮屈に無理にヴェイユ予想を力ずくで解決したドリーニュを
グロタンディークは最大限のエネルギーを持って批判した)
難問は「知らないうちに系として自然に解けてる」くらいでいいので
何年も掛けないと検証できない量で証明できても大きな意味はない
>あと、応用の広さを強調する割に部分的な小さい成果を発表してないのも異常だし
あんたの言うその応用の広さとは【数学全体の視野を広げる際の話】であって
【難問を解く際の話】ではない。
そしてIUTは他でもなく【数学全体の視野を広げる際の話】に
貢献してないのだという話が肝心
数学の中身に興味がなくて数学の権威だけに興味がある一般人は
難問が解ける解けないを権威化したがる >>521
>望月理論はABC予想とディオファントス幾何学を
>ターゲットにしているんだから、関連性がなきゃおかしい
@なんで急に
ABC予想とディオファントス幾何学との関連性の話なんかしているんだ?
そこからもうあんたのレスはオカシイ
関連性がないとかあるとか俺は何も言及してない
俺はABCの証明なんか合ってて合ってなくても重要ではないと言ってる
>このケース特有の話であって、一般論の話ではないわけ、あんたのは一般論
Aあんたの言う特有の話とは何であってそして
なんでその特有の話では俺の主張はダメなんだ
>文元がABC予想の解決が二の次と言っても、
>これについては望月氏はそういう言い方はしないはずよ
B望月自身も思いっきりそういう言い方しているし望月に限らず
逆に「ABC予想の証明が正しいかどうかが最重要」なんて明言してる
おまえらレベルにバカな数学者なんて誰もいないだろ
いるなら具体的名前を出せ >>518
>いや、根本でしょ
>場合分けすると
>1)IUTの証明が成り立っていない場合
>1-1)証明が成り立っておらず、修正もできない場合
>→IUTの議論は無意味。このスレの存在意義さえない
>あなたは、上記で「1-1)証明が成り立っておらず、
>修正もできない場合」を前提に、立論しているにすぎない
>2)IUTの証明が成り立っている場合
>→IUTからABCが出る。これは大きな成果(強いABCか弱いABCか知らないが)
クソワロタ
IUTは理論なんだから(笑)
IUTの理論自体の辻褄が客観的に間違ってるなんてさすがにあり得ない
IUTの理論自体の辻褄は当然合ってる(笑)笑(笑)
いま揉めてるのはABCの証明の辻褄の問題
そして辻褄が合っているからと言って価値ある理論とは限らない
ユークリッド幾何もクロスワードパズルも辻褄は合ってても
そこに深い数学的価値があるとは限らない、という話 >>519
>言っている意味が全く分からない
>21世紀の数学という存在自身が、膨大な巨大理論の集まりになっているでしょ?
落ち着け
俺は「膨大な理論は価値がない」なんて言ってないぞ
俺は「膨大な巨大理論を構築した事はその理論に価値がある十分条件にならない」
と言ってるだけ
俺は容易に意味分かる事しか言ってない
>この膨大な巨大理論の集まりは、しかし、実はいろんなところで関連している場合が多い
(あっちで開発された手法が、こっちで使えるとか)
関連しないまま死に絶える理論も沢山あると言ってる
もっと時間が経ってのちに関連が見出されれば
その時には復活もあり得るし
永遠に死に絶えたままかも知れない >>520
>おそらく、「コンピュータを使用しない証明は、得られない!」
>最初の例になるのではないかといわれている
>「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
>そういう意味で、「コンピュータしらみつぶし」証明の歴史を開いた意義があると思う
数学的な意味はないし数学的な価値もないし
数学の理論でもない 数学の真の目的って何
素人にもわかるように教えてえらいひと! >>596
>数学の真の目的って何
>素人にもわかるように教えてえらいひと!
"えらいひと"ではないが
”素人にもわかるように”教えることも出来ないが
”数学の真の目的って何”という問いは、数学の中には答えが無い
∵ ゲーデルの不完全性定理による。つまり、数学の中では ”数学とはxx”と定義することができない
よって、”数学とは?”、”数学の真の目的って何?”は哲学の課題ですね
(参考)
https://fuchino.ddo.jp/misc/kobe10-05-15-pf.pdf
ゲーデルの不完全性定理と
無限の研究としての集合論
渕野 昌 神戸大学大学院 情報システム学研究 20100517
(於)神戸大学生活共同組合
和風レストラン さくら
サイエンス・カフェー神戸
(抜粋)
第一不完全性定理が集合論にもたらしたものは,「不完全」と
いう否定的なファクターであるよりは,
むしろ,集合論,あるいは数学の
(未来へ無限に開かれていること)
であるように思える >>592
完全に誤読、詭弁。ABC予想の証明が最重要と言ってるんじゃなくて、IUTのモチベーションにはABC予想は
著しく重要だと言ってんの。従ってABC予想との意味的な関連性を無視できるはずがない
それは事実なんだから否定しようがないの
あと、ABC予想の証明になってても(辻褄が合っても)数学的価値があるとは限らない、なんてそれこそ
まともな数学者が安易に言うわけがないだろう。ABC予想はそんな小手先のパズルで解ける問題ではない
悪口を言うのはあえて控えるが、控え目に言っても論外
偉そうに講釈垂れたいなら、一度「IUTの何がホッジーアラケロフ理論の一般化なのか」くらい解説したら
これは非常に難しいが核心的な部分だよ。IUTの数学的価値について語るなら避けて通れない
ま、あんたじゃなくセンスのある不特定の誰かにヒントを出すなら完全にモチーフの話なんだけどね ■ このスレッドは過去ログ倉庫に格納されています