论文部分内容阅读
该文首先简要介绍了逻辑学家哥德尔的生平、不完全性定理的梗概以及国内对此定理的研究情况,继而给出了不完全性定理的一个简单的证明;最后结合哥德尔不完全性定理提出的背景、引起的争论、在数学上的专门结论和影响以及哥德尔本人的某些哲学见解,详细阐述了这一定理的哲学意义.
论哥德尔不完全性定理及其哲学意义
【摘 要】
：
该文首先简要介绍了逻辑学家哥德尔的生平、不完全性定理的梗概以及国内对此定理的研究情况,继而给出了不完全性定理的一个简单的证明;最后结合哥德尔不完全性定理提出的背景
【机 构】
：
复旦大学
【出 处】
：
复旦大学
【发表日期】
：
2004年期
其他文献
小时候,不知道父亲为什么总是穿着一身土灰色的工商制服,骑着一辆破旧的飞鸽自行车,终日奔波在物资交流会和集贸市场间。这名1975年入党的老工商人,1984年放弃了南下深圳转业
张东荪(1886-1973),浙江杭县人(今杭州市人),是中国现代哲学史上相当活跃的哲学家,是位见识卓著又独立特行的人物.在解放前就已享有盛名,他积极投身于他那个时代中国社会出路
目的了解农村妇女妇科疾病发病情况,探讨防治工作重点,制定相应干预措施。方法对武平县17个乡镇2 645名农村已婚妇女进行妇女病普查。结果共查出各种妇女病339人(12.8%),前3
中国平煤神马集团公司通过近几年来的兼并、重组、联合,正在发展成为我国中部最大的动力煤生产基地、焦煤生产基地、煤盐化工基地和亚洲最大的尼龙化工基地。根据《建立健全
MODIS十余种陆地产品都包含像元尺度的质量评估信息(QA),这些信息是用户合理利用这些产品的基础。由于QA类型多但数值小,通常是把多个QA以二进制格式压缩成整型数据的一个波段,这样节省了归档空间,加快了网络传输,并期望用户使用MODIS陆地数据业务化产品质量评估工具包(LDOPE Tools)把压缩的二进制恢复为通常的十进制波段。但是,由于LDOPE是由25个独立的软件组成的工具包,并没有按照特
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
波普尔对马克思历史决定论的批判层次:首先批判"历史有规律",其次批判"历史可预测",再次批判"革命斗争、阶级革命",最后提出"渐进社会工程"及其道德学说."历史有规律"这一观
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
“我认为,她们的勇气、力量和光辉已经被放置在阴影中太久了.没有她们,就不会有马克思;没有马克思,世界就不会是今天的模样.”这是玛丽·加布里埃尔在其著作《爱与资本:马克
期刊