Posted inPhilosophy
Gödel And The Limits of Rationality
From the conclusion of "Cantor's Diagonalization Method" by Alexander Kharazishvili (and I'll assume the reader has some familiarity with Gödel's famous theorems): Tarski's theorem leads to Gödel's first incompleteness theorem.…