A programming language is Turing-complete if any computable function can be written in this language.