会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
渐近的旅者
CnBlogs
Home
New Post
Contact
Admin
Subscription
完备性
缘起:
p
= “此命题是不可证明的”
于是又有:
p=“sys中没有任何命题”
计算:
0 -> 1
1 -> 0
0 = 1
p不等于p
p = “p不等于p”
p等于p
p = “p等于p”
结论:
p = p = p = ...
0 = 1 = 2 = ...
posted @
2013-03-04 21:47
渐近的旅者
Views(
183
) Comments(
0
)
Edit
收藏
举报
会员力量,点亮园子希望
刷新页面
返回顶部
公告