英国数学家()发表的论文《论可计算数及其判定问题的应用》证明了制造通用计算机的可能性。