OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Tarski's undefinability theorem

 Home Mathematics Fields of mathematics Foundations of mathematics Theorems in the foundations of mathematics
 0 By others on same topic  0 Discussions  1970-01-01  See my version
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.

 Ancestors (5)

  1. Theorems in the foundations of mathematics
  2. Foundations of mathematics
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook