【24h】

Death Notice

机译:死亡通知书

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

We regret to announce that since the last issue two members of the Editorial Board have died. Michael Detlefsen (1948 10 20 - 2019 10 21) was a member of the Editorial Board of Philosophia Mathematica, Series III, from its inception. "Mic", as he was known, spent most of his career at the University of Notre Dame, most recently as the McMahon-Hank Professor of Philosophy. He held numerous visiting professorships, including those at the University of Split (Croatia), the Universit?t Konstanz, and several universities in Paris; from 2007-2011 he was Senior Chaire d'Excellence, Agence Nationale de la Recherche, France. Mic worked primarily on the philosophical legacy of Hilbert, Brouwer, and G?del,authoring a long list of journal articles and the book Hilbert's Program (Reidel,1986), and editing the two volumes Proof, Logic and Formalization and Proof and Mathematical Knowledge (both Routledge, 1992).
机译:我们很遗憾地宣布,自上一期以来,编辑委员会已有两名成员去世。Michael Detlefsen (1948 10 20 - 2019 10 21) 是 Philosophia Mathematica, Series III 的编委会成员。众所周知,“麦克风”在圣母大学度过了他职业生涯的大部分时间,最近担任麦克马洪-汉克哲学教授。他曾担任过许多客座教授职位,包括斯普利特大学(克罗地亚)、康斯坦茨大学和巴黎的几所大学;2007年至2011年,他担任法国国家研究署高级主席。Mic 主要研究 Hilbert、Brouwer 和 G?del 的哲学遗产,撰写了一长串期刊文章和《希尔伯特的程序》(Reidel,1986 年)一书,并编辑了两卷《证明、逻辑和形式化》和《证明与数学知识》(均为 Routledge,1992 年)。

著录项

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号