[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
299: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/07(水)20:58:51.28 ID:YoByYxdr(2/3) AAS
>>294
IUTからABCの明示不等式が出るなら、
フェルマーの別証明が出る
のみならず、ABCから、いろいろな予想がごっそりと証明され解決する
そのインパクトはすさまじい
・・と、IUTの解説本には書いてあるよ(^^;
363: 2020/10/10(土)10:41:39.28 ID:Eu8AlzP+(2/4) AAS
>>361
それはMとて例外ではないのだろうなあと思ってる
人格者であることを期待するのは危険だろう
438: 粋蕎 ◆C2UdlLHDRI 2020/10/13(火)17:51:29.28 ID:VpotTMNe(2/2) AAS
公害は言い過ぎた、負債。御荷物。人権が有るから難処分ゴミでは無いだけ。だが下手に人権が有るから余計に難儀。
451: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/13(火)23:19:34.28 ID:Nk0YN5V9(10/11) AAS
>>443
>[5] Bombieri, Enrico (1994). "Roth's theorem and the abc-conjecture". Preprint. ETH Zurich.

Bombieri, Enrico は、ちょっと有名な人
1974年フィールズ賞を受賞か
なるほどね

外部リンク:ja.wikipedia.org
エンリコ・ボンビエリ (Enrico Bombieri, 1940年11月26日 - )はイタリアの数学者。プリンストン高等研究所IBMフォン・ノイマン教授。 専門は数論と解析学。(解析数論、代数幾何学、複素解析、偏微分方程式など。)
省4
470: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/14(水)21:10:38.28 ID:qOwFO4Cy(6/11) AAS
>>468
で?
なにか?w
682
(3): 2020/10/25(日)09:59:14.28 ID:5A2Fdkdl(1/4) AAS
>>677-679
関数型プログラミング言語の原型が、
電子計算機より先にできていた件

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Unlambda
外部リンク:ja.wikipedia.org

Unlambda(アンラムダ)はコンビネータ論理とラムダ計算に基づく、
省27
851
(1): 2020/11/23(月)13:05:37.28 ID:pwUI0AD/(1) AAS
>>846
2回目のペーパーってSSのRemark5に反論したあれ?

0946 132人目の素数さん 2020/04/15 00:08:10
S・Sレポ8月版のRemark 5について拘っている人たちがいるが、これは逆に望月氏の方が恥ずかしい議論だよ。
S・Sはあっさり書いているが、当然望月氏も知っているはずだろうと思って書いていたはず。
これは“Faltings’ theorem (Shafarevich conjecture) applied to the Weil restriction”した場合の話だよ。

外部リンク:link.springer.com
省1
876
(1): 2020/11/25(水)14:01:53.28 ID:OUf79Gne(1/4) AAS
ここ証明できてないですよ、って指摘箇所が興味なかったら逆に何に興味あるんだよっていうね
ABC予想を証明したかったんじゃないのか
893
(1): 2020/11/25(水)21:16:57.28 ID:bUuKts23(1) AAS
>>887
シンギュラリティの2040年で、数学はAIのものになる。
急げよ。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s