网站首页 词典首页
(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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。