L'amore è un problema decidibile... tanto da poterne definire un insieme ricorsivo