哥德巴赫猜想擂台

195912

白新岭先生：
把一个待证命题 A 作为论据得到一个新的命题 B，这里先生已假设命题 A为真 , 如果先生不能证明命题 A 为真,根据逻辑原理 ,先生的命题 B为待证命题.
自然 ,若 哈代-李特伍尔德的公式（孪生素数猜想）为真 ,则先生的命题 为真.
建立在待证命题上的新命题 ,还是待证命题 .如建立在判定Riemann假设的真伪上的命题.

白新岭

195912 发表于 2020-11-19 06:56
白新岭先生：
把一个待证命题 A 作为论据得到一个新的命题 B，这里先生已假设命题 A为真 , 如果先生不能证 ...

或许吧！我不那么认为。两个相邻素数差为8的素数对数量=孪生素数对数量-2倍最密3生素数的数量+最密4生素数的数量，这是一个命题，命题中涉及到孪生素数对数量，最密3生素数的数量和最密4生素数的数量。这个命题安先生的意思也是一个待证命题。我不那么认为。孪生素数猜想是说，孪生素数对是不是无限多（后边的就更不必说了），而此命题只是建立了它们的数量关系（至于它是无限多，还是有限 个不再考虑范围之内，以以后的事实而定吧）。

白新岭

195912 发表于 2020-11-19 06:56
白新岭先生：
把一个待证命题 A 作为论据得到一个新的命题 B，这里先生已假设命题 A为真 , 如果先生不能证 ...

再一个就是，孪生素数猜想是在考虑孪生素数对是有限个，还是无限个问题。而我的只是给出了6n类的正整数用孪生素数对的中项和表示的方法数（建立一个等式关系）。话说回来，可能先生考虑到6n类正整数是一个无限问题，那么孪生素数对如果有限，则命题一定不成立，这是你所考虑的问题。我给的公式是只要6n前有多少孪生素数对代入公式即可（可能这样有点牵强）。先生说的意思就像哥德巴赫猜想那样，在没有证明素数是无限多以前，它即便证明了，也是个待证命题，因为偶数是一个无限问题，素数不是无限多，那它就不成立，是这样吗？

195912

白新岭先生：
数学命题通常由题设和结论两部分组成：题设是已知事项，结论是由已知事项推出的事项。
数学的已知事项是指定义和公理及已经证明了的真命题 ( 如定理、推论、公式、性质、法则等 )。

白新岭

195912 发表于 2020-11-20 01:04
白新岭先生：
数学命题通常由题设和结论两部分组成：题设是已知事项，结论是由已知事项推出的事项。
数学 ...

一个命题包含条件和结论两部分。比如被2整除的整数都至少含有1个因子2，此命题的条件是能整除2的整数，结论至少含有一个因子2.
在我给的公式中，给出6n类数的孪生中项的解组数，孪生素数对的数量是条件，是说在6n前有多少孪生素数对，有一个算一个，它是不是孪生素数对，是就算条件了，不是它在这里就被排除，是不是孪生素数对难道还不能明确（还需要证明它，那在被2整除的整数中是不是首先得证明那个数必须是整数呢？），所以孪生素数对是否有无限个来否定它是不是孪生素数对属于不相干问题。结论就是那个公式了，只要它前有m对孪生素数，就可以代入了，然后获得结果。
你还是在考虑孪生素数对是不是无限个问题，而不是考虑6n前有那么多孪生素数对就可以知道此6n类的有几组孪生素数对的中项和解数组问题。

白新岭

后来给的命题就更明确了，两个相邻素数差为8，是孪生素数对，是最密3生素数（其中的一种），是最密4生素数，则它们之间可以建立那样的关系。在这个命题中是不是也需要证明孪猜，证明相邻素数差为8的数量，最密3生素数的数量，还有最密4生素数的数量都必须都是无限多后，才可以说等式成立吗？

195912

白新岭先生：
数学的已知事项是且只能是指定义和公理及已经证明了的真命题 ( 如定理、推论、公式、性质、法则等 )。如果不遵循这一规则，则所构造的命题没有意义。

白新岭

195912 发表于 2020-11-20 05:19
白新岭先生：
数学的已知事项是且只能是指定义和公理及已经证明了的真命题 ( 如定理、推论、公式、性质、 ...

如果是不是孪生素数对还不算已被明确定义的话，那么孪生素数猜想就不存在了。

白新岭

人被轿车撞了，会死亡。这是一个命题，先不管此命题的真假，难道有人对此事中的是不是被轿车撞了还得纠结吗？

195912

白新岭先生：
数学公理系统的构建，遵循一定规则。学习是掌握规则，创造须遵循规则。