首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
波斯特机论文
波斯特机论文
埃米尔·波斯特及其对可计算性理论的贡献
论文摘要埃米尔·波斯特是可计算性理论奠基者之一,在数理逻辑领域的工作对数学有重要贡献,其坎坷的科研历程值得后人深思。他曾经早于哥德尔近十余载就断言了不完备定理,还与图灵几乎同时...