Source
S-m-n theorem, Wikipedia
Web Source
Facts
Citation
URLhttps://en.wikipedia.org/wiki/S-m-n_theorem
Sources
S-m-n theorem, Wikipedia
Lead sectionQuote, Lead section
In computability theory the S mn theorem, written also as "smn-theorem" or "s-m-n theorem" (also called the translation lemma, parameter theorem, and the parameterization theorem) is a basic result about programming languages (and, more generally, Gödel numberings of the partial computable functions) (Soare 1987, Rogers 1967).
Claims Backed By This Source (3 claims)
This source backs 3 claims across the atlas. As facts: 2 well-attested. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 2 claims: 1 well-attested, 1 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.