E' proprio il caso di dire che non si finisce mai di imparare...Dopo quasi dodici anni di permanenza al dipartimento di fisica e di continuo uso ed abuso dei quantificatori, ho scoperto da dove saltano fuori i simboli tipografici dei quantificatori esistenziale (la E rovesciata) e universale (la A rovesciata).
Non che ci volesse la scala per arrivarci, ma E sta per "Exists" [1] e A per "All" [2]...
L'introduzione di questi simboli e' dovuta rispettivamente a Peano e a Gentzen (per analogia con quanto fatto da Peano). Prima che divenissero standard, altri simboli erano stati usati, ad esempio da Frege, ma non hanno preso piede.
La standardizzazione di questi caratteri tipografici pare sia avvenuta solo molto recentemente (attorno al 1960). [3]
[1] Fin qui ci ero arrivato!
[2] Mi vergogno a dirlo, ma non c'ero mai arrivato che era una A rovesciata...
[3] Per approfondire:
http://it.wikipedia.org/wiki/Quantificatorehttp://en.wikipedia.org/wiki/Quantifier
Nessun commento:
Posta un commento