分支科学哲学导论

【已存柜】 p46“实际上不能从欧几里德公理直接推导出“三角形内角和等于180度”式的定理，因为欧几里德几何公理系统没有给出“三角形”“内解”“度”的直接定义” “希尔伯特的《几何基础》希望给出形式公理化的系统，通过其定义、公理与推论规则，把欧几里德几何的定理推导出来” 欧几里得给出了“三角形”的定义，希尔伯特几何基础并没有“定义”； p48“哥德尔首先证明了一阶逻辑系统的完全性，接着他发现了算术系统的不完全性” 算术系统也有（语义）完全性，不完全性定理是关于“语法完全性”的； p73“隐变量理论后来却得到了实验的反证” 否证贝尔不等式的实验只是说明了局域确定性的物理理论不存在，而玻姆的隐变量理论是非局域性的，未被此反证

很好的当代科学哲学导论

分支科学哲学交叉领域很多， 本书知识比较零散，主题多从历史发展角度来介绍，语言“朴实”，更适合高中生或大一新生的读物。

书很薄，但内容可以称得上精简。各章节质量有些参差不齐。