23/03/13 08:55:02.30 cTr5LNbf.net
Nスぺに出ていたWaldschmidt先生が複素解析の
論文をarXivに出している
URLﾘﾝｸ(doi.org)
245:１３２人目の素数さん
23/03/13 09:00:57.76 9uS2X/9p.net
>>233
ヘレティックって何？
246:１３２人目の素数さん
23/03/14 11:08:11.45 14MQ4lTo.net
カトリックがカトリックの教義に対立する信仰を持つ人々を指して言う時の呼称
拡大解釈され異教徒や政治上別党派や異端児にまで宛てて呼称される事も有る
IUTはヘレティックよりも酷い、シャムの双生児だ
247:１３２人目の素数さん
23/03/15 04:37:37.50 hSVs49y9.net
この予想をば
我が定理とぞ思う
望月の
欠けたる証明
なしと思わば
248:１３２人目の素数さん
23/03/15 16:54:35.11 wvv1a1rt.net
そもそも形式的に証明可能なの？>abc予想
これだけ手こずってるなら命題自体の証明よりも命題が証明可能かの証明にシフトした方がよくない？なんにでもいえるけど。
経験則で証明に時間がかかると予見された命題は証明可能性の証明をしておくほうが時間の無駄が少なくて済みそう
249:１３２人目の素数さん
23/03/19 07:09:41.88 t/mNWt+f.net
＞命題は証明可能性の証明
から疑うの？
ABC予想の「c ≻d＾（1＋ε）」は、
「cとdの大小関係はc < dとなるのが普通だが、c ≻ d になることも例外的にある。
この例外は無限個あるが、「d を累乗して少し大きくすることで有限個にできるだろう」との主張。
「d の累乗でεが大きい」くして、(1＋ε)=∞になると、d＾（1＋ε）側が無限大になるから、
だからc <d＾（1＋ε）で、c >d＾（1＋ε）の大小関係になる例は≒ゼロだよね。
d の累乗のεが0で、(1＋ε)=1のとき、
ABCの組合わせがc ≻ dになる例があることが示されている。
また終了したABCトリプルの組合わせの計算プロジェクトで、c ≻ dの例外の組合わせがあり、一方でc < dの方が普通になることが示された。
�
250:氓ﾉ、ABC予想の「c ≻ dの例外例が無限にある」は、組み合わせ計算は有限個なのだから、無限の終わりを示すまでは不可能だよね。 でもABC予想は、累乗のεを∞まで大きくすれば、c >d＾（1＋ε）の例外がゼロになるならば、 累乗の次数（デグ）を大きくすれば、どこかのεの累乗次数で「例外は有限個」になるならば、 ＞命題は証明可能性 はあるのだろ。 「たし算の増え方」より、「かけ算の累乗の増え方」は累乗的に大きい。 10+10、10+10+10、10+10+10＋１０、、 10、100、1000、10000、100000、、 たし算の数値の増分を仮に「誤差と見做す」せば、εの累乗の次数（デグ）を上げれば、 c >d＾（1＋ε）の例外の個数は、次数（デグ）に応じて累乗的に減少する。 これをdeg Θ≦deg q＋cとして、誤差ｃの次数（デグ）が同じか少し大きい、を示す。
251:１３２人目の素数さん
23/03/21 08:07:45.67 EggHEb7X.net
「たし算の増え方」より、「かけ算の累乗の増え方」は累乗的に大きいから、
累乗の次数（デグ）を少し大きくすれば、たし算の数値の増分を次数（デグ）は「誤差ｃと見做す」ことにした。
宇宙際で、現実の舞台のdeg Θを、かけ算しかない世界として累乗のdeg qと誤差ｃとして、誤差ｃが小さいことを示すアイデアで、
Θ関数から、遠アーベルによるΘ関数Hodge 劇場の入れ物の被覆から、deg qに相当する qパラメーター値がq^j2/2lの元となる。
ここでΘ関数Hodge 劇場の入れ物の被覆は、普通でなく、ある特殊な被覆であっても、
deg Θ≦deg q＋c
が示せれば、ABC予想の主張を証明できる。
そこれ被覆を作るときに、遠アーベルの群計算では対称性が多いほど、情報が伝わるから、
対称性の情報が多くなる、充満多重同型の条件で j でラベル付けされた点において、qパラメーター値がq^j2/2lの元を得る。
>>222の
＞同型は一つでいい
の限定は無いのかな。
Θ関数Hodge 劇場の入れ物の被覆は、deg Θ≦deg q＋cを示せれば、様々が可能だから「一つ」などない。
充満多重同型の条件や、 j でラベル付けの特殊値に意味があれば、その被覆で証明すれば十分だから。
すると、充満多重同型の条件や、 j でラベル付けの特殊値に意味があるか、はあるが。
252:１３２人目の素数さん
23/03/21 08:50:38.15 l6dC3QCD.net
足し算と掛け算とか対称性の話は本質ではないよ
Scholzeがやったように、同型一つ選んで進めればラベルjは1にしかならないんだから、結局は充満多重同型で何故解決するのかと言うことになる
ここでTaoのコメントの概念実証が効いてくるように思える
充満多重同型(やカプセル)の定義自体は、群のような、同型が考えられるものなら何でもよいので、こういう平易な例で概念実証して、非自明な結果が得られるべきだが、実際には、初期Θデータ、素点縞、D-NF橋、D-Θ橋、D-ΘNFホッジ劇場、代入点、代入切断面などを導入するまで、全く出てこない
正直これは、複雑な定義で充満多重同型の無用さを煙に巻いているように感じられる
253:１３２人目の素数さん
23/03/21 08:52:52.30 l6dC3QCD.net
代入切断面→代入切断
この間違いが分かる人がいるかも分からんが一応訂正
254:１３２人目の素数さん
23/03/21 09:05:02.42 l6dC3QCD.net
もし充満多重同型の平易な例で非自明な結果が既にあるならすまんが教えてほしい
255:１３２人目の素数さん
23/03/21 10:38:11.18 139loMlr.net
Chat-GPTに問い合わせてみたら、適確な証明を教えて呉れるかもしれないぞ。
256:１３２人目の素数さん
23/03/25 22:58:13.34 NuusJlyc.net
>>235
✉のとこに
「ご定年後にYouTubeのチャンネル開設してくださぃ」
とかってリクェストしたらダメですかめぇ!
って、‥ぃぃゎけねぇか‥ﾊﾊｧ‥
257:１３２人目の素数さん
23/03/25 23:01:31.35 NuusJlyc.net
>>245
「ボキの幸せゎ、…ど↑こ↓…？…こ↑こ↓…？…」
ってのも聞ぃてみたらぃぃじゃん。ｱｾﾚﾊﾞｨｨｼﾞｬﾝ
258:１３２人目の素数さん
23/06/10 22:17:03.23 yvkJFk9j.net
>>160
チンパンジーは円とその円に内接する正多角形が合
259:同であると言っているのか？
260:１３２人目の素数さん
23/07/07 21:19:19.83 XMrPYkS0.net
「ABC予想」の証明理論、欠陥見つけたら1.4億円 実業家が発表
URLﾘﾝｸ(news.yahoo.co.jp)
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の
望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生
（のぶお）さんが7日、「間違いの証明」に100万ドル（約1億4千万円）
の賞金をかけると発表した。
261:１３２人目の素数さん
23/07/08 01:09:42.85 sM7P/XP1.net
それだけの金があれば10人の数学者を育てられるものを。
262:１３２人目の素数さん
23/07/08 01:18:03.72 Rb7XFhqF.net
1人1400万円で数学者が育てられる？
1～2年分の給料＋経費にしかならんだろ。
263:１３２人目の素数さん
23/07/23 20:44:54.83 0Eqe+Tfw.net
博士の学生一人につき年額400万円支給ならば、3年間で1200万円、十人3年間なら1億2千万円である。
264:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています