20世纪逻辑学的三大成果为哥德尔定理、塔尔斯基的形式语言真理论和图灵机。
不完备性定理是哥德尔在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。
塔尔斯基的真理论， 1933年由波兰逻辑学家阿尔弗雷德·塔斯基提出。他用波兰语发表了对真实句子概念的分析。 这篇长篇论文承担了两项任务：首先是说对于给定的正式语言，什么才算是对“真实句子”的令人满意的定义其次，对于各种形式语言，它确实存在对“真实句子”的令人满意的定义。
他讨论了“真实句子”的定义应符合的标准，并举例说明了特定形式语言的几种此类定义， 试图建立新的真理理论以解决说谎者悖论。
图灵机是计算机的老祖先，它的基本概念（摘自Wikipedia）。虽说图灵机非常简单，但可以用来模拟任何算法。图灵机的设计模式对人们使用纸和笔进行数学计算的过程进行抽象，让机器代替人类进行数学计算。
