恩斯特·施罗德

Article

November 29, 2021

恩斯特·施罗德,全名恩斯特·弗里德里希·威廉·卡尔(Ernst Friedrich Wilhelm Karl,1841 年 11 月 25 日生于曼海姆,1902 年 6 月 16 日卒于卡尔斯鲁厄) - 德国数学家,主要以其在数理逻辑和布尔代数理论领域的工作而闻名。施罗德继续布尔、德摩根和皮尔斯的工作,旨在对逻辑进行代数化。施罗德在自己出版的三卷本《Vorlesungen über die Algebra der Logik》中发表了他的大部分结果。

个人简历

他在海德堡、柯尼斯堡和苏黎世跟随奥托·黑塞、基尔霍夫和弗朗茨·诺伊曼学习数学。毕业后,他在学校任教几年。在 1874-1876 年间,他还在达姆施塔特的理工学院讲学,从那里他搬到了卡尔斯鲁厄的理工学院,在那里他一直呆到生命的尽头。他终生未婚。

工作

施罗德早期作品的灵感来自 Ohm 以及 Hermann 和 Robert Grassmann 兄弟的想法。在撰写它们时,施罗德还不知道英国逻辑学家布尔和德摩根获得的结果,直到 1873 年他才熟悉他们。他很快用皮尔斯的重要思想补充了他们的结果,特别是包含和包容的概念。量化。。他对代数、集合论、格论和有序集做出了创新性贡献。他与康托尔一起发现了康托尔-伯恩斯坦-施罗德定理,尽管施罗德提供的证明存在错误。 Schröder 的著作 Der Operationskreis des Logikkalküls 于 1877 年出版,其中包含关于布尔代数理论的简明讲座,对在大陆数学家中传播新思想做出了重大贡献。施罗德特别注意布尔代数中的对偶性——如果在某个论文中我们替换二元代数运算的符号和相应的常数,则得到的论文将保持正确(德摩根定律就是对偶性的一个例子)。众所周知,皮尔斯在约翰霍普金斯大学的演讲中使用了施罗德的作品。施罗德的伟大想法是将形式主义引入逻辑,这将允许以类似于其他数学领域,特别是代数的方式进行逻辑运算。这将实现莱布尼茨创建通用科学语言的伟大梦想。他取得了成功,因为他引入的象征主义对德国“学派”数学家的工作产生了决定性的影响:Skolem、König、Löwenheim 和 Alfred Tarski。皮尔斯在约翰霍普金斯大学的演讲中使用了施罗德的工作。施罗德的伟大想法是将形式主义引入逻辑,这将允许以类似于其他数学领域,特别是代数的方式进行逻辑运算。这将实现莱布尼茨创建通用科学语言的伟大梦想。他取得了成功,因为他引入的象征主义对德国“学派”数学家的工作产生了决定性的影响:Skolem、König、Löwenheim 和 Alfred Tarski。皮尔斯在约翰霍普金斯大学的演讲中使用了施罗德的工作。施罗德的伟大想法是将形式主义引入逻辑,这将允许以类似于其他数学领域,特别是代数的方式进行逻辑运算。这将实现莱布尼茨创建通用科学语言的伟大梦想。他取得了成功,因为他引入的象征主义对德国“学派”数学家的工作产生了决定性的影响:Skolem、König、Löwenheim 和 Alfred Tarski。这将实现莱布尼茨创建通用科学语言的伟大梦想。他取得了成功,因为他引入的象征主义对德国“学派”数学家的工作产生了决定性的影响:Skolem、König、Löwenheim 和 Alfred Tarski。这将实现莱布尼茨创建通用科学语言的伟大梦想。他取得了成功,因为他引入的象征主义对德国“学派”数学家的工作产生了决定性的影响:Skolem、König、Löwenheim 和 Alfred Tarski。

外部链接

约翰·J·奥康纳;Edmund F. Robertson: Ernst Schröder w MacTutor 数学史档案 (ang.) Hilary Putnam o Peircie i Schröderze Krótkie omówienie 逻辑代数讲座