Inter-universal geometry と ABC予想 (応援スレ) 52

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

3: １３２人目の素数さん [] 2021/02/20(土) 10:26:47.71 ID:Z8PgJDTw

つづき

＜過去スレより再録＞
スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね

１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
　あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
　しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です

ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；

スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/883
１．RIMSを まず 普通の論文と見れば良いと思うのだが？　つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ

そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾

アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか

笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；

http://rio2016.5ch.net/test/read.cgi/math/1613784152/3

4: １３２人目の素数さん [] 2021/02/20(土) 10:27:16.77 ID:Z8PgJDTw

なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、"鳥なき里のコウモリ"そのままで、"シッタカ"ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然"維新〜！"と絶叫したりするからです（＾＾；　）
( https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）

＜＊）サイコパスの特徴＞
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
http://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。

また
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾

つづく

http://rio2016.5ch.net/test/read.cgi/math/1613784152/4

5: １３２人目の素数さん [] 2021/02/20(土) 10:28:56.65 ID:Z8PgJDTw

つづき
（参考）
関連： 望月新一（数理研） http://www.kurims.kyoto-u.ac.jp/~motizuki/
http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）

https://twitter.com/hoshiyuichiro
星裕一郎 ツイッター
http://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244746

http://www.kurims.kyoto-u.ac.jp/~gokun/
Go YAMASHITA （gokun）
http://www.kurims.kyoto-u.ac.jp/~gokun/myworks.html
山下剛サーベイ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.

Yourpedia 宇宙際タイヒミュラー理論 （URLが通らないので検索たのむ）
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96　宇宙際タイヒミュラー理論 Wikipedia
https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCller_theory 英Inter-universal Teichm?ller theory 英 Wikipedia
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想
https://en.wikipedia.org/wiki/Abc_conjecture 英abc conjecture

https://www.math.arizona.edu/~kirti/ から Recent Research へ入る
Kirti Joshi Recent Research論文集

つづく
https://twitter.com/5chan_nel (5ch newer account)

http://rio2016.5ch.net/test/read.cgi/math/1613784152/5

6: １３２人目の素数さん [] 2021/02/20(土) 10:29:23.57 ID:Z8PgJDTw

つづき

https://www.uvm.edu/~tdupuy/papers.html
[ Taylor Dupuy's Homepage] 論文集
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
https://arxiv.org/pdf/2004.13108.pdf
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI'S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
P15
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2

つづく

http://rio2016.5ch.net/test/read.cgi/math/1613784152/6

7: １３２人目の素数さん [] 2021/02/20(土) 10:29:43.50 ID:Z8PgJDTw

つづき

なお
"[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017."は、2018の気がする
"[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2"が見つからない。"the unpublished manuscript [Tan18]"とはあるのだが（＾＾
代わりに、ヒットした下記でも、どぞ （2018の何月かが不明だが、2018.3のSS以降かも）

http://www.kurims.kyoto-u.ac.jp/~motizuki/Tan%20---%20Introduction%20to%20inter-universal%20Teichmuller%20theory%20(slides).pdf
Introduction to Inter-universal Teichm¨uller theory
Fucheng Tan RIMS, Kyoto University 2018
To my limited experiences, the following seem to be an option for people who wish to get to
know IUT without spending too much time on all the details.
・ Regard the anabelian results and the general theory of Frobenioids as blackbox.
・ Proceed to read Sections 1, 2 of [EtTh], which is the basis of IUT.
・ Read [IUT-I] and [IUT-II] (briefly), so as to know the basic definitions.
・ Read [IUT-III] carefully. To make sense of the various definitions/constructions in the
second half of [IUT-III], one needs all the previous definitions/results.
・ The results in [IUT-IV] were in fact discovered first. Section 1 of [IUT-IV] allows one to
see the construction in [IUT-III] in a rather concrete way, hence can be read together with [IUT-III], or even before.
S. Mochizuki, The ´etale theta function and its Frobenioid-theoretic manifestations.
S. Mochizuki, Inter-universal Teichm¨uller Theory I, II, III, IV.

http://www.kurims.kyoto-u.ac.jp/daigakuin/Tan.pdf
教員名: 譚 福成（Tan, Fucheng）
P-adic Hodge theory plays an essential role in Mochizuki's proof of Grothendieck's
Anabelian Conjecture. Recently, I have been studying anabeian geometry and
Mochizuki's Inter-universal Teichmuller theory, which is in certain sense a global
simulation of p-adic comparison theorem.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1613784152/7

11: １３２人目の素数さん [] 2021/02/20(土) 10:31:56.46 ID:Z8PgJDTw

つづき

旧スレ一覧
（含 本スレなど）
ABC予想が解かれたかもしれんぞ！) 初代
https://uni.5ch.net/test/read.cgi/math/1347851182/
（以下その30まで略）
Inter-universal geometry と ABC予想　30
https://rio2016.5ch.net/test/read.cgi/math/1535260426/
Inter-universal geometry と ABC予想　31
https://rio2016.5ch.net/test/read.cgi/math/1537711433/
Inter-universal geometry と ABC予想　32
https://rio2016.5ch.net/test/read.cgi/math/1538755734/
Inter-universal geometry と ABC予想　33
https://rio2016.5ch.net/test/read.cgi/math/1539459427/
Inter-universal geometry と ABC予想　34
https://rio2016.5ch.net/test/read.cgi/math/1541001291/
https://rio2016.5ch.net/test/read.cgi/math/1540992324/
Inter-universal geometry と ABC予想　35
https://rio2016.5ch.net/test/read.cgi/math/1543778612/
Inter-universal geometry と ABC予想　36
https://rio2016.5ch.net/test/read.cgi/math/1546010649/
Inter-universal geometry と ABC予想　37
https://rio2016.5ch.net/test/read.cgi/math/1552141221/

つづく

http://rio2016.5ch.net/test/read.cgi/math/1613784152/11

45: １３２人目の素数さん [] 2021/02/20(土) 19:28:54.37 ID:Z8PgJDTw

>>44 追加

下記より
” and Hoshi-Mochizuki-Minamide,
the construction of arithmetic operads ”
とありますな、ワッハッハｗｗｗ

（参考）
https://www.mfo.de/occasion/2110a/www_view
The Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Homotopic and Geometric Galois Theory
7 Mar - 13 Mar 2021
ID: 2110a
Organizers
Benjamin Collas, Bayreuth
Pierre Dèbes, Villeneuve d'Ascq
Hiroaki Nakamura, Osaka
Jakob Stix, Frankfurt
Public Abstract https://www.mfo.de/document/2110a/Public-Abstract-2010a.pdf

Abstract
A fundamental idea in studying the absolute Galois group of a field is to make it act on geometric
objects such as Galois covers, étale cohomology groups and fundamental groups. The following
research topics emphasize this seminal idea: (a) Galois covers, G-torsors and their parametrizing
families, (b) motivic Galois representations, (c) anabelian towers of fundamental groups.
Striking advances have recently shed new light on the whole topic:

(c) in Anabelian Geometry: the successful introduction of methods from étale homotopy theory
(Schmidt-Stix) and from motivic A1-homotopy theory for moduli stacks of curves (Collas), the import
of operads (Fresse-Horel) which echo the Galois techniques of Pop and Hoshi-Mochizuki-Minamide,
the construction of arithmetic operads for Hurwitz moduli spaces (Westerland-Wickelgren).

http://rio2016.5ch.net/test/read.cgi/math/1613784152/45

52: １３２人目の素数さん [] 2021/02/20(土) 21:07:22.66 ID:Z8PgJDTw

>>45
>The following research topics emphasize this seminal idea: (a) Galois covers, G-torsors and their parametrizing families, (b) motivic Galois representations, (c) anabelian towers of fundamental groups.
>Striking advances have recently shed new light on the whole topic:
>(c) in Anabelian Geometry: the successful introduction of methods from étale homotopy theory
>(Schmidt-Stix) and from motivic A1-homotopy theory for moduli stacks of curves (Collas), the import
>of operads (Fresse-Horel) which echo the Galois techniques of Pop and ,
>the construction of arithmetic operads for Hurwitz moduli spaces (Westerland-Wickelgren).

”Striking advances have recently shed new light on the whole topic:”
ですね

”Hoshi-Mochizuki-Minamide”は、該当しそうなのは下記二つ
（>>5より）
http://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
星裕一郎の論文
(抜粋)
１）Explicit estimates in inter-universal Teichmüller theory (with Shinichi Mochizuki, Ivan Fesenko, Arata Minamide, and Wojciech Porowski) RIMS Preprint 1933 (November 2020): (PDF).
　http://www.kurims.kyoto-u.ac.jp/~yuichiro/rims1933.pdf
２）Group-theoreticity of numerical invariants and distinguished subgroups of configuration space groups (with Arata Minamide and Shinichi Mochizuki) RIMS Preprint 1870 (March 2017): 修正版: (PDF).
　http://www.kurims.kyoto-u.ac.jp/~yuichiro/rims1870revised.pdf
（引用終り）

ここで、”Striking advances have recently shed new light on the whole topic:”に該当するのは、”November 2020”の１）”Explicit estimates in inter-universal Teichmüller theory”ですね
”March 2017”は、ちょっと古いですね
たぶんね

http://rio2016.5ch.net/test/read.cgi/math/1613784152/52

53: １３２人目の素数さん [] 2021/02/20(土) 21:20:00.96 ID:Z8PgJDTw

>>52
追加下記ご参考
2018年からの流れですね
（参考）
http://www.kurims.kyoto-u.ac.jp/~bcollas/documents/MFO-owr1816a_report_Introduction.pdf
Mathematisches Forschungsinstitut Oberwolfach
Report No. 17/2018
DOI: 10.4171/OWR/2018/17
Mini-Workshop: Arithmetic Geometry and Symmetries
around Galois and Fundamental Groups
Organised by
Benjamin Collas, Bayreuth
Pierre Dèbes, Villeneuve d’Ascq
Michael D. Fried, Billings
15 April – 21 April 2018

Abstract. The geometric study of the absolute Galois group of the rational
numbers has been a highly active research topic since the first milestones:
Hilbert’s Irreducibility Theorem, Noether’s program, Riemann’s Existence
Theorem. It gained special interest in the last decades with Grothendieck’s
“Esquisse d’un programme”, his “Letter to Faltings” and Fried’s introduction
of Hurwitz spaces. It grew on and thrived on a wide range of areas, e.g. formal
algebraic geometry, Diophantine geometry, group theory. The recent years
have seen the development and integration in algebraic geometry and Galois
theory of new advanced techniques from algebraic stacks, p-adic representations and homotopy theories. It was the goal of this mini-workshop, to bring
together an international panel of young and senior experts to draw bridges
towards these fields of research and to incorporate new methods, techniques
and structures in the development of geometric Galois theory

P5
3. Galois Anabelian and Homotopical Geometry

Schmidt and Stix presented their joint work: they showed how to use étale
homotopic methods and Mochizuki’s work to deduce the existence of anabelian
Zariski-neighbourhoods in smooth variety of any dimension. Schmidt first explained the necessary requirements and difficulties in Artin-Mazur-Friedlander
pointed-unpointed étale homotopy theory, then Stix presented the proof based on
Tamagawa’s idea of Jacobian approximation of rational points via the existence of
a certain retract.

http://rio2016.5ch.net/test/read.cgi/math/1613784152/53

56: １３２人目の素数さん [] 2021/02/20(土) 22:05:28.98 ID:Z8PgJDTw

>>54
>IUTは完了形として、オープンな問題は何か？

例えば
（>>5より）
http://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
星裕一郎の論文
(抜粋)
１）Explicit estimates in inter-universal Teichmüller theory (with Shinichi Mochizuki, Ivan Fesenko, Arata Minamide, and Wojciech Porowski) RIMS Preprint 1933 (November 2020): (PDF).
　http://www.kurims.kyoto-u.ac.jp/~yuichiro/rims1933.pdf
Abstract.
We also obtain an explicit estimate
concerning “Fermat’s Last Theorem” (FLT) - i.e., to the effect that
FLT holds for prime exponents > 1.615 ・ 10^14 - which is sufficient to
give an alternative proof of the first case of Fermat’s Last Theorem.
(引用終り)

個人的には、”1.615 ・ 10^14”のところで、もっと改良できそうな気もするんだよね
下記のABC予想 wikipediaでは、"指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]"などとある
「指数が 6」は無理としても、”1.615 ・ 10^14”は、もうちょっとなんとかできて、PCの数値計算に乗るくらいになるといいね

https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3
ABC予想
脚注
注釈
フェルマーの最終定理
ただし指数が十分大きい場合（どの程度大きければよいかは K(ε) に依る）。定理自体は（ABC予想とは独立に）ワイルズが証明した。ある K(ε) が具体的に求まれば、有限個の例外を直接計算することにより、原理的にはすべての指数 >= 4 に対して証明が可能である。ε = 1 のとき K(1) = 1 という予想もあり、この仮定の下で、指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]。望月らは、フェルマーの最終定理の別証明を与えたとプレプリントで公表している[27]。

