| 欧勒 Leonhard Euler1707—1783 亦译“欧拉”。瑞士数学家。巴塞尔大学毕业，瑞士数学家伯努利(Jeam Bernoulli， 1667—1748)的学生。1727年应邀去俄国圣彼得堡科学院从事研究工作，后曾任物理学教授、数学教授。1741年前往德国，当选为柏林神学院院士，1766年重返俄国。在数论和微分方程等方面有重大成就，在力学、天文学和物理学方面也有很大贡献。在逻辑学方面以所创图解方法而著称，尽管在他之前已有人(包括莱布尼茨)用过类似方法，但由于他在数学方面的名望和于1761年陈述这项成果的《致一位德国公主的信》(原文为法文，1768年发表)颇为有名，故历来称为欧勒图解。他用具有真包含关系的两个圆形表示全称肯定命题，用具有排斥关系的两个圆形表示全称否定命题，用具有相交关系的两个圆形表示两种特称命题。按照这种解释，一切具有三个不同词项的三段论式的有效或无效即可判定，但并未概括一切可能的外延关系。以后，法国数学家格岗尼(J.D.Gergonne， 1771—1859)在1816年发表的五个图形才系统地解决了这个问题。 |