Este artículo presenta un tema fundamental en ciencias de la computación: la posible existencia de algoritmos para realizar cualquier tarea. Se trata de precisar esta posibilidad siguiendo esquemas de raciocinio satisfactorios aunque no excesivamente rigurosos, a fin de motivar a una amplia audiencia alrededor de estos temas.