5^ ABC予想が K = 1 かつ ε = 1 で正しければ、互いに素な自然数 A, B, C が A + B = C を満たすとき C < (rad ABC)2 が成り立つ。互いに素な自然数 a, b, c が an + bn = cn を満たすと仮定すると、an, bn, cn は互いに素より、A = an, B = bn, C = cn を代入して
c^n< rad a^nb^nc^n)^2
が成り立つ。一般に   rad x^n= rad x=< x であるから、  rad (a^nb^nc^n)^2=< (abc)^2<(c^3)^2=c^6 となる。ゆえに cn < c6, c > 1 より n < 6。n = 3, 4, 5 については古典的な証明があるので定理が証明される (山崎 2010, p. 11)。

出典
27^ a b SHINICHI MOCHIZUKI; IVAN FESENKO, YUICHIRO HOSHI,ARATA MINAMIDE, AND WOJCIECH POROWSKI (2020-11-30). Explicit Estimates in Inter-universal Teichm¨uller Theory (Report). 京都大学数理解析研究所

http://rio2016.5ch.net/test/read.cgi/math/1613784152/56

67: １３２人目の素数さん [] 2021/02/21(日) 08:29:12.95 ID:HYETa8wd

>>56
>個人的には、”1.615 ・ 10^14”のところで、もっと改良できそうな気もするんだよね
>下記のABC予想 wikipediaでは、"指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]"などとある
>「指数が 6」は無理としても、”1.615 ・ 10^14”は、もうちょっとなんとかできて、PCの数値計算に乗るくらいになるといいね

