Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth cannot be defined in arithmetic.
The theorem applies more generally to any sufficiently strong formal system, showing that truth in the standard model of the system cannot be defined within the system.
bionic wrote:Seems there are levels, layers of truth
lower levels of truth, testimony..that has a-lot to do with perpective
it's that "eternal truth" thing that can get really fuzzy, though
objective reality (as if there is one)
it's all subjective, really it seems, to me
some thigns just seem more objective..that's just because they are more agreed upon
Users browsing this forum: No registered users and 0 guests