Formalización sin razonamiento

Parece que el imperio inca usaba -c. 3000 aC- un sistema de representación de números (y puede que ideas) algo especial: el quipu, que consiste en hacer nudos y teñir de colores cuerdas de algodón o de pelo de llama. Algunos podían tener hasta 2000 tiras; eran verdaderas cadenas codificadas en base 10. [WP]

Este método puede que les fuera bien para representar información estática, pero tiene el problema de que es demasiado complicado manejar esta información. Hacer nudos, cortar, retorcer y combinar tiras es mucho más lento que pensar. Además, la pintura de los nudos se perdió con el tiempo, y por eso ni siquiera ahora se han conseguido descodificar por completo.[Rel46, p. 25]