#哥德尔不完备定理

4天前

1931年奥地利逻辑学家哥德尔提出并证明「哥德尔不完备定理」(Gödel's incompleteness theorems)，阻止了数学的神性妄想； 1933年波兰逻辑学家塔尔斯基提出「真理理论」(Truth Theory)，并在《演绎科学语言中的真理概念》中提出解决悖论的“对象语言”“元语言”“元元语言”分层理论，治愈了语言的精神分裂。

#哥德尔不完备定理 #塔尔斯基真理理论 #逻辑学 #数学 #语言