信息旋术发展历程 现代信息技术的起源—数学原理 口伯特兰罗素:符号主义,为每一个数学事实都 给出证明,而且都是机械进行的 口悖论问题:贝里悖论、理发师悖论 口库尔特哥德尔:元数学、形式,是否只需要 些机械规则就能证明任何定理-不存在完全自治 的形式体系 口图灵计算机--阿兰图灵,论可计算数,说 了一个自动计算的机器,用于生成可计算数第6页  伯特兰·罗素：符号主义，为每一个数学事实都 给出证明，而且都是机械进行的。  悖论问题：贝里悖论、理发师悖论  库尔特·哥德尔：元数学、形式，是否只需要一 些机械规则就能证明任何定理-不存在完全自治 的形式体系。  图灵计算机 --- 阿兰·图灵，论可计算数，设计 了一个自动计算的机器，用于生成可计算数 现代信息技术的起源—数学原理 信息技术 发展历程