搜索
首页 教育/科学 人文学科

数理逻辑

在西方,数理逻辑属于哪个学科?数学?哲学?计算机学?

全部回答

2010-11-08

0 0
  理论数理逻辑(mathematical logic),也叫做符号逻辑(symbolic logic)属于分析哲学与纯数学(pure mathematics)的重要科目。内容没有分别,可以使用同一本教科书。
  
  只是前者比较重视数学基础的哲学问题与非主流逻辑。 要明白,在西方,尤其是英文世界里,文理科的分界并不清楚。譬如说,在加拿大的多伦多大学里,文科理科都属于一个学院,学生可以选择一个学年里读英国文学与物理。

2010-11-08

188 0
    您说的对应该是属于数学学科 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
  数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。   数理逻辑的主要分支包括:逻辑演算(包括命题演算和谓词演算)、模型论、证明论、递归论和公理化集合论。
  数理逻辑和计算机科学有许多重合之处,这是因为许多计算机科学的先驱者既是数学家、又是逻辑学家,如阿兰·图灵、邱奇等。   程序语言学、语义学的研究从模型论衍生而来,而程序验证则从模型论的模型检测衍生而来。
         柯里——霍华德同构给出了“证明”和“程序”的等价性,这一结果与证明论有关,直觉逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑这样的演算现在属于理想程序语言。
     计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献,比如说自动定理证明和逻辑编程。

类似问题换一批

热点推荐

热度TOP

相关推荐
加载中...

热点搜索 换一换

教育/科学
人文学科
院校信息
升学入学
理工学科
出国/留学
职业教育
外语学习
学习帮助
K12
人文学科
人文学科
管理学
传播学
考古学
伦理学
语言学
哲学
历史学
举报
举报原因(必选):
取消确定举报