lógica binaria

En Programming Pearls[1], Jon Bentley propone la manera de hacerse de un PhD: Dado el siguiente algoritmo while (n > 1) do if (n is even) n <- n / 2 else n <- n*3+1 end