歌德尔证明/Godel's proof/当代世界学术名著

Description

本书共分8部分,内容包括:一致性问题、一致性的绝对证明、形式逻辑的系统编码、一个成功的一致性绝对证明的例子、映射的概念及其在数学中的应用等。

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Similar books

• 

  现代性的哲学话语

  By Jürgen Habermas, 哈贝马斯于尔斯

  本书收录了哈贝马斯的十二篇讲稿, 它们是对于法国后结构主义激进理性批判的回应, 也是对康德之后欧洲哲学主流全面而公充的评估.哈贝马斯追踪了导致我们当代处境的那些历史转折点, 通过与过去和现在批评家和理论家的广泛对话, 试验了他有关后现代话语之适当形式的观点.

• 

  人工智能简史

  By 尼克著

  本书全面讲述人工智能的发展史，几乎覆盖人工智能学科的所有领域，包括人工智能的起源、自动定理证明、专家系统、神经网络、自然语言处理、遗传算法、深度学习、强化学习、超级智能、哲学问题和未来趋势等，以宏阔的视野和生动的语言，对人工智能进行了全面回顾和深度点评。

• 

  交往行为理论: 行为合理性与社会合理化. 第一卷

  By 哈贝马斯

  本书分为对合理性问题的理解,马克斯·韦伯的合理化理论,第一卷的中间观察:社会行为,目的行为以及交往,从卢卡奇到阿多诺:作为物化的合理化四部分,主要内容包括:神话世界观和现代世界观的若干特征,西方理性主义,西方马克思主义传统中的马克斯·韦伯等.

• 

  快乐的晚餐

  快乐的晚餐

• 

  文艺学方法通论

  By 赵宪章

  Ben shu zuo zhe jiang wen yi xue gai kuo wei wu zhong ji ben fan shi, Jie he ge an gai shu ge zi de te xing ji li...

• 

  三禮通論

  By 錢玄

  全国高等院校古籍整理研究工作研究委员会规划项目

• 

  文艺社会学: 传统与现代

  Ben shu bao gua : wen yi she hui xue ji qi xian dai xing tai, ma ke si en ge si de wen yi she hui xue si xiang,...

• 

  杜甫評傳

  By 莫礪鋒著

  書稿把杜甫的思想活動放在其人生軌跡和時代背景中予以論述，使得杜甫一生所走過的心路歷程更加清晰，同時可以凸顯杜甫相對於其時代的先進意義。對杜甫思想的論述主要分為兩個方面：一是杜甫的哲學思想、人生觀、政治思想等，也即一般意義上屬於“思想史”範疇的內容；二是杜甫的文學思想和美學思想，尤其是他在詩學方面的真知灼見。

• 

  中国文化史论纲

  By 许结

  本书分五部分，即中国古代文化特征、中国古代文化制度、中国古代学术进展、中国古代宗教艺术与中国文化现代进程。

• 

  江湖诗派研究

  By 张宏生

  国家哲学、社会科学“七·五”规划国家教委哲学、社会科学“七·五”规划国家教委文科博士点项目“唐宋诗歌流派研究”成果之一,并由上述各项基金资助出版