扩展的三段论及自动推理 【正版图书】 【店主推荐,正版书放心购买,可开发票】
《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的新进展和创新成果。所谓的第三次数学危机实际上是逻辑学危机 逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。
¥48.46定价:¥146.92 (3.3折)
扩展的三段论及自动推理【正版书籍,满额减】 【速开发票,优质售后,支持七天无理由退货,下单前请咨询客服查看书籍情况】
《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的新进展和创新成果。所谓的第三次数学危机实际上是逻辑学危机 逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。
¥53.00定价:¥107.02 (4.96折)