论文部分内容阅读
数学是科学的基础,是逻辑的延伸。随着时间的推移,19世纪中期以来,逻辑更是高频地出现在数学和计算机科学的研究序列中。现在的人们在日常辩论中,也会自觉或不自觉地用到逻辑,逻辑已经着笔挥就了数学思维的底色。从本源上看,数学就是一些符合逻辑原则的体系,就是做一系列假定,然后用逻辑工具推导出一系列结论的理论体系。