戴维宁定理是盘算机科学领域里的重要基础理论之一，其内容简要地归纳综合为：任何盘算机法式都可以使用一系列基本操作转化成等价于“if”和“goto”的名堂。
此定理是由美国盘算机科学家戴维·希尔伯特于20世纪30年月提出的。该定理的重要性在于它证明晰“可盘算性”的看法，即，所有可盘算的问题都可以使用盘算机法式解决。因此，戴维宁定理成为了盘算机科学理论中极其重要的基础理论。
除了盘算机科学领域外，戴维宁定理还被普遍应用于人工智能、数理逻辑等领域。该定理为盘算机法式的开发和编写提供了理论基础和指导头脑。