明示公式の論文は、下記のDupuy氏も出しています
”more transparent, modifiable, and user friendly”（特に” modifiable”）
などとある

ABC予想 wikipedia記事の「コンピューティングによる成果」（数値計算）を見ると、
”1.615 ・ 10^14”は、もうちょっとなんとかできるのでは？
と思ったりします

望月IUTの一歩先へ
いろいろ組み合わせれば、” modifiable”ではないかと（南出先生が、2分を6分にして成功したように）
今後の進展を期待したいですね

（>>6より）
https://arxiv.org/pdf/2004.13108.pdf
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI'S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.

Abstract.
In particular, for an elliptic curve in initial theta data we show how to derive uniform Szpiro
(with explicit numerical constants). The inequalities we get will be strictly weaker than
[Moc15b, Theorem 1.10] but the proofs are more transparent, modifiable, and user friendly.
All of these inequalities are derived from an probabilistic version of [Moc15a, Corollary 3.12]
formulated in [DH20b] based on the notion of random measurable sets.

https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3
ABC予想

目次
1 証明の試み
2 定式化
3 得られる結果の例
4 コンピューティングによる成果

コンピューティングによる成果
2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、Kennislink科学協会と共に分散コンピューティングシステムのABC@Homeプロジェクトを立ち上げた。たとえ発見された例または反例が ABC予想を解決することができなくとも、このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。

