简介：这是一个以数理为基石的世界，谁的层级越高，权能越高，“力量”越大，能力越强，那便就“强大”。

简介：这是一个以数理为基石的世界，谁的层级越高，权能越高，“力量”越大，能力越强，那便就“强大”。

简介：《数理世界》这本书的维基百科。

黑暗法师洛琳在做实验时发生了意外，阴差阳错到了地球，成为高中生洛叶，发现在奥泽尔大陆极为珍贵的资料在这里广为传播。为实力的提升，为自己的毕生追求，洛叶一边寻求恢复实力的机会，一边努力求学，为跻身世界顶尖名校，和顶尖数学大师交流，洛叶的繁忙的现代生活就此展开

本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

《数理物理基础》简明扼要地阐述了解决物理问题需用的重要数学概念、方法和定理及其运用条件；从线性变换入手，提纲挈领地将线性数学的有关内容连贯起来，构成有机整体。

《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。 《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。

数学是一门求真与求美的学科。数学对于解释大自然的纷繁现象具有基本的重要性， 兼具诗歌与散文的内在气质。 《数理人文》为数学家丘成桐先生主编的一系列科普读物，以数学、物理及工程为经，人文艺术为纬，旨在引导读者领略数理之美，感悟人文之魅力，启迪数理与人文相结合之思维，培养广泛的兴趣和独立思考能力。

本书以“统一价值论”为理论基础，提出了情感的本质就是“人脑对于价值关系的主观反映”，并从价值论的角度对情感进行了数学定义和数学运算，在此基础上推导出情感强度三大定律和意志强度三大定律。根据情感与价值的对应关系，分析了情感分类、情感模式、情感动力特性等，阐述了感、知、情、意的本质及其逻辑关系，尤其是在分析情感问题、解释情感现象、探索情感规律、建立情感的数学模型、揭示情感的逻辑程序等方面取得了重大突破，从而为研制真正意义的情感机器人奠定了理论基础。