- 最后登录
- 2016-1-18
- 在线时间
- 358 小时
- 阅读权限
- 40
- 注册时间
- 2008-7-16
- 积分
- 1298
- 帖子
- 925
- 精华
- 0
- UID
- 37321
- 性别
- 保密

- 积分
- 1298
- 帖子
- 925
- 精华
- 0
- UID
- 37321
- 性别
- 保密
|
命题1:哥德巴赫的猜想
命题2:“任何命题在被证明之前都是错误的。”
定义:
F(A)代表命题A是错误的;T(A)代表命题A是正确的。
P(A)代表我们知道命题A是真命题或者假命题;PN(A)代表我们不知道命题A是真命题还是假名题。
我们可以知道:
1。T(2)推导出F(1) 如果命题2正确,那么命题1错误。
2。命题2可以写为”如果PN(A),则F(A)“
3。命题2的逆否命题和原名题有同样的真假性,其逆否命题是“如果否F(A),则否PN(A)”
4。由于“否F(A)=T(A)”,“否PN(A)=P(A)
5。“如果否F(A),则否PN(A)”等价于”如果T(A),则P(A)“
6。”如果T(A),则P(A)“其意义是”如果命题A是正确的,那么我们知道命题A是正确或者不正确的”。
6.5。”如果T(A),则P(A)“是成立的,“如果否F(A),则否PN(A)”是成立的。
7。得到命题2成立
8。所以命题1是不成立的。
大家会有一个疑问:“如果命题A是正确的,那么我们知道命题A是正确或者不正确的”是正确的嘛???
大家来判断一下:假设命题A是正确的,那么我们不就知道A是不是正确的嘛??
用这个方法可以否认所有没有被证实的猜想。
但是接下来的问题来了:
既然“知道一个问题有没有证明与否”是有主观性的,那么一个客观的数学定理的正确性也是有主观性的?
[ 本帖最后由 咖啡味的茶 于 2011-10-6 21:35 编辑 ] |
|