哥猜被终结，有目共睹

cuikun-186

某博导称：如果是原创，不同的人有不同的思考，别人很难进入相应的理念。

cuikun-186

123333333

Treenewbee

Wolfram mathworld上搜索看看：

Goldbach Conjecture

Twin Primes Constant

Treenewbee

话说论坛不让发链接也是奇葩，差评

Treenewbee

Oeis网站搜索Goldbach conjecture，有555个序列，相关的链接建议你看看

Treenewbee

素数的发明本是用来相乘的，歌德巴赫非用它们做加法，简直荒谬。

看过欧拉的传记，欧拉可以随口说出前100个素数的2-6次方

Treenewbee

       1936年，美国逻辑学家阿隆佐·丘奇（Alonzo Church）表明，决策问题不可能有积极的答案。，艾伦·图灵独立地得出了同样的结论。这意味着，在给定的公理体系中，无法提前判断给定的猜想是否能够被证明。
      没有确凿的理由表明哥德巴赫猜想不能在通常的数学公理的基础上得到证明；这种说法的唯一理由是，这个问题已经存在了近280年。但让我们假设这个猜想是无法证明的。那么这一定是真的。
      为什么？因为，如果它是假的，就会有一些有限的偶数不是两个素数的和。一个有限的搜索(\[N<=4*10^{18}\])可以证实这一点，使这个猜想“可证明是错误的”！换言之，猜想的虚假与不可证明是不相容的。这种矛盾迫使我们得出一个不可避免的结论：如果哥德巴赫的猜想是无法证明的，那么它一定是真的！

cuikun-186

Treenewbee 发表于 2023-2-21 23:15
1936年，美国逻辑学家阿隆佐·丘奇（Alonzo Church）表明，决策问题不可能有积极的答案。，艾伦·图 ...

r2(4*10^18)≥[4*10^18/(ln4*10^18)^2]

=[4*10^18/(ln4+18ln10)^2]

≥9*10^16

即r2(4*10^18)≥9*10^16

另外，根据r2(N^2)≥N可知，r2(4*10^18)≥10^9

cuikun-186

Treenewbee 发表于 2023-2-21 23:15
1936年，美国逻辑学家阿隆佐·丘奇（Alonzo Church）表明，决策问题不可能有积极的答案。，艾伦·图 ...

哲学当然也强调微观上的层面，我在微观上给出了r2(N)=(N/2)∏mr这个真值公式。
同时又从宏观上给出了下限值公式r2(N)≥N/(lnN)^2.
这一切都是建立在双筛法之上的数理逻辑推理。
第一：埃氏筛法2000多年了经久不衰，把它创造性地给出互逆等差数列A和B进行双筛，
该方法自然是新的方法。即运用埃氏筛法可以完整的获取素数，一个不多，一个不少。
这在逻辑上是严谨的。
第二：关于素数分布的素数定理，在数论史早已是家喻户晓的定理了。
即A数列中的素数比例至少是1/lnN,B数列中的素数比例至少是1/lnN,
由于数列N=A+B是独立事件，则据乘法原理可知N中的素数对（素数和）的比例至少是(1/lnN)*(1/(lnN)
故N中至少有N*(1/lnN)*(1/lnN)=N/(lnN)^2个素数对。
对于以上问题的论证显而易见这没有运用极其难懂的数论知识，
至少是有高中文化水平以上的数学爱好者都能看懂的论述。
俗话说得好，大道至简亘古不变！

微观上的道理非常清楚，例如外星人来到地球上，
它们只知道地球上有许多动物，要把这些动物分开，
最科学的方法是从基因上分，这是微观上的确定性。
从宏观上，健康的人类都是拥有一个健康的头颅和健康的四肢，
双腿独立行走的高级动物。

Treenewbee

你的r2(N)是指N的哥猜的真实数目？