その後の成果

ウィキペディア小見出し辞書

その後の成果

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/21 08:32 UTC 版)

「数論の有効な結果」の記事における「その後の成果」の解説

その後の結果、特にアラン・ベイカーの成果によって上記の状況から変化した。定性的に言うとベイカーの定理の主張は弱く見えるが、式に陽的な定数を含んでいるため、（完全だろうと推測される）解のリストが実際に全ての解の集合であることを計算機を使って証明することができる。