David wrote:
> Quello che devo verificare � che il processo di misura fisico che sto
> usando sia equivalente ad un'uguaglianza logica, ma una volta stabilito
> che lo � non pu� non godere di tutte le propriet� dell'uguaglianza.
Infatti l'uguaglianza in logica � definita dalle sue propriet� ;)
http://www.math.psu.edu/melvin/logic/node7.html
Il "controllo" della propriet� transitiva � quello che descrive Feynman
(non si pu� parlare di verifica in senso matematico).
Received on Tue Apr 12 2005 - 18:52:44 CEST