(1906–78), Austrian-born American mathematician. He made several important contributions to mathematical logic, especially the incompleteness theorem.
(1906–78), US mathematician; born in Austria. Among his important contributions to mathematical logic is the incompleteness theorem.
英语词典包含464360条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。