q は上記で定義した abc-triple (a, b, c) の質 q(a, b, c) である。このとき、c の上限によって、質 q は以下のような分布を取る。

2012年9月現在、ABC@Homeは2310万個の3つ組を発見しており、当面の目標を 1020 を超えない c についての全ての abc-triple (a, b, c) を見つけることとしている[35]。

http://rio2016.5ch.net/test/read.cgi/math/1613784152/67

70: １３２人目の素数さん [] 2021/02/21(日) 09:15:16.81 ID:HYETa8wd

>>68
>いくらPCで計算したって証明にならない
>ってことが理解できないのかな？

また、妄想の病気が出ています
お薬飲みましょうねｗ

修士レベル（の落ちこぼれ）で終わって、本当の数学の研究までは経験できなかったのでは？
本当のプロの数学の研究でも、数値計算で見当をつけることは重要です

古くは、ガウスが楕円関数を発見した背後には、数値計算がありました
リーマン予想にあたって、リーマンはゼータのゼロ点の数値計算をしていますよ（下記）

（参考）
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/
数学史シンポジウム報告集
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo13/
第13回数学史シンポジウム(2002.10.19〜20)　　所報 24　2003
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo13/13_6nishiwada.pdf
ガウスの算術幾何平均をめぐって 西和田公正 2002.10.20

https://club.informatix.co.jp/?p=4261
空間情報クラブ｜株式会社インフォマティクス
リーマン予想｜リーマンゼータ関数 零点の謎
4月 25, 2017 2月 3, 2021
https://club.informatix.co.jp/wp-content/uploads/sites/2/2017/04/20170425_1.jpg
驚異のリーマン・ジーゲルの公式
1859年、リーマン予想の発表の7年後の1866年に40歳でリーマンはこの世を去りました。それから50年以上経て、“事件”が起こります。
ジーゲルの手によって、リーマンが行った埋もれていたゼータの計算が甦ることになります。ジーゲルは驚くべき洞察力でリーマンに迫っていきました。そして、ついにその解読に成功し、リーマン・ジーゲルの公式と呼ばれるようになる公式を発表しました。
これ自体、深い結果であり、リーマンゼータの零点計算に驚異的な威力を発揮する公式となります。この公式のおかげで、1935年にはTitchmarshとComirieによって1041番目までの零点がリーマン予想を満たしていることが証明されました。

この公式は現在でも非常に強力なものとしてリーマンゼータの零点探査に役立っています。

http://rio2016.5ch.net/test/read.cgi/math/1613784152/70

上下前次 1-新書関写板覧索設栞歴

あと 919 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.016s