User:IssaRice/Computability and logic/Bounded computation trick

Instead of saying "compute this thing" you can say "compute this thing for $n$ steps", then let $n$ vary. This trick makes the computation bounded, which is useful in certain situations.

Some examples of this trick in use:

• showing that a recursively enumerable set is primitive-recursively enumerable
• Kleene's T predicate and normal form
• Peter Smith's proof that
• the second graph principle