库尔特·哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的内在工作过程吗？当研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰·L.卡斯蒂和维尔纳·德波利为我们描述了一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且波及哲学、语言学和计算机科学，甚至还包括宇宙学。

.

海洋新知科普丛书—来自海底的地学革命

本书是数值分析家劳埃德·尼克·特雷费森教授的心得之作。除了回顾早期学习数学的成长过程，以及深耕数值分析领域的心路历程，本书还体现了特雷费森教授对数学本身的深刻思考、对纯数学和应用数学的真切感悟，以及对数学所面临的挑战的反思。 本书适合对数学史、数学思想和数学教育，以及纯数学和应用数学感兴趣的所有读者。

量子物理一个不可回避的问题是现有的不同理论体系存在不协调的地方。本书对其中若干问题作了初步的剖析与讨论，包括费米系统和量子化方案这样一些基础性问题，并提出新的观点和由此产生的结论。本书中的观点和见解是粗浅的、不成熟的，有待更深入的思考，但我们的思考说明这些问题是确实存在的。由于这些问题不言而喻的重要性，我们期盼本书的出版能够引起物理学研究者对相关问题的关注，进而带来深入的探讨。本书可供物理专业的本科生、研究生以及专业研究人员参考。

《代数几何学原理》（EGA）是代数几何的经典著作，由法国著名数学家Alexander Grothendieck（1928—2014）在J. Dieudonné的协助下于20世纪50—60年代写成。在此书中，Grothendieck首次在代数几何中引入了概形的概念，并系统地展开了概形的基础理论。EGA的出现具有划时代的意义，对现代数学产生了多方面的深远影响。 首先，EGA为代数几何建立了极其广阔、完整和严格的公理化概念体系和表述方式（现已成为代数几何的标准语言），极大地整合了这一数学分支的古典理论，并为后来的发展奠定了坚实的基础。其次，EGA把数论和代数几何统一在一个理论框架之内，促成了平展上同调等理论的建立，进而导致了著名的Weil猜想的证明的完成（由Grothendieck的学生Deligne所完成，并因此获得Fields奖）。当前数论和代数几何中的许多重大进展都在很大程度上归功于EGA所建立的思想方法，比如Mordell猜想的解决（Faltings获Fields奖的工作）、motivic上同调理论（Voevodsky获Fields奖的工作）、椭圆曲线Taniyama-Shimura猜想的解决（Wiles据此证明了Fermat大定理）、函数域上的Langlands对应的证明（Lafforgue获Fields奖的工作），等等。此外，EGA的出现还促进了交换代数、同调代数、解析空间理论、代数K理论等多个数学分支的发展。 时至今日，EGA仍然是所有介绍概形理论的书籍之中最全面和最有系统的著作，是数论和算术代数几何等方向的学生和研究人员的重要参考书。

本卷对浙江省鞘翅目多食亚目的9个总科（花甲总科、吉丁甲总科、丸甲总科、叩甲总科、长蠹总科、郭公甲总科、扁甲总科、瓢甲总科、拟步甲总科）进行了简要总结。对38科263属588种的主要识别特征分别做了简要介绍，包括30个浙江省的新纪录种和2个中国新纪录种，列出了各种的主要文献引证及地理分布等，编制了各级分类阶元的识别检索表。文后附中名索引和学名索引及成虫整体照片。对于国内缺乏中文名称或名称使用不妥的种类，主要根据其词义拟定了新的名称，同时修订了一些物种的不正确名称。

第1章介绍规范变换、正则量子化和经典量子对应。第2~5章从规范场的观点统一论述Aharonov-Bohm效应，自旋-轨道耦合动力学，Berry相因子及其应用；揭示Dirac磁单极，超导体Josephson效应和量子态拓扑相因子的关系；动力学旋转对称和分数量子化角动量。第6~7章介绍路径积分。量子隧穿的瞬子方法及在分子磁体宏观量子效应中的应用；超对称量子力学、孤子（瞬子）稳定性和涨落方程。第8章是光腔中冷原子宏观量子态和Dicke模型量子相变。第9~10章给出Bell不等式及其破坏的量子概率统计理论和实验分析，用超导电路验证非局域关联的方法。第11~13章阐述逻辑门量子计算，Shor量子算法，绝热操控和纠错；超导量子比特的相干调控和退相干，量子计算的囚禁离子方案。第14章是液氦表面上的单电子量子调控理论及量子逻辑门的实现，第15章系统介绍实空间一维波导中光量子散射现象，可为研制单光子输运器件、构建光量子网络等提供理论依据。

尘螨是引起哮喘、过敏性鼻炎、异位性皮炎和慢性荨麻疹等Ⅰ型变态反应性疾病的主要因素。尘螨的生长与环境温度、湿度和光线关系密切。尘螨种类繁多，其鉴定依据显微镜下形态观察，需要长期经验积累。本书共分为十章，从尘螨形态特征到尘螨分类体系，再到尘螨分类鉴定程序，对羽螨总科、粉螨总科、食甜螨总科等孳生于屋尘中的常见种类形态特征、鉴定要点进行了描述，同时详述尘样采集方法与流程、尘螨分离与人工培养，以及标本制作与保存等。

本书系统对透明质酸、硫酸软骨素、肝素糖胺聚糖的*新研究成果与研究进展进行了系统性梳理和总结。本书主要包括绪论、可控分子量透明质酸的生物制造、磺酸化供体PAPS高效廉价生物制造、软骨素与硫酸软骨素的生物制造、肝素前体及肝素的生物制造5章内容。在推动我国功能糖尤其是糖胺聚糖生物制造与应用领域的进一步发展有重要作用。本书可以作为糖胺聚糖、多糖和生物制造等相关研究领域的科研工作者和研究生的参考用书，也可作为保健品、食品、医药、化妆品等产业的科技人员的参考用书。