获奖年份: 1972
出版信息： 美国数学月刊1971年第78卷，第463-487页
总结：当前没有可用的摘要。
阅读文章：
关于作者：（来自《美国数学月刊》，第78卷（1971年）亨肯1947年在Alonzo Church的指导下获得普林斯顿大学博士学位。他的论文包括对Godel谓词演算完备性定理的证明，该证明后来几乎成为了数学逻辑的每一个演示中的标准证明。此外，亨金教授发展了圆柱化代数理论，这是量词理论的代数形式。他的主要工作是基础和数学逻辑领域，在这方面他发表了许多论文，是公认的权威。1964年，他因发表在1962年《科学》（第138卷）上的论文《逻辑和数学相同吗。
亨金教授在1947年至1959年期间担任普林斯顿大学的高级讲师和Jewett Fellow，此前四年曾在工业界担任数学家。此外，1954-44年，他还是阿姆斯特丹的富布赖特学者，1960-61年在达特茅斯担任客座教授，1961-62年担任古根海姆研究员和高级研究所成员，1968-69年在牛津万灵学院担任客座研究员。他曾在南加州大学任教，自1953年以来一直是加州大学伯克利分校（University of California at Berkeley）的教员，曾两次担任该校的主席。他曾担任符号逻辑杂志并担任符号逻辑协会主席，任期三年。他还曾是美国数学协会理事会成员，并积极参与CUPM。除了基金会论文外，他还著有《重温初等数学》，麦克米伦出版社，1962年，这表明他对数学教学的浓厚兴趣。
