Sintetizzare in due righe un sì o un no, di questa portata, è come, più o meno, riuscire a spiegare in tre righe il Teorema di correttezza e completezza per i tableaux semantici nel calcolo dei predicati. Woz?
Poi, giusto purparlè, ecco la sintesi: I tableaux dimostrano per confutazione la veridicità di una formula in una teoria. Il teorema dice: la formula P è valida se e solo se il tableau per il complemento di P è chiuso. Woz?
Non è mai chiaro nulla nella vita. Woz?
Non si capisce se le lenzuola debbano essere singole o matrimoniali. Woz?
E a 1000 metri, in Sicilia, fa freschino come in ogni luogo d’altura o è pur sempre Sicilia? Woz?
WOZ A MALETTO DAL 25 APRILE AL 1 MAGGIO
