计算机的发明最初是为了证明数学是不一致和不完整的。希尔伯特相信每一个数学问题都有明确的答案，但哥德尔的不完备性定理摧毁了这一设想。图灵发明了图灵机，成为未来计算机的模型。哥德尔基本上发明了虚拟机，用它来证明复杂数学具有未定义的行为。