Sunday, November 07, 2010

Aritmetica di Peano e Aritmetica di Presburger

Si chiama Aritmetica di Peano l'aritmetica completa che tutti conosciamo. Se da questa eliminiamo l'operazione di moltiplicazione otteniamo la cosiddetta Aritmetica di Presburger.
Mojżesz Presburger (1904 - 1943) è stato un matematico, logico e filosofo ebreo polacco, allievo di Alfred Tarski.