Tarski's undefinability theorem is a result in mathematical logic that deals with the concept of truth within formal languages. Named after the logician Alfred Tarski, the theorem asserts that the notion of truth cannot be defined within a sufficiently expressive formal language that can express arithmetic truths about itself.
Articles by others on the same topic
There are currently no matching articles.