10.3969/j.issn.1674-8425(s).2017.09.002
逻辑的数学转向
19世纪中期是逻辑发展史上的一个重要时期.在这一时期出现的逻辑的数学转向使这门古典学术脱胎换骨,最终发展成为一门严格的形式化的学科,它的典范是在数学中使用的精确证明的方法.现代所谓的“符号”或“数理”逻辑在这段时间的发展是两千年逻辑史上最重要的,也可以说是人类理智史上最重要和最非凡的事件.
逻辑、数学、逻辑史
31
B81(逻辑学(论理学))
2017-12-14(万方平台首次上网日期,不代表论文的发表时间)
共10页
8-17