爱问知识人 爱问教育 医院库

数学逻辑最初提出者是?

首页

数学逻辑最初提出者是?

数学逻辑最初提出者是谁

提交回答
好评回答
  • 2018-04-10 05:11:35
      德国唯理论哲学家莱布尼茨首先明确地提出了数理逻辑的指导思想。他设想能建立一“普遍的符号语言”,这种语言包含着“思想的字母”,每一基本概念应由一表意符号来表示。一种完善的符号语言又应该是一个“思维的演算”,他设想,论辩或争论可以用演算来解决。莱布尼茨提出的这种符号语言和思维演算正是现代数理逻辑的主要特证。
      他为实现其设想做了不少具体的工作。他曾构成一个关于两概念相结合的演算,给与这种结合A叽B以内涵和外延的解释,得到了一些重要定理。他成功地将古典逻辑的四个简单命题表达为符号公式。他又提出了用素数代表初始概念并将复合概念表示为素数的乘积的配数法,但未能较好地应用。
         莱布尼茨以后在18世纪前后,欧洲大陆有许多人继续了他的工作,没有得到重要结果。19世纪中叶两个英国学者G。布尔和A。德摩根突破了沉闷的局面。布尔是代数学家。19世纪初期数的概念逐渐扩大,负数、分数、实数等和正整数一样都遵守一些相同的规律,他设想,给代数系统以逻辑的解释或可构成一个思维的演算。
      鉴于四元数的发现,他也认为,思维的运算和一般代数的规律可以有差异,不能机械地推广。

    g***

    2018-04-10 05:11:35

其他答案

    2018-04-10 06:11:35
  • 主张将逻辑数学化的科学家――莱布尼茨
    http://www.cpst.net.cn/hm/2001_06/993622655.html

    勤***

    2018-04-10 06:11:35

类似问题

换一换
  • 数学 相关知识

  • 教育培训
  • 教育考试

相关推荐

正在加载...
最新资料 推荐信息 热门专题 热点推荐
  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200
  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200
  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200
  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200

热点检索

  • 1-20
  • 21-40
  • 41-60
  • 61-80
  • 81-100
  • 101-120
  • 121-140
  • 141-160
  • 161-180
  • 181-200
返回
顶部
帮助 意见
反馈

确定举报此问题

举报原因(必选):