数理逻辑和算法理论绪论.pptx

数理逻辑和算法理论

——计算机科学与人工智能的数学基础

1什么是算法化和公理化矛盾统一的数学发展史2什么是数理逻辑3算法概念的演变4哥德尔不完全性定理绪论

什么是算法化和公理化矛盾统一的数学发展史0.1

0.1什么是算法化和公理化矛盾统一的数学发展史数学史的论述及其分期，可以采取不同的主线,如以往有关于常量与变量的矛盾，代数和几何的并峙，以及近年来以离散数学与连续数学的对立。著名数学史学家李文林在《数学的进化》中釆用了以算法化与公理化思想的矛盾统一及其交替取得数学发展中的主导地位为主线,将数学史进行分期。1.自古以来，数学的发展存在着两大主流思