网站首页 汉语 德语 英语
(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.
雅致网英汉双解词典包含236457条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。