Turing Tarpits nos ensina o quanto das linguagens que usamos na programação cotidiana é o açúcar sintático. Se você olhar para linguagens assembly de uma instrução (por exemplo, subifzjmp abc que subtrai o conteúdo do registrador a do registrador b e ramifica para c se o resultado for zero) ou jot (qualquer árvore binária de nós não marcados é efetivamente um programa válido em uma certa cálculo combinador) você percebe como a complexidade emerge de praticamente nada.
Depois, você volta para C ++, Java, Python ou what-have-you e é grato por ter três ou quatro estilos de loop e a capacidade de dividir o problema em componentes testáveis separadamente.