6
$\begingroup$

There are many books articles that look to explain Godel's Incompleteness Theorems for laymen. Does anyone know of some good material (free online is most appreciated) that attempts to do the same for Tarski's Undefinability Theorem? Thanks.

1 Answers 1

6

The Wikipedia entry linked in the question in fact isn't bad, and has excellent references. Or you could try this piece which aims to "be accessible to anyone with some experience in first-order logic". And you won't understand Tarski's theorem if you don't have some minimal formal background knowledge. (After all, the theorem is a limitative result about what can't be done in a formalized theory satisfying certain minimum conditions -- so you do need to know what a formalized theory is!)

Introductory books on Gödel's incompleteness theorems usually have sections on Tarksi's theorem too. I'd particularly recommend Raymond Smullyan's wonderful Godel's Incompleteness Theorems because you get to Tarski very quickly (or my Gödel book, but the journey takes longer).

  • 0
    Hi Peter - The "this piece" link doesn't work. Perhaps you would give some other means to access it. I always appreciate how you recommend other books ahead of yours and your honest characterization of it.2018-07-08
  • 0
    I think this was the piece I linked to! http://qubd.github.io/files/TarskiUndefinability.pdf2018-07-08