Facts
Citation
URLhttps://en.wikipedia.org/wiki/Trakhtenbrot%27s_theorem
Sources
Trakhtenbrot's theorem (Wikipedia)
Lead sectionQuote, Lead section
In logic, finite model theory, and computability theory, Trakhtenbrot's theorem (due to Boris Trakhtenbrot) states that the problem of validity in first-order logic on the class of all finite models is undecidable.
Claims Backed By This Source (9 claims)
This source backs 9 claims across the atlas. As facts: 4 well-attested. As cited relationships: 3 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 8 claims: 3 well-attested, 3 holds, 2 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.