Michael F. Atiyahがリーマン予想を証明しました。

Michael F. Atiyahがリーマン予想を証明しました。at MATH

Michael F. Atiyahがリーマン予想を証明しました。 - 暇つぶし2ch264:１３２人目の素数さん
18/10/01 20:50:40.37 upvW/ol+.net
オイラー定数をγと置く。nの約数の総和をσ(n)と置く。RHは
σ(n)＜(e^γ)*n*log(log n)　(∀n＞5040)
と同値であることが知られている。こちらの命題をAと置く
RHはZFCから独立だと仮定する
すなわち、AはZFCから独立だと仮定する
このとき、Aはペアノの公理系からも独立である

次ページ

続きを表示

1を表示