摘要： 数学、逻辑与计算机科学的关系 数学、逻辑是与计算机科学密不可分的。数学是基础材料，逻辑是支柱，计算机科学是大厦。 首先，是数学与逻辑的关系。 数学基础的讨论主要在19世纪末20世纪初，当时对数学的看法有许多流派，其中一派是逻辑主义学派，认为数学可以完全由逻辑得到。但后来数理逻辑中的一些深刻结果则否定 阅读全文