MW: Ok, let’s plunge into the construction of Trued(x). The bedrock level: True0(x), truth for (closed) atomic formulas. Continue reading
Monthly Archives: August 2020
Non-standard Models of Arithmetic 15
The Truth about Truth
MW: A little while back, I noted something delicious about the history of mathematical logic:
- Gödel’s two most famous results are the completeness theorem and the incompleteness theorem.
- Tarski’s two most famous results are the undefinability of truth and the definition of truth.
Filed under Conversations, Peano Arithmetic
Diagonal Argument 