[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
815(1): 2022/04/30(土)14:38 AAS
ABC予想
「a + b = cを満たす、互いに素な自然数の組 (a, b, c) に対し、
積 abc の互いに異なる素因数の積を d と表す。
このとき、任意の ε > 0 に対して、
c > d^(1+ε)
を満たす組 (a, b, c) は高々有限個しか存在しない」
もし
「任意の ε > 0 に対して、
c > d^(1+ε)
(dは積 abc の互いに異なる素因数の積)
省3
816: 2022/04/30(土)14:46 AAS
>>815の追記
いっておくがプログラムというからには停止する必要がある
(現実には”停止しないプログラム”もあるが、
別にOSとかリアルタイム制御システムの話
をしてるわけではないので除外する)
つまり何が言いたいのかというと、
「与えられたε>0について
延々と(無限に存在する)(a,b,c)の組をチェックして
c > d^(1+ε)
を満たすものだけを列挙しつづけるプログラム」
省3
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.121s