（转载）Re: 亨里克·伊万尼克——是白痴数学家吗

[TheMatrix]

此帖转自 TheMatrix 在 史海钩沉（History） 的帖子：Re: 亨里克·伊万尼克——是白痴数学家吗



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

[TheMatrix]

此帖转自 TheMatrix 在 史海钩沉（History） 的帖子：Re: 亨里克·伊万尼克——是白痴数学家吗



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

谁能举个例子：两个变量的一个命题为真，但是固定任意一个变量，命题都不为真（或者不知道真假）。

感觉很简单的要求，怎么就想不出来一个例子呢？

比如说：a²+b⁴的整数中有无穷多的素数。这样的一个命题，有两个变量：a和b。假设我们知道它为真。但是固定任意一个变量，比如b=1，那么命题变成a²+1中有无穷多的素数 - 这件事情我们并不知道真假。

[TheMatrix]

谁能举个例子：两个变量的一个命题为真，但是固定任意一个变量，命题都不为真（或者不知道真假）。

感觉很简单的要求，怎么就想不出来一个例子呢？

比如说：a²+b⁴的整数中有无穷多的素数。这样的一个命题，有两个变量：a和b。假设我们知道它为真。但是固定任意一个变量，比如b=1，那么命题变成a²+1中有无穷多的素数 - 这件事情我们并不知道真假。

这个问题可能要改一下：
举一个例子：两个变量的一个命题为真，但是固定其中任意一个变量，命题都不知道真假。