Sobre la matemática de la programación