Latest Topics
- S. Andrew Swann
- SAGA System
- Rybinsk
- Sōsaku hanga
- Sérgio Paulinho
- SEAT 133
- Ryerson University
- SAY (magazine)
- Ryo (currency)
- S. Dominich
Random Topics
S-m-n theorem
Summary
- In computability theory the smn theorem, (also called the translation lemma or parameter theorem) is a basic result about programming languages, abstractly called Gödel numberings, first given by Stephen Cole Kleene.
Soundex: S536 ( S M N T65 ) Metaphone: SMN0RM Reference |
Similar Topics
- Utm theorem
- H-theorem
- Min-max theorem
- Theorem
- No-go theorem
- Limit theorem
- Le Cam's theorem
- Levi's theorem
- PCP Theorem
- Lami's theorem
Related Topics
* This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "S-m-n theorem".