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

Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

255: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/02(土)20:02:16.37 ID:WzsFWnhL(11/11) AAS
つづき

外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
宇宙際Teichmuller理論
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
　　NEW !! (2020-04-22)
Ｐ67
Section 3: Inter-universal Formalism: the Language of Species

We shall refer to a ZFC-model that also satisfies this additional axiom of the
Grothendieck school as a ZFCG-model. This existence axiom (†G) implies, in particular, that:

P68
Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models, we remark in passing that it may be possible to justify the stance of ignoring such issues in the context of the present series of papers
— at least from the point of view of establishing the validity of various “final results” that may be formulated in ZFC-models —
by invoking the work of Feferman [cf. [Ffmn]].
Precise statements concerning such issues, however, lie beyond the scope of the present paper [as well as of the level of expertise of the author!].
<google訳>
ZFCGモデルが実際に存在するかどうかという極めて難しい問題については、ここでは詳しく議論しませんが、本論文シリーズの文脈において、そのような問題を無視する立場を正当化するために、Fefermanの研究[cf. [Ffmn]]を援用することが可能かもしれないことを付け加えておきます。
しかしながら、そのような問題に関する正確な記述は、本論文の範囲を超えており[著者の専門知識のレベルを超えています！]。
(引用終り)
以上

580: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/12(火)10:55:02.37 ID:aPIgSDun(2/9) AAS
>>579 補足
>素数を 2,3,5,7,11,・・・とこれを可算無限個全部列記し整列する能力があれば

そういえば、素数間隔の話があったね（下記）
張益唐に、ジェームズ・メイナード
ジェームズ・メイナードは、2022年にフィールズ賞をゲット

こんなのは、結局は人類の能力の限界なんだわ
可算無限個の素数をすべて列挙して素数の集合を確定させる能力があれば

素数をすべて、普通の大小関係で並べて、二つの素数間隔を全部調べることができれば、なんということもないｗ
だが、人は可算無限個の素数をすべて列挙する能力（それは整列させる能力と同じ）がない
だから、「ジェームズ・メイナード、あんたはえらい！フィールズ賞だ！！」となったのですｗ　；ｐ）

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
素数の間隔（prime gap）は、連続する2つの素数の差。gn もしくは g(pn) で表される n 番目の素数の間隔は、n + 1 番目の素数と n 番目の素数の差である。
さらなる結果
上限
1896年に証明された素数定理は、十分大きい素数では素数pと次の素数との間の間隔の平均長は漸近的にln(p)に近づくという内容である。
2013年、張益唐は
lim inf n→∞gn<7⋅10^7,
を証明した。これは70 000 000を超えない間隔が無限にあるという意味である[21]。
張の境界を最適化するPolymathプロジェクトの共同作業により、2013年7月20日に境界を4680まで下げることに成功した[22]。
2013年11月、ジェームズ・メイナードはGPYふるいを新たに改善したものを導入し、境界を600まで下げ、任意のmについて、それぞれがm個の素数を含む解釈が無限である境界間隔が存在することを示した[23]。メイナードの考えを用いて、Polymathプロジェクトは境界を246に改良した[22][24]。

外部ﾘﾝｸ:ja.wikipedia.org
ジェームズ・メイナード（James Maynard, 1987年6月10日 - ）
2022年、フィールズ賞を受賞[4]。

742(7): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/17(日)17:56:57.37 ID:TyT53DUJ(6/11) AAS
>>733-738
>f(x)=e^(-x) が無限回微分できると仮定し、無限回微分した関数をg(x)と書く。

ふっふ、ほっほ
そういう雑な思考をしているから数学科のオチコボレさんになる
それは、下記の chiebukuro 無限級数 ”1-1+1-1+1,,,,,,,,,, ”の話と類似であってそのような無限級数があるからと全ての無限級数を否定するのはオチコボレのみ
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
chiebukuro.yahoo
1252701449さん 2024/5/22 無限級数のついて質問です。 1-1+1-1+1,,,,,,,,,, はなぜ発散なのですか？
１になったり０や−１になるからですか？
(引用終り)

別に g(x)=e^(x) を取る。これは指数関数だ外部ﾘﾝｸ:ja.wikipedia.org
無限回微分によりテーラー展開 e^(x)=Σ n=0〜∞ 1/n! x^n を得る外部ﾘﾝｸ:ja.wikipedia.org
このテーラー展開は、無限級数である（項は無限でなければならない（有限ではありませんｗｗｗ））■

まあ、オチコボレはテレンスタオの“big picture”、謎の数学者氏「絵を描くように」、ポアンカレ＆渕野昌のいう数学的直観
が欠落している君は勉強不足だよｗ　；ｐ）

(参考)
2chｽﾚ:math
テレンスタオ！
外部ﾘﾝｸ:terrytao.wordpress.com
Career advice (このサイトに、いろんなアドバイスがあり、参考になる。下記は、その一つです)
外部ﾘﾝｸ:terrytao.wordpress.com
By Terence Tao
There’s more to mathematics than rigour and proofs July 2016 (1)
3.The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
(google訳)
3. 「ポスト厳密」段階。以下略す

つづく

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.033s