热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
格哈德·根岑
2023-07-23 22:39
近期热点

资料介绍

格哈德·根岑

格哈德·根岑(Gerhard Karl Erich Gentzen,1909年11月24日—1945年8月4日)是德国的数学家和逻辑学家。

他生于德国的格赖夫斯瓦尔德,在1929年到1933年期间是赫尔曼·外尔在哥廷根大学的学生之一。在1934年到1943年间他是大卫·希尔伯特在哥廷根大学的助手。从1943年起他是布拉格大学的教授。他的主要工作是数学基础中的证明论,特别是自然演绎和相继式演算。他的切消定理是证明论语义的基石,《逻辑演绎研究中的某些哲学评论和维特根斯坦的格言"意义是使用"一起建立了推论角色语义的基础。

他是纳粹党和冲锋队的成员,在1945年5月7日随所有在布拉格的德国人一起被逮捕之后,饿死于布拉格附近的战俘营中。

标签: 数学家

相关热点

扫码添加好友