实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新塔斯基定理与真理论悖论熊明9787030401243
¥ ×1
商品
服务
物流
序(张羿)前言章导论§1.1真理论悖论§1.2塔斯基定理(非形式的表述)§1.3框架与循环第二章塔斯基定理及其后续§2.1塔斯基定理2.1.1 带T谓词的形式算术语言2.1.2塔斯基定理与语言层次理论§2.2归纳构造理论2.2.1真值空缺和跳跃算子2.2.2不动点定理§.修正理论..1修正序列..2 巨环与稳定§2.4相对化T—模式2.4.1 T—模式的相对化2.4.2塔斯基定理的推广第三章真理论悖论的刻画和比较§3.1说谎者悖论的刻画3.1.1塔斯基定理与说谎者悖论3.1.2相对矛盾§3.2说谎者悖论与佐丹卡片悖论的比较3.2.1矛盾程度的强弱3.2.2框架的N4—着色§3.3卡片悖论的刻画与比较3.3.1卡片序列的推广及其分类3.3.2框架的N2—着色3.3.3塔斯基定理与卡片序列§3.4亚布洛悖论的刻画3.4.1亚布洛序列及其自指3.4.2亚布洛序列的循环第四章悖论、自指与循环§4.1语句网与悖论4.1.1语句网4.1.2再论悖论§4.2悖论与自指4.2.1直接自指与间接自指4.2.2有穷悖论的自指§4.3悖论与循环4.3.1循环依赖4.3.2有穷悖论的循环§4.4隐定义的悖论4.4.1跳跃说谎者悖论4.4.2悖论的可定义参考文献符号索引
《塔斯基定理与真理论悖论》是一项关于塔斯基定理与真理论悖论之间关联的研究。塔斯基定理(全称为“塔斯基真之不可定义”)是数理逻辑中与哥德尔两个不接近定理齐名的理论。本书梳理了塔斯基、里普、赫茨伯格、古普塔等人的真理论的基本内容,并通过分析其理论对真谓词的处理概括出真谓词在可能世界上的一种模式,进而给出了塔斯基定理的一系列的推广。
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员