3-6周达 Interpreting G?del: Critical Essays [ISBN:978110700266 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1028
3-6周达 Set Theory, Arithmetic, and Foundations of Mathematics 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1298
【预订】Logic, Language, Information, and Computation: 24th Inte 美国库房发货，通常付款后3-5周到货！
¥608.00
预订 Logic, Language, Information, and Computation [ISBN:97836 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
【预订】G?del’s Incompleteness Theorems 9781108986991 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108986991 Author 作者 Juliette Kennedy Format 版本 平装-胶订 Pages Number 页数 75页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2022-04-01 Language 语种 其它（含多语） Book Contents 内容简介 This Element takes a deep dive into G?del’s 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of G?del’s proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs,
¥226.00
【预订】Set Theory, Arithmetic, and Foundations of 美国库房发货，通常付款后3-5周到货！
¥1339
【预订】G?del, Tarski and the Lure of Natural Language 978110894 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108940573 Author 作者 Juliette Kennedy Format 版本 平装-胶订 Pages Number 页数 199页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2022-08-01 Product Dimensions 商品尺寸 229 x 152 mm Language 语种 其它（含多语） Book Contents 内容简介 Is mathematics ’entangled’ with its various formalisations Or are?the central concepts?of mathematics largely insensitive?to?formalisation, or ’formalism free’? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by?what she calls the ’natural language moves’ of G?del?and Tarski, Juliette Kennedy considers what roles?the concepts of ’entanglement’ and ’formalism freeness’ play in a range of?logical settings, from computability and set theory to model theory and second
¥331.00
预订Goedel, Tarski and the Lure of Natural Language:Logical En 预订，预计下单后2-3周左右发货！
¥370.00
预订Goedel's Incompleteness Theorems 预订，预计下单后2-3周左右发货！
¥274.00
