¿De qué hablamos cuando hablamos de computación?

El artículo de Wikipedia que se menciona en la pregunta lo resume bastante bien. La teoría de la computabilidad se ocupa del estudio de la computación efectiva. La palabra ” efectivo” aquí significa que el cómputo debe ser realizado por una maquinaria de cómputo (es decir, máquinas que no requieren asistencia humana, aparte de posibles aportes para llevar a cabo sus tareas). Una noción central es la de un algoritmo , una descripción finita bien definida que consiste en una colección de pasos discretos. La teoría de la computabilidad estudia los modelos matemáticos de computación y los límites de computación entendidos como los límites de dichos modelos.

Para que una computadora pueda tomar cualquier decisión o proceso de información significativa, la información debe tener ciertas cualidades, como que debe ser cuantificable y no ambigua. Lo mismo es cierto para los problemas que intentamos resolver en ellos. Por ejemplo, aquí hay algo que puede parecer un signo que no es porque sea ambicioso:

1. Aplicar sobre el cabello.
2. Frotar en el pelo
3. Deja que se siente
4. Enjuague
5. Repita según sea necesario

El paso 5 es el problema, ¿cómo sabemos lo que “según se necesita” significa que es ambiguo?