*Tarski anchors his whole proof in the Liar Paradox* https://liarparadox.org/Tarski_247_248.pdf
"x asserts that x is not a true sentence." page 248
https://liarparadox.org/Tarski_275_276.pdf
"x asserts that x is not a true sentence." page 248
is encoded as: x ∉ True if and only if p
"where the symbol 'p' represents the whole sentence x"
before it has been transformed page 275
we replace 'Tr' in this convention by 'Pr'
thus becomes // on page 275
"(1) x ∉ Provable if and only if p"
"where the symbol 'p' represents the whole sentence x"
*Proving that the Tarski Undefinability has an adapted*
*form of the Liar Paradox as the first line of his proof*
*Tarski anchors his whole proof in the Liar Paradox* https://liarparadox.org/Tarski_247_248.pdf
"x asserts that x is not a true sentence." page 248
https://liarparadox.org/Tarski_275_276.pdf
"x asserts that x is not a true sentence." page 248
is encoded as: x ∉ True if and only if p
"where the symbol 'p' represents the whole sentence x"
before it has been transformed page 275
we replace 'Tr' in this convention by 'Pr'
thus becomes // on page 275
"(1) x ∉ Provable if and only if p"
"where the symbol 'p' represents the whole sentence x"
*Proving that the Tarski Undefinability has an adapted*
*form of the Liar Paradox as the first line of his proof*
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 307 |
Nodes: | 16 (2 / 14) |
Uptime: | 92:34:33 |
Calls: | 6,849 |
Files: | 12,352 |
Messages: | 5,414,682 |