可计算性理论论文

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