免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
› 论坛 › 程序设计 › CPU与编译器 › Godel于1931年博士毕业的著名论文
12下一页
最近访问板块 发新帖
查看: 4652 | 回复: 10
打印 上一主题 下一主题

Godel于1931年博士毕业的著名论文 [复制链接]

cjaizss

论坛徽章:
3
2015年迎新春徽章 日期:2015-03-04 09:56:11数据库技术版块每日发帖之星 日期:2016-08-03 06:20:00数据库技术版块每日发帖之星 日期:2016-08-04 06:20:00
跳转到指定楼层
1楼 [收藏(0)] [报告]
发表于 2009-08-20 00:30 |只看该作者 |倒序浏览
有兴趣的可以看看，就是这个家伙粉碎了人们的梦想。

canon00-goedel.pdf

327.27 KB, 下载次数: 453

评分

参与人数 1可用积分 +30 收起 理由
prolj + 30 毫不掩饰我的妒忌

查看全部评分

albcamus

论坛徽章:
0
2楼 [报告]
发表于 2009-08-20 10:50 |只看该作者
最牛x的是，丫当时才25岁。
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
emmoblin

论坛徽章:
0
3楼 [报告]
发表于 2009-08-20 22:32 |只看该作者
粉碎了什么梦想？
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
cby

论坛徽章:
0
4楼 [报告]
发表于 2009-09-04 01:39 |只看该作者

回复 #1 cjaizss 的帖子

Goedel 只是為德浯系數、哲學界再次將英語系數、哲學界踩在腳底下，特別是針對羅素的PM。樓主何以說成是"人们的梦想。"  難道樓主是英國人?
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
malloc66

论坛徽章:
0
5楼 [报告]
发表于 2009-09-04 09:08 |只看该作者

回复 #3 emmoblin 的帖子

歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
prolj

论坛徽章:
0
6楼 [报告]
发表于 2009-09-04 21:51 |只看该作者
记住了
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
cjaizss

论坛徽章:
3
2015年迎新春徽章 日期:2015-03-04 09:56:11数据库技术版块每日发帖之星 日期:2016-08-03 06:20:00数据库技术版块每日发帖之星 日期:2016-08-04 06:20:00
7楼 [报告]
发表于 2009-09-06 18:45 |只看该作者
原帖由 malloc66 于 2009-9-4 09:08 发表
歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。

这是对歌德尔不完备定理的误解，存在完备且自恰的形式系统，一阶逻辑就是这样的形式系统
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
albcamus

论坛徽章:
0
8楼 [报告]
发表于 2009-09-07 11:04 |只看该作者
这种事也能扯到政治上， 爱国青年真是无敌了。。
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
sep

论坛徽章:
0
9楼 [报告]
发表于 2009-09-07 11:44 |只看该作者
原帖由 albcamus 于 2009-8-20 10:50 发表
最牛x的是，丫当时才25岁。

世上总有一些人是天眷的
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
jg122

论坛徽章:
0
10楼 [报告]
发表于 2009-09-08 01:26 |只看该作者
baidu
实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？
12下一页
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号：11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们：huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP