[過去ログ] 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