Cio' che "amore" e'

-Cosa e' mai l' amore?- chiese il fanciullo al padre luminare mondiale della matematica.
-Semplice!- egli rispose - l' amore e' il dominio di una funzione parziale ricorsiva!-
-Cioe'?! Come faccio a distinguere cio' che e' amore da cio' che non lo e'?- disse il bimbo.
-Non puoi. L' amore non e' una nozione decidibile, altrimenti ti avrei parlato di funzioni totali ricorsive- sentenzio con sufficienza il babbo - per sua natura e' un qualcosa di semidecidibile. Puo darsi quindi che prima o poi forse accada un fatto che ti faccia capire con chiarezza se qualcosa e' amore, ma puo' darsi anche che questo fatto non accada mai! La conoscenza di che cosa sia e' qualcosa che puo, per cosi dire, divergere!-
-Potrei quindi impiegare una vita intera a cercare di scoprirlo e morire prima di arrivarci!?- constato' sorpreso il bambino.
-Gia'; beh in effetti e' quello che la gente fa da sempre!- disse il padre ridendo sotto i baffi.
-Ma sei sicuro di tutto cio- chiese ancora il ragazzino.
-Sicuro quanto si e' sicuri della Tesi di Church! Quindi direi che ne sono quasi certo!- proferi sicuro il grande matematico.

Cosi la pensava quest' uomo. Altri invece, i piu' ottimisti, credono che sia una funzione totale ricorsiva. Per Alcuni e' invece qualcosa di nemmeno ricorsivamente enumerabile, che sfugge per definizione ad una qualsiasi definizione di se stesso.
Certa appare pero' una cosa: non si puo' lasciare la definizione di qualcosa di cosi complesso in mano a quei personaggi contraddittori e casinisti quali sono i poeti!