哥德尔不完全定理

哥德尔不完全性定理

数理逻辑发展史 从莱布尼茨到哥德尔

数学女孩 3 哥德尔不完备定理

《数学女孩》系列以小说的形式展开，重点描述一群年轻人探寻数学中的美。内容由浅入深，数学讲解部分十分精妙，被称为“绝赞的数学科普书”。《数学女孩3:哥德尔不完备定理》每一章针对不同议题进行解说，再于最后...

哥德尔不完全性定理

本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初...

德尔斐的囚徒 从苏格拉底到爱因斯坦

从苏格拉底到爱因斯坦，物理学的演化史是一条思想的河流。书稿选取物理学演化史上激动人心的片段，将这些富有戏剧性的碎片串联起来，在宏大的时空尺度上，将物理学上的大事件淋漓尽致地展现在读者面前。书稿用词新...

负数和正数是对头？ 汉克尔教你学整数

本书中，数学家汉克尔通过生活中妙趣横生的故事讲述了整数的概念以及运算方法。这本书以汉克尔讲故事的形式介绍负数问世的不平坦的历史过程，还详细地讲解了我们为什么要接受就连古代数学家们也难以接受的负数...

基于弱交叉克尔非线性的量子信息处理

光子信息处理是应用量子力学来完成量子通信与量子计算等任务，可以实现原理级别的安全通信以及经典计算机无法企及的运算能力。借助弱交叉克尔非线性可以建立光子之间的间接相互作用，用以回避线性光学效率低、...