| 施罗德 Ernst Schröder1841—1902 德国数学家、逻辑学家。早年致力于算术与代数方面的研究。后又转向对逻辑代数的研究。综合布尔和德·摩根的思想，用代数方法研究推理、证明等问题，将布尔代数构成了一个演绎系统。主张在类演算中，减法和除法不是必要的，可用加法和乘法的否定来定义。除了使用1— 0计值方法外，发展了一种化归为范式的方法。对公理系统的独立性感兴趣，特别企望分配律独立于他的其他公理，由此而提出了也许是最早的“非分配的格”(nondistributive lattice)的思想。明确提出需要有一种逻辑类型论，预示了罗素的恶性循环原则。所著《逻辑代数讲义》(3卷，1890—1905)被称为“布尔-施罗德代数”。该书对类演算和命题演算的内容给予系统的形式和整理，同时在皮尔斯的基础上，对关系逻辑作了重要的和详尽的处理。一般认为，数理逻辑发展中以代数方法为主的时代，随着施罗德而结束。主要著作还有《逻辑计算的运算范域》等。 |