佩内洛普·马蒂:一位您可以信赖的哲学家

一位1968年西屋科学奖决赛入围者如今是一位科学哲学家——以及逻辑学教授

她的决赛入围年份 1968

她的决赛项目:弄清对象集合的代数性质

项目起因: 佩内洛普·马蒂一直喜欢数学,但在圣地亚哥现在的达纳中学九年级代数课上,她对这门学科尤其兴奋。“让我感到惊讶的是,你可以从一个文字题中提取那些少量的信息,将它们转换成一个或两个方程式,然后找出答案,”她说。“我想那是我第一次真正意识到数学的力量。”


支持科学新闻报道

如果您喜欢这篇文章,请考虑通过以下方式支持我们屡获殊荣的新闻报道 订阅。通过购买订阅,您正在帮助确保有关塑造我们当今世界的发现和想法的具有影响力的故事的未来。


她的老师给她看了一本关于抽象代数的书——研究“数系”,其中“数”根本不是大多数人认为的数。马蒂考虑了如果“数”是集合(事物的集合,例如太阳系的所有行星,或国会的所有成员)会发生什么。“我确信其中没有任何持续的兴趣,”她说。但是当她将其提交给1968年西屋科学人才搜索时,她被提名为决赛入围者,然后获得总排名第七名。这特别令人兴奋,因为在去华盛顿特区的旅行中,她说,“我第一次在生活中看到了雪!”

对她职业生涯的影响: 马蒂知道她想继续研究集合论。因此,她以数学专业学生的身份进入加州大学伯克利分校。

然而,即使在高中时,她也开始思考集合可以用来证明的极限。特别是,她对我们能够知道和不能够知道关于无穷数的知识感兴趣。马蒂指出,在数学中,不仅仅只有一个“无穷大”。有许多不同大小的无穷数。首先,自然数集合(1、2、3、4……)的大小是无穷大。然而,实数集合(那些对应于线上所有点的数,包括这些数之间的数),它也是无穷的,比自然数集合更大。所有不同的无穷大都可以排列起来——最小的,然后是下一个最大的,等等——并且许多熟悉的运算,如乘法或将数字提高到指数,都可以在这些无穷数上定义。

这些不同的无穷数也提出了一些令人困惑的问题:例如,如果您取数字2并将其提高到最小的无穷数,会发生什么?“答案必须是无穷大,但它是哪个无穷数?”她问道。是最小的,还是下一个最小的……?一种叫做“连续统假设”(CH)的东西,由格奥尔格·康托尔在1870年代提出,说答案是第二个无穷数,但是CH是真还是假无法通过正常方法证明,马蒂说。你无法证明它是真的,“除非添加一些新的基本公理”——也就是说,一个不能建立在更基本的基础上的基本假设。“而且还没有人找到令人满意的方法来做到这一点。”

对于马蒂来说,这似乎不仅仅是一个简单的数学问题。她开始思考:你如何证明一个基本的数学假设是合理的?“你无法证明它,因为它是所有证明开始的地方。那么你该怎么办?”

当她开始思考诸如此类的问题时,“这对我来说是结束的开始,”她说。“我正走向哲学。” 她去了普林斯顿大学攻读该主题的博士学位,于1979年获得学位。(她的论文研究了连续统假设。)她开始在圣母大学任教,然后在伊利诺伊大学芝加哥分校任教。

她现在在做什么: 自1987年以来,马蒂一直是加州大学欧文分校的逻辑学、科学哲学和数学教授,她在那里继续思考——和教授——CH和其他问题。她在她的工作中结合了历史和集合论,并且是一位“备受尊敬和有影响力的哲学家”,唐纳德·A·“托尼”·马丁说道,他是一位集合论学家和加州大学洛杉矶分校的数学哲学家。

她以清晰性而闻名——这在通常深奥的数学或哲学学术领域中很少见。“特别是,她可以将非常技术性的材料变得非技术读者也能理解,”马丁说。“她的写作风格简单、清晰,读起来是一种享受。”

她的哲学观点多年来发生了变化。例如,在1990年,她写了数学中的实在论,马丁称之为“一本非常好的书,以极大的才智捍卫了关于数学对象和数学知识的实在论观点”。(实在论是数学独立于人类思维而存在的观点;我们不是发明它,而是发现它)。但在1997年,在进一步思考这些问题之后,她写了一本名为数学中的自然主义的书,该书在一定程度上反对实在论的观点。“她并没有教条式地坚持自己的观点,正如她从实在论到自然主义的转变戏剧性地表明的那样,”马丁说。“但她不仅仅是从一种观点跳到另一种观点。在某种意义上,她的哲学思想一直在稳步发展。早期立场的部分内容已被放弃,但大部分内容已被保留或调整。”

© . All rights reserved.