离散数学1 第二章_1409.docxVIP

逻辑与推理密切相关，主要是为论证或证明的有效性提供方法和技巧。它与许多学科有广泛的联系。如，与数学的交叉，数理逻辑，与计算机科学的交叉，计算复杂性与机器证明，人工智能的交叉，精确推理与不精确推理，这些广泛的联系，日益显示其重要作用。德国哲学家、数学家莱布尼茨（与牛顿，同时间、独立提出微积分）是数理逻辑的创始人，至今有300多年的历史。大约经历三个阶段。初始阶段，用数学方法研究和处理形式逻辑，英国的布尔(Boole)，德.摩根(De Morgan)等人，逻辑代数和布尔代数；2. 研究数学的思想方法及其基础问题。集合论的创建(康托)，公理方法的发展(希尔伯特，1900年，希尔伯特在/wiki/%E5%B7%B4%E9%BB%8E巴黎的/wiki/%E5%9B%BD%E9%99%85%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%A4%A7%E4%BC%9A国际数学家大会上作了题为《数学问题》的演讲，提出了23道最重要的数学问题，这就是著名的希尔伯特的23个问题。希尔伯特问题对推动20世纪数学的发展起了积极的推动作用。由于时代的局限性，希尔伯特问题中未能包括拓扑学、/wiki/%E5%BE%AE%E5%88%86%E5%87%A0%E4%BD%95微分几何等领域，也很少涉及/wiki/%E5%BA%94%E7%94%A8%E6%95%B0%E5%AD%A6应用数学，更不曾预