¿Qué es Turing-Complete?

Por ejemplo, Solidity, el lenguaje de programación utilizado para escribir contratos inteligentes de Ethereum, es Turing completo. Por el contrario, cuando un lenguaje no es Turing completo, tiene algunas restricciones que le impiden resolver todo tipo de problemas computacionales.
Bitcoin no es Turing completo por diseño. Eso es porque fue diseñado como una criptomoneda y solo permite funcionalidades simples como transferir valores.