数学教父王晓明发现亨里克·伊万尼克是白痴数学家

[wxmwrkhp]

亨里克·伊万尼克事件是指（英语：Henryk Iwaniec，1947年10月9日－），波兰裔美国数学家，自1987年起担任罗格斯大学教授。伊万尼克宣称证明了：“有无穷多个a² +b⁴ 形式的素数”的荒唐结论。
主项：“
a² +b⁴形式的素数”，是属性概念包含结构概念；
谓项：“无穷多个”。是结构概念。
没有问题。


问题在主项
a² +b⁴形式素数，首先素数是一个属性概念，并且有一个 a² +b⁴ 结构，这种形式如果是素数，首先必须是奇数，即a与b只能是一个偶数一个奇数才能使得 成为奇素数的可能。属性包含结构，如果是两个或者两个以上的变量，就是一个二阶逻辑问题，属于无法证明的问题。
如果我们固定一个a或者b，例如我们固定a是偶数2,4,6,8，......中的一个，比如a=2，
即2² + b⁴ ，而b=1,3,5,7，......有无穷多个。

现在问：2² + b⁴ 形式（注意，这是一个普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=4，问4²+b⁴ 形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=6，问6²+b⁴ 形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个；
.........。
伊万尼克只能逐一证明上面问题。
大家看出来了没有？主项是一个二阶逻辑问题。是二阶变化率。
一阶变化率a=2,4,6,8，.....。
二阶变化率b=1,3,5,7，......。
当a与b都是任意数时候， 是一个集合概念。

二阶逻辑问题是无法证明的
世界上所有的数学定理都是一阶逻辑， a² +b⁴形式素数问题是一个二阶逻辑问题，世界上没有一个数学定理是二阶逻辑。
世界上所有的数学定理主项都是普遍概念或者单独概念，没有任何一个数学定理的主项是集合概念。伊万尼克胡编乱造错误百出。
伊万尼克只能逐一证明上面问题。而不能一揽子解决。
同样道理，费马素数是否有无穷多个？梅森素数是否有无穷多个？都是无法证明的。就连相对简单的2ⁿ+1 型素数问题也没有办法解决。
大家一定会问，狄利克雷证明4k+1或者4k+3形式有无穷多个素数对不对？4k+1或者4k+3只有一个变量k，是一阶逻辑，只有一个变化率k。
哥德巴赫猜想与孪生素数猜想都是结构包含属性，所以命题没有问题。
就是这个蠢货给张益唐审稿，一个错误百出的论文获得奖励。

[TheMatrix]

亨里克·伊万尼克事件是指（英语：Henryk Iwaniec，1947年10月9日－），波兰裔美国数学家，自1987年起担任罗格斯大学教授。伊万尼克宣称证明了：“有无穷多个a² +b⁴ 形式的素数”的荒唐结论。
主项：“
a² +b⁴形式的素数”，是属性概念包含结构概念；
谓项：“无穷多个”。是结构概念。
没有问题。


问题在主项
a² +b⁴形式素数，首先素数是一个属性概念，并且有一个 a² +b⁴ 结构，这种形式如果是素数，首先必须是奇数，即a与b只能是一个偶数一个奇数才能使得 成为奇素数的可能。属性包含结构，如果是两个或者两个以上的变量，就是一个二阶逻辑问题，属于无法证明的问题。
如果我们固定一个a或者b，例如我们固定a是偶数2,4,6,8，......中的一个，比如a=2，
即2² + b⁴ ，而b=1,3,5,7，......有无穷多个。

现在问：2² + b⁴ 形式（注意，这是一个普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=4，问4²+b⁴ 形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个：
a=6，问6²+b⁴ 形式（普遍概念）是不是有无穷多个素数？如果不能证明肯定，那么下一个；
.........。
伊万尼克只能逐一证明上面问题。
大家看出来了没有？主项是一个二阶逻辑问题。是二阶变化率。
一阶变化率a=2,4,6,8，.....。
二阶变化率b=1,3,5,7，......。
当a与b都是任意数时候， 是一个集合概念。

二阶逻辑问题是无法证明的
世界上所有的数学定理都是一阶逻辑， a² +b⁴形式素数问题是一个二阶逻辑问题，世界上没有一个数学定理是二阶逻辑。
世界上所有的数学定理主项都是普遍概念或者单独概念，没有任何一个数学定理的主项是集合概念。伊万尼克胡编乱造错误百出。
伊万尼克只能逐一证明上面问题。而不能一揽子解决。
同样道理，费马素数是否有无穷多个？梅森素数是否有无穷多个？都是无法证明的。就连相对简单的2ⁿ+1 型素数问题也没有办法解决。
大家一定会问，狄利克雷证明4k+1或者4k+3形式有无穷多个素数对不对？4k+1或者4k+3只有一个变量k，是一阶逻辑，只有一个变化率k。
哥德巴赫猜想与孪生素数猜想都是结构包含属性，所以命题没有问题。
就是这个蠢货给张益唐审稿，一个错误百出的论文获得奖励。

大概明白你在纠结什么了。看来要说服你应该给你一个反例。

[TheMatrix]

大概明白你在纠结什么了。看来要说服你应该给你一个反例。

这里可能确实有不容易越过的障碍。我把这个问题抽象一下：

有没有一个二元变量的命题，可以证明其为真，但是固定其中任意一个变量，得到的一元变量的命题，我们却尚未能证明其真伪？

比如这里的问题：a²+b⁴形式的整数中有无穷多素数。这是一个二元变量的命题。

假如固定b=1，那么命题变为a²+1中有无穷多素数。这是一个一元变量的命题。这个命题目前还是open的。
固定b=2，那么命题变为a²+16中有无穷多素数。这个命题也是open的。
...

那么能跳过一元变量的命题，直接证明二元变量的原命题成立吗？这合理吗？

[TheMatrix]

这里可能确实有不容易越过的障碍。我把这个问题抽象一下：

有没有一个二元变量的命题，可以证明其为真，但是固定其中任意一个变量，得到的一元变量的命题，我们却尚未能证明其真伪？

比如这里的问题：a²+b⁴形式的整数中有无穷多素数。这是一个二元变量的命题。

假如固定b=1，那么命题变为a²+1中有无穷多素数。这是一个一元变量的命题。这个命题目前还是open的。
固定b=2，那么命题变为a²+16中有无穷多素数。这个命题也是open的。
...

那么能跳过一元变量的命题，直接证明二元变量的原命题成立吗？这合理吗？

其实这个在逻辑上不矛盾：
比如固定b=1，a²+1中有无穷多素数。这个命题比
a²+b⁴中有无穷多素数更强。

也就是说我可以说我证明了一个弱的命题，但是它推不出强的命题。这不矛盾。逻辑上是允许的。

关键是有没有一个比较平易近人的例子。