格哈德·根岑

✍ dations ◷ 2024-12-23 01:51:11 #1909年出生,1945年逝世,20世纪数学家,德国第二次世界大战人物,纳粹德国人物,德国数学家,逻辑学家,哥廷根大学校友,梅克伦堡-前波门人

格哈德·根岑（Gerhard Karl Erich Gentzen，1909年11月24日－1945年8月4日）是德国的数学家和逻辑学家。

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

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

相关

醉酒驾驶醉酒驾驶或酒后驾驶（英语：driving under the influence (of alcohol)，常简写为DUI，中文简称醉驾、酒驾）是指在酒精、酒类饮品影响下控制并驾驶机动车辆（有时包括单车、有发动机、
威拉德·冯·奥曼·蒯因威拉德·范奥曼·蒯因（英语：Willard Van Orman Quine，1908年6月25日－2000年12月25日），20世纪最有影响的美国哲学家、逻辑学家之一。出生于俄亥俄州阿克伦的富裕家庭，其父为一成功的
音频录音是指将声音转为模拟讯号或机械记录的过程。数字录音是指将模拟信号经由AD转换器将类比（analogy）取样成数字（digital）记录到数字储存装置再由，数字转换回模拟信号的过程录音的
演化网络演化网络（英语：Phylogenetic network）是以图来表示生物的核酸序列、基因、染色体、基因组、和物种之间演化的关系。演化树(英语：Phylogenetic tree)的树状结构不足以表达生物演
森林书森林书（天城体：आरण्यक，IAST：āraṇyaka，字面意思为“森林之书”，音译为“阿兰若书”）是古印度的一种宗教文献，以早期古典梵语写成，是广义的吠陀文献之一。按照传统说法，森林书是
硫酸乙酯硫酸乙酯（英语：Ethyl sulfate，又叫硫酸一乙酯、乙基硫酸英语：sulfovinic acid 等）是一种有机化合物，乙醇和硫酸生成的两种酯之一，是乙醇生成乙烯的中间产物。
赵长青赵长青（1953年7月－），中华人民共和国书法家，中国书法家协会原分党组书记、副主席、秘书长，第十二届全国政协委员。
2006年菲律宾政变2006年2月24日，菲律宾出现企图军事政变事件，有5000多人上街示威，要求总统阿罗约夫人下台。但有关当局已宣布其阴谋经已瓦解，总统宣布全国进入紧急状态。当局已拘捕三名军官，其中
河东区河东区是中国山东省临沂市所辖的一个市辖区。河东区辖12个乡镇，分别为重沟镇、汤头镇（合并了原属沂南县的葛沟镇，但在省民政厅备案依然是河东区葛沟镇）、相公镇、八湖镇、芝麻墩
钇 4d1 5s2 2, 8, 18, 9, 2蒸气压第一：600 kJ·mol−1 第二：1180 kJ·mol−1 主条目：钇的同位素钇（英语：Yttrium）是化学元素，符号为Y，原子序为39，是银白色过渡金属，化学性质与镧系元