搜索

数理逻辑：证明及其限度 : 证明

0粉丝
数理逻辑是一门非常成熟的学科相比于其他教材本书将逻辑与元数学联系在一起更多地介绍语义部分和强调语法语义的统一郝兆宽：复旦大学哲学学院教授。主要研究方向
知识
简介
数理逻辑是一门非常成熟的学科相比于其他教材本书将逻辑与元数学联系在一起更多地介绍语义部分和强调语法语义的统一郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。... 更多
属性
出版社
复旦大学出版社
ISBN
9787309145687
出版年
2020-8
装帧
平装
页数
255

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
数理逻辑：证明及其限度 : 证明
数理逻辑是一门非常成熟的学科相比于其他教材本书将逻辑与元数学联系在一起更多地介绍语义部分和强调语法语
证明
➹本书特点 日本社会派推理小说一代宗师，与柯南道尔、阿加莎•克里斯蒂并称世界推理小说三巨匠。东
证明达尔文
证明达尔文
0
数学证明
数学有两种品格，其一是工具品格，其二是文化品格。 由于数学在应用上的极端广泛性，特别是在实用主
数学证明
数学证明
0
哥德尔证明
哥德尔证明
0
哥德尔证明
哥德尔证明
0
哥德尔证明
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书
证明
证明
0
知识及其限度
蒂摩西·威廉姆森所著的《知识及其限度》阐述了一个全新的知识概念,即知识是对认知者的环境敏感的基础性心