In computability theory the S m n theorem, written also as "smn-theorem" or "s-m-n theorem" is a basic result about programming languages. It was first proved by Stephen Cole Kleene. The name S m n comes from the occurrence of an S with subscript... Wikipedia