Пример: гипотеза Коллатца

Следующая функция всюду вычислима и всегда возвращает 0.

(defun collatz (n)
  (cond ((<= n 1) 0)
        ((evenp n) (collatz (/ n 2)))   ; n чётное
        (t (collatz (1+ (* 3 n))))))    ; n нечётное

Решив уравнение

#'collatz == (constantly 0),

компьютер подтвердил бы гипотезу Коллатца!