1936年，冯·诺依曼奠定了可计算理论的基础。